 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 = absFactorizeBCG(p) ;
==>
==> // 'absFactorizeBCG' created a ring, in which a list absolute_factors (th\
e
==> // 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
==> _[2]=(2a13)*x+y2+(a)
==> _[3]=x+y
==> _[4]=(a)*x+y
==> [2]:
==> 1,1,4,3
==> [3]:
==> _[1]=(a)
==> _[2]=(a214a+47)
==> _[3]=(a)
==> _[4]=(a2+5)
==> [4]:
==> 12
