ModuleMonomial(IS, E, ff)

modmonom.spad line 1 [edit on github]

IS : OrderedSet
E : SetCategory
ff : Mapping(Boolean, Record(index : IS, exponent : E), Record(index : IS, exponent : E))

This package is undocumented

< : (%, %) -> Boolean: from PartialOrder

<= : (%, %) -> Boolean: from PartialOrder

= : (%, %) -> Boolean: from BasicType

> : (%, %) -> Boolean: from PartialOrder

>= : (%, %) -> Boolean: from PartialOrder

coerce : Record(index : IS, exponent : E) -> %: coerce(x) is undocumented

coerce : % -> OutputForm: from CoercibleTo(OutputForm)

coerce : % -> Record(index : IS, exponent : E): coerce(x) is undocumented

construct : (IS, E) -> %: construct(i, e) is undocumented

exponent : % -> E: exponent(x) is undocumented

index : % -> IS: index(x) is undocumented

latex : % -> String: from SetCategory

max : (%, %) -> %: from OrderedSet

min : (%, %) -> %: from OrderedSet

smaller? : (%, %) -> Boolean: from Comparable

~= : (%, %) -> Boolean: from BasicType

CoercibleTo(OutputForm)