/* this results in ERRRJF quotient not exact */

abug():=algfac(x^3-2,a^6+108);