Update src/TropicalGeometry/variety_principal.jl

Co-authored-by: Max Horn <max@quendi.de>
oscar-system · Sep 18, 2024 · 05818f9 · 05818f9
1 parent 4ff4584
commit 05818f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/TropicalGeometry/variety_principal.jl b/src/TropicalGeometry/variety_principal.jl
@@ -10,7 +10,7 @@ function tropical_variety_principal(I::MPolyIdeal,nu::TropicalSemiringMap; weigh
  ###
  # Construct TropicalVariety from TropicalHypersurface
  ###
- g = first(gens(I))
+ g = gen(I,1)
  TropV = tropical_variety(tropical_hypersurface(g,nu,weighted_polyhedral_complex_only=weighted_polyhedral_complex_only))
  if !weighted_polyhedral_complex_only
  set_attribute!(TropV,:algebraic_ideal,I)