diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-27 19:16:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-27 19:16:40 +0000 |
commit | e51b2aa30afc0e65cca5bfc32d32dd9471fd65ea (patch) | |
tree | 4d2fd56347cc09adba11747665d1cddcbf7c8ce7 /src/algebra/catdef.spad.pamphlet | |
parent | fdc64c2abcdf53d9afee4541503d1d17763ee92c (diff) | |
download | open-axiom-e51b2aa30afc0e65cca5bfc32d32dd9471fd65ea.tar.gz |
* algebra/catdef.spad.pamphlet (OrderedFinite): Export `min' and
`max' values.
* algebra/si.spad.pamphlet (SingleInteger): Now satisfies
OrderedFinite. Tidy.
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} |