diff options
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 42aeedb3..14f30065 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -1149,7 +1149,7 @@ OrderedCancellationAbelianMonoid(): Category == )abbrev category ORDFIN OrderedFinite ++ Author: ++ Date Created: -++ Date Last Updated: +++ Date Last Updated: December 27, 2008 ++ Basic Functions: ++ Related Constructors: ++ Also See: @@ -1159,7 +1159,9 @@ OrderedCancellationAbelianMonoid(): Category == ++ Description: ++ Ordered finite sets. -OrderedFinite(): Category == Join(OrderedSet, Finite) +OrderedFinite(): Category == Join(OrderedSet, Finite) with + min: % ++ \spad{min} is the minimum value of %. + max: % ++ \spad{max} is the maximum value of %. @ \section{category OINTDOM OrderedIntegralDomain} |