diff options
Diffstat (limited to 'src/algebra/modmonom.spad.pamphlet')
| -rw-r--r-- | src/algebra/modmonom.spad.pamphlet | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/algebra/modmonom.spad.pamphlet b/src/algebra/modmonom.spad.pamphlet index 593d5aa8..b91555eb 100644 --- a/src/algebra/modmonom.spad.pamphlet +++ b/src/algebra/modmonom.spad.pamphlet @@ -20,15 +20,11 @@ ModuleMonomial(IS: OrderedSet, MM ==> Record(index:IS, exponent:E) - T == OrderedSet with + T == Join(OrderedSet, HomotopicTo MM) with exponent: $ -> E ++ exponent(x) \undocumented index: $ -> IS ++ index(x) \undocumented - coerce: MM -> $ - ++ coerce(x) \undocumented - coerce: $ -> MM - ++ coerce(x) \undocumented construct: (IS, E) -> $ ++ construct(i,e) \undocumented C == MM add |