From a5778ed934d4ea927e911cad983e07e2a01c9b09 Mon Sep 17 00:00:00 2001 From: Yue Ren Date: Fri, 24 Jan 2025 08:43:39 +0000 Subject: [PATCH] TropicalGeometry: make positive_tropical_variety work with old tropicalization --- src/TropicalGeometry/positive_variety.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/TropicalGeometry/positive_variety.jl b/src/TropicalGeometry/positive_variety.jl index ed087d188c20..00f27eae6b51 100644 --- a/src/TropicalGeometry/positive_variety.jl +++ b/src/TropicalGeometry/positive_variety.jl @@ -34,7 +34,7 @@ function positive_tropical_variety(I::MPolyIdeal,nu::TropicalSemiringMap) if all(isequal(2),length.(gens(I))) if all(isequal(-1),[prod([sign(c) for c in coefficients(g)]) for g in gens(I)]) # binomial ideal positive, return regular tropical variety - return tropical_variety(I,nu) + return tropical_variety_binomial(I,nu) else # binomial ideal not positive, return empty polyhedral complex in the correct ambient dimension return polyhedral_complex(IncidenceMatrix(zeros(Int,0,0)),zero_matrix(QQ,0,ambient_dim(TropL)))