Searched defs:theSecondRing (Results 1 – 4 of 4) sorted by relevance
110 PolynomialRing theSecondRing=theRing.withVariablesAppended("H"); in bergmanOfPrincipalIdeal() local162 PolynomialRing theSecondRing=theRing.withVariablesAppended("H"); in normalFanOfNewtonPolytope() local
398 PolynomialRing theSecondRing=theRing.withVariablesAppended("H"); in tropicalHyperSurface() local