#17740: Division of modules by basering elements should not pass to the fraction
field.
-------------------------------------+-------------------------------------
       Reporter:  robertwb           |        Owner:
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.5
      Component:  coercion           |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Robert Bradshaw    |    Reviewers:  Vincent Delecroix
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/vdelecroix/17740                 |  9c970ae1c2ef9516f61a3c6cc737e6d0c644565e
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by vbraun):

 * status:  positive_review => needs_work


Comment:

 I'm getting this on OSX:
 {{{
 sage -t --long src/sage/structure/coerce_actions.pyx
 **********************************************************************
 File "src/sage/structure/coerce_actions.pyx", line 419, in
 sage.structure.coerce_actions.ModuleAction.__invert__
 Failed example:
     A = ~RightModuleAction(ZZ, GF(5)['x']); A
 Exception raised:
     Traceback (most recent call last):
       File "/Users/buildslave-
 sage/slave/sage_git/build/local/lib/python2.7/site-
 packages/sage/doctest/forker.py", line 488, in _run
         self.compile_and_execute(example, compiler, test.globs)
       File "/Users/buildslave-
 sage/slave/sage_git/build/local/lib/python2.7/site-
 packages/sage/doctest/forker.py", line 850, in compile_and_execute
         exec(compiled, globs)
       File "<doctest
 sage.structure.coerce_actions.ModuleAction.__invert__[10]>", line 1, in
 <module>
         A = ~RightModuleAction(ZZ, GF(Integer(5))['x']); A
       File "sage/structure/coerce_actions.pyx", line 464, in
 sage.structure.coerce_actions.ModuleAction.__invert__
 (build/cythonized/sage/structure/coerce_actions.c:7385)
         module_action = type(self)(K, self.codomain())
       File "sage/structure/coerce_actions.pyx", line 376, in
 sage.structure.coerce_actions.ModuleAction.codomain
 (build/cythonized/sage/structure/coerce_actions.c:6711)
         return self.underlying_set()
       File "sage/categories/action.pyx", line 186, in
 sage.categories.action.Action.underlying_set
 (build/cythonized/sage/categories/action.c:4087)
         raise RuntimeError, "This action acted on a set that became
 garbage collected"
     RuntimeError: This action acted on a set that became garbage collected
 **********************************************************************
 File "src/sage/structure/coerce_actions.pyx", line 424, in
 sage.structure.coerce_actions.ModuleAction.__invert__
 Failed example:
     A(x, 2)
 Expected:
     3*x
 Got:
     1/2*x
 **********************************************************************
 1 item had failures:
    2 of  15 in sage.structure.coerce_actions.ModuleAction.__invert__
     [90 tests, 2 failures, 0.47 s]
 }}}
 In all these doctests you need to hold domain/codomain explicitly alive.

--
Ticket URL: <http://trac.sagemath.org/ticket/17740#comment:29>
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.

Reply via email to