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