Zulip Chat Archive

Stream: maths

Topic: Moebius inversion


view this post on Zulip 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.

view this post on Zulip Aaron Anderson (Nov 25 2020 at 02:45):

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

view this post on Zulip Aaron Anderson (Nov 25 2020 at 02:47):

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

view this post on Zulip Aaron Anderson (Nov 25 2020 at 02:47):

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

view this post on Zulip Aaron Anderson (Nov 25 2020 at 02:47):

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

view this post on Zulip Aaron Anderson (Nov 25 2020 at 18:22):

#5115


Last updated: May 10 2021 at 08:14 UTC