diff options
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
-rw-r--r-- | src/algebra/catdef.spad.pamphlet | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 2ca2216b..694d169f 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -1963,13 +1963,14 @@ SetCategory(): Category == Join(BasicType,CoercibleTo OutputForm) with ++ starting from any initial element. ++ ++ Conditional attributes: -++ infinite\tab{15}repeated \spad{nextItem}'s are never "failed". +++ infinite\tab{15}repeated \spad{nextItem}'s are never \spad{nothing}. StepThrough(): Category == SetCategory with --operations init: % ++ init() chooses an initial object for stepping. - nextItem: % -> Union(%,"failed") - ++ nextItem(x) returns the next item, or "failed" if domain is exhausted. + nextItem: % -> Maybe % + ++ \spad{nextItem(x)} returns the next item, or \spad{failed} + ++ if domain is exhausted. @ \section{category UFD UniqueFactorizationDomain} |