Go to the source code of this file.
◆ fglmhomProc()
◆ fglmProc()
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)
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 360 of file fglm.cc.
365 ideal sourceIdeal = (ideal)first->
Data();
366 poly quot = (poly)second->
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
◆ findUniProc()
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)
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 1238 of file fglmzero.cc.
1244 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 ...