/usr/lib/open-axiom/input/bbtree.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 | -- Input generated from BalancedBinaryTreeXmpPage
)clear all
lm := [3,5,7,11]
modTree(12,lm)
t := balancedBinaryTree(#lm, 0)
setleaves!(t,lm)
mapUp!(t,_*)
t
mapDown!(t,12,_rem)
leaves %
squares := [x**2 rem m for x in % for m in lm]
chineseRemainder(%,lm)
|