Opened 5 years ago

Last modified 2 months ago

#18309 new defect

Categories are wrong for Hom/cartesian products of vector spaces

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

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 (1)

comment:1 Changed 2 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
Note: See TracTickets for help on using tickets.