Searched +defs:grobner +defs:basis (Results 1 – 2 of 2) sorted by relevance
| /dports/math/latte-integrale/latte-version_1_7_6/code/latte/ |
| H A D | Grobner.cpp | 162 char* grobner, ZZ bignum) { in readLatteGrobProblem()
165 listVector *basis, *endBasis, *tmp, *endEquations, *endInequalities; in readLatteGrobProblem() local
404 void CheckFeasibility(listVector* basis, vec_ZZ infeas, int & flag) { in CheckFeasibility()
426 listVector *tmp, *tmp2, *basis, *endBasis, *newInequalities, in Grobner() local
632 char * grobner, char * equationsPresent, char * cdd){ in SolveGrobner()
|
| H A D | ReadingFile.cpp | 617 char* grobner, char * Vrep) { in readLatteProblem()
620 listVector *basis, *endBasis, *tmp, *endEquations, *endInequalities; in readLatteProblem() local
907 char* grobner) { in CDDstylereadLatteProblem()
910 listVector *basis, *endBasis, *tmp, *endEquations, *endInequalities; in CDDstylereadLatteProblem() local
|