7 #include <gfanlib/gfanlib_vector.h>
8 #include <gfanlib/gfanlib_matrix.h>
14 long wDeg(
const poly p,
const ring
r,
const gfan::ZVector
w);
22 gfan::ZVector
WDeg(
const poly p,
const ring
r,
const gfan::ZVector
w,
const gfan::ZMatrix W);
32 ideal
initial(
const ideal I,
const ring
r,
const gfan::ZVector
w);
37 poly initial(
const poly p,
const ring
r,
const gfan::ZVector
w,
const gfan::ZMatrix W);
42 ideal
initial(
const ideal I,
const ring
r,
const gfan::ZVector
w,
const gfan::ZMatrix W);
47 void initial(
poly* pStar,
const ring
r,
const gfan::ZVector
w);
52 void initial(ideal* IStar,
const ring
r,
const gfan::ZVector
w);
57 void initial(
poly* pStar,
const ring
r,
const gfan::ZVector
w,
const gfan::ZMatrix W);
62 void initial(ideal* IStar,
const ring
r,
const gfan::ZVector
w,
const gfan::ZMatrix W);
long wDeg(const poly p, const ring r, const gfan::ZVector w)
various functions to compute the initial form of polynomials and ideals
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).
poly initial(const poly p, const ring r, const gfan::ZVector w)
Returns the initial form of p with respect to w.