Opened 10 years ago

Last modified 4 weeks ago

#12957 new enhancement

Categories for finite (enumerated) sets — at Version 5

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

Description (last modified by Vincent Delecroix)

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 enumerated 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: LatticePolytope(matrix(ZZ, [[1,1],[0,1]])).category()
Category of objects

See also: #12913

The following examples were originally in the ticket description but are good on sage-6.9.beta1

sage: Permutations().category()
Category of infinite enumerated sets
sage: DirichletGroup(5).category()
Category of finitely generated finite commutative groups

Change History (5)

comment:1 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:2 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:3 Changed 8 years ago by For batch modifications

Milestone: sage-6.2sage-6.3

comment:4 Changed 8 years ago by For batch modifications

Milestone: sage-6.3sage-6.4

comment:5 Changed 7 years ago by Vincent Delecroix

Description: modified (diff)

On sage-6.9.beta1 things get better... I modified the description accordingly

Last edited 7 years ago by Vincent Delecroix (previous) (diff)
Note: See TracTickets for help on using tickets.