package coq-core

  1. Overview
  2. Docs
package coq-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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
module Hashpol : Stdlib.Hashtbl.S with type key = t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct