Opened 10 years ago

Last modified 4 weeks ago

#12957 new enhancement

Categories for finite (enumerated) sets — at Initial Version

Reported by: Nicolas M. Thiéry Owned by: Nicolas M. Thiéry
Priority: major Milestone: sage-9.8
Component: categories Keywords:
Cc: Sage Combinat CC user, Simon King, Andrey Novoseltsev Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #12913 Stopgaps:

Status badges


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()
sage: MatrixSpace(GF(3),2) in FiniteEnumeratedSets()
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

Change History (0)

Note: See TracTickets for help on using tickets.