Changeset 4f86a6 in git
- Timestamp:
- Jan 19, 2015, 9:15:04 PM (9 years ago)
- Branches:
- (u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
- Children:
- 4f2aed6d338208a9af82e4da005570718c40093f
- Parents:
- 0aa248bce27cf5733670e130d1c774a07cbdf251
- git-author:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2015-01-19 21:15:04+01:00
- git-committer:
- Oleksandr Motsak <motsak@mathematik.uni-kl.de>2015-01-19 21:18:44+01:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/gradedModules.lib
r0aa248 r4f86a6 298 298 299 299 // grades & ordering permutation for N. d[p] should be sorted! 300 300 301 301 def N = module(M[p]); // reorder the starting ideal/module 302 302 303 303 attrib( N, "isHomog", w ); // set the grading 304 attrib( N, "rank", size(w) ); // set the grading 304 305 305 306 d = d[p]; … … 644 645 645 646 ASSUME( 0, r == size(a) ); 646 647 647 648 module T; T[r] = 0; T = T, module(transpose(B)); 648 649 module AB = module(A), transpose(T); 649 650 650 651 attrib(AB, "isHomog", c); 652 attrib(AB, "rank", size(c)); 653 651 654 return(AB); 652 655 } … … 718 721 " 719 722 { 720 matrix zero[a][a]; // TODO ??? 721 module Z = zero; 723 module Z; Z[a] = 0; 722 724 attrib(Z, "isHomog", intvec(d:a)); 725 attrib(Z, "rank", a); 723 726 724 727 ASSUME(2, grisequal(Z, grpower( grshift(grzero(), d), a ) )); // optional check
Note: See TracChangeset
for help on using the changeset viewer.