Searched refs:ridgeIdealOld (Results 1 – 6 of 6) sorted by relevance
| /dports/math/gfan/gfan0.6.2/src/ |
| H A D | traverser_tropical.cpp | 58 PolynomialSet ridgeIdealOld=ridgeIdeal; in changeCone() local
71 WeightTermOrder termOrder(termorderWeight(ridgeIdealOld)); in changeCone()
74 PolynomialSet temp=ridgeIdealOld; in changeCone()
78 checkSameLeadingTerms(ridgeIdealOld,idealGroebnerBasis); in changeCone()
88 g2.push_back(divisionLift(*j, ridgeIdealOld, idealGroebnerBasis, termOrder)); in changeCone()
|
| H A D | traverser_groebnerfan.cpp | 111 PolynomialSet ridgeIdealOld=initialFormsAssumeMarked(groebnerBasis,ridgeVector); in changeCone() local
113 PolynomialSet ridgeIdeal=GE_groebnerBasis(ridgeIdealOld,T,true,false); in changeCone()
116 g2.push_back(divisionLift(*j, ridgeIdealOld, groebnerBasis, T)); in changeCone()
|
| H A D | tropicaltraverse.cpp | 212 PolynomialSet ridgeIdealOld=ridgeIdeal; in changeCone() local
225 WeightTermOrder termOrder(termorderWeight(ridgeIdealOld)); in changeCone()
228 PolynomialSet temp=ridgeIdealOld; in changeCone()
232 checkSameLeadingTerms(ridgeIdealOld,idealGroebnerBasis); in changeCone()
242 g2.push_back(divisionLift(*j, ridgeIdealOld, idealGroebnerBasis, termOrder)); in changeCone()
|
| /dports/math/gfanlib/gfan0.6.2/src/ |
| H A D | traverser_tropical.cpp | 58 PolynomialSet ridgeIdealOld=ridgeIdeal; in changeCone() local
71 WeightTermOrder termOrder(termorderWeight(ridgeIdealOld)); in changeCone()
74 PolynomialSet temp=ridgeIdealOld; in changeCone()
78 checkSameLeadingTerms(ridgeIdealOld,idealGroebnerBasis); in changeCone()
88 g2.push_back(divisionLift(*j, ridgeIdealOld, idealGroebnerBasis, termOrder)); in changeCone()
|
| H A D | traverser_groebnerfan.cpp | 111 PolynomialSet ridgeIdealOld=initialFormsAssumeMarked(groebnerBasis,ridgeVector); in changeCone() local
113 PolynomialSet ridgeIdeal=GE_groebnerBasis(ridgeIdealOld,T,true,false); in changeCone()
116 g2.push_back(divisionLift(*j, ridgeIdealOld, groebnerBasis, T)); in changeCone()
|
| H A D | tropicaltraverse.cpp | 212 PolynomialSet ridgeIdealOld=ridgeIdeal; in changeCone() local
225 WeightTermOrder termOrder(termorderWeight(ridgeIdealOld)); in changeCone()
228 PolynomialSet temp=ridgeIdealOld; in changeCone()
232 checkSameLeadingTerms(ridgeIdealOld,idealGroebnerBasis); in changeCone()
242 g2.push_back(divisionLift(*j, ridgeIdealOld, idealGroebnerBasis, termOrder)); in changeCone()
|