Edit detail for Jet Figure 5 revision 4 of 6

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

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

axiom
jbe:=JBE jb;

axiom
de:=DE(jb,jbe);

axiom
ck:=CK(jb,jbe);

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

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

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

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

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

axiom
setOutMode(14)$ck

axiom
setSimpMode(1)$ck