EngineRing -- the class of rings handled by the engine

EngineRing -- the class of rings handled by the engine

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

The type EngineRing is a member of the class Type. Each object of class EngineRing is called an engine ring. Each engine ring is also a member of class Ring.

Types of EngineRing :

FractionField -- the class of all fraction fields

GaloisField -- the class of all Galois fields

PolynomialRing -- the class of all ordered monoid rings

QuotientRing -- the class of all quotient rings

SchurRing -- the class of all Schur rings

Methods for using an engine ring :

EngineRing / Ideal

EngineRing _ ZZ

ZZ _ EngineRing

frac EngineRing

generators EngineRing

net EngineRing

new EngineRing from (...)

new EngineRing from Handle

new EngineRing from Ring

new EngineRing from String

new EngineRing from {...}

numgens EngineRing

promote(ZZ,EngineRing)

toString EngineRing