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;
◆ 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;
◆ 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)
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;
◆ FindUnivariateWrapper()
BOOLEAN FindUnivariateWrapper |
( |
ideal |
source, |
|
|
ideal & |
dest |
|
) |
| |
BOOLEAN fglmzero(ring sourceRing, ideal &sourceIdeal, ring destRing, ideal &destideal, BOOLEAN switchBack=TRUE, BOOLEAN deleteIdeal=FALSE)