Data Structures | Macros | Functions
fglm.h File Reference
#include <kernel/polys.h>
#include <kernel/structs.h>
#include <kernel/fglm/fglmvec.h>

Go to the source code of this file.

Data Structures

class  fglmSelem
 
class  fglmDelem
 

Macros

#define PROT(msg)
 
#define STICKYPROT(msg)   if (BTEST1(OPT_PROT)) Print(msg)
 
#define PROT2(msg, arg)
 
#define STICKYPROT2(msg, arg)   if (BTEST1(OPT_PROT)) Print(msg,arg)
 
#define fglmASSERT(ignore1, ignore2)
 

Functions

BOOLEAN fglmzero (ring sourceRing, ideal &sourceIdeal, ring destRing, ideal &destideal, BOOLEAN switchBack=TRUE, BOOLEAN deleteIdeal=FALSE)
 
BOOLEAN fglmquot (ideal sourceIdeal, poly quot, ideal &destIdeal)
 

Macro Definition Documentation

#define fglmASSERT (   ignore1,
  ignore2 
)

Definition at line 23 of file fglm.h.

#define PROT (   msg)

Definition at line 19 of file fglm.h.

#define PROT2 (   msg,
  arg 
)

Definition at line 21 of file fglm.h.

#define STICKYPROT (   msg)    if (BTEST1(OPT_PROT)) Print(msg)

Definition at line 20 of file fglm.h.

#define STICKYPROT2 (   msg,
  arg 
)    if (BTEST1(OPT_PROT)) Print(msg,arg)

Definition at line 22 of file fglm.h.

Function Documentation

BOOLEAN fglmquot ( ideal  sourceIdeal,
poly  quot,
ideal &  destIdeal 
)

Definition at line 1215 of file fglmzero.cc.

1216 {
1217  BOOLEAN fglmok;
1218  fglmVector v;
1219 
1220  idealFunctionals L( 100, (currRing->N) );
1221  // STICKYPROT("calculating normal form\n");
1222  // poly p = kNF( sourceIdeal, currRing->qideal, quot );
1223  // STICKYPROT("calculating functionals\n");
1224  fglmok = CalculateFunctionals( sourceIdeal, L, quot, v );
1225  if ( fglmok == TRUE ) {
1226  // STICKYPROT("calculating groebner basis\n");
1227  destIdeal= GroebnerViaFunctionals( L, v );
1228  }
1229  return fglmok;
1230 }
#define TRUE
Definition: auxiliary.h:144
static ideal GroebnerViaFunctionals(const idealFunctionals &l, fglmVector iv=fglmVector())
Definition: fglmzero.cc:1048
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:12
static BOOLEAN CalculateFunctionals(const ideal &theIdeal, idealFunctionals &l)
Definition: fglmzero.cc:675
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
int BOOLEAN
Definition: auxiliary.h:131
BOOLEAN fglmzero ( ring  sourceRing,
ideal &  sourceIdeal,
ring  destRing,
ideal &  destideal,
BOOLEAN  switchBack = TRUE,
BOOLEAN  deleteIdeal = FALSE 
)

Definition at line 1190 of file fglmzero.cc.

1191 {
1192  ring initialRing = currRing;
1193  BOOLEAN fglmok;
1194 
1195  if ( currRing != sourceRing )
1196  {
1197  rChangeCurrRing( sourceRing );
1198  }
1199  idealFunctionals L( 100, rVar(currRing) );
1200  fglmok = CalculateFunctionals( sourceIdeal, L );
1201  if ( deleteIdeal == TRUE )
1202  idDelete( & sourceIdeal );
1203  rChangeCurrRing( destRing );
1204  if ( fglmok == TRUE )
1205  {
1206  L.map( sourceRing );
1207  destIdeal= GroebnerViaFunctionals( L );
1208  }
1209  if ( (switchBack) && (currRing != initialRing) )
1210  rChangeCurrRing( initialRing );
1211  return fglmok;
1212 }
#define idDelete(H)
delete an ideal
Definition: ideals.h:31
static short rVar(const ring r)
#define rVar(r) (r->N)
Definition: ring.h:537
#define TRUE
Definition: auxiliary.h:144
static ideal GroebnerViaFunctionals(const idealFunctionals &l, fglmVector iv=fglmVector())
Definition: fglmzero.cc:1048
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:12
static BOOLEAN CalculateFunctionals(const ideal &theIdeal, idealFunctionals &l)
Definition: fglmzero.cc:675
void rChangeCurrRing(ring r)
Definition: polys.cc:14
int BOOLEAN
Definition: auxiliary.h:131