Cool. That is a name that would never come to my mind. Thank you.
But no.
%%% (38) -> distribute(x)
1
(38) ----
+-+
\|2
Type: AlgebraicNumber
(5) -> (distribute x = y)
+-+
1 \|2
(5) ---- = ----
+-+ 2
\|2
Type: Equation(AlgebraicNumber)
Ha... that is funny. The reason I added box in the first place was to
get the sqrt(2) in the denominator without it being moved to the
numerator in further compuations Apparrently, I can perhaps do without
box. Must investigate.
%%% (46) -> [distribute x, x]::InputForm
(46)
(construct (:: (/ 1 (^ 2 (/ 1 2))) (AlgebraicNumber))
(:: (/ 1 (%box (^ 2 (/ 1 2)))) (AlgebraicNumber)))
As can be seen, the %box is gone as you said initially.
The question is how would I construct such an expression without
AlgebraicNumber moving the sqrt to the numerator?
It seem I can unbox and "normalize" in that way:
%%% (64) -> inv inv distribute x
+-+
\|2
(64) ----
2
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+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/a92bd3fd-929f-4320-accd-48da6210012e%40hemmecke.org.
