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