Zulip Chat Archive

Stream: triage

Topic: issue #5059: Geometric Algebra

Random Issue Bot (Mar 07 2021 at 14:20):

Today I chose issue 5059 for discussion!

Geometric Algebra
Created by @Serhat Şevki Dinçer (@jfcg) on 2020-11-21
Labels:

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

Eric Wieser (Mar 07 2021 at 15:13):

Anyone making progress?

We now have docs#clifford_algebra.induction, docs#clifford_algebra.reverse, and docs#clifford_algebra.involute

Random Issue Bot (Oct 18 2021 at 14:19):

Today I chose issue 5059 for discussion!

Geometric Algebra
Created by @Serhat Şevki Dinçer (@jfcg) on 2020-11-21
Labels:

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

Random Issue Bot (Nov 07 2021 at 14:18):

Today I chose issue 5059 for discussion!

Geometric Algebra
Created by @Serhat Şevki Dinçer (@jfcg) on 2020-11-21
Labels:

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

Random Issue Bot (Dec 04 2021 at 14:19):

Today I chose issue 5059 for discussion!

Geometric Algebra
Created by @Serhat Şevki Dinçer (@jfcg) on 2020-11-21
Labels:

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

Tariq Erwa (Apr 27 2022 at 08:43):

Update https://link.springer.com/article/10.1007/s00006-021-01164-1

Eric Wieser (Apr 27 2022 at 08:51):

Note that at this point mathlib has some of things described as future work there; a lot happened in the 10 months between them accepting it for publication and actually publishing it (with absurdly awful typesetting)

Eric Wieser (Apr 27 2022 at 08:54):

Me: Here's my nicely typeset paper
Springer: We have typesetting in-house
The typesetting in-house:
my lambda is too big
words for ants

Johan Commelin (Apr 27 2022 at 09:02):

I bet they tried to charge you $xK for their services?

Mauricio Collares (Apr 27 2022 at 09:02):

The by keyword is hilarious and sort of reminds me of https://mobile.twitter.com/tikhonjelvis/status/1512171257248186369

Eric Wieser (Apr 27 2022 at 09:03):

Johan Commelin said:

I bet they tried to charge you $xK for their services?

If so it's all behind the scenes, the university has an open access agreement with them.

Random Issue Bot (Aug 20 2023 at 14:07):

Today I chose issue 5059 for discussion!

Geometric Algebra
Created by @Serhat Şevki Dinçer (@jfcg) on 2020-11-21
Labels:

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

Eric Wieser (Aug 20 2023 at 17:55):

Since the bot pinged this, there is a small update

Eric Rodriguez (Aug 21 2023 at 14:12):

Many congrats!

Last updated: Dec 20 2023 at 11:08 UTC