simplify isinf call

oscar-system · Aug 13, 2024 · 84981b6 · 84981b6
1 parent 971a089
commit 84981b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/oscarnumber.jl b/src/oscarnumber.jl
@@ -26,7 +26,7 @@ Base.:/(x::OscarNumber, y::OscarNumber) = x // y
 convert(::Type{<:OscarNumber}, on::OscarNumber) = on
 
 function unwrap(on::OscarNumber)
-   if Polymake.isinf(on) != 0
+   if isinf(on)
       error("cannot unwrap OscarNumber containing infinity")
    elseif _uses_rational(on)
       return _get_rational(on)