home *** CD-ROM | disk | FTP | other *** search
-
-
- e2 :
- e2 :
- [ 2 ]
- [- (S(x4)) ]
- [---------- ]
- [ 2 0 0 ]
- [-1 + k x1 0 ]
- [ 2 2 0 ]
- [ 0 (S(x4)) x1 0 ]
- metric_ll: [ 2 2 2 ]
- [ 0 0 (S(x4)) (sin(x2)) x1 0 ]
- [ ]
- [ 0 0 0 -1]
-
- e3 :
- e3 :
- [ 2 ]
- [1 - k x1 0 ]
- [--------- ]
- [ 2 1 0 ]
- [(S(x4)) ------------ 0 ]
- [ 2 2 0 ]
- [ 0 (S(x4)) x1 0 ]
- metric_uu: [ 1 ]
- [ 0 0 ----------------------- 0 ]
- [ 2 2 2 ]
- [ 0 0 (S(x4)) (sin(x2)) x1 -1]
- [ ]
- [ 0 ]
-
- e4 :
- e4 :
- 6 2 4
- (S(x4)) (sin(x2)) x1
- det_metric: -----------------------
- 2
- -1 + k x1
-
- e5 :
- e5 :
-
- e6 :
- e6 :
- ERROR: user interrupt
- ;Evaluation took 39000 mSec (6000 in gc) 835769 cells work, 30428 bytes other
- > ÿ
- e0 : ÿÿÿ;Evaluation took 2000 mSec (0 in gc) 520 cells work, 0 bytes other
- scheme
- > ÿ