diff options
author | dos-reis <gdr@axiomatics.org> | 2011-09-09 00:34:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-09-09 00:34:50 +0000 |
commit | 6965d4b62fbde613777ac1756361aaba5822efea (patch) | |
tree | 7b6abe04869438d17ac3e3f8d03d31b1165c036e /src/algebra/string.spad.pamphlet | |
parent | dc558ba2d56b057f3a81b69ae2238d1cb1a6b7b8 (diff) | |
download | open-axiom-6965d4b62fbde613777ac1756361aaba5822efea.tar.gz |
* algebra/string.spad.pamphlet (String) [string]: New overload to
convert from Identifier.
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
-rw-r--r-- | src/algebra/string.spad.pamphlet | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 6ad08dc3..f977ac10 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -500,10 +500,16 @@ String(): Public == Private where string: DoubleFloat -> % ++ \spad{string f} returns the decimal representation of ++ \spad{f} in a string + string: Identifier -> % + ++ \spad{string id} is the string representation of the + ++ identifier \spad{id} Private == IndexedString(MINSTRINGINDEX) add - import %i2s: Integer -> % from Foreign Builtin + import %i2s: Integer -> % from Foreign Builtin + import %f2s: DoubleFloat -> % from Foreign Builtin + import %sname: Identifier -> % from Foreign Builtin string(n: Integer) == %i2s n - string(f: DoubleFloat) == %f2s(f)$Foreign(Builtin) + string(f: DoubleFloat) == %f2s f + string(id: Identifier) == %sname id @ |