Loading...
Searching...
No Matches
ppinitialReduction.h
Go to the documentation of this file.
#ifndef PPINITIALREDUCTION_H
#define PPINITIALREDUCTION_H
#include "kernel/structs.h"
#include "tropicalStrategy.h"
typedef std::pair<int,int> mark;
typedef std::vector<std::pair<int,int> > marks;
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);
/* BOOLEAN ppreduceInitially(leftv res, leftv args); */
#endif
p
int p
Definition cfModGcd.cc:4086
g
g
Definition cfModGcd.cc:4098
pReduceInhomogeneous
void pReduceInhomogeneous(poly &g, const number p, const ring r)
Definition ppinitialReduction.cc:132
pReduce
void pReduce(ideal &I, const number p, const ring r)
Definition ppinitialReduction.cc:261
ppreduceInitially
bool ppreduceInitially(ideal I, const ring r, const number p)
reduces I initially with respect to itself.
Definition ppinitialReduction.cc:597
isOrderingLocalInT
bool isOrderingLocalInT(const ring r)
Definition ppinitialReduction.cc:8
marks
std::vector< std::pair< int, int > > marks
Definition ppinitialReduction.h:8
mark
std::pair< int, int > mark
Definition ppinitialReduction.h:7
structs.h
tropicalStrategy.h
implementation of the class tropicalStrategy