|
D.15.10.4 grview
Procedure from library gradedModules.lib (see gradedModules_lib).
- Usage:
- grview(M), graded object M
- Return:
- nothing
- Purpose:
- print the degree/grading data about the GRADED matrix/module/ideal/mapping object M
- Assume:
- M must be graded
Example:
| LIB "gradedModules.lib";
ring r=32003,(x,y,z),dp;
module A = grobj( module([x+y, x, 0, 0], [0, x+y, y, 0]), intvec(0,0,0,1) );
grview(A);
==> 1 2
==> --------
==> 0 : 1 . | 1
==> 0 : 1 1 | 2
==> 0 : . 1 | 3
==> 1 : . . | 4
==> ========
==> 1 1
module B = grobj( module([0,x,y]), intvec(15,1,1) );
grview(B);
==> 1
==> ----
==> 15 : . | 1
==> 1 : 1 | 2
==> 1 : 1 | 3
==> ====
==> 2
module D = grsum( grsum(grpower(A,2), grtwist(1,1)), grsum(grtwist(1,2), grpower(B,2)) );
grview(D);
==> 1 2 3 4 5 6 7 8
==> --------------------------------
==> 0 : 1 . . . . . . . | 1
==> 0 : 1 1 . . . . . . | 2
==> 0 : . 1 . . . . . . | 3
==> 1 : . . . . . . . . | 4
==> 0 : . . 1 . . . . . | 5
==> 0 : . . 1 1 . . . . | 6
==> 0 : . . . 1 . . . . | 7
==> 1 : . . . . . . . . | 8
==> -1 : . . . . . . . . | 9
==> -2 : . . . . . . . . | 10
==> 15 : . . . . . . . . | 11
==> 1 : . . . . . . 1 . | 12
==> 1 : . . . . . . 1 . | 13
==> 15 : . . . . . . . . | 14
==> 1 : . . . . . . . 1 | 15
==> 1 : . . . . . . . 1 | 16
==> ================================
==> 1 1 1 1 -1 -2 2 2
|
|