#12957: Categories for finite (enumerated) sets
---------------------------+------------------------------------------------
Reporter: nthiery | Owner: nthiery
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.1
Component: categories | Keywords:
Work issues: | Report Upstream: N/A
Reviewers: | Authors:
Merged in: | Dependencies: #12913
Stopgaps: |
---------------------------+------------------------------------------------
There still remains a lot of finite (enumerated) sets that are not in the
appropriate categories::
{{{
sage: CartesianProduct([1,2],[2,3]).category()
Category of sets
sage: Permutations().category()
Category of sets
sage: Set([1,2,3]).category()
Category of sets
sage: (GF(3) ^ 2) in FiniteEnumeratedSets()
False
sage: MatrixSpace(GF(3),2) in FiniteEnumeratedSets()
False
sage: DirichletGroup(5).category()
Category of sets
sage: LatticePolytope(matrix(ZZ, [[1,1],[0,1]])).category()
Category of objects
}}}
By the way, one should fix
{{{
sage: M = Family(NonNegativeIntegers(), Permutations)
sage: M.cardinality()
}}}
to uses len internally.
See also: #12913
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12957>
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.
