)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
   Difference is now explicitly exposed in frame initial
   Difference 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

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

jbe:=JBE jb;

de:=DE(jb,jbe);

ck:=CK(jb,jbe);

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

(1)

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

(2)

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

(3)

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

(4)

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

(5)

setOutMode(14)$ck

(6)

setSimpMode(1)$ck

(7)

Fix:

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