You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Conversion from ZZRingElem should also work (this just came up again while teaching with OSCAR)
fingolfin
changed the title
Add conversion QQFieldElem -> Float64 / ComplexF64, and perhaps more generally all Real / Complex subtypes
Add conversion QQBarFieldElem -> Float64 / ComplexF64, and perhaps more generally all Real / Complex subtypes
Oct 12, 2024
Right now I have to do this:
It would be nice if I could just do
Float64(x)
, alas:The text was updated successfully, but these errors were encountered: