Safe Haskell | None |
---|
Documentation
class (Commutative r, Ring r) => NoetherianRing r Source
NoetherianRing Int | |
NoetherianRing Integer | |
Integral n => NoetherianRing (Ratio n) | |
(Commutative (Complex r), Ring (Complex r)) => NoetherianRing (Complex r) | |
(IsOrder order, IsPolynomial r n) => NoetherianRing (OrderedPolynomial r order n) | By Hilbert's finite basis theorem, a polynomial ring over a noetherian ring is also a noetherian ring. |
forall n . Ideal (Vector r n) |
addToIdeal :: r -> Ideal r -> Ideal rSource
toIdeal :: NoetherianRing r => [r] -> Ideal rSource
appendIdeal :: Ideal r -> Ideal r -> Ideal rSource
generators :: Ideal r -> [r]Source
filterIdeal :: NoetherianRing r => (r -> Bool) -> Ideal r -> Ideal rSource
principalIdeal :: r -> Ideal rSource