/usr/lib/open-axiom/input/ffrac.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 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 | --Copyright The Numerical Algorithms Group Limited 1994.
)lib ffrac
f1 : FormalFraction Integer
f1 := 6/3
-- 6
-- -
-- 3
f2 := (3.6/2.4)$FormalFraction Float
-- 3.6
-- ---
-- 2.4
numer f1
-- 6
denom f2
-- 2.4
f1 :: FRAC INT
-- 2
% :: FormalFraction Integer
-- 2
-- -
-- 1
f2 :: Float
-- 1.5
output "End of tests"
|