)lib JBC JBFC JBC- JBFC- BFC BFC- JB JBX   JBLF  DE SEM  DIFF JBE 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
   CartanKuranishi is now explicitly exposed in frame initial
   CartanKuranishi will be automatically loaded when needed from
      /var/zope2/var/LatexWiki/CK.NRLIB/code

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

jbx:=JBX jb;

jbl:=JBLF(jb,jbx);

de:=DE(jb,jbl);

ck:=CK(jb,jbl);

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

(1)

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

(2)

printSys [eq1,eq2]

(3)

janet:de := generate [eq1,eq2]

(4)

setOutMode(14)$ck

(5)

setRedMode(1)$ck

(6)

Fix:

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