 |
My Project
debian-1:4.1.1-p2+ds-4build1
|
Go to the source code of this file.
|
void | internalCalculateFunctionals (const ideal, idealFunctionals &l, fglmSdata &data) |
|
static BOOLEAN | CalculateFunctionals (const ideal &theIdeal, idealFunctionals &l) |
|
static BOOLEAN | CalculateFunctionals (const ideal &theIdeal, idealFunctionals &l, poly &p, fglmVector &v) |
|
static ideal | GroebnerViaFunctionals (const idealFunctionals &l, fglmVector iv=fglmVector()) |
|
static ideal | FindUnivariatePolys (const idealFunctionals &l) |
|
BOOLEAN | fglmzero (ring sourceRing, ideal &sourceIdeal, ring destRing, ideal &destIdeal, BOOLEAN switchBack, BOOLEAN deleteIdeal) |
|
BOOLEAN | fglmquot (ideal sourceIdeal, poly quot, ideal &destIdeal) |
|
BOOLEAN | FindUnivariateWrapper (ideal source, ideal &destIdeal) |
|
◆ matElem
◆ matHeader
◆ fglmASSERT
#define fglmASSERT |
( |
|
ignore1, |
|
|
|
ignore2 |
|
) |
| |
◆ PROT
◆ PROT2
#define PROT2 |
( |
|
msg, |
|
|
|
arg |
|
) |
| |
◆ STICKYPROT
◆ STICKYPROT2
◆ CalculateFunctionals() [1/2]
Definition at line 675 of file fglmzero.cc.
679 return ( data.state() );
◆ CalculateFunctionals() [2/2]
Definition at line 683 of file fglmzero.cc.
689 v = data.getVectorRep(
p );
692 return ( data.state() );
◆ fglmquot()
BOOLEAN fglmquot |
( |
ideal |
sourceIdeal, |
|
|
poly |
quot, |
|
|
ideal & |
destIdeal |
|
) |
| |
◆ fglmzero()
BOOLEAN fglmzero |
( |
ring |
sourceRing, |
|
|
ideal & |
sourceIdeal, |
|
|
ring |
destRing, |
|
|
ideal & |
destIdeal, |
|
|
BOOLEAN |
switchBack, |
|
|
BOOLEAN |
deleteIdeal |
|
) |
| |
Definition at line 1195 of file fglmzero.cc.
1206 if ( deleteIdeal ==
TRUE )
1209 if ( fglmok ==
TRUE )
1211 L.map( sourceRing );
1214 if ( (switchBack) && (
currRing != initialRing) )
◆ FindUnivariatePolys()
Definition at line 1120 of file fglmzero.cc.
1144 if ( (
isZero= gauss.reduce(
v )))
1147 p= gauss.getDependence();
1148 number
gcd=
p.gcd();
1157 for (
k=
p.size();
k > 0;
k-- )
1159 number n =
nCopy(
p.getconstelem(
k ) );
1184 v=
l.multiply(
v,
i );
◆ FindUnivariateWrapper()
BOOLEAN FindUnivariateWrapper |
( |
ideal |
source, |
|
|
ideal & |
destIdeal |
|
) |
| |
◆ GroebnerViaFunctionals()
Definition at line 1048 of file fglmzero.cc.
1071 data.updateCandidates( one, initv );
1072 number nOne =
nInit( 1 );
1073 data.newBasisElem( one, initv,
fglmVector( 1, 1 ), nOne );
1075 while ( data.candidatesLeft() ==
TRUE ) {
1076 fglmDelem candidate = data.nextCandidate();
1087 fglmVector p( data.getBasisSize()+1, data.getBasisSize()+1 );
1088 number pdenom =
NULL;
1089 data.gaussreduce(
v,
p, pdenom );
1094 data.newGroebnerPoly(
p, candidate.
monom );
1104 data.updateCandidates( candidate.
monom, originalV );
1105 data.newBasisElem( candidate.
monom,
v,
p, pdenom );
1115 return ( data.buildIdeal() );
◆ internalCalculateFunctionals()
Definition at line 611 of file fglmzero.cc.
643 l.insertCols( candidate.
divisors, basis );
650 fglmASSERT( var > 0,
"this should never happen" );
658 l.endofConstruction();
bool isZero(const CFArray &A)
checks if entries of A are zero
void pNorm(poly p, const ring R=currRing)
#define idDelete(H)
delete an ideal
void rChangeCurrRing(ring r)
void newBorderElem(poly &m, fglmVector v)
#define STICKYPROT2(msg, arg)
fglmVector getVectorRep(const poly m)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static short rVar(const ring r)
#define rVar(r) (r->N)
void internalCalculateFunctionals(const ideal, idealFunctionals &l, fglmSdata &data)
#define omFreeSize(addr, size)
poly getSpanPoly(int number) const
int newBasisElem(poly &p)
static ideal FindUnivariatePolys(const idealFunctionals &l)
BOOLEAN isBasisOrEdge() const
int getEdgeNumber(const poly m) const
fglmVector getBorderDiv(const poly m, int &var) const
#define pSetCoeff(p, n)
deletes old coeff before setting the new one
#define fglmASSERT(ignore1, ignore2)
ideal idInit(int idsize, int rank)
initialise an ideal / module
#define pLmDelete(p)
assume p != NULL, deletes Lm(p)->coef and Lm(p)
static ideal GroebnerViaFunctionals(const idealFunctionals &l, fglmVector iv=fglmVector())
const Variable & v
< [in] a sqrfree bivariate poly
BOOLEAN isBasisOrEdge() const
static BOOLEAN CalculateFunctionals(const ideal &theIdeal, idealFunctionals &l)
fglmSelem nextCandidate()
BOOLEAN candidatesLeft() const
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
static intvec * idSort(ideal id, BOOLEAN nolex=TRUE)
#define idMaxIdeal(D)
initialise the maximal ideal (at 0)