Polynom-0.1: A commutative algebra package Contents Index

Algebra.Ideals

Documentation

mod_ideal :: (Fractional r, VarList m, Show m) => Polynom r m -> GroebnerIdeal r (Monom m) -> Polynom r m

belongs_ideal :: (Fractional r, VarList m, Show m) => Polynom r m -> GroebnerIdeal r (Monom m) -> Bool

Produced by Haddock version 2.3.0