/usr/lib/open-axiom/input/bop.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 | -- Input generated from BasicOperatorXmpPage
)clear all
y := operator 'y
deq := D(y x, x, 2) + D(y x, x) + y x = 0
nary? y
unary? y
opOne := operator('opOne, 1)
nary? opOne
unary? opOne
arity opOne
name opOne
is?(opOne, 'z2)
is?(opOne, "opOne")
properties y
setProperty(y, "use", "unknown function" :: None )
properties y
property(y, "use") :: None pretend String
deleteProperty!(y, "use")
properties y
|