diff options
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
| -rw-r--r-- | src/algebra/string.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 8a1a0210..e735a8f8 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -504,12 +504,10 @@ String(): StringCategory == IndexedString(MINSTRINGINDEX) add \section{category STRICAT StringCategory} <<category STRICAT StringCategory>>= )abbrev category STRICAT StringCategory --- Note that StringCategory is built into the old compiler --- redundant SetCategory added to help A# compiler ++ Description: ++ A category for string-like objects -StringCategory():Category == Join(StringAggregate(), SetCategory, OpenMath) with +StringCategory():Category == Join(StringAggregate(), OpenMath) with string: Integer -> % ++ string(i) returns the decimal representation of i in a string |