Indeed, in my version:
trueEqual(distribute x,y)
(3) true
Type:
Boolean
(5) -> (distribute x = y)
+-+
1 \|2
(5) ---- = ----
+-+ 2
\|2
Type:
Equation(AlgebraicNumber)
(6) -> test(distribute x = y)
(6) true
Type:
Boolean
On Friday, 20 December 2024 at 12:32:57 UTC+1 Kurt Pagani wrote:
> distribute ?
>
>
>
>
> 'Ralf Hemmecke' via FriCAS - computer algebra system <
> fricas...@googlegroups.com> schrieb am Fr., 20. Dez. 2024, 11:12:
>
>> Obviously, the output of (3) is not really what one would expect.
>>
>> Second question. Having an expression like x, how can I turn it into
>> something like y, i.e. how can I unbox such an expression?
>>
>> %%% (1) -> x := 1/box(sqrt(2)); y := sqrt(2)/2;
>> Type: AlgebraicNumber
>> %%% (2) -> (x=y)@Boolean
>>
>> (2) false
>> Type: Boolean
>> %%% (3) -> trueEqual(x,y)
>>
>> >> Error detected within library code:
>> cannot retract nonconstant polynomial
>>
>> 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 fricas-devel...@googlegroups.com.
>> To view this discussion visit
>> https://groups.google.com/d/msgid/fricas-devel/b3347a2e-e6f9-4746-b92c-e7f18c88dcdc%40hemmecke.org
>> .
>>
>
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/05cd8ebc-578a-42f0-907c-b64069470d5cn%40googlegroups.com.
