- Overview
- The World of Rings
- Coercion
- Generic Ring Functions
- Generic Element Functions
- Parent and Category
- Creation of Elements
- Arithmetic Operations
- + a : RngElt -> RngElt
- - a : RngElt -> RngElt
- a + b : RngElt, RngElt -> RngElt
- a - b : RngElt, RngElt -> RngElt
- a * b : RngElt, RngElt -> RngElt
- a ^ k : RngElt, RngIntElt -> RngElt
- a / b : RngElt, RngElt -> RngElt
- a +:= b : RngElt, RngElt -> RngElt
- a -:= b : RngElt, RngElt -> RngElt
- a *:= b : RngElt, RngElt -> RngElt
- a /:= b : RngElt, RngElt -> RngElt
- a ^:= k : RngElt, RngIntElt -> RngElt
- Equality and Membership
- Predicates on Ring Elements
- Comparison of Ring Elements
- Ideals and Quotient Rings
- Defining Ideals and Quotient Rings
- ideal< R | a1, ..., ar > : Rng, RngElt, ..., RngElt -> RngIdl
- quo< R | ar, ..., ar > : Rng, RngElt, ..., RngElt -> Rng
- R / I : Rng, RngIdl -> Rng
- PowerIdeal(R) : Rng -> PowIdl
- Arithmetic Operations on Ideals
- Boolean Operators on Ideals
- Other Ring Constructions
V2.28, 13 July 2023