Module Polynom.MakeSource

Parameters

module C : Coef

Signature

Sourcetype coef = C.t
Sourcetype variable = int
Sourcetype t =
  1. | Pint of coef
  2. | Prec of variable * t array
Sourceval of_num : Q.t -> t
Sourceval x : variable -> t
Sourceval monome : variable -> int -> t
Sourceval is_constantP : t -> bool
Sourceval is_zero : t -> bool
Sourceval max_var_pol : t -> variable
Sourceval max_var_pol2 : t -> variable
Sourceval max_var : t array -> variable
Sourceval equal : t -> t -> bool
Sourceval norm : t -> t
Sourceval deg : variable -> t -> int
Sourceval deg_total : t -> int
Sourceval copyP : t -> t
Sourceval coef : variable -> int -> t -> t
Sourceval plusP : t -> t -> t
Sourceval content : t -> coef
Sourceval div_int : t -> coef -> t
Sourceval vire_contenu : t -> t
Sourceval vars : t -> variable list
Sourceval int_of_Pint : t -> coef
Sourceval multx : int -> variable -> t -> t
Sourceval multP : t -> t -> t
Sourceval deriv : variable -> t -> t
Sourceval oppP : t -> t
Sourceval moinsP : t -> t -> t
Sourceval puisP : t -> int -> t
Sourceval (@@) : t -> t -> t
Sourceval (--) : t -> t -> t
Sourceval (^^) : t -> int -> t
Sourceval coefDom : variable -> t -> t
Sourceval coefConst : variable -> t -> t
Sourceval remP : variable -> t -> t
Sourceval coef_int_tete : t -> coef
Sourceval normc : t -> t
Sourceval coef_constant : t -> coef
Sourceval univ : bool Stdlib.ref
Sourceval string_of_var : int -> string
Sourceval nsP : int Stdlib.ref
Sourceval to_string : t -> string
Sourceval printP : t -> unit
Sourceval print_tpoly : t array -> unit
Sourceval print_lpoly : t list -> unit
Sourceval quo_rem_pol : t -> t -> variable -> t * t
Sourceval div_pol : t -> t -> variable -> t
Sourceval divP : t -> t -> t
Sourceval div_pol_rat : t -> t -> bool
Sourceval pseudo_div : t -> t -> variable -> t * t * int * t
Sourceval pgcdP : t -> t -> t
Sourceval pgcd_pol : t -> t -> variable -> t
Sourceval content_pol : t -> variable -> t
Sourceval pgcd_coef_pol : t -> t -> variable -> t
Sourceval pgcd_pol_rec : t -> t -> variable -> t
Sourceval gcd_sub_res : t -> t -> variable -> t
Sourceval gcd_sub_res_rec : t -> t -> t -> t -> int -> variable -> t
Sourceval lazard_power : t -> t -> int -> variable -> t
Sourceval hash : t -> int
Sourcemodule Hashpol : Stdlib.Hashtbl.S with type key = t