| Interface | Description |
|---|---|
| Field<T> |
Represents the algebraic structure 'field'.
|
| OrderedField<T> |
Represents the mathemetical structure of a field which, in addition to the properties of a field provides a 'total
order'.
|
| Ring<T> |
A ringlike algebraic structure, whose additive monoid is an abelian group.
|
| RinglikeStructure<T> |
An algebraic structure, which is of ringlike type, aka it has two operations.
|
| Semiring<T> |
The algebraic structure of a semiring, which has the following properties:
|