; finite field GF(p^q)
(let* ((fft (fileVal "finiteField"))(DoV ((fileVal "Do") 'DoV))
   (rc4 (fileVal "RC4")))
(lambda (p q rs) (let* (
   (r (((fileVal "RC4") 'rbi rs) p))
   (GFp (fft p))
   (trim (GFp 'trim))
   (p- (GFp 'p-))
   (p+ (GFp 'p+))
   (ip ((GFp 'gsip) q))
   (ff ((GFp 'fops) ip)))
   (list (lambda () (DoV q (lambda (j) (r))))
     #() (lambda (x) (eq? (trim x) #()))
     #(1) p+ (lambda (a b) (p+ a (p- b)))
     (ff 'f*) (ff 'f/)))))

(ylppa (ylppa ((fileVal "GFpq") 17 4 "p") (fileVal "Matrix"))
  (lambda (rmg mm inv ip tr det i? v= m=)
  (let ((inv (lambda (q) ((fileVal "try") (lambda (w) (inv q w))(lambda (e) "e")))))
  (let* ((m (rmg 4))(mi (inv m))) (list m mi (inv mi) (i? (mm m mi)))))))