Home Online Manual
Top
Back: NFMora
Forward: chaincrit
FastBack: hyperel_lib
FastForward: weierstr_lib
Up: teachstd_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.5.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