Hi,

Here, numeric computation for my job (accounting/financial things).

It is not the first time I encountered this error, but the equations was
more complex. I thought this was my equations with Float that FriCAS didn't
like. In fact even extremely simple problem can not be solved.

It's not a big  problem since I coerce Float to Fraction Integer and coerce
back, but this is not very handy.

Cheers,

__
Greg




2016-08-25 11:07 GMT+02:00 oldk1331 <[email protected]>:

> 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.
>

-- 
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.

Reply via email to