% Date:    Sun, 27 Sep 1998 17:05:29 +0200
% From:    Markus Schweighofer <schweigh@fmi.uni-passau.de>

% The last statement takes considerable time in PSL REDUCE, compared
% with almost no time in Maple. In the CSL version, it's much faster.

on rational;
a1 := 1154151981932949957978757371714111376458548967267806202331531206924746477\
674461393080743331528111879;
a2 := 2726522852866227022308484873084263658497584001469311310000260211240000446\
08813011381886663000064;
a3 := 1226887168705326231091495352842483633319219468491425564549737230321639949\
527086284668994668364124156543175;
a4 := 1005105384480605929503799863613782955068549366301646921318495924271513764\
4459282851581869944834359296;
a5 := 2793203412718253397309268739037057437699499224013897013394553380242184683\
7778847732746929077428286304072670640775;
a6 := 1482088195739722279409123126890339794225880153573756484299401350093803336\
501388012162856214585495284350976;

p := x^12 - 6*x^11 + 3*x^10 - x^7 + 3*x^6 + (a1/a2) * x^2 + (a3/a4) * x + a5/a6;

gcd(p, df(p, x));

end;
