My Project
|
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... | |
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 8 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 597 of file ppinitialReduction.cc.
Definition at line 261 of file ppinitialReduction.cc.
Definition at line 132 of file ppinitialReduction.cc.