PR #8054: chore(linear_algebra): make linear_map extend d...

Stream: triage

[Random Issue Bot]

Today I chose PR 8054 for discussion!

chore(linear_algebra): make linear_map extend distrib_mul_action_hom
Created by @Eric Wieser (@eric-wieser) on 2021-06-23
Labels: merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

@Anne Baanen, how does that intersect with the linear map class refactor?

[Anne Baanen]

linear_map_class is a subclass of (but does not extend, because of semilinearity) distrib_mul_action_hom, so that makes sense. On the other hand, I don't think this PR is compatible with semilinear maps, so we should probably close it.