Opened 7 years ago

Last modified 3 weeks ago

#18309 new defect

Categories are wrong for Hom/cartesian products of vector spaces

Reported by: vdelecroix Owned by:
Priority: major Milestone: sage-9.7
Component: categories Keywords:
Cc: nthiery, tscrim Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

sage: cartesian_product([GF(3)^2, GF(7)^3])
The cartesian product of (
  Vector space of dimension 2 over Finite Field of size 3,
  Vector space of dimension 3 over Finite Field of size 7)
sage: _.category()
Category of Cartesian products of vector spaces with basis over
 (finite fields and subquotients of monoids and quotients of semigroups)

and

sage: Hom(GF(3)^2, GF(7)^3)
Set of Morphisms (Linear Transformations) from
  Vector space of dimension 2 over Finite Field of size 3
to
  Vector space of dimension 3 over Finite Field of size 7
sage: _.category()
Category of homsets of modules with basis over
 (finite fields and subquotients of monoids and quotients of semigroups)

see also: #16940

Change History (5)

comment:1 Changed 21 months ago by mkoeppe

  • Cc tscrim added
  • Milestone changed from sage-6.7 to sage-9.3

The first one is now

sage: _.category()                                                                                                                
Join of Category of Cartesian products of vector spaces with basis over (finite enumerated fields and subquotients of monoids and quotients of semigroups) and Category of finite additive groups and Category of Cartesian products of finite enumerated sets

comment:2 Changed 15 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:3 Changed 10 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:4 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:5 Changed 3 weeks ago by mkoeppe

  • Milestone changed from sage-9.6 to sage-9.7
Note: See TracTickets for help on using tickets.