search

algebraic-solving / AlgebraicSolving.jl

Other
18 stars 10 forks source link

Output format #10

Closed iliailmer closed 5 months ago

iliailmer commented 1 year ago

Hi,

For this code:

using AlgebraicSolving

R,(x) = PolynomialRing(QQ, ["x"])
real_solutions(Ideal([x[1]^2-2]))

Why is the result given as a rational number?

2-element Vector{Vector{fmpq}}:
 [-56022770974786139918731938227//39614081257132168796771975168]
 [56022770974786139918731938227//39614081257132168796771975168]

Thanks!

ederc commented 5 months ago

Fixed via #48 thanks to @rprebet .