oops -- the function with the magic number is "choozp', not
'fact5'. The test suite is OK with
(cond ((null lchar1)
(cond ((not (zerop lmin)) (go out))
(t (merror "Factor ran out of primes."))))
((> algcont 1066)
(cond ((ziredup minpoly*)(setq trl* tr)(setq modulus nil)
(return 'splitcase))
(t (merror "The minimal poly must be irreducible over
the integers.")))))
but I don't know what a good value would be for the magic number.
Barton