/usr/lib/open-axiom/input/dfloat.input is in open-axiom-test 1.5.0~svn3056+ds-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | -- Input generated from DoubleFloatXmpPage
)clear all
2.71828
2.71828@DoubleFloat
2.71828 :: DoubleFloat
eApprox : DoubleFloat := 2.71828
avg : List DoubleFloat -> DoubleFloat
avg l ==
empty? l => 0 :: DoubleFloat
reduce(_+,l) / #l
avg []
avg [3.4,9.7,-6.8]
cos(3.1415926)$DoubleFloat
cos(3.1415926 :: DoubleFloat)
|