Module Polynomials.Degree

type t
val compare : t -> t -> int
val encode_to_int : t -> int

Encodes the complex type t to an integer that can be used for comparison.

val is_constant : t -> bool