|
D.12.4.9 prodcrit
Procedure from library teachstd.lib (see teachstd_lib).
- Usage:
- prodcrit(f,g[,o]); f,g poly or vector, and optional int argument o
- 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.
This procedure returns 0 if o is given and is a positive integer, or
you may set the attribute "default_arg" for prodcrit to 1.
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
|
|