Changeset 4820e6 in git
 Timestamp:
 Jan 15, 2009, 2:51:18 PM (15 years ago)
 Branches:
 (u'fiekerDuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
 Children:
 5563ba8508b091b9f3b551d8c751bde89b4e7186
 Parents:
 684be2d3473879698c86436570f937e39ddb3c70
 Location:
 Singular/LIB
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/elim.lib
r684be2d r4820e6 1 // $Id: elim.lib,v 1.2 7 20090115 10:57:51Singular Exp $1 // $Id: elim.lib,v 1.28 20090115 13:51:18 Singular Exp $ 2 2 // (GMG, modified 22.06.96) 3 3 // GMG, last modified 30.10.08: new procedure elimRing; … … 10 10 // and can now choose as method slimgb or std. 11 11 /////////////////////////////////////////////////////////////////////////////// 12 version="$Id: elim.lib,v 1.2 7 20090115 10:57:51Singular Exp $";12 version="$Id: elim.lib,v 1.28 20090115 13:51:18 Singular Exp $"; 13 13 category="Commutative Algebra"; 14 14 info=" … … 99 99 // create tr = K[x(1),...,x(n),t]  100 100 int s = size(l[3]); 101 for ( i= 1; i<=n; i++)101 for ( i=n; i>=1; i) 102 102 { 103 103 l[2][i]="x("+string(i)+")"; … … 110 110 l[2]=delete(l[2],n+1); 111 111 l[3]=delete(l[3],s); 112 for ( i= 1; i<=k; i++)112 for ( i=k; i>=1; i) 113 113 { 114 114 l[2][n+i]="y("+string(i)+")"; … … 121 121 if( homog(C) ) 122 122 { 123 for( i= 1; i<=k; i++)123 for( i=k; i>=1; i) 124 124 { 125 125 v[i]=deg(C[i]); … … 136 136 else 137 137 { 138 for( i=1; i<=k; i++) 139 { 140 v[i]=1; 141 } 138 v=1:k; 142 139 l[3][s]=list("dp",v); 143 140 } … … 280 277 w2 = w2,@w[ii]; 281 278 v2 = v2+list(string(var(ii))); 282 if ( defined(local) == 0)279 if ( ! defined(local) ) 283 280 { 284 281 int local = (var(ii) < 1); … … 329 326 if( w2==1 ) //weights for vars not to be eliminated are all 1 330 327 { 331 if ( local ==1)328 if ( local ) 332 329 { 333 330 B3[2] = list("ds", w2); … … 340 337 else 341 338 { 342 if ( local ==1)339 if ( local ) 343 340 { 344 341 B3[2] = list("ws", w2); … … 357 354 if( @w==1 ) //weights for all vars are 1 358 355 { 359 if ( local ==1)356 if ( local ) 360 357 { 361 358 B3[2] = list("ls", @w); … … 368 365 else 369 366 { 370 if ( local ==1)367 if ( local ) 371 368 { 372 369 B3[2] = list("ws", @w); 
Singular/LIB/standard.lib
r684be2d r4820e6 5 5 //### Todo: im lokalen Fall die HilbertSamuel Funktion verwenden 6 6 ////////////////////////////////////////////////////////////////////////////// 7 version="$Id: standard.lib,v 1.10 5 20090115 10:57:30Singular Exp $";7 version="$Id: standard.lib,v 1.106 20090115 13:51:18 Singular Exp $"; 8 8 category="Miscellaneous"; 9 9 info=" … … 29 29 ////////////////////////////////////////////////////////////////////////////// 30 30 31 proc stdfglm (i , list #)31 proc stdfglm (ideal i, list #) 32 32 "SYNTAX: @code{stdfglm (} ideal_expression @code{)} @* 33 33 @code{stdfglm (} ideal_expression@code{,} string_expression @code{)} … … 44 44 EXAMPLE: example stdfglm; shows an example" 45 45 { 46 if (typeof(i)!="ideal")47 {48 ERROR("first argument of 'stdfglm' must be an ideal");49 }50 46 string os; 51 47 int s = size(#); … … 67 63 } 68 64 69 if( s > 0 && (typeof(#[1]) == "string"))65 if((s > 0) && (typeof(#[1]) == "string")) 70 66 { 71 67 os = #[1]; … … 229 225 { 230 226 intvec w; 231 for(k= 1; k<=nvarP; k++)227 for(k=nvarP; k>=1; k) 232 228 { 233 229 w[k] = deg(var(k)); //compute ring weights … … 247 243 //Note that quotient ideal of qring must be homogeneous too 248 244 249 int neg; 250 for ( k=1; k<=nvarP; k++) 251 { 252 if( var(k) < 1) 253 { neg = 1; } 254 } 255 256 if( find(ordstr_P,"s")  find(ordstr_P,"M")  (neg > 0) ) 245 int neg=1attrib (P,"global"); 246 247 if( //find(ordstr_P,"s") // covered by neg 248 find(ordstr_P,"M")  neg ) 257 249 { 258 250 // if( defined(hi) && is_homog ) … … 1035 1027 1036 1028 if( //( find(ordstr_P,"s") > 0 )  // covered by neg 1037 ( find(ordstr_P,"M") > 0 )  ( find(ordstr_P,"a") > 0 )  ( neg>0 ))1029 ( find(ordstr_P,"M") > 0 )  ( find(ordstr_P,"a") > 0 )  neg ) 1038 1030 { 1039 1031 if (p_opt) { "std in basering"; }
Note: See TracChangeset
for help on using the changeset viewer.