Changes between Version 5 and Version 6 of Ticket #12957


Ignore:
Timestamp:
08/15/16 23:25:32 (6 years ago)
Author:
mkoeppe
Comment:

I have updated the description with the status as of version 7.4.beta0.

Regarding LatticePolytope (one of the examples in the description), I would be reluctant to consider it a finite enumerated set. There should be a distinction between the lattice polytope (an infinite set) and the set of its lattice points. The latter (which also makes sense for non-lattice polytopes) should be made a finite enumerated set.

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #12957

    • Property Cc novoselt added
    • Property Milestone changed from sage-6.4 to sage-7.4

  • Ticket #12957 – Description

    v5 v6  
    2323Category of finitely generated finite commutative groups
    2424}}}
     25
     26Moreover, with Sage 7.4.beta0 we now have:
     27{{{
     28sage: CartesianProduct([1,2],[2,3]).category()
     29... DeprecationWarning: CartesianProduct is deprecated. Use cartesian_product instead
     30See http://trac.sagemath.org/18411 for details.
     31  #!/usr/bin/env python
     32Category of Cartesian products of finite enumerated sets
     33sage: cartesian_product([[1,2],[2,3]]).category()
     34Category of Cartesian products of finite enumerated sets
     35sage: Set([1,2,3]).category()
     36Category of finite sets
     37}}}