Go to the source code of this file.
Definition at line 283 of file fglm.cc.
289 ideal destIdeal =
NULL;
327 (destIdeal->m)[0]=
pOne();
331 Werror(
"ring %s and current ring are incompatible", first->
Name() );
335 Werror(
"Can't find ideal %s in ring %s", second->
Name(), first->
Name() );
339 Werror(
"The ideal %s has to be 0-dimensional", second->
Name() );
343 Werror(
"The ideal %s has to be given by a reduced SB", second->
Name() );
351 result->
data= (
void *)destIdeal;
Class used for (list of) interpreter objects.
FglmState fglmIdealcheck(const ideal theIdeal)
FglmState fglmConsistency(idhdl sringHdl, idhdl dringHdl, int *vperm)
#define omFreeSize(addr, size)
BOOLEAN fglmzero(ring sourceRing, ideal &sourceIdeal, ring destRing, ideal &destideal, BOOLEAN switchBack=TRUE, BOOLEAN deleteIdeal=FALSE)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal fglmUpdatesource(const ideal sourceIdeal)
void fglmUpdateresult(ideal &result)
BOOLEAN assumeStdFlag(leftv h)
ideal idInit(int idsize, int rank)
initialise an ideal / module
void Werror(const char *fmt,...)
Definition at line 360 of file fglm.cc.
365 ideal sourceIdeal = (ideal)first->
Data();
367 ideal destIdeal =
NULL;
389 (destIdeal->m)[0]=
pOne();
393 Werror(
"The ideal %s has to be 0-dimensional", first->
Name() );
397 Werror(
"The poly %s has to be reduced", second->
Name() );
403 for ( k=
IDELEMS( sourceIdeal )-1; k >=0; k-- )
404 (destIdeal->m)[
k]=
pCopy( (sourceIdeal->m)[k] );
409 (destIdeal->m)[0]=
pOne();
417 result->
data= (
void *)destIdeal;
FglmState fglmIdealcheck(const ideal theIdeal)
BOOLEAN fglmquot(ideal sourceIdeal, poly quot, ideal &destIdeal)
#define pIsConstant(p)
like above, except that Comp might be != 0
BOOLEAN assumeStdFlag(leftv h)
ideal idInit(int idsize, int rank)
initialise an ideal / module
void Werror(const char *fmt,...)
#define pCopy(p)
return a copy of the poly
Definition at line 428 of file fglm.cc.
431 ideal destIdeal =
NULL;
434 sourceIdeal = (ideal)first->
Data();
445 for ( k=
IDELEMS( sourceIdeal ) - 1; k >= 0; k-- )
449 if (purePowers[i-1]==0)
460 for(k=
currRing->N-1; k>=0; k--) destIdeal->m[
k]=
pCopy(sourceIdeal->m[purePowers[k]]);
474 (destIdeal->m)[0]=
pOne();
478 Werror(
"The ideal %s has to be 0-dimensional", first->
Name() );
482 Werror(
"The ideal %s has to be reduced", first->
Name() );
490 result->
data= (
void *)destIdeal;
int status int void size_t count
FglmState fglmIdealcheck(const ideal theIdeal)
#define omFreeSize(addr, size)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
BOOLEAN assumeStdFlag(leftv h)
ideal idInit(int idsize, int rank)
initialise an ideal / module
BOOLEAN FindUnivariateWrapper(ideal source, ideal &destIdeal)
void Werror(const char *fmt,...)
#define pCopy(p)
return a copy of the poly
BOOLEAN FindUnivariateWrapper |
( |
ideal |
source, |
|
|
ideal & |
dest |
|
) |
| |
Definition at line 1233 of file fglmzero.cc.
1239 if ( fglmok ==
TRUE ) {
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static ideal FindUnivariatePolys(const idealFunctionals &l)
static BOOLEAN CalculateFunctionals(const ideal &theIdeal, idealFunctionals &l)