Edit detail for SandBox9 revision 1 of 2
| 1 2 | ||
|
Editor:
Time: 2007/11/18 17:44:52 GMT-8 |
||
| Note: improve formatting | ||
changed: - looking for completion of pendulum (constrained motion) Load jetbundle modules \begin{axiom} )lib JBC JBFC JBC- JBFC- BFC BFC- JB JBX JBLF DE SEM DIFF JBE IJB CK \end{axiom} !equations using multiindex notation (1 independent variable [t] and 3 dependent variables [x,y,F]) :: jb:=IJB('t,'u,'p,2,3); jbe:=JBE jb; de:=DE(jb,jbe); ck:=CK(jb,jbe); eq1:jbe := m*P(1,[2]) + U(1)/L*U(3) eq2:jbe := m*P(2,[2]) + U(2)/L*U(3) + m*g eq3:jbe := U(1)^2 + U(2)^2 - L^2 printSys [eq1,eq2,eq3] pendulum:de := generate [eq1,eq2,eq3] setOutMode(14)$ck setRedMode(1)$ck complete pendulum \begin{axiom} jb:=IJB('t,'u,'p,1,5); jbe:=JBE jb; de:=DE(jb,jbe); ck:=CK(jb,jbe); eq1:jbe := m*P(4,[1]) + U(1)/L*U(3) eq2:jbe := m*P(5,[1]) + U(2)/L*U(3) + m*g eq3:jbe := U(1)^2 + U(2)^2 - L^2 eq4:jbe := P(1,[1]) - U(4) eq5:jbe := P(2,[1]) - U(5) printSys [eq1,eq2,eq3,eq4,eq5] pendulum:de := generate [eq1,eq2,eq3,eq4,eq5] setOutMode(14)$ck setRedMode(1)$ck complete pendulum \end{axiom}
looking for completion of pendulum (constrained motion)
Load jetbundle modules
axiom
)lib JBC JBFC JBC- JBFC- BFC BFC- JB JBX JBLF DE SEM DIFF JBE IJB CK
)library cannot find the file JBLF. JetBundleCategory is now explicitly exposed in frame initial JetBundleCategory will be automatically loaded when needed from /var/zope2/var/LatexWiki/JBC.NRLIB/JBC JetBundleFunctionCategory is now explicitly exposed in frame initial
JetBundleFunctionCategory will be automatically loaded when needed from /var/zope2/var/LatexWiki/JBFC.NRLIB/JBFC JetBundleCategory& is now explicitly exposed in frame initial JetBundleCategory& will be automatically loaded when needed from /var/zope2/var/LatexWiki/JBC-.NRLIB/JBC- JetBundleFunctionCategory& is now explicitly exposed in frame initial JetBundleFunctionCategory& will be automatically loaded when needed from /var/zope2/var/LatexWiki/JBFC-.NRLIB/JBFC- BaseFunctionCategory is now explicitly exposed in frame initial BaseFunctionCategory will be automatically loaded when needed from /var/zope2/var/LatexWiki/BFC.NRLIB/BFC BaseFunctionCategory& is now explicitly exposed in frame initial BaseFunctionCategory& will be automatically loaded when needed from /var/zope2/var/LatexWiki/BFC-.NRLIB/BFC- JetBundle is now explicitly exposed in frame initial JetBundle will be automatically loaded when needed from /var/zope2/var/LatexWiki/JB.NRLIB/JB JetBundleXExpression is now explicitly exposed in frame initial JetBundleXExpression will be automatically loaded when needed from /var/zope2/var/LatexWiki/JBX.NRLIB/JBX DifferentialEquation is now explicitly exposed in frame initial DifferentialEquation will be automatically loaded when needed from /var/zope2/var/LatexWiki/DE.NRLIB/DE SparseEchelonMatrix is now explicitly exposed in frame initial SparseEchelonMatrix will be automatically loaded when needed from /var/zope2/var/LatexWiki/SEM.NRLIB/SEM Differential is now explicitly exposed in frame initial Differential will be automatically loaded when needed from /var/zope2/var/LatexWiki/DIFF.NRLIB/DIFF JetBundleExpression is now explicitly exposed in frame initial JetBundleExpression will be automatically loaded when needed from /var/zope2/var/LatexWiki/JBE.NRLIB/JBE IndexedJetBundle is now explicitly exposed in frame initial IndexedJetBundle will be automatically loaded when needed from /var/zope2/var/LatexWiki/IJB.NRLIB/IJB CartanKuranishi is now explicitly exposed in frame initial CartanKuranishi will be automatically loaded when needed from /var/zope2/var/LatexWiki/CK.NRLIB/CK
equations using multiindex notation (1 independent variable [t] and 3 dependent variables [x,y,F])
jb:=IJB('t,'u,'p,2,3);
jbe:=JBE jb;
de:=DE(jb,jbe);
ck:=CK(jb,jbe);
eq1:jbe := m*P(1,[2]) + U(1)/L*U(3)
eq2:jbe := m*P(2,[2]) + U(2)/L*U(3) + m*g
eq3:jbe := U(1)^2 + U(2)^2 - L^2
printSys [eq1,eq2,eq3]
pendulum:de := generate [eq1,eq2,eq3]
setOutMode(14)$ck
setRedMode(1)$ck
complete pendulum
axiom
jb:=IJB('t,'u,'p,1,5);
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 := m*P(4,[1]) + U(1)/L*U(3)
>> System error: The variable |lazyRep| is unbound.