On Thu, May 15, 2008 at 9:04 AM, Nick Alexander <[EMAIL PROTECTED]> wrote:
>
>> What do people think about making the default ring for matrices QQ?
>
> I'm not certain why I dislike this so much, but I vote -1. I think
> it's because I understand the Sage coercion model well and since I
> know what to expect, I appreciate my data starting at the "lowest
> level of the model".
>
> I would prefer changing echelon_form over an integral domain to work
> over the fraction field and reserve hermite_normal_form for PIDs.
We could do this. It would
1. Require rewriting code in modules/*.py to
call different functions depending on whether the base ring
is a field or not.
2. Break compatibility with Magma where EchelonForm is the
same as in Sage over ZZ (not a priori bad.)
3. Probably other things would break, but I'm not sure where.
It's likely doctest would uncover what, hopefully. Code
would also have to be changed in matrix_integer_dense,
obviously...
-- William
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
