Artifact f5d092cccf7060ced61d7e6dbcd3797147c80ea64f30637f8959dab30b5d33ef:

• Executable file r36/XMPL/CRACK.TST — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1593) [annotate] [blame] [check-ins using] [more...]

load_package crackapp;  % Needed for these tests.

% Initial load up list
off echo$

lisp(depl!*:=nil)$     % clearing of all dependences
setcrackflags()$
lisp write
"...................................................................",
"......."$
write "An example of the determination of point symmetries for ODEs"$
depend y,x$
de := {df(y,x,2) = (df(y,x)*(2*x*y+x**3) - 4*y**2)/x**4, 
       y, x}$
mo := {0,nil,nil}$      
LIEPDE(de,mo)$
nodepend y,x$
lisp write
"...................................................................",
"......."$
write "An example of the determination of point symmetries for PDEs"$
depend u,x,y$
de := {df(u,x,x)-df(u,y),u,{x,y}}$
mo := {0,nil,nil}$
LIEPDE(de,mo)$
nodepend u,x,y$
lisp write
"...................................................................",
"......."$
write "An example of the determination of first integrals of ODEs"$
depend y,x$
de := {df(y,x,2)=x*df(y,x)**2-2*df(y,x)/x-y**2/x, y, x}$
mo := {0,{},2}$
FIRINT(de,mo)$
nodepend y,x$
lisp write
"...................................................................",
"......."$
write "An example of the determination of a Lagrangian for an ODE  "$
depend f,x$
depend y,x$
de := {df(y,x,2) = 6*y**2 + x, y, x}$
mo := {0,{}}$
LAGRAN(de,mo)$
nodepend f,x$
nodepend y,x$
lisp write
"...................................................................",
"......."$
write "An example of the factorization of an ODE  " $
depend f,x$
depend y,x$
depend q,x$
de := {df(y,x,2) = df(y,x)**2/y - f*df(y,x) - y*q, y, x}$
mo := {2,{}}$
DECOMP(de,mo)$
nodepend f,x$
nodepend y,x$
nodepend q,x$

end$