home *** CD-ROM | disk | FTP | other *** search
/ Best Objectech Shareware Selections / UNTITLED.iso / boss / educ / math / 012 / canjust.dat < prev    next >
Encoding:
Text File  |  1991-03-25  |  622 b   |  18 lines
  1. ECHO:TRUE$
  2. NIND#:3$
  3. NDEP#:3$
  4. DV#:DE#:{}$
  5. DE#[1]: U(1,1)*(U(1,2)*U(2,3)*U(3,1) + U(1,3)*U(3,2)*U(2,1) ) -
  6. ( U(1,2)*U(2,1)*U(1,3)*U(3,1) - U(2,3)*U(3,2)*(U(3,1)^2+U(2,1)^2) ) $
  7. DE#[2]: U(2,2)*(U(1,2)*U(2,3)*U(3,1) + U(1,3)*U(3,2)*U(2,1) )  -
  8. ( U(1,2)*U(2,1)*U(2,3)*U(3,2) - U(1,3)*U(3,1)*(U(1,2)^2+U(3,2)^2) ) $
  9. DE#[3]: U(3,3)*(U(1,2)*U(2,3)*U(3,1) + U(1,3)*U(3,2)*U(2,1) )  -
  10. ( U(1,3)*U(3,1)*U(2,3)*U(3,2) - U(1,2)*U(2,1)*(U(1,3)^2+U(2,3)^2) ) $
  11. DV#[1]:U(1,1) $
  12. DV#[2]:U(2,2) $
  13. DV#[3]:U(3,3) $
  14. % Rewrite of IMPOSBLE.DAT.  DOLIE can just produce the Def Eqns without
  15. exhausting memory. %
  16. ECHO:FALSE$RDS()$
  17.  
  18.