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)
ideal fglmUpdatesource(const ideal sourceIdeal)
void fglmUpdateresult(ideal &result)
BOOLEAN assumeStdFlag(leftv h)
ideal idInit(int idsize, int rank)
initialise an ideal / module
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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)
BOOLEAN assumeStdFlag(leftv h)
ideal idInit(int idsize, int rank)
initialise an ideal / module
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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 ) {
static ideal FindUnivariatePolys(const idealFunctionals &l)
static BOOLEAN CalculateFunctionals(const ideal &theIdeal, idealFunctionals &l)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...