Float.Field
include Interface.EUCLIDEAN_RING
include Interface.COMMUTATIVE_RING
include Interface.RING
include Interface.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 Interface.DIVISION_RING with type t := t
val reciprocal : t -> t