Hi Waldek,
the test
testEquals("omegapower(o2) + 7*omegapower(o1)", "o3")
https://github.com/fricas/fricas/blob/master/src/input/ord.input#L15
fails.
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.
In fact, I would like to show \omega * 2 as the output of \omega +
\omega (ordinal addition), not 2*\omega.
Ralf
=============================================================================
Testsuite: ordinals
failed (total): 1 (1)
failed testcases were:
---------------------------------------------------------------------------
Testcase: ordinals
failed (total): 1 (12)
failed tests were:
5: EQUL: (omegapower(o2) + 7*omegapower(o1), o3)
2 2
omega + 2 omega + 5 omega + 2 omega + 4
Output1: omega + 7 omega
4 omega 2
omega omega + 6 omega + 1
Output2: 7 omega + omega
--
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/6f40fe4a-d039-d95d-5e71-05eaf2deb592%40hemmecke.org.
For more options, visit https://groups.google.com/d/optout.
