Home Online Manual
Back: grobj
Forward: grdeg
FastBack: gitfan_lib
FastForward: hess_lib
Up: gradedModules_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.10.2 grtest

Procedure from library gradedModules.lib (see gradedModules_lib).

grtest(M), anyting M

1 if M is a valid graded object, 0 otherwise

validate a graded object

M should be an ideal or module or matrix, with weighting attribute 'isHomog' and optionally total graded degrees attribute 'degHomog'. Attributes should be compatible with the presentation matrix.

LIB "gradedModules.lib";
ring r=32003,(x,y,z),dp;
// the following calls will fail due to tests in grtest:
// grobj( module([x+y, x, 0, 0], [0, x+y, y, 0]), intvec(0,0) ); // not enough row weights
// grobj( module([x,0], [0,0,0], [0, y]), intvec(1,2,3) ); // zero column needs (otherwise optional) total degrees
// grobj( module([x,0], [0,0,0], [0, y]), intvec(1,2,3), intvec(1, 1, 1) ); // incompatible total degrees (on non-zero columns)