> Instead, it is much better to have something partially working, and
> warn the user of possible problems.

I understand. Obviously there are some differences in development
between Sage and FriCAS. Correct me if I am wrong, but in my opinion,
Sage looks more like a moving target. It might easily happen that user
code that once worked, will not run as expected in a future version of
Sage. I must say that I appreciate Waldek's insistence on not changing
too drastically. Yes that slows things down, but it also does not easily
break a somewhat working FriCAS.

On the other hand, you want things to work now. In that sense FriCAS is
not serving its users well. (Unfortunately, we don't even know how many
users FriCAS actually has.)

> 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.

Well, fortunately, you can change FriCAS yourself and easily recompile
the respective .spad files in order to make UTS a EuclideanDomain and
have the computation that you would like to run working for you (and
your scientific article) even though it is not part of the official FriCAS.

I know that not everyone feels comfortable with recompiling FriCAS, but
at least a user has the potential to solve his own problems himself
without waiting for the developers (or a company) to solve them for him.

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 [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/ffa349ce-b64f-143f-6898-fcbf72ea75ed%40hemmecke.org.
For more options, visit https://groups.google.com/d/optout.

Reply via email to