My Project
Loading...
Searching...
No Matches
initial.h
Go to the documentation of this file.
1#ifndef INITIAL_H
2#define INITIAL_H
3
4/**
5 * various functions to compute the initial form of polynomials and ideals
6 */
7#include "gfanlib/gfanlib_vector.h"
8#include "gfanlib/gfanlib_matrix.h"
10
11/**
12 * Returns the weighted degree of the leading term of p with respect to w
13 */
14long wDeg(const poly p, const ring r, const gfan::ZVector &w);
15
16/**
17 * Returns the weighted multidegree of the leading term of p with respect to (w,W).
18 * The weighted multidegree is a vector of length one higher than the column vectors of W.
19 * The first entry is the weighted degree with respect to w
20 * and the i+1st entry is the weighted degree with respect to the i-th row vector of W.
21 */
22gfan::ZVector WDeg(const poly p, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W);
23
24/**
25 * Returns the initial form of p with respect to w
26 */
27poly initial(const poly p, const ring r, const gfan::ZVector &w);
28
29/**
30 * Returns the initial form of I with respect to w
31 */
32ideal initial(const ideal I, const ring r, const gfan::ZVector &w);
33
34/**
35 * Returns the initial form of p with respect to w and W
36 */
37poly initial(const poly p, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W);
38
39/**
40 * Returns the initial form of I with respect to w and W
41 */
42ideal initial(const ideal I, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W);
43
44/**
45 * Stores the initial form of *pStar with respect to w in pStar
46 */
47void initial(poly* pStar, const ring r, const gfan::ZVector &w);
48
49/**
50 * Stores the initial form of *IStar with respect to w in IStar
51 */
52void initial(ideal* IStar, const ring r, const gfan::ZVector &w);
53
54/**
55 * Stores the initial form of *pStar with respect to w and W in pStar
56 */
57void initial(poly* pStar, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W);
58
59/**
60 * Stores the initial form of *IStar with respect to w and W in IStar
61 */
62void initial(ideal* IStar, const ring r, const gfan::ZVector &w, const gfan::ZMatrix &W);
63
64#endif
int p
Definition: cfModGcd.cc:4078
const CanonicalForm & w
Definition: facAbsFact.cc:51
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).
Definition: initial.cc:21
long wDeg(const poly p, const ring r, const gfan::ZVector &w)
various functions to compute the initial form of polynomials and ideals
Definition: initial.cc:6
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
Definition: initial.cc:30