Finitely generated ideals in commutative rings.
- data CommutativeRing a => Ideal a = Id [a]
- zeroIdeal :: CommutativeRing a => Ideal a
- isPrincipal :: CommutativeRing a => Ideal a -> Bool
- eval :: CommutativeRing a => a -> Ideal a -> a
- addId :: (CommutativeRing a, Eq a) => Ideal a -> Ideal a -> Ideal a
- mulId :: (CommutativeRing a, Eq a) => Ideal a -> Ideal a -> Ideal a
Documentation
data CommutativeRing a => Ideal a Source
Ideals characterized by their list of generators.
Id [a] |
(CommutativeRing a, Show a) => Show (Ideal a) | |
(CommutativeRing a, Arbitrary a, Eq a) => Arbitrary (Ideal a) |
zeroIdeal :: CommutativeRing a => Ideal aSource
The zero ideal.
isPrincipal :: CommutativeRing a => Ideal a -> BoolSource
Test if an ideal is principal.
eval :: CommutativeRing a => a -> Ideal a -> aSource
Evaluate the ideal at a certain point.