Go to the source code of this file.
◆ fglmhomProc()
◆ fglmProc()
Definition at line 277 of file fglm.cc.
278{
280
282
286
287
291
293 {
296 {
298 if ( sourceRing->qideal !=
NULL )
300 else
304 {
305
309 }
311 }
314 switch (state)
315 {
318 break;
323 break;
325 WerrorS(
"source ring and current ring are incompatible" );
327 break;
329 Werror(
"Can't find ideal %s in source ring",
second->Name() );
331 break;
333 Werror(
"The ideal %s has to be 0-dimensional",
second->Name() );
335 break;
337 Werror(
"The ideal %s has to be given by a reduced SB",
second->Name() );
339 break;
340 default:
342 }
343
348}
Class used for (list of) interpreter objects.
void WerrorS(const char *s)
FglmState fglmConsistency(ring sring, ring dring, int *vperm)
FglmState fglmIdealcheck(const ideal theIdeal)
ideal fglmUpdatesource(const ideal sourceIdeal)
void fglmUpdateresult(ideal &result)
BOOLEAN fglmzero(ring sourceRing, ideal &sourceIdeal, ring destRing, ideal &destideal, BOOLEAN switchBack=TRUE, BOOLEAN deleteIdeal=FALSE)
#define omFreeSize(addr, size)
void rChangeCurrRing(ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void Werror(const char *fmt,...)
ideal idInit(int idsize, int rank)
initialise an ideal / module
BOOLEAN assumeStdFlag(leftv h)
◆ fglmQuot()
Definition at line 350 of file fglm.cc.
351{
353
357
360 {
363 }
364
366 {
369 }
370
371 switch (state)
372 {
374 break;
379 break;
381 WerrorS(
"The ideal has to be 0-dimensional" );
383 break;
385 WerrorS(
"The poly has to be reduced" );
387 break;
394 break;
399 break;
400 default:
402 }
403
405}
BOOLEAN fglmquot(ideal sourceIdeal, poly quot, ideal &destIdeal)
#define pIsConstant(p)
like above, except that Comp must be 0
#define pCopy(p)
return a copy of the poly
◆ fglmQuotProc()
Definition at line 411 of file fglm.cc.
412{
414
415
419
422 {
425 }
426
428 {
432 }
433
434 switch (state)
435 {
437 break;
442 break;
444 Werror(
"The ideal %s has to be 0-dimensional", first->
Name() );
446 break;
448 Werror(
"The poly %s has to be reduced",
second->Name() );
450 break;
457 break;
462 break;
463 default:
465 }
466
470
472}
◆ findUni()
Definition at line 474 of file fglm.cc.
475{
479
481
484 {
485
486
491 {
493 {
495 {
499 }
500 }
501 }
503 {
506 }
512 }
513 switch (state)
514 {
516 break;
521 break;
523 WerrorS(
"The ideal has to be 0-dimensional" );
525 break;
527 Werror(
"The ideal has to be reduced" );
529 break;
530 default:
532 }
533
535}
BOOLEAN FindUnivariateWrapper(ideal source, ideal &destIdeal)
int status int void size_t count
◆ findUniProc()
Definition at line 541 of file fglm.cc.
542{
546
548
552 {
553
554
559 {
561 {
563 {
567 }
568 }
569 }
571 {
574 }
580 }
581 switch (state)
582 {
584 break;
589 break;
591 Werror(
"The ideal %s has to be 0-dimensional", first->
Name() );
593 break;
595 Werror(
"The ideal %s has to be reduced", first->
Name() );
597 break;
598 default:
600 }
601
604
606}
◆ FindUnivariateWrapper()
Definition at line 1236 of file fglmzero.cc.
1237{
1239
1245 }
1246 else
1248}
static ideal FindUnivariatePolys(const idealFunctionals &l)
static BOOLEAN CalculateFunctionals(const ideal &theIdeal, idealFunctionals &l)