/usr/lib/open-axiom/input/tutchap3.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.
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 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 | --Copyright The Numerical Algorithms Group Limited 1996.
D(x^2,x)
D(sin x,x)
D(sin(log(x/tan(x))),x)
D(tan x,x,2)
D(tan x,x,3)
D(sin(x*y),x)
D(sin(x*y),[y,x,x])
dalembert := operator _[_]
dalembert u
J0 := operator script(J,[[0]]::List List OutputForm)
symbol[sub1,sub2]
f := operator 'f; g := operator 'g;
D(f(x)*g(x),x)
D(f(x)/g(x),x)
D(f(g(x)),x)
r := operator 'r; theta := operator 'theta ;
x(t) == r(t)*cos theta t
y(t) == r(t)*sin theta t
D(x(t),t)
D(y(t),t)
)clear all
r := operator 'r; theta := operator 'theta;
r := r(t); theta := theta(t);
x == r*cos theta; y == r*sin theta;
ax := D(x,t,2); ay := D(y,t,2);
eval(ax,theta=0)
eval(ay,theta=0)
f := operator 'f
D(f(r,theta),t)
D(f(r,theta),t,2)
)clear p x -- since x has a value
integrate(x^2,x)
integrate(%e^x,x)
integrate(1/x,x)
integrate(sin x,x)
I ==> integrate
I(x^3,x)
I(sin sin x,x)
I(x^n,x)
% - 1/(n + 1)
limit(%,n=-1)
In := %% 17
limit(%,n=-1)
)set stream calculate 5
series(In,n=-1) -- expand In in powers of (n+1)
In2 := In - x*%e^(-log(x))*(n+1)^(-1)
limit(In2,n=-1)
limit(x^(n+1)/(n+1),n=-1)
limit(x^(n+1)/(n+1)-1/(n+1),n=-1)
I(1/(a+x^2),x)
series(second %, a=0)
second %% 27
(rule atan A == acot(1/A)) %
I(atan x - acot(1/x),x)
atanRule := rule atan(A) == acot(1/A)
atanRule atan x
rSimp := rule(sqrt(x^(2*(n|even? n))) == x^n)
rSimp(sqrt(x^4))
rSimp(sqrt(x^6))
f := operator 'f; g := operator 'g; dprod := D(f(x)*g(x),x)
(rule f x == sin x)%
(rule g x == exp x)%
(rule (f x == sin x; g x == cos x))dprod
substitutions := (rule (f x == sec x; g x == csc x))
substitutions dprod
I(cot x, x)
normalize %
simplify %
(rule N*log A + M*log B == log(A^N*B^M)) %
(rule log(A^N) == N*log A)%
ii:=I(1/(x^3 + x + 1),x)
T0:= (tower ii).2 ::EXPR INT
f:=definingPolynomial T0
outputGeneral 5
solve((numerator f) :: POLY INT,0.00001)
eval(ii :: EXPR COMPLEX FLOAT,T0= rhs first %)
solve((numerator f) :: POLY INT,1/100000)
eval(ii,T0=rhs first %) :: EXPR Complex Integer
complexForm %
% :: EXPR Float
|