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

; tests
(define ioss ((fileVal "Poly/ti") 'oss))

(ioss (list (list '((0 0 1) . (8)) '((0 2) . (1)) '((0 0 3/2) . (1)) '((0 2) . (1)))
   (list (cons (list 0 1) '(4)) (cons (list 2) '(1)) '(() . (1)) (cons '(-2) '(1)))
   (list '(() . (1)) '((0 1) . (1)) (cons (list 0 0 3/2) '(1)) (cons (list 0 0 3) '(1)))
   (list '(() . (1)) '((0 1) . (4)) '((0 0 3/2) . (1)) '((0 3) . (1)))
   ) 4)