Zulip Chat Archive
Stream: triage
Topic: PR #10255: feat(linear_algebra/tensor_power): the tensor ...
Random Issue Bot (Nov 27 2021 at 14:18):
Today I chose PR 10255 for discussion!
feat(linear_algebra/tensor_power): the tensor powers form a graded algebra
Created by @Eric Wieser (@eric-wieser) on 2021-11-10
Labels: WIP, not-ready-to-merge, merge-conflict
Is this PR still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 05 2021 at 14:18):
Today I chose PR 10255 for discussion!
feat(linear_algebra/tensor_power): the tensor powers form a graded algebra
Created by @Eric Wieser (@eric-wieser) on 2021-11-10
Labels: WIP, not-ready-to-merge, merge-conflict
Is this PR still relevant? Any recent updates? Anyone making progress?
Eric Wieser (Dec 05 2021 at 14:21):
This depends on #10346 which I think is in turn waiting on @Johan Commelin's #10450.
Johan Commelin (Dec 05 2021 at 16:25):
If something is waiting on that PR, please adopt it. I'm too busy atm. Sorry
Eric Wieser (Dec 05 2021 at 17:08):
That's ok, I'm not really waiting on the PR this thread is about right now
Random Issue Bot (Jan 28 2023 at 14:09):
Today I chose PR 10255 for discussion!
feat(linear_algebra/tensor_power): the tensor powers form a graded algebra
Created by @Eric Wieser (@eric-wieser) on 2021-11-10
Labels: awaiting-review
Is this PR still relevant? Any recent updates? Anyone making progress?
Eric Wieser (Jan 29 2023 at 14:46):
This is now unblocked
Last updated: Dec 20 2023 at 11:08 UTC