diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-26 00:43:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-26 00:43:16 +0000 |
commit | 909cb7e77463267ae5d7403ae480cf8bd67c15c2 (patch) | |
tree | 8680bb660ea48769d04d71dbd5b56b7aac4dae87 /src/algebra/string.spad.pamphlet | |
parent | 90fc77c04c5f93595231f0da603d3f48e7ebbddb (diff) | |
download | open-axiom-909cb7e77463267ae5d7403ae480cf8bd67c15c2.tar.gz |
* interp/g-util.boot: Expand %f2s.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %f2s.
* algebra/string.spad.pamphlet (StringCategory) [string]: Add
overload DoubleFloat -> %.
(String): Define it.
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
-rw-r--r-- | src/algebra/string.spad.pamphlet | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index e735a8f8..54aed585 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -462,7 +462,8 @@ the coercion. MINSTRINGINDEX ==> 1 -- as of 3/14/90. String(): StringCategory == IndexedString(MINSTRINGINDEX) add - string n == STRINGIMAGE(n)$Lisp + string(n: Integer) == STRINGIMAGE(n)$Lisp + string(f: DoubleFloat) == %f2s(f)$Foreign(Builtin) OMwrite(x: %): String == s: String := "" @@ -510,6 +511,9 @@ String(): StringCategory == IndexedString(MINSTRINGINDEX) add 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} |