/usr/lib/open-axiom/input/efi.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 | --Copyright The Numerical Algorithms Group Limited 1994.
--
)clear all
EFI:=Expression Integer
ber:=operator 'ber
s:=operator 's
--s:OP EFI:=operator 's
br:LIST EFI->EFI
-- br(x|(x.1)~=0)==(x.1)/(exp((x.1))-1)
-- br has a removable singularity at the origin
-- br(x|(x.1)=0)== limit(br([y]),y=0)
br(x) ==
(x.1) = 0 => limit(br([y]),y=0)
(x.1)/(exp((x.1))-1)
br([1])
br([0])
fJ:List FRAC INT -> EFI
J(i:PI,j:PI):EFI==ber(s(i)-s(j))
function(J(1,2),'fJ,['s])
evaluate(ber,br)$BOP1(EFI);
ss:=[1,2]
fJ(ss)
ss:=[1,1]
-- fJ doesn't know about the special definition at the origin
fJ(ss)
|