help links subscribe changes refresh edit

	Jet Bundles
Jet Figure 4 ←	↑	→ Jet LUDecomposition

Jet Figure 5

Edit detail for Jet Figure 5 revision 1 of 6

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

changed:
-
\begin{axiom}
)lib JBC JBFC JBC- JBFC- BFC BFC- JB JBX JBLF DE SEM  DIFF JBE IJB CK
\end{axiom}

\begin{axiom}
jb:=IJB('x,'u,'p,4,3);
jbe:=JBE jb;
de:=DE(jb,jbe);
ck:=CK(jb,jbe);
\end{axiom}

\begin{axiom}
eq1:jbe := P(1,[4]) + U(1)*P(1,[1]) + U(2)*P(1,[2]) + U(3)*P(1,[3])
eq2:jbe := P(2,[4]) + U(1)*P(2,[1]) + U(2)*P(2,[2]) + U(3)*P(2,[3])
eq3:jbe := P(3,[4]) + U(1)*P(3,[1]) + U(2)*P(3,[2]) + U(3)*P(3,[3])
eq4:jbe := P(1,[1]) + P(2,[2]) + P(3,[3])
\end{axiom}

\begin{axiom}
euler:de := generate [eq1,eq2,eq3,eq4]
\end{axiom}

\begin{axiom}
setOutMode(14)$ck
setSimpMode(1)$ck
\end{axiom}

\begin{axiom}
complete euler
\end{axiom}

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.

fricas

complete euler

   There are 5 exposed and 1 unexposed library operations named 
      complete having 1 argument(s) but none was determined to be 
      applicable. Use HyperDoc Browse, or issue
                            )display op complete
      to learn more about the available operations. Perhaps 
      package-calling the operation or using coercions on the arguments
      will allow you to apply the operation.

   Cannot find a definition or applicable library operation named 
      complete with argument type(s) 
                               Variable(euler)

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