Ring

Ring -- the class of all rings.

A ring is a set together with operations +, -, * and elements 0, 1 satisfying the usual rules. In this system, it is also understood to be a ZZ-algebra, which means that the operations where one argument is an integer are also provided.

Here are some classes of rings.

  • Field
  • FractionField
  • GaloisField
  • PolynomialRing
  • ProductRing
  • QuotientRing
  • SchurRing
  • Here are some particular rings:

  • ZZ
  • QQ
  • Tests:

  • isAffineRing
  • isField
  • isPolynomialRing
  • isQuotientRing
  • isRing
  • Here are some functions:

  • 0_R
  • 1_R
  • char
  • coefficientRing
  • lift
  • map
  • promote
  • ring
  • Ways to create new rings:

  • Ring Monoid
  • symmetricAlgebra
  • Here are some keys used in rings:

  • baseRings
  • Engine
  • modulus
  • Go to main index.

    Go to concepts index.