#13203: Promotion on Tableaux should force its argument to be an Integer.
---------------------------------+------------------------------------------
   Reporter:  nthiery            |             Owner:  sage-combinat      
       Type:  PLEASE CHANGE      |            Status:  new                
   Priority:  major              |         Milestone:  sage-5.2           
  Component:  combinatorics      |          Keywords:  tableaux, promotion
Work issues:                     |   Report Upstream:  N/A                
  Reviewers:  Nicolas M. ThiƩry  |           Authors:  Anne Schilling     
  Merged in:                     |      Dependencies:                     
   Stopgaps:                     |  
---------------------------------+------------------------------------------
 The entries of a tableau are Integers::
 {{{
     sage: T = Tableau([[1]])
     sage: type(T[0][0])
     <type 'sage.rings.integer.Integer'>
 }}}

 This invariant should be preserved by inverse promotion::
 {{{
     sage: type(T.promotion_inverse(2)[0][0])
     <type 'sage.rings.integer.Integer'>
 }}}

 But this is currently not if the input is a plain int::
 {{{
     sage: type(T.promotion_inverse(int(2))[0][0])
     <type 'int'>
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13203>
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.

Reply via email to