|
|
|
|
Synopsis |
|
|
|
Documentation |
|
class Eq a => Ring a where |
This defines a Ring Class with zero, sum '+' and product
|'*'. Rign operations are represented by a small ring .
| | Methods | zero :: a | | fromInt :: Integer -> a | | (+°) :: a -> a -> a | | (-°) :: a -> a -> a | | (*°) :: a -> a -> a | | minus :: a -> a |
| | Instances | |
|
|
data Ring a => Ideal a |
Ideals of a ring are represented by lists of elements.
| Constructors | | Instances | |
|
|
principal_ideal :: Ring a => a -> Ideal a |
|
add_ideals :: Ring a => Ideal a -> Ideal a -> Ideal a |
The principal_ideal constructor creates a principal ideal from
an element of the ring
|
|
mult_ideals :: Ring a => Ideal a -> Ideal a -> Ideal a |
Ideals can be added.
|
|
Produced by Haddock version 2.3.0 |