Martin R wrote:
>
>
> Well, I must say that I believe that this is one of the reasons why sage
> now excels: to be useful, it is much better to solve a few instances of a
> problem, instead of giving up because one cannot solve the problem
> completely. Instead, it is much better to have something partially
> working, and warn the user of possible problems.
Well, I have no problems with isolated piece of code that is imperfect
but is doing something useful. However, fact that types guarantee
that we can perform operations (or at least we get an error when
we can not do them) is quite fundamental for FriCAS. I am pretty
sure that if you proposed change to some fundamental thing Sage
folks would want very strong reason. On technical grounds, FriCAS
was able to do several deep changes because of type safety,
otherwise such changes would be too risky. And we still have
trouble fixing known problem in cases when safety/conventions
were violated (mostly in Boot code and in interaction between
Spad and interpreter).
Let me add that EuclideanDomain is a nice example of things
going wrong: probably more than half of uses in original code
were bugs. Several such buggy uses are now removed but I still
work on removing some other...
> Concerning the original question: it might in fact be the case that fricas
> would be the only system capable of computing Smith normal forms of
> matrices with entries being power series out of the box. I am not sure
> whether that's useful, though.
Well, that should work on easy examples. But already Gaussian
elimination have trouble in heavier cases. I would expect
Smith form to behave much worse.
--
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/E1gn6DV-00026S-CV%40hera.math.uni.wroc.pl.
For more options, visit https://groups.google.com/d/optout.
