#17740: Division of modules by basering elements should not pass to the fraction
field.
-------------------------------------+-------------------------------------
Reporter: robertwb | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.5
Component: coercion | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: u/robertwb | Commit:
/coerce-div | 6a507b79f14c7db4f28ac841996cc2ef3d1ba71d
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by nbruin):
* commit: => 6a507b79f14c7db4f28ac841996cc2ef3d1ba71d
Comment:
Can we also address here why asking the coercion system to do this
operation does not lead to the same result as when we just do the
computation?
{{{
sage: parent(GF(5)['x'].gen()/7)
Univariate Polynomial Ring in x over Finite Field of size 5
}}}
There may be good reasons for this (performance?) so I'm not immediately
suggesting that we change the code to use the same path in both cases, but
we should document that and why we're not.
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=6a507b79f14c7db4f28ac841996cc2ef3d1ba71d
6a507b7]||{{{Better inversion of module actions for correct division
coercions.}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/17740#comment:3>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
