finite field extensions

Menu

• isField -- whether something is a field
• toField -- see toField(Ring) -- declare that a ring is a field
• getNonUnit -- retrieve a previously discovered non-unit
• isPrimitive -- whether an element is a primitive element of a finite field