aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/string.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-26 11:52:07 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-26 11:52:07 +0000
commitf7816a009e9b9fab8cdb02e93a8b974fd3de44a6 (patch)
tree7c29ee8d292104f466725302ab19409f9e82616e /src/algebra/string.spad.pamphlet
parent909cb7e77463267ae5d7403ae480cf8bd67c15c2 (diff)
downloadopen-axiom-f7816a009e9b9fab8cdb02e93a8b974fd3de44a6.tar.gz
* algebra/string.spad.pamphlet (StringCategory): Remove.
(String): Adjust.
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
-rw-r--r--src/algebra/string.spad.pamphlet24
1 files changed, 9 insertions, 15 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet
index 54aed585..2469249d 100644
--- a/src/algebra/string.spad.pamphlet
+++ b/src/algebra/string.spad.pamphlet
@@ -461,7 +461,15 @@ the coercion.
++ This is the domain of character strings.
MINSTRINGINDEX ==> 1 -- as of 3/14/90.
-String(): StringCategory == IndexedString(MINSTRINGINDEX) add
+String(): Public == Private where
+ Public == Join(StringAggregate(), OpenMath) with
+ string: Integer -> %
+ ++ \spad{string i} returns the decimal representation of
+ ++ \spad{i} in a string
+ string: DoubleFloat -> %
+ ++ \spad{string f} returns the decimal representation of
+ ++ \spad{f} in a string
+ Private == IndexedString(MINSTRINGINDEX) add
string(n: Integer) == STRINGIMAGE(n)$Lisp
string(f: DoubleFloat) == %f2s(f)$Foreign(Builtin)
@@ -502,20 +510,7 @@ String(): StringCategory == IndexedString(MINSTRINGINDEX) add
OMputEndObject(dev)
@
-\section{category STRICAT StringCategory}
-<<category STRICAT StringCategory>>=
-)abbrev category STRICAT StringCategory
-++ Description:
-++ A category for string-like objects
-
-StringCategory():Category == Join(StringAggregate(), OpenMath) with
- string: Integer -> %
- ++ string(i) returns the decimal representation of i in a string
- string: DoubleFloat -> %
- ++ \spad{string f} returns the decimal representation of
- ++ \spad{f} in a string
-@
\section{License}
<<license>>=
--Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
@@ -557,7 +552,6 @@ StringCategory():Category == Join(StringAggregate(), OpenMath) with
<<domain CHAR Character>>
<<domain CCLASS CharacterClass>>
<<domain ISTRING IndexedString>>
-<<category STRICAT StringCategory>>
<<domain STRING String>>
@
\eject