Changes between Initial Version and Version 83 of Ticket #18700


Ignore:
Timestamp:
06/25/17 02:34:26 (4 years ago)
Author:
tscrim
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18700

    • Property Status changed from new to positive_review
    • Property Reviewers changed from to Ben Salisbury
    • Property Authors changed from Travis Scrimshaw to Travis Scrimshaw, Nicolas M. Thiéry
    • Property Cc chapoton added
    • Property Summary changed from Group algebras should have a coercion inherited from coercions of the underlying groups to Have GroupAlgebra(Q, R) and G.algebra(R) return the same standard class for group algebras
    • Property Dependencies changed from to #23000 #23211
    • Property Branch changed from to public/groups/standardize_group_algebras-18700
    • Property Milestone changed from sage-6.8 to sage-8.0
    • Property Commit changed from to 3160e26eb25eb09fc7164f020783da2122b18ffd
  • Ticket #18700 – Description

    initial v83  
    1010False
    1111}}}
    12 The last line should be `True`.
     12The last line should be `True`. This comes from the fact that `GroupAlgebra` implements some extra coercion logic and `G.algebra(R)` does not return an instance of this class.
     13
     14To remedy this, we lift a good portion of the `GroupAlgebra` code to the appropriate categories, where we impose the restriction that a `(Semi)Group.Algebra` must have a basis indexed by elements of the (semi)group, and have all group algebras redirect to the now (lightweight) class `GroupAlgebra_class` in order to implement coercions.