==================================== example B.7.5 ======================= LIB"absfact.lib"; ring R1=0,(x,y),dp; poly f=(x2+y2)^3*(x3+y2)^5*(x4+4)^2; def S1 =absFactorize(f); setring(S1); absolute_factors; ring R2=0,(x,y,z,w),dp; poly f=(x2+y2+z2)^2+w4; def S2 =absFactorize(f); setring(S2); absolute_factors;