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: |

### Description (last modified by )

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

Milestone: | sage-5.11 → sage-5.12 |
---|

### comment:2 Changed 9 years ago by

Milestone: | sage-6.1 → sage-6.2 |
---|

### comment:3 Changed 8 years ago by

Milestone: | sage-6.2 → sage-6.3 |
---|

### comment:4 Changed 8 years ago by

Milestone: | sage-6.3 → sage-6.4 |
---|

### comment:5 Changed 7 years ago by

Description: | modified (diff) |
---|

**Note:**See TracTickets for help on using tickets.

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