aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sf.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-01-02 10:09:37 +0000
committerdos-reis <gdr@axiomatics.org>2011-01-02 10:09:37 +0000
commit2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8 (patch)
treea993fb841dbecc560c217651a8504f23ed526481 /src/algebra/sf.spad.pamphlet
parentb9a4e3cd1880e977a827a98b1cb69175e7ad1e74 (diff)
downloadopen-axiom-2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8.tar.gz
* interp/nrunfast.boot (evalSlotDomain): Expand to VM forms before
value argument evaluation. (lazyMatch): Check for %llength too. * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %2bit and %2bool. * interp/g-util.boot: Expand them. * interp/define.boot (compJoin): Check for %llenght too. * algebra/boolean.spad.pamphlet: Tidy. * algebra/domain.spad.pamphlet: Likewise. * algebra/draw.spad.pamphlet: Likewise. * algebra/files.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/sf.spad.pamphlet')
-rw-r--r--src/algebra/sf.spad.pamphlet3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet
index 1585af6a..745dc254 100644
--- a/src/algebra/sf.spad.pamphlet
+++ b/src/algebra/sf.spad.pamphlet
@@ -315,6 +315,7 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath,
import %fsech: % -> % from Foreign Builtin
import %fasinh: % -> % from Foreign Builtin
import %facsch: % -> % from Foreign Builtin
+ import %fcstpi: () -> % from Foreign Builtin
manexp: % -> MER
@@ -374,7 +375,7 @@ DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath,
1 == %i2f(1@Integer)
-- rational approximation to e accurate to 23 digits
exp1() == %i2f(534625820200) / %i2f(196677847971)
- pi() == PI$Lisp
+ pi() == %fcstpi()
coerce(x:%):OutputForm == outputForm x
convert(x:%):InputForm == convert(x pretend DoubleFloat)$InputForm
x < y == %flt(x,y)