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.

EngineRing -- the class of rings handled by the engine

Description

Types of engine ring :

Methods that use an engine ring :

For the programmer

Types of `engine ring` :