![]() |
Go to the source code of this file.
Typedefs | |
typedef std::pair< int, int > | mark |
typedef std::vector< std::pair< int, int > > | marks |
Functions | |
bool | isOrderingLocalInT (const ring r) |
void | pReduce (ideal &I, const number p, const ring r) |
void | pReduceInhomogeneous (poly &g, const number p, const ring r) |
bool | ppreduceInitially (ideal I, const ring r, const number p) |
reduces I initially with respect to itself. More... | |
BOOLEAN | pReduceDebug (leftv res, leftv args) |
BOOLEAN | reduceInitiallyDebug (leftv res, leftv args) |
BOOLEAN | ptNormalize (leftv res, leftv args) |
BOOLEAN | ppreduceInitially3 (leftv res, leftv args) |
typedef std::pair<int,int> mark |
Definition at line 7 of file ppinitialReduction.h.
typedef std::vector<std::pair<int,int> > marks |
Definition at line 8 of file ppinitialReduction.h.
bool isOrderingLocalInT | ( | const ring | r | ) |
Definition at line 13 of file ppinitialReduction.cc.
reduces I initially with respect to itself.
assumes that the generators of I are homogeneous in x and that p-t is in I.
sorts Hi according to degree in t in descending order (lowest first, highest last)
Definition at line 759 of file ppinitialReduction.cc.
Definition at line 725 of file ppinitialReduction.cc.
Definition at line 301 of file ppinitialReduction.cc.
Definition at line 277 of file ppinitialReduction.cc.
Definition at line 137 of file ppinitialReduction.cc.
Definition at line 253 of file ppinitialReduction.cc.
Definition at line 858 of file ppinitialReduction.cc.