#9063: wrong type for denominator
-----------------------------------------+----------------------------------
Reporter: cjh | Owner: AlexGhitza
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.6
Component: algebra | Keywords:
Author: Luis Felipe Tabera Alonso | Upstream: N/A
Reviewer: John Cremona | Merged:
Work_issues: |
-----------------------------------------+----------------------------------
Changes (by burcin):
* status: needs_review => needs_work
Comment:
AFAICT, the `weak_popov_form` function clears the denominators to work
over the polynomial ring instead of the fraction field. When a matrix over
the polynomial ring is given, it seems inefficient to first coerce all
entries to the fraction field, then find the denominator `1` and go back
to the polynomials we were given.
Can't we just avoid clearing the denominators if `R` (in the first line)
is a field (and not call `lcm()`)?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9063#comment:11>
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.
