Generalities

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

Functions Avaiable For Use

Wanted functions

• Queries
  • (ring-commutative? R)
  • (ring-integral-domain? R)
  • (ring-ordered-domain? R)
  • (ring-field? R)
  • (ring-finite-field? R)
• Operations
  • (ring-char R) ring order aka field characteristic if R is a field
  • (ring-symbols R)
  • (ring-equals? R)
  • (zero R) gives the zero element of R
  • (one R) gives the one element of R
  • (ring->base R) gives the base ring from which R was built
  • Arithmetic
    • (<> R ...)
      • addition
      • multiplication
      • subtraction (additive inversion)
      • division (multiplicative inversion)
      • power
      • square
      • GCD
      • LCM
• Queries on elements
  • divisible?
  • zero?
  • one?
  • minus-one? is -1
  • invertible?
  • zero-divisor?

• If R is a field
  • (field-degree R) field degree