>
> I have no time for a definite check, but my feeling is that FriCAS
> should be able to do this, no?
>
> http://mathoverflow.net/questions/41307/computer-algebra-systems-that-can-handle-real-closed-fields
>
FriCAS can handle real algebraic numbers. AFAICS depite name RealClosure
can not handle general real closures: it assumes that base field contains
no infinitesimals (OTOH given real algebraic numbers it should be
possible to create new constructor that adds infinitesimals).
Currently FriCAS has no serious support for solving inequalies (there
is a package for doing CAD, but AFAIU it is not of "production"
quality).
FriCAS should be able to find Groebner bases over the real algebraic
numbers, but unless the system is zero dimensional over complex
numbers this does not really help (Groebner basis gives you solutions
over algebraic closure anyway).
FriCAS equation solver looks for real solutions, so if system is
easy enough may help, but:
1) I think it will fail if complex solutions have positive dimension
2) the system may be too big
3) one would have to convert inequalities into equalities
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
