Searched refs:theSecondRing (Results 1 – 4 of 4) sorted by relevance
110 PolynomialRing theSecondRing=theRing.withVariablesAppended("H"); in bergmanOfPrincipalIdeal() local111 Polynomial p=p1.homogenization(theSecondRing); in bergmanOfPrincipalIdeal()113 PolynomialSet g(theSecondRing); in bergmanOfPrincipalIdeal()162 PolynomialRing theSecondRing=theRing.withVariablesAppended("H"); in normalFanOfNewtonPolytope() local163 Polynomial p=p1.homogenization(theSecondRing); in normalFanOfNewtonPolytope()165 PolynomialSet g(theSecondRing); in normalFanOfNewtonPolytope()
398 PolynomialRing theSecondRing=theRing.withVariablesAppended("H"); in tropicalHyperSurface() local399 Polynomial p=p1.homogenization(theSecondRing); in tropicalHyperSurface()