Algebra.Z

Documentation

type Z = Integer

Type synonym for integers.

class Ring a where

Definition of rings.

Methods

(<+>) :: a -> a -> a

Addition

(<*>) :: a -> a -> a

Multiplication

neg :: a -> a

Compute additive inverse

zero :: a

The additive identity

one :: a

The multiplicative identity

Instances

Ring Z

(GCDDomain a, Eq a) => Ring (FieldOfFractions a)

Nat n => Ring (Zn n)

(CommutativeRing r, Eq r) => Ring (UPoly r x)