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);
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
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