![]() |
#include <kernel/ideals.h>#include <polys/monomials/p_polys.h>#include <gfanlib/gfanlib.h>#include <exception>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 p with respect to w.
Definition at line 32 of file initial.cc.
Returns the initial form of I with respect to w.
Definition at line 60 of file initial.cc.
Returns the initial form of p with respect to w and W.
Definition at line 68 of file initial.cc.
Returns the initial form of I with respect to w and W.
Definition at line 96 of file initial.cc.
Stores the initial form of *pStar with respect to w in pStar.
Definition at line 104 of file initial.cc.
Stores the initial form of *IStar with respect to w in IStar.
Definition at line 143 of file initial.cc.
Stores the initial form of *pStar with respect to w and W in pStar.
Definition at line 152 of file initial.cc.
Stores the initial form of *IStar with respect to w and W in IStar.
Definition at line 191 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 8 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 23 of file initial.cc.