Generalities

The (ring) library contains our idea of ring "type".

Functions Avaiable For Use

Wanted functions

• Constructor
  • (ideal R '(...)) or (ideal R gen...)
• Operations
  • sum
  • intersection
  • colon (quotient of ideals I by J)
• Queries
  • ideal->ring base ring
  • ideal->gens generators
  • zero?
  • one?
  • ideal-maximal?
  • ideal-prime?
  • ideal-contained?
  • ideal-equals?
  • ideal-has? true iff element of ideal
• More for SparsePolyRing
  • groebner-basis
  • leading-terms gives a monomial ideal
  • leading-form gives a homogeneous ideal
  • ...
  • zero-dim?
  • homog?