OK, so for radicals, there should be a much more effective
method to determine its sign.  Seems like current method is
mostly focused on polynomials and pretty limited for radicals.

- Qian

On 5/15/24 19:12, Waldek Hebisch wrote:
On Wed, May 15, 2024 at 06:47:45PM +0800, Qian Yun wrote:
You said before AlgebraicNumber should represent any branch
of the root, but here we are talking about the sign of radical.

Does that mean we are taking a specific branch interpretation here?

Yes.  Othewise there is problem with meaning of 'imag'.  Also
note that this is in extra package, not in core domains.


--
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/2a34dffa-4913-492a-827e-6cc0ccda0953%40gmail.com.

Reply via email to