Changeset 72292f in git
- Timestamp:
- Sep 13, 2010, 5:27:29 PM (13 years ago)
- Branches:
- (u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
- Children:
- 6dd8b1607bc68ebfa7bf0794af46c6f8429788ae
- Parents:
- 018577ef150959aa2cb45fc6f4167e9ef1096972
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/fglm.cc
r018577 r72292f 246 246 { 247 247 poly p = (theIdeal->m)[k]; 248 if ( pIsConstant( p ) ) state= FglmHasOne; 249 else if ( (power= pIsPurePower( p )) > 0 ) 250 { 248 if (p!=NULL) 249 { 250 if( pIsConstant( p ) ) state= FglmHasOne; 251 else if ( (power= pIsPurePower( p )) > 0 ) 252 { 251 253 fglmASSERT( 0 < power && power <= pVariables, "illegal power" ); 252 254 if ( purePowers[power-1] == TRUE ) state= FglmNotReduced; 253 255 else purePowers[power-1]= TRUE; 254 }255 for ( int l = IDELEMS( theIdeal ) - 1; state == FglmOk && l >= 0; l-- )256 } 257 for ( int l = IDELEMS( theIdeal ) - 1; state == FglmOk && l >= 0; l-- ) 256 258 if ( (k != l) && pDivisibleBy( p, (theIdeal->m)[l] ) ) 257 259 state= FglmNotReduced; 260 } 258 261 } 259 262 if ( state == FglmOk ) … … 288 291 { 289 292 idhdl ih = currRing->idroot->get( second->Name(), myynest ); 290 if ( (ih != NULL) && (IDTYP(ih)==IDEAL_CMD) ) { 293 if ( (ih != NULL) && (IDTYP(ih)==IDEAL_CMD) ) 294 { 291 295 ideal sourceIdeal; 292 296 if ( currQuotient != NULL ) … … 434 438 { 435 439 if((i=pIsUnivariate(sourceIdeal->m[k]))>0) 436 { 440 { 437 441 if (purePowers[i-1]==0) 438 442 { … … 450 454 omFreeSize((ADDRESS)purePowers, pVariables*sizeof( BOOLEAN ) ); 451 455 if (destIdeal!=NULL) 452 state = FglmOk; 456 state = FglmOk; 453 457 else if ( FindUnivariateWrapper( sourceIdeal, destIdeal ) == FALSE ) 454 458 state = FglmNotReduced;
Note: See TracChangeset
for help on using the changeset viewer.