/usr/lib/open-axiom/input/kernel.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 | -- Input generated from KernelXmpPage
)clear all
x :: Expression Integer
kernel x
sin(x) + cos(x)
kernels %
sin(x)**2 + sin(x) + cos(x)
kernels %
kernels(1 :: Expression Integer)
mainKernel(cos(x) + tan(x))
height kernel x
height mainKernel(sin x)
height mainKernel(sin cos x)
height mainKernel(sin cos (tan x + sin x))
operator mainKernel(sin cos (tan x + sin x))
name operator mainKernel(sin cos (tan x + sin x))
f := operator 'f
e := f(x, y, 10)
is?(e, f)
is?(e, 'f)
argument mainKernel e
|