; transcendental matrix
(ylppa ((fileVal "Poly/tfe") / 0 zero? + - * number? 1) (lambda (zer zer? one ra rs rm ri)
  ((fileVal "Matrix") '() zer zer? one ra (lambda (x) (rs zer x)) rm ri)))

; tests
(ylppa (fileVal "Poly/tm") (lambda (rg mm mi ip tran det id d1 d2)
  (let ((m '((((1 3) . (1)) ((0 2) . (1 1)) ((2) . (1)))
        ((() . (1)) ((1) . (1)) ((2) . (1)))
        (((2) . (-2 1)) ((1/3) . (-3 1)) ((1) . (1))))))
  ((fileVal "try") (lambda (e) (let* ((m1 (mi m e))(m2 (mi m1 e))(d1 (det m1))(d2 (det m2)))
    (list m1 m2 (mm m m1) d1 d2)))
 (lambda (t) (write (list "No go" t)) newline)))))
 =>
 (((((22/9 5/9 -14/9 1/3) 58/9 23/9 13/9 -13/3 1) ((-4/9 -38/9 32/9 -2/3) 58/9 23/9 13/9 -13/3 1) ((-4 22/3 -4 2/3) 58/9 23/9 13/9 -13/3 1))
 (((-4 -8/3 4/3) 58/9 23/9 13/9 -13/3 1) ((6 9 -5/3 -11/3 1) 58/9 23/9 13/9 -13/3 1) ((-4 -38/3 2/3 22/3 -2) 58/9 23/9 13/9 -13/3 1))
 (((2 4/3 -2/3) 58/9 23/9 13/9 -13/3 1) ((2/9 -29/9 14/9 -1/3) 58/9 23/9 13/9 -13/3 1) ((2 19/3 -1/3 -11/3 1) 58/9 23/9 13/9 -13/3 1)))
 
 ((((1 3) 1) ((0 2) 1 1) ((2) 1))
 ((() 1) ((1) 1) ((2) 1))
 (((2) -2 1) ((1/3) -3 1) ((1) 1)))
 
 ((((1) 1) (() 1) (() 1))
 ((() 1) ((1) 1) (() 1))
 ((() 1) (() 1) ((1) 1)))
 
 ((2 1/3 -4/3 1/3) 58/9 23/9 13/9 -13/3 1)
 
 ((58/3 23/3 13/3 -13 3) 6 1 -4 1))