Go to the source code of this file.
◆ fglmhomProc()
◆ fglmProc()
Definition at line 279 of file fglm.cc.
285 ideal destIdeal =
NULL;
323 (destIdeal->m)[0]=
pOne();
327 Werror(
"ring %s and current ring are incompatible", first->
Name() );
331 Werror(
"Can't find ideal %s in ring %s", second->
Name(), first->
Name() );
335 Werror(
"The ideal %s has to be 0-dimensional", second->
Name() );
339 Werror(
"The ideal %s has to be given by a reduced SB", second->
Name() );
347 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)
VAR 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,...)
◆ fglmQuotProc()
Definition at line 356 of file fglm.cc.
361 ideal sourceIdeal = (ideal)first->
Data();
362 poly quot = (poly)second->
Data();
363 ideal destIdeal =
NULL;
385 (destIdeal->m)[0]=
pOne();
389 Werror(
"The ideal %s has to be 0-dimensional", first->
Name() );
393 Werror(
"The poly %s has to be reduced", second->
Name() );
399 for ( k=
IDELEMS( sourceIdeal )-1; k >=0; k-- )
400 (destIdeal->m)[
k]=
pCopy( (sourceIdeal->m)[k] );
405 (destIdeal->m)[0]=
pOne();
413 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 must 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
◆ findUniProc()
Definition at line 424 of file fglm.cc.
427 ideal destIdeal =
NULL;
430 sourceIdeal = (ideal)first->
Data();
441 for ( k=
IDELEMS( sourceIdeal ) - 1; k >= 0; k-- )
445 if (purePowers[i-1]==0)
456 for(k=
currRing->N-1; k>=0; k--) destIdeal->m[
k]=
pCopy(sourceIdeal->m[purePowers[k]]);
470 (destIdeal->m)[0]=
pOne();
474 Werror(
"The ideal %s has to be 0-dimensional", first->
Name() );
478 Werror(
"The ideal %s has to be reduced", first->
Name() );
486 result->
data= (
void *)destIdeal;
int status int void size_t count
FglmState fglmIdealcheck(const ideal theIdeal)
#define omFreeSize(addr, size)
VAR 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
◆ FindUnivariateWrapper()
BOOLEAN FindUnivariateWrapper |
( |
ideal |
source, |
|
|
ideal & |
dest |
|
) |
| |
Definition at line 1236 of file fglmzero.cc.
1242 if ( fglmok ==
TRUE ) {
VAR 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)