|
D.11.5.9 prodcrit
Procedure from library teachstd.lib (see teachstd_lib).
- Usage:
- prodcrit(f,g); f,g poly or vector
- Return:
- 1 if product criterion applies in the same module component,
2 if lead(f) and lead(g) involve different components, 0 else
- Note:
- if product criterion applies we can delete (f,g) from pairset
Example:
| LIB "teachstd.lib";
ring r=0,(x,y,z),dp;
poly f = y3z3+x5+yx3+z6;
poly g = x5+yx3;
prodcrit(f,g);
==> 1
vector v = x3z2*gen(1)+x3y*gen(1)+x2y*gen(2);
vector w = y4*gen(1)+y3*gen(2)+xyz*gen(1);
prodcrit(v,w);
==> 0
|
|