ppinitialReduction.h
Go to the documentation of this file.
1 #ifndef PPINITIALREDUCTION_H
2 #define PPINITIALREDUCTION_H
3 
4 #include <kernel/structs.h>
5 #include <tropicalStrategy.h>
6 
7 typedef std::pair<int,int> mark;
8 typedef std::vector<std::pair<int,int> > marks;
9 
10 bool isOrderingLocalInT(const ring r);
11 void pReduce(ideal &I, const number p, const ring r);
12 void pReduceInhomogeneous(poly &g, const number p, const ring r);
13 bool ppreduceInitially(ideal I, const ring r, const number p);
14 /* BOOLEAN ppreduceInitially(leftv res, leftv args); */
15 
16 #ifndef NDEBUG
21 #endif
22 
23 #endif
implementation of the class tropicalStrategy
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
std::pair< int, int > mark
return P p
Definition: myNF.cc:203
g
Definition: cfModGcd.cc:4031
BOOLEAN ppreduceInitially3(leftv res, leftv args)
poly res
Definition: myNF.cc:322
void pReduce(ideal &I, const number p, const ring r)
const ring r
Definition: syzextra.cc:208
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.
polyrec * poly
Definition: hilb.h:10
bool isOrderingLocalInT(const ring r)
void pReduceInhomogeneous(poly &g, const number p, const ring r)
int BOOLEAN
Definition: auxiliary.h:131
BOOLEAN ptNormalize(leftv res, leftv args)
BOOLEAN pReduceDebug(leftv res, leftv args)