"Bill Page" <[EMAIL PROTECTED]> writes: > In principle it is possible to combine both value and type information > into a single InputForm value. For example, this is the output > generated by a patch that I have proposed for FriCAS: > > (1) -> sqrt(2)::InputForm > > (1) (:: (** 2 (/ 1 2)) (AlgebraicNumber)) > Type: InputForm > > Here the desired type of the value is given by the final conversion. The > problem is that I am not convinced that this is really such a good idea.
Why do you think it's not a good idea? To convert to Sage (in a spad package), one would have to do a dispatch depending on the domain. With AlgebraicNumber, it would be SR(2^(1/2)). Very likely, we cannot determine below and above for QQbar.polynomial_root(poly, RIF(below, above)) this would only be possible with RECLOS. Martin --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
