Zulip Chat Archive

Stream: maths

Topic: Moebius inversion

Aaron Anderson (Nov 25 2020 at 02:45):

I currently have a PR #5047 that proves Moebius inversion for functions with value in a comm_ring.

Aaron Anderson (Nov 25 2020 at 02:45):

Now on branch#moebius_inversion_2, I have a version for add_comm_groups.

Aaron Anderson (Nov 25 2020 at 02:47):

However, it goes through the process of defining a whole new module structure on arithmetic_functions.

Aaron Anderson (Nov 25 2020 at 02:47):

There's a lot of code copied from the multiplicative structure.

Aaron Anderson (Nov 25 2020 at 02:47):

I'd appreciate any advice/golfing to minimize the duplication of code.

Aaron Anderson (Nov 25 2020 at 18:22):

#5115

Last updated: Dec 20 2023 at 11:08 UTC