Changes between Version 9 and Version 18 of Ticket #23418


Ignore:
Timestamp:
01/03/18 07:32:15 (4 years ago)
Author:
tscrim
Comment:

Actually, from looking at it and thinking about it more, the category of highest weight crystals is a full subcategory, so it does not quite work (in contrast to algebras and modules). So instead I just manufactured a minimal example that fails with your change.

Here is a branch that does special handling of JoinCategory. It passes all the tests that were previously failing.


New commits:

39b0560Merge branch 'u/vdelecroix/23418' of git://trac.sagemath.org/sage into public/number_fields/in_infinite_fields-23418
cdbc67dReverting change and adding test showing the behavior.
b7f3fa6Special handling of the join categories for Hom.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23418

    • Property Reviewers changed from to Travis Scrimshaw
    • Property Branch changed from u/vdelecroix/23418 to public/number_fields/in_infinite_fields-23418
    • Property Cc tscrim added
    • Property Commit changed from d2bf048cc8da72b16e8c020d8c5fb6aa3b9ee923 to b7f3fa69fae7ca1119968e2805230a67d60c21d8
  • Ticket #23418 – Description

    v9 v18  
    1 and the same for QQ of course
     1and the same for QQ of course.
    22
    3 follow up at #24432
     3This fixes a bug with `Hom` where the meet computed is a join category, in which case `X` is not a subclass of `category.parent_class`. This causes problems with the number fields meeting with matrix spaces.
     4
     5Follow up at #24432.