#6178: [with patch, with positive review] Hermite normal form over PIDs
----------------------------+-----------------------------------------------
Reporter: davidloeffler | Owner: davidloeffler
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-4.0.2
Component: linear algebra | Keywords: echelon form
Reviewer: | Author:
Merged: |
----------------------------+-----------------------------------------------
Comment(by cremona):
First a remark: using #6044 (which as of writing has a positive review
but has not been closed yet) solves the issue of non-canonical
representatives modulo ideals.
1. Applies fine to 4.0.1 and builds ok.
2. Tests in sage/rings.number_field pass
3. Tests in sage/modules pass
4. tests in sage/matrix pass
5. I tried some examples and they worked fine.
On the last point it is not much use trying to create random matrices over
a number field order OK, since OK.random_element() returns a random
integer! I think that should be changed.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6178#comment:3>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
