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.