Changeset c78800 in git
- Timestamp:
- Jul 29, 2004, 6:46:21 PM (20 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 4a0d8619de8e3809d598fa74e5a0f8813326c7fe
- Parents:
- ec547b3b2b0402480b5905eadcad74f76d9ffa45
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/ncdecomp.lib
rec547b3 rc78800 1 1 /////////////////////////////////////////////////////////////////////////////// 2 version="$Id: ncdecomp.lib,v 1. 2 2004-06-01 13:53:35levandov Exp $";2 version="$Id: ncdecomp.lib,v 1.3 2004-07-29 16:46:21 levandov Exp $"; 3 3 category="Noncommutative"; 4 4 info=" 5 5 LIBRARY: ncdecomp.lib Central character decomposition of a module 6 AUTHORS: Viktor Levandovskyy, levandov@mathematik.uni-kl.de, 7 @* Oleksandr Khomenko, Oleksandr.Khomenko@math.uni-freiburg.de. 6 AUTHORS: Viktor Levandovskyy, levandov@mathematik.uni-kl.de. 8 7 9 8 PROCEDURES: … … 15 14 16 15 LIB "ncalg.lib"; 16 LIB "primdec.lib"; 17 17 /////////////////////////////////////////////////////////////////////////////// 18 18 static proc CharKernel(list L, int i) … … 75 75 static proc MyIsEqual(module A, module B) 76 76 { 77 // both A and B are submodules of free module 77 78 option(redSB); 78 79 option(redTail); … … 224 225 // print(@JcapZ); 225 226 // 2. compute the min.ass.primes of the ideal in the center 226 LIB "primdec.lib";227 227 list @L = minAssGTZ(@JcapZ); 228 228 int sL = size(@L); … … 249 249 { 250 250 @R[1] = L[i]; 251 if (nrows(@R[1])==1) 252 { 253 @R[1] = ideal(@R[1]); 254 } 251 255 @R[2] = CentralSaturation(I,L[i]); 252 256 if (nrows(@R[2])==1) … … 262 266 example 263 267 { "EXAMPLE:"; echo = 2; 264 265 268 option(returnSB); 266 269 def a = sl2();
Note: See TracChangeset
for help on using the changeset viewer.