Codemist Standard Lisp 3.54 for DEC Alpha: May 23 1994
Dump file created: Mon May 23 10:39:11 1994
REDUCE 3.5, 15-Oct-93 ...
Memory allocation: 6023424 bytes
+++ About to read file ndotest.red
*** ^ redefined
% Problem: Calculate the PDE's for the isovector of the heat equation.
% --------
% (c.f. B.K. Harrison, f.B. Estabrook, "Geometric Approach...",
% J. Math. Phys. 12, 653, 1971)
% The heat equation @ psi = @ psi is equivalent to the set of exterior
% xx t
% equations (with u=@ psi, y=@ psi):
% T x
pform {psi,u,x,y,t}=0,a=1,{da,b}=2;
a := d psi - u*d t - y*d x;
a := d psi - d t*u - d x*y
da := - d u^d t - d y^d x;
da := d t^d u + d x^d y
b := u*d x^d t - d y^d t;
b := - d t^d x*u + d t^d y
% Now calculate the PDE's for the isovector.
tvector v;
pform {vpsi,vt,vu,vx,vy}=0;
fdomain vpsi=vpsi(psi,t,u,x,y),vt=vt(psi,t,u,x,y),vu=vu(psi,t,u,x,y),
vx=vx(psi,t,u,x,y),vy=vy(psi,t,u,x,y);
v := vpsi*@ psi + vt*@ t + vu*@ u + vx*@ x + vy*@ y;
v := @ *vpsi + @ *vt + @ *vu + @ *vx + @ *vy
psi t u x y
factor d;
on rat;
i1 := v |_ a - l*a;
i1 := d psi*(@ vpsi - @ vt*u - @ vx*y - l)
psi psi psi
+ d t*(@ vpsi - @ vt*u - @ vx*y + l*u - vu)
t t t
+ d u*(@ vpsi - @ vt*u - @ vx*y)
u u u
+ d x*(@ vpsi - @ vt*u - @ vx*y + l*y - vy)
x x x
+ d y*(@ vpsi - @ vt*u - @ vx*y)
y y y
pform o=1;
o := ot*d t + ox*d x + ou*d u + oy*d y;
o := d t*ot + d u*ou + d x*ox + d y*oy
fdomain f=f(psi,t,u,x,y);
i11 := v _| d a - l*a + d f;
i11 := - d psi*l + d t*(l*u - vu) + d u*vt + d x*(l*y - vy) + d y*vx
let vx=-@(f,y),vt=-@(f,u),vu=@(f,t)+u*@(f,psi),vy=@(f,x)+y*@(f,psi),
vpsi=f-u*@(f,u)-y*@(f,y);
factor ^;
i2 := v |_ b - xi*b - o^a + zeta*da;
i2 := d psi^d t*( - @ f*y - @ f - @ f*u + ot)
psi psi psi x psi y
+ d psi^d u*ou + d psi^d x*(@ f*u + ox)
psi u
+ d psi^d y*( - @ f + oy)
psi u
+ d t^d u*(@ f*y + @ f + @ f*u - ou*u + zeta) +
psi u u x u y
d t^d x*(@ f*y - @ f*u + @ f*u - @ f + @ f + @ f*u
psi x psi t u t x x x y
+ ot*y - ox*u + u*xi) + d t^d y
*(@ f*y + @ f - @ f + @ f + @ f*u - oy*u - xi)
psi y psi t u x y y y
+ d u^d x*(@ f*u + ou*y) - d u^d y*@ f
u u u u
+ d x^d y*( - @ f - @ f*u - oy*y + zeta)
u x u y
let ou=0,oy=@(f,u,psi),ox=-u*@(f,u,psi),
ot=@(f,x,psi)+u*@(f,y,psi)+y*@(f,psi,psi);
i2;
2
d t^d u*(@ f*y + @ f + @ f*u + zeta) + d t^d x*(@ f*y
psi u u x u y psi psi
2
+ @ f*u + 2*@ f*y + @ f*u*y - @ f*u + @ f*u
psi u psi x psi y psi t u
- @ f + @ f + @ f*u + u*xi) + d t^d y
t x x x y
*( - @ f*u + @ f*y + @ f - @ f + @ f + @ f*u - xi)
psi u psi y psi t u x y y y
+ d u^d x*@ f*u - d u^d y*@ f
u u u u
+ d x^d y*( - @ f*y - @ f - @ f*u + zeta)
psi u u x u y
let zeta=-@(f,u,x)-@(f,u,y)*u-@(f,u,psi)*y;
i2;
2 2
d t^d x*(@ f*y + @ f*u + 2*@ f*y + @ f*u*y
psi psi psi u psi x psi y
- @ f*u + @ f*u - @ f + @ f + @ f*u + u*xi) +
psi t u t x x x y
d t^d y
*( - @ f*u + @ f*y + @ f - @ f + @ f + @ f*u - xi)
psi u psi y psi t u x y y y
+ d u^d x*@ f*u - d u^d y*@ f
u u u u
- 2*d x^d y*(@ f*y + @ f + @ f*u)
psi u u x u y
let xi=-@(f,t,u)-u*@(f,u,psi)+@(f,x,y)+u*@(f,y,y)+y*@(f,y,psi)+@(f,psi);
i2;
2
d t^d x*(@ f*y + 2*@ f*y + 2*@ f*u*y - @ f + @ f
psi psi psi x psi y t x x
2
+ 2*@ f*u + @ f*u ) + d u^d x*@ f*u - d u^d y*@ f
x y y y u u u u
- 2*d x^d y*(@ f*y + @ f + @ f*u)
psi u u x u y
let @(f,u,u)=0;
i2;
2
d t^d x*(@ f*y + 2*@ f*y + 2*@ f*u*y - @ f + @ f
psi psi psi x psi y t x x
2
+ 2*@ f*u + @ f*u )
x y y y
- 2*d x^d y*(@ f*y + @ f + @ f*u)
psi u u x u y
% These PDE's have to be solved.
clear a,da,b,v,i1,i11,o,i2,xi,t;
remfdomain f,vpsi,vt,vu,vx,vy;
clear @(f,u,u);
% Problem:
% --------
% Calculate the integrability conditions for the system of PDE's:
% (c.f. B.F. Schutz, "Geometrical Methods of Mathematical Physics"
% Cambridge University Press, 1984, p. 156)
% @ z /@ x + a1*z + b1*z = c1
% 1 1 2
% @ z /@ y + a2*z + b2*z = c2
% 1 1 2
% @ z /@ x + f1*z + g1*z = h1
% 2 1 2
% @ z /@ y + f2*z + g2*z = h2
% 2 1 2 ;
pform w(k)=1,integ(k)=4,{z(k),x,y}=0,{a,b,c,f,g,h}=1,
{a1,a2,b1,b2,c1,c2,f1,f2,g1,g2,h1,h2}=0;
fdomain a1=a1(x,y),a2=a2(x,y),b1=b1(x,y),b2=b2(x,y),
c1=c1(x,y),c2=c2(x,y),f1=f1(x,y),f2=f2(x,y),
g1=g1(x,y),g2=g2(x,y),h1=h1(x,y),h2=h2(x,y);
a:=a1*d x+a2*d y$
b:=b1*d x+b2*d y$
c:=c1*d x+c2*d y$
f:=f1*d x+f2*d y$
g:=g1*d x+g2*d y$
h:=h1*d x+h2*d y$
% The equivalent exterior system:
factor d;
w(1) := d z(-1) + z(-1)*a + z(-2)*b - c;
1
w := d z + d x*(z *a1 + z *b1 - c1) + d y*(z *a2 + z *b2 - c2)
1 1 2 1 2
w(2) := d z(-2) + z(-1)*f + z(-2)*g - h;
2
w := d z + d x*(z *f1 + z *g1 - h1) + d y*(z *f2 + z *g2 - h2)
2 1 2 1 2
indexrange 1,2;
factor z;
% The integrability conditions:
integ(k) := d w(k) ^ w(1) ^ w(2);
1
integ := d z ^d z ^d x^d y*z *( - @ a1 + @ a2 + b1*f2 - b2*f1) +
1 2 1 y x
d z ^d z ^d x^d y*z
1 2 2
*( - @ b1 + @ b2 + a1*b2 - a2*b1 + b1*g2 - b2*g1) +
y x
d z ^d z ^d x^d y
1 2
*(@ c1 - @ c2 - a1*c2 + a2*c1 - b1*h2 + b2*h1)
y x
2
integ := d z ^d z ^d x^d y*z
1 2 1
*( - @ f1 + @ f2 - a1*f2 + a2*f1 - f1*g2 + f2*g1)
y x
+ d z ^d z ^d x^d y*z *( - @ g1 + @ g2 - b1*f2 + b2*f1) +
1 2 2 y x
d z ^d z ^d x^d y
1 2
*(@ h1 - @ h2 + c1*f2 - c2*f1 - g1*h2 + g2*h1)
y x
clear a,b,c,f,g,h,x,y,w(k),integ(k),z(k);
remfdomain a1,a2,b1,c1,c2,f1,f2,g1,g2,h1,h2;
% Problem:
% --------
% Calculate the PDE's for the generators of the d-theta symmetries of
% the Lagrangian system of the planar Kepler problem.
% c.f. W.Sarlet, F.Cantrijn, Siam Review 23, 467, 1981
% Verify that time translation is a d-theta symmetry and calculate the
% corresponding integral.
pform {t,q(k),v(k),lam(k),tau,xi(k),eta(k)}=0,theta=1,f=0,
{l,glq(k),glv(k),glt}=0;
tvector gam,y;
indexrange 1,2;
fdomain tau=tau(t,q(k),v(k)),xi=xi(t,q(k),v(k)),f=f(t,q(k),v(k));
l := 1/2*(v(1)**2 + v(2)**2) + m/r$
% The Lagrangian.
pform r=0;
fdomain r=r(q(k));
let @(r,q 1)=q(1)/r,@(r,q 2)=q(2)/r,q(1)**2+q(2)**2=r**2;
lam(k) := -m*q(k)/r;
1
1 - q *m
lam := ---------
r
2
2 - q *m
lam := ---------
r
% The force.
gam := @ t + v(k)*@(q(k)) + lam(k)*@(v(k))$
eta(k) := gam _| d xi(k) - v(k)*gam _| d tau$
y := tau*@ t + xi(k)*@(q(k)) + eta(k)*@(v(k))$
% Symmetry generator.
theta := l*d t + @(l,v(k))*(d q(k) - v(k)*d t)$
factor @;
s := y |_ theta - d f$
glq(k) := @(q k) _| s;
1 1
- @ (xi )*q *m
1
1 1 1 1 2 v
glq := 2*@ (xi )*v + @ (xi )*v + ------------------
1 2 r
q q
1 2
- @ (xi )*q *m
2
v 1 2 2
+ ------------------ + @ (xi ) + @ (xi )*v - @ f
r t 1 1
q q
1 2 2 2
@ tau*( - 3*(v ) *r - (v ) *r + 2*m)
1
q 1 2
+ --------------------------------------- - @ tau*v *v
2*r 2
q
1 1 2 1
@ tau*q *v *m @ tau*q *v *m
1 2
v v 1
+ ---------------- + ---------------- - @ tau*v
r r t
2 1 1 2 1 2 2
glq := @ (xi )*v + @ (xi )*v + 2*@ (xi )*v
2 1 2
q q q
2 1 2 2
- @ (xi )*q *m - @ (xi )*q *m
1 2
v v 2
+ ------------------ + ------------------ + @ (xi ) - @ f
r r t 2
q
1 2 2 2
@ tau*( - (v ) *r - 3*(v ) *r + 2*m)
2
1 2 q
- @ tau*v *v + ---------------------------------------
1 2*r
q
1 2 2 2
@ tau*q *v *m @ tau*q *v *m
1 2
v v 2
+ ---------------- + ---------------- - @ tau*v
r r t
glv(k) := @(v k) _| s;
1 1 1 2 2
glv := @ (xi )*v + @ (xi )*v - @ f
1 1 1
v v v
1 2 2 2
@ tau*( - (v ) *r - (v ) *r + 2*m)
1
v
+ -------------------------------------
2*r
2 1 1 2 2
glv := @ (xi )*v + @ (xi )*v - @ f
2 2 2
v v v
1 2 2 2
@ tau*( - (v ) *r - (v ) *r + 2*m)
2
v
+ -------------------------------------
2*r
glt := @(t) _| s;
1 1 1
@ (xi )*q *v *m
1
1 1 2 1 1 2 v
glt := - @ (xi )*(v ) - @ (xi )*v *v + ------------------
1 2 r
q q
1 2 1
@ (xi )*q *v *m
2
v 2 1 2 2 2 2
+ ------------------ - @ (xi )*v *v - @ (xi )*(v )
r 1 2
q q
2 1 2 2 2 2
@ (xi )*q *v *m @ (xi )*q *v *m
1 2
v v
+ ------------------ + ------------------ - @ f
r r t
1 1 2 2 2 2 1 2 2 2
+ @ tau*v *((v ) + (v ) ) + @ tau*v *((v ) + (v ) )
1 2
q q
1 1 2 2 2
@ tau*q *m*((v ) + (v ) )
1
v
- -----------------------------
r
2 1 2 2 2
@ tau*q *m*((v ) + (v ) )
2
v
- -----------------------------
r
1 2 2 2
@ tau*((v ) *r + (v ) *r + 2*m) 1 1 2 2
t m*(q *xi + q *xi )
+ --------------------------------- - ---------------------
2*r 3
r
% Translation in time must generate a symmetry.
xi(k) := 0;
k
xi := 0
tau := 1;
tau := 1
glq k := glq k;
1
glq := - @ f
1
q
2
glq := - @ f
2
q
glv k := glv k;
1
glv := - @ f
1
v
2
glv := - @ f
2
v
glt;
- @ f
t
% The corresponding integral is of course the energy.
integ := - y _| theta;
1 2 2 2
(v ) *r + (v ) *r - 2*m
integ := -------------------------
2*r
clear l,lam k,gam,eta k,y,theta,s,glq k,glv k,glt,t,q k,v k,tau,xi k;
remfdomain r,f,tau,xi;
% Problem:
% --------
% Calculate the "gradient" and "Laplacian" of a function and the "curl"
% and "divergence" of a one-form in elliptic coordinates.
coframe e u = sqrt(cosh(v)**2 - sin(u)**2)*d u,
e v = sqrt(cosh(v)**2 - sin(u)**2)*d v,
e phi = cos u*sinh v*d phi;
pform f=0;
fdomain f=f(u,v,phi);
factor e,^;
on rat,gcd;
order cosh v, sin u;
% The gradient:
d f;
phi u
@ f*e @ f*e
phi u
---------------- + --------------------------
cos(u)*sinh(v) 2 2
sqrt(cosh(v) - sin(u) )
v
@ f*e
v
+ --------------------------
2 2
sqrt(cosh(v) - sin(u) )
factor @;
% The Laplacian:
# d # d f;
@ f @ f
phi phi u u
------------------ + --------------------
2 2 2 2
cos(u) *sinh(v) cosh(v) - sin(u)
@ f*sin(u) @ f
u v v
- ----------------------------- + --------------------
2 2 2 2
cos(u)*(cosh(v) - sin(u) ) cosh(v) - sin(u)
@ f*cosh(v)
v
+ ------------------------------
2 2
sinh(v)*(cosh(v) - sin(u) )
% Another way of calculating the Laplacian:
-#vardf(1/2*d f^#d f,f);
@ f @ f
phi phi u u
------------------ + --------------------
2 2 2 2
cos(u) *sinh(v) cosh(v) - sin(u)
@ f*sin(u) @ f
u v v
- ----------------------------- + --------------------
2 2 2 2
cos(u)*(cosh(v) - sin(u) ) cosh(v) - sin(u)
@ f*cosh(v)
v
+ ------------------------------
2 2
sinh(v)*(cosh(v) - sin(u) )
remfac @;
% Now calculate the "curl" and the "divergence" of a one-form.
pform w=1,a(k)=0;
fdomain a=a(u,v,phi);
w := a(-k)*e k;
phi u v
w := e *a + e *a + e *a
phi u v
% The curl:
x := # d w;
phi 2 2
x := (e *( - cosh(v) *@ (a ) + cosh(v) *@ (a ) - cosh(v)*a *sinh(v)
v u u v u
2 2
+ sin(u) *@ (a ) - sin(u) *@ (a ) - sin(u)*a *cos(u)))/(
v u u v v
2 2 2 2 u
sqrt(cosh(v) - sin(u) )*(cosh(v) - sin(u) )) + (e *(
cosh(v)*a *cos(u) + cos(u)*@ (a )*sinh(v)
phi v phi
2 2
- sqrt(cosh(v) - sin(u) )*@ (a )))/(
phi v
2 2 v
sqrt(cosh(v) - sin(u) )*cos(u)*sinh(v)) + (e *(
sin(u)*a *sinh(v) - cos(u)*@ (a )*sinh(v)
phi u phi
2 2
+ sqrt(cosh(v) - sin(u) )*@ (a )))/(
phi u
2 2
sqrt(cosh(v) - sin(u) )*cos(u)*sinh(v))
factor @;
% The divergence:
y := # d # w;
@ (a ) @ (a )
phi phi u u
y := ---------------- + --------------------------
cos(u)*sinh(v) 2 2
sqrt(cosh(v) - sin(u) )
@ (a )
v v 3
+ -------------------------- + (cosh(v) *a *cos(u)
2 2 v
sqrt(cosh(v) - sin(u) )
2 2
- cosh(v) *sin(u)*a *sinh(v) - cosh(v)*sin(u) *a *cos(u)
u v
2 3
+ cosh(v)*a *cos(u)*sinh(v) + sin(u) *a *sinh(v)
v u
2 2 2
- sin(u)*a *cos(u) *sinh(v))/(sqrt(cosh(v) - sin(u) )
u
2 2
*cos(u)*sinh(v)*(cosh(v) - sin(u) ))
remfac @;
clear x,y,w,u,v,phi,e k,a k;
remfdomain a,f;
% Problem:
% --------
% Calculate in a spherical coordinate system the Navier Stokes equations.
coframe e r=d r, e theta =r*d theta, e phi = r*sin theta *d phi;
frame x;
fdomain v=v(t,r,theta,phi),p=p(r,theta,phi);
pform v(k)=0,p=0,w=1;
% We first calculate the convective derivative.
w := v(-k)*e(k)$
factor e;
on rat;
cdv := @(w,t) + (v(k)*x(-k)) |_ w - 1/2*d(v(k)*v(-k));
phi
cdv := (e *(cos(theta)*v *v + @ (v )*v
phi theta phi phi phi
+ @ (v )*sin(theta)*v *r + @ (v )*sin(theta)*r
r phi r t phi
+ @ (v )*sin(theta)*v + sin(theta)*v *v )
theta phi theta phi r
r
)/(sin(theta)*r) + (e *(@ (v )*v
phi r phi
+ @ (v )*sin(theta)*v *r + @ (v )*sin(theta)*r
r r r t r
2
+ @ (v )*sin(theta)*v - sin(theta)*(v )
theta r theta phi
2 theta
- sin(theta)*(v ) ))/(sin(theta)*r) + (e *(
theta
2
- cos(theta)*(v ) + @ (v )*v
phi phi theta phi
+ @ (v )*sin(theta)*v *r + @ (v )*sin(theta)*r
r theta r t theta
+ @ (v )*sin(theta)*v
theta theta theta
+ sin(theta)*v *v ))/(sin(theta)*r)
r theta
%next we calculate the viscous terms;
visc := nu*(d#d# w - #d#d w) + mu*d#d# w;
phi 2
visc := (e *( - cos(theta) *v *nu
phi
+ cos(theta)*@ (v )*sin(theta)*nu
theta phi
+ cos(theta)*@ (v )*mu
phi theta
+ 2*cos(theta)*@ (v )*nu + @ (v )*mu
phi theta phi phi phi
2 2
+ @ (v )*nu + @ (v )*sin(theta) *nu*r
phi phi phi r r phi
2
+ 2*@ (v )*sin(theta) *nu*r
r phi
2
+ @ (v )*sin(theta) *nu
theta theta phi
+ @ (v )*sin(theta)*mu*r
phi r r
+ 2*@ (v )*sin(theta)*mu + 2*@ (v )*sin(theta)*nu
phi r phi r
+ @ (v )*sin(theta)*mu
phi theta theta
2 2 2 r
- sin(theta) *v *nu))/(sin(theta) *r ) + (e *(
phi
cos(theta)*@ (v )*sin(theta)*nu
theta r
+ cos(theta)*@ (v )*sin(theta)*mu*r
r theta
- cos(theta)*sin(theta)*v *mu
theta
- 2*cos(theta)*sin(theta)*v *nu
theta
+ @ (v )*sin(theta)*mu*r
phi r phi
- @ (v )*sin(theta)*mu
phi phi
- 2*@ (v )*sin(theta)*nu + @ (v )*nu
phi phi phi phi r
2 2
+ @ (v )*sin(theta) *mu*r
r r r
2 2
+ @ (v )*sin(theta) *nu*r
r r r
2
+ 2*@ (v )*sin(theta) *mu*r
r r
2
+ 2*@ (v )*sin(theta) *nu*r
r r
2
+ @ (v )*sin(theta) *nu
theta theta r
2
+ @ (v )*sin(theta) *mu*r
r theta theta
2
- @ (v )*sin(theta) *mu
theta theta
2
- 2*@ (v )*sin(theta) *nu
theta theta
2 2
- 2*sin(theta) *v *mu - 2*sin(theta) *v *nu))/(
r r
2 2 theta 2
sin(theta) *r ) + (e *( - cos(theta) *v *mu
theta
2
- cos(theta) *v *nu - cos(theta)*@ (v )*mu
theta phi phi
- 2*cos(theta)*@ (v )*nu
phi phi
+ cos(theta)*@ (v )*sin(theta)*mu
theta theta
+ cos(theta)*@ (v )*sin(theta)*nu
theta theta
+ @ (v )*sin(theta)*mu
phi theta phi
2
+ @ (v )*sin(theta) *mu*r
r theta r
2
+ 2*@ (v )*sin(theta) *mu
theta r
2
+ 2*@ (v )*sin(theta) *nu + @ (v )*nu
theta r phi phi theta
2 2
+ @ (v )*sin(theta) *nu*r
r r theta
2
+ 2*@ (v )*sin(theta) *nu*r
r theta
2
+ @ (v )*sin(theta) *mu
theta theta theta
2
+ @ (v )*sin(theta) *nu
theta theta theta
2 2
- sin(theta) *v *mu - sin(theta) *v *nu))/(
theta theta
2 2
sin(theta) *r )
% Finally we add the pressure term and print the components of the
% whole equation.
pform nasteq=1,nast(k)=0;
nasteq := cdv - visc + 1/rho*d p$
factor @;
nast(-k) := x(-k) _| nasteq;
- @ (v )*mu @ (v )*(mu + 2*nu)
phi r phi phi phi
nast := -------------------- + ------------------------
r sin(theta)*r 2
sin(theta)*r
- @ (v )*nu @ (v )*v
phi phi r phi r phi
+ -------------------- + ---------------
2 2 sin(theta)*r
sin(theta) *r
@ (v )*(v *r - 2*mu - 2*nu)
r r r
- @ (v )*(mu + nu) + -----------------------------
r r r r
- @ (v )*nu
theta theta r
+ @ (v ) + ------------------------
t r 2
r
@ (v )*( - cos(theta)*nu + sin(theta)*v *r)
theta r theta
+ -----------------------------------------------------
2
sin(theta)*r
- @ (v )*mu - @ (v )*cos(theta)*mu
r theta theta r theta
+ ------------------------ + -----------------------------
r sin(theta)*r
@ (v )*(mu + 2*nu) @ p
theta theta r
+ ---------------------------- + ----- + (
2 rho
r
cos(theta)*v *mu + 2*cos(theta)*v *nu
theta theta
2
- sin(theta)*(v ) *r + 2*sin(theta)*v *mu
phi r
2
+ 2*sin(theta)*v *nu - sin(theta)*(v ) *r)/(
r theta
2
sin(theta)*r )
- @ (v )*mu
phi theta phi
nast := ------------------------
theta 2
sin(theta)*r
@ (v )*cos(theta)*(mu + 2*nu)
phi phi
+ -----------------------------------
2 2
sin(theta) *r
- @ (v )*mu 2*@ (v )*(mu + nu)
r theta r theta r
+ -------------------- - ------------------------
r 2
r
- @ (v )*nu @ (v )*v
phi phi theta phi theta phi
+ ------------------------ + -------------------
2 2 sin(theta)*r
sin(theta) *r
@ (v )*(v *r - 2*nu)
r theta r
- @ (v )*nu + --------------------------
r r theta r
@ (v )*(mu + nu)
theta theta theta
+ @ (v ) - -------------------------------- + (
t theta 2
r
@ (v )*( - cos(theta)*mu - cos(theta)*nu
theta theta
2
+ sin(theta)*v *r))/(sin(theta)*r )
theta
@ p
theta 2
+ --------- + (cos(theta) *v *mu
r*rho theta
2
+ cos(theta) *v *nu
theta
2
- cos(theta)*sin(theta)*(v ) *r
phi
2 2
+ sin(theta) *v *v *r + sin(theta) *v *mu
r theta theta
2 2 2
+ sin(theta) *v *nu)/(sin(theta) *r )
theta
@ (v )*(mu + nu) @ (v )*v
phi phi phi phi phi phi
nast := - -------------------------- + -----------------
phi 2 2 sin(theta)*r
sin(theta) *r
@ (v )*(v *r - 2*nu)
r phi r
- @ (v )*nu + ------------------------ + @ (v )
r r phi r t phi
- @ (v )*nu
theta theta phi
+ --------------------------
2
r
@ (v )*( - cos(theta)*nu + sin(theta)*v *r)
theta phi theta
+ -------------------------------------------------------
2
sin(theta)*r
- @ (v )*mu 2*@ (v )*(mu + nu)
phi r r phi r
+ ------------------ - ----------------------
sin(theta)*r 2
sin(theta)*r
- @ (v )*mu
phi theta theta
+ --------------------------
2
sin(theta)*r
@ (v )*cos(theta)*( - mu - 2*nu)
phi theta
+ ----------------------------------------
2 2
sin(theta) *r
@ p
phi 2
+ ------------------ + (v *(cos(theta) *nu
sin(theta)*r*rho phi
2
+ cos(theta)*sin(theta)*v *r + sin(theta) *v *r
theta r
2 2 2
+ sin(theta) *nu))/(sin(theta) *r )
remfac @,e;
clear v k,x k,nast k,cdv,visc,p,w,nasteq,e k;
remfdomain p,v;
% Problem:
% --------
% Calculate from the Lagrangian of a vibrating rod the equation of
% motion and show that the invariance under time translation leads
% to a conserved current.
pform {y,x,t,q,j}=0,lagr=2;
fdomain y=y(x,t),q=q(x),j=j(x);
factor ^;
lagr := 1/2*(rho*q*@(y,t)**2 - e*j*@(y,x,x)**2)*d x^d t;
2 2
d t^d x*( - @ y *q*rho + @ y *e*j)
t x x
lagr := --------------------------------------
2
vardf(lagr,y);
d t^d x
*(@ j*@ y*e + 2*@ j*@ y*e + @ y*q*rho + @ y*e*j)
x x x x x x x x t t x x x x
% The Lagrangian does not explicitly depend on time; therefore the
% vector field @ t generates a symmetry. The conserved current is
pform c=1;
factor d;
c := noether(lagr,y,@ t);
c := d t*e*(@ j*@ y*@ y - @ y*@ y*j + @ y*@ y*j)
x t x x t x x x t x x x
2 2
d x*(@ y *q*rho + @ y *e*j)
t x x
- -------------------------------
2
% The exterior derivative of this must be zero or a multiple of the
% equation of motion (weak conservation law) to be a conserved current.
remfac d;
d c;
d t^d x*@ y
t
*( - @ j*@ y*e - 2*@ j*@ y*e - @ y*q*rho - @ y*e*j)
x x x x x x x x t t x x x x
% i.e. it is a multiple of the equation of motion.
clear lagr,c,j,y,q;
remfdomain y,q,j;
% Problem:
% --------
% Show that the metric structure given by Eguchi and Hanson induces a
% self-dual curvature.
% c.f. T. Eguchi, P.B. Gilkey, A.J. Hanson, "Gravitation, Gauge Theories
% and Differential Geometry", Physics Reports 66, 213, 1980
for all x let cos(x)**2=1-sin(x)**2;
pform f=0,g=0;
fdomain f=f(r), g=g(r);
coframe o(r) = f*d r,
o(theta) = (r/2)*(sin(psi)*d theta - sin(theta)*cos(psi)*d phi),
o(phi) = (r/2)*(-cos(psi)*d theta - sin(theta)*sin(psi)*d phi),
o(psi) = (r/2)*g*(d psi + cos(theta)*d phi);
frame e;
pform gamma(a,b)=1,curv2(a,b)=2;
index_symmetries gamma(a,b),curv2(a,b): antisymmetric;
factor o;
gamma(-a,-b) := -(1/2)*( e(-a) _| (e(-c) _| (d o(-b)))
-e(-b) _| (e(-a) _| (d o(-c)))
+e(-c) _| (e(-b) _| (d o(-a))) )*o(c)$
curv2(-a,b) := d gamma(-a,b) + gamma(-c,b)^gamma(-a,c)$
let f=1/g,g=sqrt(1-(a/r)**4);
pform chck(k,l)=2;
index_symmetries chck(k,l): antisymmetric;
% The following has to be zero for a self-dual curvature.
chck(k,l) := 1/2*eps(k,l,m,n)*curv2(-m,-n) + curv2(k,l);
r theta
chck := 0
r phi
chck := 0
theta phi
chck := 0
r psi
chck := 0
theta psi
chck := 0
phi psi
chck := 0
clear gamma(a,b),curv2(a,b),f,g,chck(a,b),o(k),e(k),r,phi,psi;
remfdomain f,g;
% Example: 6-dimensional FRW model with quadratic curvature terms in
% -------
% the Lagrangian (Lanczos and Gauss-Bonnet terms).
% cf. Henriques, Nuclear Physics, B277, 621 (1986)
for all x let cos(x)**2+sin(x)**2=1;
pform {r,s}=0;
fdomain r=r(t),s=s(t);
coframe o(t) = d t,
o(1) = r*d u/(1 + k*(u**2)/4),
o(2) = r*u*d theta/(1 + k*(u**2)/4),
o(3) = r*u*sin(theta)*d phi/(1 + k*(u**2)/4),
o(4) = s*d v1,
o(5) = s*sin(v1)*d v2
with metric g =-o(t)*o(t)+o(1)*o(1)+o(2)*o(2)+o(3)*o(3)
+o(4)*o(4)+o(5)*o(5);
frame e;
on nero;
factor o,^;
riemannconx om;
pform curv(k,l)=2,{riemann(a,b,c,d),ricci(a,b),riccisc}=0;
index_symmetries curv(k,l): antisymmetric,
riemann(k,l,m,n): antisymmetric in {k,l},{m,n}
symmetric in {{k,l},{m,n}},
ricci(k,l): symmetric;
curv(k,l) := d om(k,l) + om(k,-m)^om(m,l);
t 1
o ^o *@ r
t 1 t t
curv := -------------
r
t 2
o ^o *@ r
t 2 t t
curv := -------------
r
1 2 2
o ^o *(@ r + k)
1 2 t
curv := ------------------
2
r
t 3
o ^o *@ r
t 3 t t
curv := -------------
r
1 3 2
o ^o *(@ r + k)
1 3 t
curv := ------------------
2
r
2 3 2
o ^o *(@ r + k)
2 3 t
curv := ------------------
2
r
t 4
o ^o *@ s
t 4 t t
curv := -------------
s
1 4
o ^o *@ r*@ s
1 4 t t
curv := ---------------
r*s
2 4
o ^o *@ r*@ s
2 4 t t
curv := ---------------
r*s
3 4
o ^o *@ r*@ s
3 4 t t
curv := ---------------
r*s
t 5
o ^o *@ s
t 5 t t
curv := -------------
s
1 5
o ^o *@ r*@ s
1 5 t t
curv := ---------------
r*s
2 5
o ^o *@ r*@ s
2 5 t t
curv := ---------------
r*s
3 5
o ^o *@ r*@ s
3 5 t t
curv := ---------------
r*s
4 5 2
o ^o *(@ s + 1)
4 5 t
curv := ------------------
2
s
riemann(a,b,c,d) := e(d) _| (e (c) _| curv(a,b));
- @ r
t 1 t 1 t t
riemann := ----------
r
- @ r
t 2 t 2 t t
riemann := ----------
r
2
@ r + k
1 2 1 2 t
riemann := ----------
2
r
- @ r
t 3 t 3 t t
riemann := ----------
r
2
@ r + k
1 3 1 3 t
riemann := ----------
2
r
2
@ r + k
2 3 2 3 t
riemann := ----------
2
r
- @ s
t 4 t 4 t t
riemann := ----------
s
@ r*@ s
1 4 1 4 t t
riemann := ---------
r*s
@ r*@ s
2 4 2 4 t t
riemann := ---------
r*s
@ r*@ s
3 4 3 4 t t
riemann := ---------
r*s
- @ s
t 5 t 5 t t
riemann := ----------
s
@ r*@ s
1 5 1 5 t t
riemann := ---------
r*s
@ r*@ s
2 5 2 5 t t
riemann := ---------
r*s
@ r*@ s
3 5 3 5 t t
riemann := ---------
r*s
2
@ s + 1
4 5 4 5 t
riemann := ----------
2
s
% The rest is done in the Ricci calculus language,
ricci(-a,-b) := riemann(c,-a,-d,-b)*g(-c,d);
- 3*@ r*s - 2*@ s*r
t t t t
ricci := --------------------------
t t r*s
2
@ r*r*s + 2*@ r *s + 2*@ r*@ s*r + 2*k*s
t t t t t
ricci := --------------------------------------------
1 1 2
r *s
2
@ r*r*s + 2*@ r *s + 2*@ r*@ s*r + 2*k*s
t t t t t
ricci := --------------------------------------------
2 2 2
r *s
2
@ r*r*s + 2*@ r *s + 2*@ r*@ s*r + 2*k*s
t t t t t
ricci := --------------------------------------------
3 3 2
r *s
2
3*@ r*@ s*s + @ s*r*s + @ s *r + r
t t t t t
ricci := --------------------------------------
4 4 2
r*s
2
3*@ r*@ s*s + @ s*r*s + @ s *r + r
t t t t t
ricci := --------------------------------------
5 5 2
r*s
riccisc := ricci(-a,-b)*g(a,b);
2 2 2
riccisc := (2*(3*@ r*r*s + 3*@ r *s + 6*@ r*@ s*r*s
t t t t t
2 2 2 2 2 2 2
+ 2*@ s*r *s + @ s *r + 3*k*s + r ))/(r *s )
t t t
pform {laglanc,inv1,inv2} = 0;
index_symmetries riemc3(k,l),riemri(k,l),
hlang(k,l),einst(k,l): symmetric;
pform {riemc3(i,j),riemri(i,j)}=0;
riemc3(-i,-j) := riemann(-i,-k,-l,-m)*riemann(-j,k,l,m)$
inv1 := riemc3(-i,-j)*g(i,j);
2 2 4 4 4 2 2 2 2
inv1 := (4*(3*@ r *r *s + 3*@ r *s + 6*@ r *@ s *r *s
t t t t t
2 4 2 4 2 4 4 2 4
+ 6*@ r *k*s + 2*@ s *r *s + @ s *r + 2*@ s *r
t t t t t
2 4 4 4 4
+ 3*k *s + r ))/(r *s )
riemri(-i,-j) := 2*riemann(-i,-k,-j,-l)*ricci(k,l)$
inv2 := ricci(-a,-b)*ricci(a,b);
2 2 4 2 4
inv2 := (2*(6*@ r *r *s + 6*@ r*@ r *r*s
t t t t t
2 3 3 3
+ 6*@ r*@ r*@ s*r *s + 6*@ r*@ s*r *s
t t t t t t t t
4 4 4 3 3
+ 6*@ r*k*r*s + 6*@ r *s + 12*@ r *@ s*r*s
t t t t t
2 2 2 2 2 4
+ 15*@ r *@ s *r *s + 12*@ r *k*s
t t t
3 2 3 3
+ 6*@ r*@ s*@ s*r *s + 6*@ r*@ s *r *s
t t t t t t
3 3 2 4 2
+ 12*@ r*@ s*k*r*s + 6*@ r*@ s*r *s + 3*@ s *r *s
t t t t t t
2 4 4 4 4 2 4
+ 2*@ s*@ s *r *s + 2*@ s*r *s + @ s *r + 2*@ s *r
t t t t t t t
2 4 4 4 4
+ 6*k *s + r ))/(r *s )
laglanc := (1/2)*(inv1 - 4*inv2 + riccisc**2);
2 2 2 2
laglanc := (12*(@ r*@ r *s + 4*@ r*@ r*@ s*r*s + @ r*@ s *r
t t t t t t t t t t
2 2 3
+ @ r*k*s + @ r*r + 2*@ r *@ s*s
t t t t t t
2 2 2 2
+ 2*@ r *@ s*r*s + 3*@ r *@ s *r + @ r *r
t t t t t t
2
+ 2*@ r*@ s*@ s*r + 2*@ r*@ s*k*s + 2*@ s*k*r*s
t t t t t t t t
2 3 2
+ @ s *k*r + k*r))/(r *s )
t
pform {einst(a,b),hlang(a,b)}=0;
hlang(-i,-j) := 2*(riemc3(-i,-j) - riemri(-i,-j) -
2*ricci(-i,-k)*ricci(-j,K) +
riccisc*ricci(-i,-j) - (1/2)*laglanc*g(-i,-j));
3 2 2 2
hlang := (12*(2*@ r *@ s*s + 3*@ r *@ s *r + @ r *r
t t t t t t t
2 3 2
+ 2*@ r*@ s*k*s + @ s *k*r + k*r))/(r *s )
t t t
2
hlang := (4*( - 4*@ r*@ r*@ s*s - 2*@ r*@ s *r - 2*@ r*r
1 1 t t t t t t t t t
2 2 2 2
- 2*@ r *@ s*s - 3*@ r *@ s - @ r
t t t t t t
2 2
- 4*@ r*@ s*@ s*r - 2*@ s*k*s - @ s *k - k))/(r
t t t t t t t
2
*s )
2
hlang := (4*( - 4*@ r*@ r*@ s*s - 2*@ r*@ s *r - 2*@ r*r
2 2 t t t t t t t t t
2 2 2 2
- 2*@ r *@ s*s - 3*@ r *@ s - @ r
t t t t t t
2 2
- 4*@ r*@ s*@ s*r - 2*@ s*k*s - @ s *k - k))/(r
t t t t t t t
2
*s )
2
hlang := (4*( - 4*@ r*@ r*@ s*s - 2*@ r*@ s *r - 2*@ r*r
3 3 t t t t t t t t t
2 2 2 2
- 2*@ r *@ s*s - 3*@ r *@ s - @ r
t t t t t t
2 2
- 4*@ r*@ s*@ s*r - 2*@ s*k*s - @ s *k - k))/(r
t t t t t t t
2
*s )
2
hlang := (12*( - @ r*@ r *s - 2*@ r*@ r*@ s*r - @ r*k*s
4 4 t t t t t t t t t
3 2
- @ r *@ s - @ r *@ s*r - @ r*@ s*k - @ s*k*r))
t t t t t t t t t
3
/(r *s)
2
hlang := (12*( - @ r*@ r *s - 2*@ r*@ r*@ s*r - @ r*k*s
5 5 t t t t t t t t t
3 2
- @ r *@ s - @ r *@ s*r - @ r*@ s*k - @ s*k*r))
t t t t t t t t t
3
/(r *s)
% The complete Einstein tensor:
einst(-i,-j) := (ricci(-i,-j) - (1/2)*riccisc*g(-i,-j))*alp1 +
hlang(-i,-j)*alp2$
alp1 := 1$
factor alp2;
einst(-i,-j) := einst(-i,-j);
3 2 2 2
einst := (12*alp2*(2*@ r *@ s*s + 3*@ r *@ s *r + @ r *r
t t t t t t t
2 3 2
+ 2*@ r*@ s*k*s + @ s *k*r + k*r))/(r *s )
t t t
2 2 2 2 2 2
3*@ r *s + 6*@ r*@ s*r*s + @ s *r + 3*k*s + r
t t t t
+ ---------------------------------------------------
2 2
r *s
2
einst := (4*alp2*( - 4*@ r*@ r*@ s*s - 2*@ r*@ s *r
1 1 t t t t t t t
2 2 2 2
- 2*@ r*r - 2*@ r *@ s*s - 3*@ r *@ s - @ r
t t t t t t t t
2 2
- 4*@ r*@ s*@ s*r - 2*@ s*k*s - @ s *k - k))/(r
t t t t t t t
2 2 2 2
*s ) + ( - 2*@ r*r*s - @ r *s - 4*@ r*@ s*r*s
t t t t t
2 2 2 2 2 2 2
- 2*@ s*r *s - @ s *r - k*s - r )/(r *s )
t t t
2
einst := (4*alp2*( - 4*@ r*@ r*@ s*s - 2*@ r*@ s *r
2 2 t t t t t t t
2 2 2 2
- 2*@ r*r - 2*@ r *@ s*s - 3*@ r *@ s - @ r
t t t t t t t t
2 2
- 4*@ r*@ s*@ s*r - 2*@ s*k*s - @ s *k - k))/(r
t t t t t t t
2 2 2 2
*s ) + ( - 2*@ r*r*s - @ r *s - 4*@ r*@ s*r*s
t t t t t
2 2 2 2 2 2 2
- 2*@ s*r *s - @ s *r - k*s - r )/(r *s )
t t t
2
einst := (4*alp2*( - 4*@ r*@ r*@ s*s - 2*@ r*@ s *r
3 3 t t t t t t t
2 2 2 2
- 2*@ r*r - 2*@ r *@ s*s - 3*@ r *@ s - @ r
t t t t t t t t
2 2
- 4*@ r*@ s*@ s*r - 2*@ s*k*s - @ s *k - k))/(r
t t t t t t t
2 2 2 2
*s ) + ( - 2*@ r*r*s - @ r *s - 4*@ r*@ s*r*s
t t t t t
2 2 2 2 2 2 2
- 2*@ s*r *s - @ s *r - k*s - r )/(r *s )
t t t
2
einst := (12*alp2*( - @ r*@ r *s - 2*@ r*@ r*@ s*r - @ r*k*s
4 4 t t t t t t t t t
3 2
- @ r *@ s - @ r *@ s*r - @ r*@ s*k - @ s*k*r))/
t t t t t t t t t
3 2
(r *s) + ( - 3*@ r*r*s - 3*@ r *s - 3*@ r*@ s*r
t t t t t
2 2
- @ s*r - 3*k*s)/(r *s)
t t
2
einst := (12*alp2*( - @ r*@ r *s - 2*@ r*@ r*@ s*r - @ r*k*s
5 5 t t t t t t t t t
3 2
- @ r *@ s - @ r *@ s*r - @ r*@ s*k - @ s*k*r))/
t t t t t t t t t
3 2
(r *s) + ( - 3*@ r*r*s - 3*@ r *s - 3*@ r*@ s*r
t t t t t
2 2
- @ s*r - 3*k*s)/(r *s)
t t
clear o(k),e(k),riemc3(i,j),riemri(i,j),curv(k,l),riemann(a,b,c,d),
ricci(a,b),riccisc,t,u,v1,v2,theta,phi,r,om(k,l),einst(a,b),
hlang(a,b);
remfdomain r,s;
% Problem:
% --------
% Calculate for a given coframe and given torsion the Riemannian part and
% the torsion induced part of the connection. Calculate the curvature.
% For a more elaborate example see E.Schruefer, F.W. Hehl, J.D. McCrea,
% "Application of the REDUCE package EXCALC to the Poincare gauge field
% theory of gravity", GRG Journal, vol. 19, (1988) 197--218
pform {ff, gg}=0;
fdomain ff=ff(r), gg=gg(r);
coframe o(4) = d u + 2*b0*cos(theta)*d phi,
o(1) = ff*(d u + 2*b0*cos(theta)*d phi) + d r,
o(2) = gg*d theta,
o(3) = gg*sin(theta)*d phi
with metric g = -o(4)*o(1)-o(4)*o(1)+o(2)*o(2)+o(3)*o(3);
frame e;
pform {tor(a),gwt(a)}=2,gamma(a,b)=1,
{u1,u3,u5}=0;
index_symmetries gamma(a,b): antisymmetric;
fdomain u1=u1(r),u3=u3(r),u5=u5(r);
tor(4) := 0$
tor(1) := -u5*o(4)^o(1) - 2*u3*o(2)^o(3)$
tor(2) := u1*o(4)^o(2) + u3*o(4)^o(3)$
tor(3) := u1*o(4)^o(3) - u3*o(4)^o(2)$
gwt(-a) := d o(-a) - tor(-a)$
% The following is the combined connection.
% The Riemannian part could have equally well been calculated by the
% RIEMANNCONX statement.
gamma(-a,-b) := (1/2)*( e(-b) _| (e(-c) _| gwt(-a))
+e(-c) _| (e(-a) _| gwt(-b))
-e(-a) _| (e(-b) _| gwt(-c)) )*o(c);
4
gamma := o *(@ ff - u5)
4 1 r
2
o *(@ gg*ff + gg*u1) 3 2
r o *( - b0*ff + gg *u3)
gamma := - ---------------------- + ------------------------
4 2 gg 2
gg
2
o *@ gg 3
r - o *b0
gamma := --------- + ----------
1 2 gg 2
gg
3
2 2 o *(@ gg*ff + gg*u1)
o *(b0*ff - gg *u3) r
gamma := --------------------- - ----------------------
4 3 2 gg
gg
3
2 o *@ gg
o *b0 r
gamma := ------- + ---------
1 3 2 gg
gg
1 3 4 2
o *b0 o *cos(theta) o *(b0*ff - 2*gg *u3)
gamma := ------- + --------------- + -----------------------
2 3 2 sin(theta)*gg 2
gg gg
pform curv(a,b)=2;
index_symmetries curv(a,b): antisymmetric;
factor ^;
curv(-a,b) := d gamma(-a,b) + gamma(-c,b)^gamma(-a,c);
4 2 3 2
curv := (2*o ^o *(@ ff*b0*gg - 2*@ gg*b0*ff + @ gg*gg *u3
4 r r r
3 4 1
- b0*gg*u1 - b0*gg*u5))/gg + o ^o *(@ ff - @ u5)
r r r
1 2 3 2
o ^o *(@ gg*gg - b0 )
4 r r 4 2 3
curv := -------------------------- + (o ^o *( - @ ff*@ gg*gg
2 4 r r
gg
3 3 2
- @ gg*ff*gg + @ gg*gg *u5 - b0 *ff
r r r
2 4 4 3
+ 2*b0*gg *u3))/gg + (o ^o
2
*(@ ff*b0*gg - 2*@ gg*b0*ff + 2*@ gg*gg *u3 - b0*gg*u5)
r r r
3
)/gg
1 3 3 2
o ^o *(@ gg*gg - b0 )
4 r r 4 2
curv := -------------------------- + (o ^o *( - @ ff*b0*gg
3 4 r
gg
2 3
+ 2*@ gg*b0*ff - 2*@ gg*gg *u3 + b0*gg*u5))/gg + (
r r
4 3 3 3 3
o ^o *( - @ ff*@ gg*gg - @ gg*ff*gg + @ gg*gg *u5
r r r r r
2 2 4
- b0 *ff + 2*b0*gg *u3))/gg
1 2 3 2
curv := (2*o ^o *( - @ ff*b0*gg + 2*@ gg*b0*ff - @ gg*gg *u3
1 r r r
3
+ b0*gg*u1 + b0*gg*u5))/gg
4 1
+ o ^o *( - @ ff + @ u5)
r r r
1 1 2 3 3 3
curv := (o ^o *( - @ ff*@ gg*gg - @ gg*ff*gg - @ gg*gg *u1
2 r r r r r
4 2 2 4 1 3
- @ u1*gg - b0 *ff + b0*gg *u3))/gg + (o ^o *(
r
2
- @ ff*b0*gg + 2*@ gg*b0*ff + @ gg*gg *u3
r r r
3 3 4 2
+ @ u3*gg + b0*gg*u1))/gg + (o ^o *(
r
4 2 3 3
- @ ff*gg *u1 + @ gg*ff *gg + @ gg*ff*gg *u1
r r r r
3 4 2 2
+ @ gg*ff*gg *u5 + @ u1*ff*gg - b0 *ff
r r
2 4 4 2 4
+ 3*b0*ff*gg *u3 + gg *u1*u5 - 2*gg *u3 ))/gg + (
4 3 2 2
o ^o *(@ ff*gg *u3 - 3*@ gg*ff*gg*u3 - @ u3*ff*gg
r r r
2 2
+ b0*ff*u1 + b0*ff*u5 - 2*gg *u1*u3 - gg *u3*u5))/
2
gg
1 1 2 2 3
curv := (o ^o *(@ ff*b0*gg - 2*@ gg*b0*ff - @ gg*gg *u3 - @ u3*gg
3 r r r r
3 1 3 3
- b0*gg*u1))/gg + (o ^o *( - @ ff*@ gg*gg
r r
3 3 4 2
- @ gg*ff*gg - @ gg*gg *u1 - @ u1*gg - b0 *ff
r r r r
2 4 4 2 2
+ b0*gg *u3))/gg + (o ^o *( - @ ff*gg *u3
r
2
+ 3*@ gg*ff*gg*u3 + @ u3*ff*gg - b0*ff*u1
r r
2 2 2 4 3
- b0*ff*u5 + 2*gg *u1*u3 + gg *u3*u5))/gg + (o ^o
4 2 3 3
*( - @ ff*gg *u1 + @ gg*ff *gg + @ gg*ff*gg *u1
r r r r
3 4 2 2
+ @ gg*ff*gg *u5 + @ u1*ff*gg - b0 *ff
r r
2 4 4 2 4
+ 3*b0*ff*gg *u3 + gg *u1*u5 - 2*gg *u3 ))/gg
2 1 2 3 3 3
curv := (o ^o *( - @ ff*@ gg*gg - @ gg*ff*gg - @ gg*gg *u1
4 r r r r r
4 2 2 4 1 3
- @ u1*gg - b0 *ff + b0*gg *u3))/gg + (o ^o *(
r
2
- @ ff*b0*gg + 2*@ gg*b0*ff + @ gg*gg *u3
r r r
3 3 4 2
+ @ u3*gg + b0*gg*u1))/gg + (o ^o *(
r
4 2 3 3
- @ ff*gg *u1 + @ gg*ff *gg + @ gg*ff*gg *u1
r r r r
3 4 2 2
+ @ gg*ff*gg *u5 + @ u1*ff*gg - b0 *ff
r r
2 4 4 2 4
+ 3*b0*ff*gg *u3 + gg *u1*u5 - 2*gg *u3 ))/gg + (
4 3 2 2
o ^o *(@ ff*gg *u3 - 3*@ gg*ff*gg*u3 - @ u3*ff*gg
r r r
2 2
+ b0*ff*u1 + b0*ff*u5 - 2*gg *u1*u3 - gg *u3*u5))/
2
gg
1 2 3 2
o ^o *(@ gg*gg - b0 )
2 r r 4 2 3
curv := -------------------------- + (o ^o *( - @ ff*@ gg*gg
1 4 r r
gg
3 3 2
- @ gg*ff*gg + @ gg*gg *u5 - b0 *ff
r r r
2 4 4 3
+ 2*b0*gg *u3))/gg + (o ^o
2
*(@ ff*b0*gg - 2*@ gg*b0*ff + 2*@ gg*gg *u3 - b0*gg*u5)
r r r
3
)/gg
2 2 3 2 2 3 2
curv := (o ^o *( - 2*@ gg *ff*gg - 2*@ gg*gg *u1 + 6*b0 *ff
3 r r
2 2 4
- 6*b0*gg *u3 + gg ))/gg
4 1 3
2*o ^o *(@ ff*b0*gg - 2*@ gg*b0*ff - @ u3*gg )
r r r
+ ------------------------------------------------
3
gg
3 1 2 2 3
curv := (o ^o *(@ ff*b0*gg - 2*@ gg*b0*ff - @ gg*gg *u3 - @ u3*gg
4 r r r r
3 1 3 3
- b0*gg*u1))/gg + (o ^o *( - @ ff*@ gg*gg
r r
3 3 4 2
- @ gg*ff*gg - @ gg*gg *u1 - @ u1*gg - b0 *ff
r r r r
2 4 4 2 2
+ b0*gg *u3))/gg + (o ^o *( - @ ff*gg *u3
r
2
+ 3*@ gg*ff*gg*u3 + @ u3*ff*gg - b0*ff*u1
r r
2 2 2 4 3
- b0*ff*u5 + 2*gg *u1*u3 + gg *u3*u5))/gg + (o ^o
4 2 3 3
*( - @ ff*gg *u1 + @ gg*ff *gg + @ gg*ff*gg *u1
r r r r
3 4 2 2
+ @ gg*ff*gg *u5 + @ u1*ff*gg - b0 *ff
r r
2 4 4 2 4
+ 3*b0*ff*gg *u3 + gg *u1*u5 - 2*gg *u3 ))/gg
1 3 3 2
o ^o *(@ gg*gg - b0 )
3 r r 4 2
curv := -------------------------- + (o ^o *( - @ ff*b0*gg
1 4 r
gg
2 3
+ 2*@ gg*b0*ff - 2*@ gg*gg *u3 + b0*gg*u5))/gg + (
r r
4 3 3 3 3
o ^o *( - @ ff*@ gg*gg - @ gg*ff*gg + @ gg*gg *u5
r r r r r
2 2 4
- b0 *ff + 2*b0*gg *u3))/gg
3 2 3 2 2 3 2
curv := (o ^o *(2*@ gg *ff*gg + 2*@ gg*gg *u1 - 6*b0 *ff
2 r r
2 2 4
+ 6*b0*gg *u3 - gg ))/gg
4 1 3
2*o ^o *( - @ ff*b0*gg + 2*@ gg*b0*ff + @ u3*gg )
r r r
+ ---------------------------------------------------
3
gg
clear o(k),e(k),curv(a,b),gamma(a,b),theta,phi,x,y,z,r,s,t,u,v,p,q,c,cs;
remfdomain u1,u3,u5,ff,gg;
showtime;
Time: 122028 ms plus GC time: 7350 ms
end;
(TIME: excalc 122028 129378)
End of Lisp run after 122.07+8.06 seconds