4#include "gfanlib/gfanlib.h"
9 for (
unsigned i=0;
i<
w.size();
i++)
13 WerrorS(
"wDeg: overflow in weight vector");
25 for (
int i=0;
i<
W.getHeight();
i++)
61 for (
int i=0;
i<
k;
i++)
97 for (
int i=0;
i<
k;
i++)
145 for (
int i=0;
i<
k;
i++)
193 for (
int i=0;
i<
k;
i++)
void WerrorS(const char *s)
gfan::ZVector WDeg(const poly p, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W)
Returns the weighted multidegree of the leading term of p with respect to (w,W).
long wDeg(const poly p, const ring r, const gfan::ZVector &w)
various functions to compute the initial form of polynomials and ideals
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
static poly p_Head(const poly p, const ring r)
copy the (leading) term of p
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent @Note: the integer VarOffset encodes:
static void p_Delete(poly *p, const ring r)
static poly p_LmDeleteAndNext(poly p, const ring r)
ideal idInit(int idsize, int rank)
initialise an ideal / module