| 1 | initial version |
Alternative : Sympy's subsis recursive :
sage: Dt_E._sympy_().subs({u.lhs()._sympy_():u.rhs()._sympy_() for u in (E*L==1/2, E*E==-1/6, L*L==-1/2, E*L*c==c*1/2)})._sage_()
1/6*t
HTH,
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.