home *** CD-ROM | disk | FTP | other *** search
/ Best Objectech Shareware Selections / UNTITLED.iso / boss / educ / math / 012 / mz.dat < prev    next >
Encoding:
Text File  |  1991-08-28  |  477 b   |  17 lines

  1. ECHO:TRUE$
  2. NDEP#:3$
  3. NIND#:1$
  4. DV#:DE#:{}$
  5. DE#[1]: U(1,1,1) - U(2,1)^2*(U(1))
  6.                                   - U(3,1)^2*(SIN U(2))^2*(U(1))$
  7. DE#[2]: U(2,1,1)*U(1)+2*U(1,1)*U(2,1)-U(3,1)^2*U(1)*SIN(U(2))*COS(U(2))$
  8. DE#[3]: U(3,1,1)*U(1)*(SIN (U(2))) + 2*U(1,1)*U(3,1)*(SIN(U(2)))
  9.                                    + 2*U(2,1)*U(3,1)*U(1)*COS(U(2))$
  10. DV#[1]:U(1,1,1) $
  11. DV#[2]:U(2,1,1) $
  12. DV#[3]:U(3,1,1) $
  13. % Trig functions, large Lie algebra %
  14. ECHO:FALSE$
  15. RDS()$
  16.  
  17.