#8226: Elementary divisors for non PIDs
---------------------------------------------------+------------------------
Reporter: mraum | Owner:
davidloeffler
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-4.5
Component: number fields | Keywords: elementary
divisors
Author: Martin Raum | Upstream: N/A
Reviewer: | Merged:
Work_issues: should be a separate named function |
---------------------------------------------------+------------------------
Changes (by davidloeffler):
* work_issues: => should be a separate named function
Comment:
I think mraum's point is a fair one: re-raising the original error will
generally be more helpful than raising a new one (e.g. it might give an
explicit example of a non-principal ideal in the base ring).
But I don't like the idea that {{{smith_form}}} will sometimes return
elements and sometimes ideals. I totally agree that we should have the
functionality to compute these elementary divisor ideals, but it should be
a separate function, with {{{smith_form}}} raising an error when the
elementary divisors aren't principal. Also, Pari has a fast algorithm for
this problem, so we should use that rather than devising our own; see
#4742.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8226#comment:4>
Sage <http://www.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.
