help links subscribe changes refresh edit

	Jet Bundles
Jet Figure 4 ←	↑	→ Jet LUDecomposition

Jet Figure 5

Edit detail for Jet Figure 5 revision 3 of 6

	1 2 3 4 5 6
Editor: 127.0.0.1 Time: 2007/11/11 19:18:13 GMT-8
Note: transferred from axiom-developer

removed:
-
-\begin{axiom}
-)set output tex off
-)set output algebra on
-\end{axiom}

changed:
-complete euler
-- complete euler

fricas

(1) -> )lib JBC JBFC JBC- JBFC- BFC BFC- JB JBX JBLF DE SEM  DIFF JBE IJB CK

   )library cannot find the file JBC.
   )library cannot find the file JBFC.
   )library cannot find the file JBC-.
   )library cannot find the file JBFC-.
   )library cannot find the file BFC.
   )library cannot find the file BFC-.
   )library cannot find the file JB.
   )library cannot find the file JBX.
   )library cannot find the file JBLF.
   )library cannot find the file DE.
   )library cannot find the file SEM.
   )library cannot find the file JBE.
   )library cannot find the file IJB.
   )library cannot find the file CK.
   Difference is now explicitly exposed in frame initial 
   Difference will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/DIFF.NRLIB/DIFF

fricas

jb:=IJB('x,'u,'p,4,3);

Type: Type

fricas

jbe:=JBE jb;

Type: Type

fricas

de:=DE(jb,jbe);

   There are no library operations named DE 
      Use HyperDoc Browse or issue
                                 )what op DE
      to learn if there is any operation containing " DE " in its name.

   Cannot find a definition or applicable library operation named DE 
      with argument type(s) 
                                    Type
                                    Type

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

fricas

eq1:jbe := P(1,[4]) + U(1)*P(1,[1]) + U(2)*P(1,[2]) + U(3)*P(1,[3])

$\label{eq1}{p_{4}^{1}}+{{u^{3}}\ {p_{3}^{1}}}+{{u^{2}}\ {p_{2}^{1}}}+{{u^{1}}\ {p_{1}^{1}}}$

(1)

Type: JetBundleExpression?(IndexedJetBundle?(x,u,p,4,3))

fricas

eq2:jbe := P(2,[4]) + U(1)*P(2,[1]) + U(2)*P(2,[2]) + U(3)*P(2,[3])

$\label{eq2}{p_{4}^{2}}+{{u^{3}}\ {p_{3}^{2}}}+{{u^{2}}\ {p_{2}^{2}}}+{{u^{1}}\ {p_{1}^{2}}}$

(2)

Type: JetBundleExpression?(IndexedJetBundle?(x,u,p,4,3))

fricas

eq3:jbe := P(3,[4]) + U(1)*P(3,[1]) + U(2)*P(3,[2]) + U(3)*P(3,[3])

$\label{eq3}{p_{4}^{3}}+{{u^{3}}\ {p_{3}^{3}}}+{{u^{2}}\ {p_{2}^{3}}}+{{u^{1}}\ {p_{1}^{3}}}$

(3)

Type: JetBundleExpression?(IndexedJetBundle?(x,u,p,4,3))

fricas

eq4:jbe := P(1,[1]) + P(2,[2]) + P(3,[3])

$\label{eq4}{p_{3}^{3}}+{p_{2}^{2}}+{p_{1}^{1}}$

(4)

Type: JetBundleExpression?(IndexedJetBundle?(x,u,p,4,3))

fricas

euler:de := generate [eq1,eq2,eq3,eq4]

  Line   1: euler:de := generate [eq1,eq2,eq3,eq4]
           ............A
  Error  A: syntax error at top level
  Error  A: Improper syntax.
   2 error(s) parsing

fricas

setOutMode(14)$ck

   ck is not a valid type.

Axiom output parse error!