diff options
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 @ |