degreeLexicographicOrder
fun LabeledPolynomial.MonomialSignature.Companion.degreeLexicographicOrder(variableOrder: Order<LabeledPolynomial.Variable> = LabeledPolynomial.Variable.lexicographicOrder(), degreeOrder: Order<UInt> = Order.defaultFor()): Order<LabeledPolynomial.MonomialSignature>(source)