; Random irreducible polynomial search (lambda (p q) (let* ( (pq (expt p q))(Fp ((fileVal "finiteField") p)) (i->p (Fp 'i->p)) (ng (((fileVal "RC4") 'rbi "Seed xx") pq)) (rpg (lambda () (i->p (+ pq (ng)))))(tip (Fp 'tip))) (let lp ((c 0)) (let ((pc (rpg))) (or (and (tip pc) (cons c pc)) (lp (+ c 1)))))))