Module Polynomial.Poly
val constant : Num.num -> t
constant c
- returns
the constant polynomial c
val get : Monomial.t -> t -> Num.num
get mi p
- returns
the coefficient ai of the monomial mi.
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
- returns
the polynomial n*m + p