All field types in AbstractAlgebra belong to the
Field abstract type and field elements belong to the
FieldElem abstract type.
As Julia types cannot belong to our
FieldElem type hierarchy, we also provide the union type
FieldElement which includes
FieldElem in union with the Julia types
Field <: Ring
FieldElem <: RingElem
FieldElement <: RingElement
Of course all
Ring functionality is available for AbstractAlgebra fields and their elements.
Return the characteristic of the field. If the characteristic is not known, an exception is raised.
true if the given element is invertible, i.e. nonzero in the field.