 | Polynom-0.1: A commutative algebra package | Contents | Index |
| *° | Data.Ring |
| +° | Data.Ring |
| -° | Data.Ring |
| /\ | Data.Lattice |
| >>! | Data.Monomial |
| >>° | Data.MonoidRing |
| add_ideals | Data.Ring |
| belongs_ideal | Algebra.Ideals |
| check_groebnerness | Algebra.GroebnerBasis |
| cleanup_nonminimal | Algebra.GroebnerBasis |
| compare_difficulty | Algebra.GroebnerBasis |
| degree | Data.MonoidPlus |
| degree_pol | Data.MonoidRing |
| difficulty | Algebra.GroebnerBasis |
| divides | Data.MonoidPlus |
| eliminate | Algebra.Elimination |
| EliminationMonoid | Algebra.Elimination |
| ElimPair | Algebra.Elimination |
| elim_fst | Algebra.Elimination |
| elim_map | Algebra.Elimination |
| elim_snd | Algebra.Elimination |
| exponent_char | Data.Monomial |
| frobnicate | Data.Monomial |
| frobnicate_add | Data.MonoidRing |
| fromGroebnerIdeal | Algebra.GroebnerBasis |
| fromIdeal | Data.Ring |
| fromInt | Data.Ring |
| fromMonom | Data.Monomial |
| fromRing | Data.MonoidRing |
| full_normalize | Algebra.GroebnerBasis |
| gcd_monom | Data.MonoidPlus |
| GoodMonoid | Data.MonoidPlus |
| GradedMonoid | Data.MonoidPlus |
| GroebnerIdeal | Algebra.GroebnerBasis |
| groebnerize | Algebra.GroebnerBasis |
| GroebnerMonoid | Data.MonoidPlus |
| Ideal | Data.Ring |
| join | Data.Lattice |
| Lattice | Data.Lattice |
| lcm2_monom | Data.MonoidPlus |
| lcm_monom | Data.MonoidPlus |
| leading_coef | Data.MonoidRing |
| leading_term | Data.MonoidRing |
| leading_thing | Data.MonoidRing |
| lempty | Data.Lattice |
| lfull | Data.Lattice |
| MakeGroebnerIdeal | Algebra.GroebnerBasis |
| MakeIdeal | Data.Ring |
| MakeMonom | Data.Monomial |
| MakePolynom | Data.MonoidRing |
| meet | Data.Lattice |
| minus | Data.Ring |
| mod_ideal | Algebra.Ideals |
| MonoidRing | Data.MonoidRing |
| Monom | Data.Monomial |
| multiv_division | Algebra.GroebnerBasis |
| mult_ideals | Data.Ring |
| normal_form | Algebra.GroebnerBasis |
| OrdMonoid | Data.MonoidPlus |
| Polynom | Data.Polynomial |
| prettyshow | Data.Monomial |
| prettyshow_add | Data.MonoidRing |
| principal_ideal | Data.Ring |
| process_syzygies | Algebra.GroebnerBasis |
| Data.Polynomial | |
| reduced_syzygy_pol | Algebra.GroebnerBasis |
| reduce_groebner_basis | Algebra.GroebnerBasis |
| returnm | Data.Monomial |
| returnp | Data.Polynomial |
| returnr | Data.MonoidRing |
| Ring | Data.Ring |
| ringprod | Data.MonoidRing |
| ringsum | Data.MonoidRing |
| self_normalize | Algebra.GroebnerBasis |
| separate_pols | Algebra.Elimination |
| separate_vars | Data.Monomial |
| simple_division | Algebra.GroebnerBasis |
| smallmap | |
| 1 (Function) | Data.MonoidRing |
| 2 (Function) | Data.Monomial |
| step_eliminate | Algebra.Elimination |
| syzygy_polynomial | Algebra.GroebnerBasis |
| T | Data.Polynomial |
| toIdeal | Data.Ring |
| toMonom | Data.Monomial |
| ToQQ | Data.Polynomial |
| toRing | Data.MonoidRing |
| U | Data.Polynomial |
| unit | Data.Monomial |
| unitize | Data.MonoidRing |
| unsafe_division | Data.Monomial |
| V | Data.Polynomial |
| varBounds | Data.Monomial |
| VarList | Data.Monomial |
| varRange | Data.Monomial |
| VarX | Data.Polynomial |
| VarXInt | Data.Polynomial |
| VarXYZ | Data.Polynomial |
| VarXYZT | Data.Polynomial |
| VarXYZTUV | Data.Polynomial |
| VarXYZTUVW | Data.Polynomial |
| VarXYZUVW | Data.Polynomial |
| W | Data.Polynomial |
| X | Data.Polynomial |
| Y | Data.Polynomial |
| Z | Data.Polynomial |
| zero | Data.Ring |
| zero_ring | Data.MonoidRing |
| \/ | Data.Lattice |
| × | Data.MonoidPlus |
| ×× | Data.Monomial |
| ÷ | Data.MonoidPlus |