Module `Polynomial.Poly`

val constant : Num.num -> t

constant c

val variable : var -> t

variable x

val addition : t -> t -> t

addition p1 p2

val product : t -> t -> t

product p1 p2

val uminus : t -> t

uminus p

val get : Monomial.t -> t -> Num.num

get mi p

val fold : (Monomial.t -> Num.num -> 'a -> 'a) -> t -> 'a -> 'a: fold f p a folds f over the monomials of p with non-zero coefficient

val add : Monomial.t -> Num.num -> t -> t

add m n p