 LIB "absfact.lib";
ring R = (0), (x,y), lp;
poly p = (7*x^2 + 2*x*y^2 + 6*x + y^4 + 14*y^2 + 47)*(5x2+y2)^3*(xy)^4;
def S = absFactorize(p) ;
==>
==> // 'absFactorize' created a ring, in which a list absolute_factors (the
==> // absolute factors) is stored.
==> // To access the list of absolute factors, type (if the name S was assign\
ed
==> // to the return value):
==> // setring(S); absolute_factors;
==>
setring(S);
absolute_factors;
==> [1]:
==> _[1]=1/21125
==> _[2]=5*x+(a)*y
==> _[3]=xy
==> _[4]=(14a+19)*x+13*y2+(7a+94)
==> [2]:
==> 1,3,4,1
==> [3]:
==> _[1]=(a)
==> _[2]=(a2+5)
==> _[3]=(a)
==> _[4]=(7a26a47)
==> [4]:
==> 12
