1 #ifndef PPINITIALREDUCTION_H
2 #define PPINITIALREDUCTION_H
7 typedef std::pair<int,int>
mark;
8 typedef std::vector<std::pair<int,int> >
marks;
11 void pReduce(ideal &I,
const number
p,
const ring
r);
implementation of the class tropicalStrategy
Class used for (list of) interpreter objects.
std::pair< int, int > mark
BOOLEAN ppreduceInitially3(leftv res, leftv args)
void pReduce(ideal &I, const number p, const ring r)
std::vector< std::pair< int, int > > marks
BOOLEAN reduceInitiallyDebug(leftv res, leftv args)
bool ppreduceInitially(ideal I, const ring r, const number p)
reduces I initially with respect to itself.
bool isOrderingLocalInT(const ring r)
void pReduceInhomogeneous(poly &g, const number p, const ring r)
BOOLEAN ptNormalize(leftv res, leftv args)
BOOLEAN pReduceDebug(leftv res, leftv args)