Functor Arith.Type (.ml)

module Type: 
functor (X : Sig.X) -> Polynome.T  with type r = X.r

type r 

type t 

val compare : t -> t -> int

val hash : t -> int

val create : (Num.num * r) list -> Num.num -> Ty.t -> t

val add : t -> t -> t

val sub : t -> t -> t

val mult : t -> t -> t

val mult_const : Num.num -> t -> t

val div : t -> t -> t * bool

val modulo : t -> t -> t

val is_empty : t -> bool

val find : r -> t -> Num.num

val choose : t -> Num.num * r

val subst : r -> t -> t -> t

val remove : r -> t -> t

val to_list : t -> (Num.num * r) list * Num.num

val print : Format.formatter -> t -> unit

val type_info : t -> Ty.t

val is_monomial : t -> (Num.num * r * Num.num) option

val ppmc_denominators : t -> Num.num

val pgcd_numerators : t -> Num.num

val normal_form : t -> t * Num.num * Num.num

val normal_form_pos : t -> t * Num.num * Num.num