My Project
|
#include "gfanlib/gfanlib_vector.h"
#include "gfanlib/gfanlib_matrix.h"
#include "polys/monomials/p_polys.h"
Go to the source code of this file.
Functions | |
long | wDeg (const poly p, const ring r, const gfan::ZVector &w) |
various functions to compute the initial form of polynomials and ideals More... | |
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). More... | |
poly | initial (const poly p, const ring r, const gfan::ZVector &w) |
Returns the initial form of p with respect to w. More... | |
ideal | initial (const ideal I, const ring r, const gfan::ZVector &w) |
Returns the initial form of I with respect to w. More... | |
poly | initial (const poly p, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W) |
Returns the initial form of p with respect to w and W. More... | |
ideal | initial (const ideal I, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W) |
Returns the initial form of I with respect to w and W. More... | |
void | initial (poly *pStar, const ring r, const gfan::ZVector &w) |
Stores the initial form of *pStar with respect to w in pStar. More... | |
void | initial (ideal *IStar, const ring r, const gfan::ZVector &w) |
Stores the initial form of *IStar with respect to w in IStar. More... | |
void | initial (poly *pStar, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W) |
Stores the initial form of *pStar with respect to w and W in pStar. More... | |
void | initial (ideal *IStar, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W) |
Stores the initial form of *IStar with respect to w and W in IStar. More... | |
Returns the initial form of I with respect to w.
Definition at line 58 of file initial.cc.
Returns the initial form of p with respect to w.
Definition at line 30 of file initial.cc.
Returns the initial form of p with respect to w and W.
Definition at line 66 of file initial.cc.
Stores the initial form of *pStar with respect to w in pStar.
Definition at line 102 of file initial.cc.
Stores the initial form of *pStar with respect to w and W in pStar.
Definition at line 150 of file initial.cc.
various functions to compute the initial form of polynomials and ideals
Returns the weighted degree of the leading term of p with respect to w
Definition at line 6 of file initial.cc.
Returns the weighted multidegree of the leading term of p with respect to (w,W).
The weighted multidegree is a vector of length one higher than the column vectors of W. The first entry is the weighted degree with respect to w and the i+1st entry is the weighted degree with respect to the i-th row vector of W.
Definition at line 21 of file initial.cc.