On 6/17/26 22:20, Waldek Hebisch wrote:
On Wed, Jun 17, 2026 at 05:20:27PM +0800, Qian Yun wrote:
[true | x = -sqrt(x^2) and y = sqrt(y^2)]
and for x1 - x2
[0 | x = -sqrt(x^2) and y = sqrt(y^2)]
where I used '[a | b]' to denote that result a is valid under
condition b.
Oh, that looks rather nice to me (apart from the (perhaps) problematic
computation of the conditions).
I wonder how such a type can be programmed and then connected to
Expression(X).
Programming a "conditional type" doesn't sound to complicated. It's and
expression together with another (logic) expression. I feel, however,
that computations with such values may become complicated.
Maybe it would be even enough to have such a type simply to hold values
together with conditions and no further operations except extracting
value and condition.
OK, but someone must work that out and program it, which is certainly
not me at the moment.
Ralf
--
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 visit
https://groups.google.com/d/msgid/fricas-devel/0cbc1e77-af47-475c-af33-1579e93b7cb1%40hemmecke.org.
