#14054: Cythoned UniqueRepresentation
-----------------------------------------------+----------------------------
       Reporter:  SimonKing                    |         Owner:  tbd            
 
           Type:  enhancement                  |        Status:  needs_review   
 
       Priority:  major                        |     Milestone:  sage-5.8       
 
      Component:  performance                  |    Resolution:                 
 
       Keywords:  cython UniqueRepresentation  |   Work issues:                 
 
Report Upstream:  N/A                          |     Reviewers:  Travis 
Scrimshaw
        Authors:  Simon King                   |     Merged in:                 
 
   Dependencies:  #14017, #6495, #14159        |      Stopgaps:                 
 
-----------------------------------------------+----------------------------

Comment (by SimonKing):

 Yessss! The following is ''without'' the patch. Hence, what we see here is
 an existing bug, that did not show up by mere coincidence (different
 ordering of the doctests)!!

 I can trigger it on the command line (with sage-5.6.rc0 without the patch
 from here):
 {{{
 sage: F = CombinatorialFreeModule(ZZ, [1,2,3], prefix="F")
 sage: G = CombinatorialFreeModule(ZZ, [1,2,3,4], prefix="G")
 sage: f =   F.monomial(1) + 2 * F.monomial(2)
 sage: g = 2*G.monomial(3) +     G.monomial(4)
 sage: tensor([f, g]) # indirect doctest
 2*F[1] # G[3] + F[1] # G[4] + 4*F[2] # G[3] + 2*F[2] # G[4]
 sage: F = CombinatorialFreeModule(ZZ, [1,2,3], prefix='x')
 sage: G = CombinatorialFreeModule(ZZ, [1,2,3,4], prefix='y')
 sage: f =   F.monomial(1) + 2 * F.monomial(2)
 sage: g = 2*G.monomial(3) +     G.monomial(4)
 sage: latex(tensor([f, g])) # indirect doctest
 Traceback (most recent call last):
 ...
 /home/simon/SAGE/prerelease/sage-5.6.rc0/local/lib/python2.7/site-
 packages/sage/categories/modules_with_basis.pyc in __call__(self, *args)
    1385         after = args[self._position+1:len(args)]
    1386         x = args[self._position]
 -> 1387         assert(x.parent() is self.domain())
    1388
    1389         if self._is_module_with_basis_over_same_base_ring:

 AssertionError:
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14054#comment:49>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to