 |
My Project
debian-1:4.1.1-p2+ds-4build3
|
Go to the documentation of this file.
19 #ifndef SPECTRUM_IOSTREAM
148 for(
int i=1;
i<=r->N;
i++ )
164 if(
i==1 ||
p_Cmp(
m,wc,r )<0 )
186 while( (*ptr)!=
NULL )
190 ptr = &(
pNext( *ptr ));
210 while( (*ptr)!=
NULL )
214 ptr = &(
pNext( *ptr ));
262 for(
int i=
s->N;
i>0;
i-- )
288 && r->block1[0]==r->N )
290 && r->block1[0]==r->N*r->N )))
292 for(
int i=r->N-1;
i>=0;
i-- )
294 if( r->wvhdl[0][
i]>=0 )
427 while( C.
inc( carry ) );
435 not_finished =
FALSE;
452 }
while( not_finished );
467 for(
int i=r->N;
i>0;
i-- )
static BOOLEAN isWell(const ring r)
int isMultiple(poly f, poly m, const ring r)
static poly p_Head(poly p, const ring r)
static poly p_Mult_mm(poly p, poly m, const ring r)
static void setExp(poly m, int *r, const ring s)
static BOOLEAN length(leftv result, leftv arg)
static poly normalFormZ(poly f, poly Z, const ring r)
BOOLEAN hasAxis(ideal J, int k, const ring r)
static unsigned long p_SetExp(poly p, const unsigned long e, const unsigned long iBitmask, const int VarOffset)
set a single variable exponent @Note: VarOffset encodes the position in p->exp
static unsigned pLength(poly a)
static int isLeadMonomial(poly m, ideal stdJ, const ring r)
static poly p_Copy(poly p, const ring r)
returns a copy of p
static int p_Cmp(poly p1, poly p2, ring r)
poly p_MDivide(poly a, poly b, const ring r)
void delete_monomial(poly, const ring)
static void p_LmDelete(poly p, const ring r)
static poly normalFormHC(poly f, poly hc, const ring r)
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
static BOOLEAN p_DivisibleBy(poly a, poly b, const ring r)
static int p_LmCmp(poly p, poly q, const ring r)
poly computeWC(const newtonPolygon &np, Rational max_weight, const ring r)
static int rBlocks(ring r)
static BOOLEAN hasLinearTerm(poly h, const ring r)
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
int p_IsPurePower(const poly p, const ring r)
return i, if head depends only on var(i)
static void p_Delete(poly *p, const ring r)
static poly p_Add_q(poly p, poly q, const ring r)
static BOOLEAN hasConstTerm(poly h, const ring r)
BOOLEAN ringIsLocal(const ring r)
void insert_node(poly, poly, const ring)
int hasOne(ideal J, const ring r)
BOOLEAN hasTermOfDegree(poly h, int d, const ring r)
void computeNF(ideal stdJ, poly hc, poly wc, spectrumPolyList *NF, const ring r)
static void p_Setm(poly p, const ring r)
static long p_Totaldegree(poly p, const ring r)
static BOOLEAN p_IsConstant(const poly p, const ring r)
const CanonicalForm int s
void p_Norm(poly p1, const ring r)
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
static BOOLEAN p_LmDivisibleByNoComp(poly a, poly b, const ring r)
Rational weight_shift(poly, const ring r) const