Here's a recent sympy bug about floating numbers can't do exact division: https://github.com/sympy/sympy/issues/11507
Although Float is not DoubleFloat, although Float can have arbitrary precision, but it's not FRAC INT. If one wants symbolic result, use FRAC INT instead. What should we do about Float? Float claims to have UniqueFactorizationDomain, but it can't be factored reliablely. In this case, REPL resolves this "solve" to SystemSolvePackage, which is for symbolic computing. The numeric package, FloatingRealPackage, however, doesn't accpect a POLY FLOAT: solve(x*19.8=12.7,0.0001) -- is NOT OK solve(x*198/10=127/10,0.0001) -- this is OK Maybe we should redirect "solve(x*19.8=12.7, x)" to numeric package in the future. Greg, was your intention to do symbolic or numeric computation in this case? -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
