My Project
Loading...
Searching...
No Matches
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
7typedef std::pair<int,int> mark;
8typedef std::vector<std::pair<int,int> > marks;
9
10bool isOrderingLocalInT(const ring r);
11void pReduce(ideal &I, const number p, const ring r);
12void pReduceInhomogeneous(poly &g, const number p, const ring r);
13bool ppreduceInitially(ideal I, const ring r, const number p);
14/* BOOLEAN ppreduceInitially(leftv res, leftv args); */
15
16#endif
int p
Definition cfModGcd.cc:4086
g
Definition cfModGcd.cc:4098
void pReduceInhomogeneous(poly &g, const number p, const ring r)
bool isOrderingLocalInT(const ring r)
void pReduce(poly &g, const number p, const ring r)
bool ppreduceInitially(poly *hStar, const poly g, const ring r)
reduces h initially with respect to g, returns false if h was initially reduced in the first place,...
std::vector< std::pair< int, int > > marks
std::pair< int, int > mark
implementation of the class tropicalStrategy