Ralf Hemmecke wrote:
>
> the test
>
> testEquals("omegapower(o2) + 7*omegapower(o1)", "o3")
> https://github.com/fricas/fricas/blob/master/src/input/ord.input#L15
> fails.
What exactly are you doing? For me it works.
>
> Remark about notation:
>
> Although I can somehow understand you motivation to use * and + for
> "natural" product and "natural" addition of ordinals (just reuse the
> PolynomialRing domain), I would be more in favour of reserving * and +
> for ordinal multiplication and ordinal addition.
Well, it is more than that: '*' and '+' are (semi)ring operations.
That fits nice into FriCAS category structure. "Ordered" operatations
on ordinals have worse properties.
> In fact, I would like to show \omega * 2 as the output of \omega +
> \omega (ordinal addition), not 2*\omega.
I think that this goes into user control of output. More precisely
standard notation is 2*\omega, and this agrees with other domains.
User may wish different output and it is resonable to provide
some means for customization. And that is much more general
problem: users should not be forced to change types to get
y*x as output for polynomials. Sometimes x*2 may be better
than 2*x...
--
Waldek Hebisch
--
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 post to this group, send email to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/E1hibYJ-00072c-VV%40hera.math.uni.wroc.pl.
For more options, visit https://groups.google.com/d/optout.
