Ring

Exports

• AbelianGroup
  ArithmeticType
  Monoid
  characteristic:	Integer	characteristic
  coerce:	Integer $\to$ %	embedding of the integers
  factorial:	(%, %, MachineInteger) $\to$ %	Generalized factorial
  random:	() $\to$ %	Get a random element