Interface.FIELD
include EUCLIDEAN_RING
include COMMUTATIVE_RING
include RING
include SEMIRING
type t
val add : t -> t -> t
val zero : t
val multiply : t -> t -> t
val one : t
val subtract : t -> t -> t
val degree : t -> int
val divide : t -> t -> t
val modulo : t -> t -> t
include DIVISION_RING with type t := t
val reciprocal : t -> t