(define ge '( (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 -4) (0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 -4) (0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4) (0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2) (0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 0 0 0 2 2 2 2) (0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 2 0 0 2 2 0 0 2 2) (0 0 0 0 0 0 0 0 0 2 0 2 0 2 0 2 0 2 0 2 0 2 0 2) (0 0 0 0 0 0 0 0 2 0 0 2 0 2 2 0 0 2 2 0 2 0 0 2) (0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 2 0 2 0 2 0 2 2 0) (0 0 0 0 0 2 0 2 0 0 0 0 0 2 0 2 0 2 2 0 0 0 2 2) (0 0 0 0 2 0 0 2 0 0 0 0 0 2 2 0 0 0 2 2 2 0 2 0) (0 0 0 2 0 0 0 2 0 0 0 2 0 0 0 2 0 2 2 2 2 0 0 0) (0 0 2 0 0 0 0 2 0 0 0 2 0 0 2 0 0 0 0 2 2 2 0 2) (0 2 0 0 0 0 0 2 0 0 0 2 0 2 0 0 0 2 0 0 2 2 2 0) (2 0 0 0 0 0 0 2 0 0 0 2 0 2 2 2 0 0 2 0 0 2 0 0))) (define go '((1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -3))) (det ge) ;=> 137438953472 (stm 2 (matmul go (inv ge))) ; => ((-19 16 -3 -3 -3 -3 -3 -3 -3 -3 -3 -3 1 1 1 1 1 1 1 1 1 1 1 1)) (matmul '((-19 16 -3 -3 -3 -3 -3 -3 -3 -3 -3 -3 1 1 1 1 1 1 1 1 1 1 1 1)) ge) ; => ((2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 -6))