Home Online Manual
Top
Back: StartOrderingV
Forward: JMSConst_lib
FastBack: sheafcoh_lib
FastForward: JMSConst_lib
Up: JMBTest_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.8.4 TestJMark

Procedure from library JMBTest.lib (see JMBTest_lib).

Usage:
TestJMark(G); G list

Return:
int: i

Note:
This procedure performs J-marked basis test.
The input is a list of J-marked polynomials (jmp) arranged by degree, so G1 is a list of list.
The output is a boolean evaluation:
True=1/False=0

Example:
 
LIB "JMBTest.lib";
ring r=0, (x,y,z), rp;
jmp r1;
r1.h=z^3;
r1.t=poly(0);
jmp r2;
r2.h=z^2*y;
r2.t=poly(0);
jmp r3;
r3.h=z*y^2 ;
r3.t=-x^2*y;
jmp r4;
r4.h=y^5;
r4.t=poly(0);
list G2F=list(list(r1,r2,r3),list(r4));
TestJMark(G2F,r);
==> NOT A BASIS
==> 0