home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ARM Club 3
/
TheARMClub_PDCD3.iso
/
hensa
/
maths
/
b116_1
/
jacal
/
rw_log
< prev
next >
Wrap
Text File
|
1994-01-21
|
2KB
|
51 lines
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
> ÿ