Changeset a1c745 in git for Singular/LIB/freegb.lib
- Timestamp:
- Jun 20, 2007, 5:39:45 PM (17 years ago)
- Branches:
- (u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
- Children:
- 58357dfdb1fe1b24b7a844771e7ba9997a9abe7d
- Parents:
- d31cedc0c35a743b9525836619923330af9a7714
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/freegb.lib
rd31cedc ra1c745 1 1 ////////////////////////////////////////////////////////////////////////////// 2 version="$Id: freegb.lib,v 1. 1 2007-05-13 19:20:44 levandovExp $";2 version="$Id: freegb.lib,v 1.2 2007-06-20 15:39:45 Singular Exp $"; 3 3 category="Noncommutative"; 4 4 info=" … … 6 6 AUTHOR: Viktor Levandovskyy, levandov@math.rwth-aachen.de 7 7 8 PROCEDURES: 8 PROCEDURES: 9 9 freegb(list L, int n); compute two-sided Groebner basis of ideal, encoded via L, up to degree n 10 10 lst2str(list L); convert a list (of modules) into polynomials in free algebra … … 150 150 if (mp[1] == "-") 151 151 { 152 t = t + mp; 152 t = t + mp; 153 153 } 154 154 else … … 201 201 { 202 202 q = find(vv,string(p)); 203 if (q==0) 203 if (q==0) 204 204 { 205 205 err = "error in find for string "+vv; 206 dbprint(ppl,err); 206 dbprint(ppl,err); 207 207 return("_"); 208 208 } … … 247 247 if (p==0) { return(0); } //"p=0"; 248 248 poly q = leadmonom(p); 249 if ( (p-lead(p)) !=0 ) { return(0); } // "p-lm(p)>0"; 249 if ( (p-lead(p)) !=0 ) { return(0); } // "p-lm(p)>0"; 250 250 intvec v = leadexp(p); 251 251 int s = size(v); … … 254 254 int pwr = 0; 255 255 for (i=1; i<=s; i++) 256 { 257 if (v[i] != 0) 256 { 257 if (v[i] != 0) 258 258 { 259 259 cnt++; … … 375 375 } 376 376 // size(LR[3]); 377 LR[3][nb*(D+1)+1] = tmp; 377 LR[3][nb*(D+1)+1] = tmp; 378 378 } 379 379 L[3] = LR[3]; … … 454 454 module N; 455 455 list LN; 456 vector V; 456 vector V; 457 457 poly pn; 458 458 // test and skip exponents >=2 … … 484 484 } 485 485 K = simplify(K,2); 486 sk = size(K); 486 sk = size(K); 487 487 for(i=1; i<=sk; i++) 488 488 {
Note: See TracChangeset
for help on using the changeset viewer.