We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
@fieker once reported:
julia> log(coeff(c[1].data, 0)) ERROR: Unable to compute logarithm
the doc or the implementation is faulty. t seems to work only if input x satisties val(x) = 0 AND val(1-x) > 0
The corresponding Flint-Doc seems to be wrong as well...
I am moving the report here from my email so it gets dealt with.
The text was updated successfully, but these errors were encountered:
@fieker Can you give an example of a case you were expecting to work which didn't work?
Sorry, something went wrong.
its still possibly "broken" in flint, but we worked around this and fixed it in the interface. So for Nemo: closed, for flint: don't know
No branches or pull requests
@fieker once reported:
julia> log(coeff(c[1].data, 0))
ERROR: Unable to compute logarithm
the doc or the implementation is faulty.
t seems to work only if input x satisties
val(x) = 0
AND
val(1-x) > 0
The corresponding Flint-Doc seems to be wrong as well...
I am moving the report here from my email so it gets dealt with.
The text was updated successfully, but these errors were encountered: