Polynomial.Monomial
type t
A monomial is represented by a multiset of variables
val degree : t -> int
degree m is the sum of the degrees of each variable
degree m
val subset : t -> t -> bool
subset m1 m2 holds if the multi-set m1 is included in m2
subset m1 m2
m1
m2
val fold : (var -> int -> 'a -> 'a) -> t -> 'a -> 'a
fold f m acc folds f over the multiset m
fold f m acc
val output : Stdlib.out_channel -> t -> unit
output o m outputs a textual representation
output o m