EngineRing -- the class of rings handled by the engine

EngineRing -- the class of rings handled by the engine

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.

More general types (whose methods may also apply) :

Ring -- the class of all rings

Type -- the class of all types

MutableHashTable -- the class of all mutable hash tables

HashTable -- the class of all hash tables

Types of engine ring :

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

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

Methods for using an engine ring :

EngineRing / Ideal

EngineRing _ ZZ

frac EngineRing

generators EngineRing

net EngineRing

new EngineRing from Sequence

new EngineRing from List

new EngineRing from Handle