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


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
            User manual for Singular version 3-0-3, May 2007, generated by texi2html.