Dear all,
Thanks Manuel for your changes about euclidean rings!
Jesús Aransay and I are now introducing a few changes in the Echelon_Form
development. In addition, we are also polishing the code. We hope to finish
it in the following days.
Cheers,
Jose
2016-02-28 21:29 GMT+01:00 Manuel Eberl
Hi Bertram, Christian and Bertram,
I would like to put my two cents in this topic. I have done a simple
experiment about this using my AFP entry about the QR decomposition, where
a strong use of map_range is done.
With the current map_range definition, the computation of the QR
decomposition of
Hello Florian.
This work sounds very interesting. Just a few comments:
* Take care about the names of the algebraic structures. By PIR (principal
ideal ring) some authors mean a commutative ring with identity in which
every ideal is principal, using the name PID (principal ideal domain) for
