EngineRing -- the class of rings handled by the engine

Description

The engine handles most of the types of rings in the system.

The command new Engine from x is not meant for general users, and provides the developers with a way to create top-level rings corresponding to rings implemented in the engine. Here x may be:

commands for the engine, as a string, or a sequence or list of strings, which cause a ring to be placed on the top of the engine's stack.
a ring, in which case another top-level ring is formed as an interface to the same underlying engine ring.
the handle of on engine ring

Types of engine ring :

FractionField -- the class of all fraction fields
GaloisField -- the class of all Galois fields
InexactField -- the class of inexact fields
PolynomialRing -- the class of all ordered monoid rings
QuotientRing -- the class of all quotient rings

Methods that use an engine ring :

frac(EngineRing) -- see frac -- construct a fraction field
isField(EngineRing) -- see isField -- whether something is a field
numgens(EngineRing) -- see numgens(Ring) -- number of generators of a polynomial ring

For the programmer

The object EngineRing is a type, with ancestor classes Ring < Type < MutableHashTable < HashTable < Thing.