login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for Jet Figure 5 revision 4 of 6

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

changed:
-\begin{axiom}
!\begin{axiom}

changed:
-\end{axiom}
-
\\end{axiom}


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);
Type: Domain
axiom
jbe:=JBE jb;
Type: Domain
axiom
de:=DE(jb,jbe);
Type: Domain
axiom
ck:=CK(jb,jbe);
Type: Domain

axiom
eq1:jbe := P(1,[4]) + U(1)*P(1,[1]) + U(2)*P(1,[2]) + U(3)*P(1,[3])
LatexWiki Image(1)
Type: JetBundleExpression? IndexedJetBundle?(x,u,p,4,3)
axiom
eq2:jbe := P(2,[4]) + U(1)*P(2,[1]) + U(2)*P(2,[2]) + U(3)*P(2,[3])
LatexWiki Image(2)
Type: JetBundleExpression? IndexedJetBundle?(x,u,p,4,3)
axiom
eq3:jbe := P(3,[4]) + U(1)*P(3,[1]) + U(2)*P(3,[2]) + U(3)*P(3,[3])
LatexWiki Image(3)
Type: JetBundleExpression? IndexedJetBundle?(x,u,p,4,3)
axiom
eq4:jbe := P(1,[1]) + P(2,[2]) + P(3,[3])
LatexWiki Image(4)
Type: JetBundleExpression? IndexedJetBundle?(x,u,p,4,3)

axiom
euler:de := generate [eq1,eq2,eq3,eq4]
LatexWiki Image(5)
Type: DifferentialEquation?(IndexedJetBundle?(x,u,p,4,3),JetBundleExpression? IndexedJetBundle?(x,u,p,4,3))

axiom
setOutMode(14)$ck
LatexWiki Image(6)
Type: NonNegativeInteger?
axiom
setSimpMode(1)$ck
LatexWiki Image(7)
Type: NonNegativeInteger?

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