#14541: Family over enumerated set has wrong category
--------------------------+-------------------------------------------------
   Reporter:  cnassau     |             Owner:  nthiery                         
          
       Type:  defect      |            Status:  new                             
          
   Priority:  minor       |         Milestone:  sage-5.10                       
          
  Component:  categories  |          Keywords:  Family, Category of finite 
enumerated sets
Work issues:              |   Report Upstream:  N/A                             
          
  Reviewers:              |           Authors:                                  
          
  Merged in:              |      Dependencies:                                  
          
   Stopgaps:              |  
--------------------------+-------------------------------------------------
 This happens with Sage 5.10beta1:

 {{{
 sage: P=Permutations()
 sage: print P.category()
 Category of sets
 sage: print P.cardinality()
 +Infinity
 sage: F=Family(Permutations(), lambda i:i)
 sage: print F.category()
 Category of finite enumerated sets
 }}}

 But clearly {{{F}}} is not finite...

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