## 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: May 10 2021 at 08:14 UTC