MCPcopy Create free account
hub / github.com/Singular/Singular / ringIsLocal

Function ringIsLocal

kernel/spectrum/spectrum.cc:461–484  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

459// ----------------------------------------------------------------------------
460
461BOOLEAN ringIsLocal( const ring r )
462{
463 poly m = p_One(r);
464 poly one = p_One(r);
465 BOOLEAN res=TRUE;
466
467 for( int i=r->N; i>0; i-- )
468 {
469 p_SetExp( m,i,1,r );
470 p_Setm( m,r );
471
472 if( p_Cmp( m,one,r )>0 )
473 {
474 res=FALSE;
475 break;
476 }
477 p_SetExp( m,i,0,r );
478 }
479
480 p_Delete( &m,r );
481 p_Delete( &one,r );
482
483 return res;
484}
485
486// ----------------------------------------------------------------------------
487// print error message corresponding to spectrumState state:

Callers 1

spectrumProcFunction · 0.85

Calls 5

p_OneFunction · 0.85
p_SetExpFunction · 0.85
p_SetmFunction · 0.85
p_CmpFunction · 0.85
p_DeleteFunction · 0.85

Tested by

no test coverage detected