help links subscribe changes refresh edit

	Jet Bundles
	↑	→ Jet Figure 5

Jet Figure 4

Edit detail for Jet Figure 4 revision 3 of 4

	1 2 3 4
Editor: 127.0.0.1 Time: 2007/11/11 19:22:29 GMT-8
Note: transferred from axiom-developer

changed:
-\begin{axiom}
-)set output tex off
-)set output algebra on
-complete janet
-\end{axiom}
-
Fix::

  !\begin{axiom}
  complete janet
  \end{axiom}

axiom

)lib JBC JBFC JBC- JBFC- BFC BFC- JB JBX   JBLF  DE SEM  DIFF JBE CK

   )library cannot find the file JBLF.
   JetBundleCategory is now explicitly exposed in frame initial 
   JetBundleCategory will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/JBC.NRLIB/JBC
   JetBundleFunctionCategory is now explicitly exposed in frame initial

   JetBundleFunctionCategory will be automatically loaded when needed 
      from /var/aw/var/LatexWiki/JBFC.NRLIB/JBFC
   JetBundleCategory& is now explicitly exposed in frame initial 
   JetBundleCategory& will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/JBC-.NRLIB/JBC-
   JetBundleFunctionCategory& is now explicitly exposed in frame 
      initial 
   JetBundleFunctionCategory& will be automatically loaded when needed 
      from /var/aw/var/LatexWiki/JBFC-.NRLIB/JBFC-
   BaseFunctionCategory is now explicitly exposed in frame initial 
   BaseFunctionCategory will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/BFC.NRLIB/BFC
   BaseFunctionCategory& is now explicitly exposed in frame initial 
   BaseFunctionCategory& will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/BFC-.NRLIB/BFC-
   JetBundle is now explicitly exposed in frame initial 
   JetBundle will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/JB.NRLIB/JB
   JetBundleXExpression is now explicitly exposed in frame initial 
   JetBundleXExpression will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/JBX.NRLIB/JBX
   DifferentialEquation is now explicitly exposed in frame initial 
   DifferentialEquation will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/DE.NRLIB/DE
   SparseEchelonMatrix is now explicitly exposed in frame initial 
   SparseEchelonMatrix will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/SEM.NRLIB/SEM
   Differential is now explicitly exposed in frame initial 
   Differential will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/DIFF.NRLIB/DIFF
   JetBundleExpression is now explicitly exposed in frame initial 
   JetBundleExpression will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/JBE.NRLIB/JBE
   CartanKuranishi is now explicitly exposed in frame initial 
   CartanKuranishi will be automatically loaded when needed from 
      /var/aw/var/LatexWiki/CK.NRLIB/CK

axiom

jb:=JB(['x,'y,'z],['u]);

Type: Type

axiom

jbx:=JBX jb;

Type: Type

axiom

jbl:=JBLF(jb,jbx);

   JetBundleLinearFunction(jb,jbx) is not a valid type.
de:=DE(jb,jbl);

   DifferentialEquation(jb,jbl) is not a valid type.
ck:=CK(jb,jbl);

   CartanKuranishi(jb,jbl) is not a valid type.

axiom

eq1:jbl := D('u,['z,'z]) + 'y * D('u,['x,'x])

$\label{eq1}0$

(1)

Type: Polynomial(Integer)

axiom

eq2:jbl := D('u,['y,'y])

$\label{eq2}0$

(2)

Type: Polynomial(Integer)

axiom

printSys [eq1,eq2]

$\label{eq3}printSys_{0, \: 0}$

(3)

Type: Symbol

axiom

janet:de := generate [eq1,eq2]

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

axiom

setOutMode(14)$ck

   The function setOutMode is not implemented in NIL .
setRedMode(1)$ck

   The function setRedMode is not implemented in NIL .

Fix:

  \begin{axiom}
  complete janet
  \end{axiom}