findifs.lib
LIB "findifs.lib"; " EXAMPLE:"; ==> EXAMPLE: ring r = (0,dh,dt),(Tx,Tt),dp; poly P = (4*dh^2-dt)*Tx^3*Tt + dt*dh*Tt^2 + dh*Tt; decoef(P,dt); ==> _[1]=(4*dh^2)*Tx^3*Tt+(dh)*Tt ==> _[2]=(-dt)*Tx^3*Tt+(dh*dt)*Tt^2 decoef(P,dh); ==> _[1]=(-dt)*Tx^3*Tt ==> _[2]=(4*dh^2)*Tx^3*Tt+(dh*dt)*Tt^2+(dh)*Tt