Add built-in function Distribute

[rocky]

Description

Implement Built-in function Distribute[]

Workarounds

Write code in Mathematica? For example:

Distribute[expr_, targetHead_: Plus] := 
  expr /. f_[args___] /; MemberQ[{args}, _targetHead] :> 
    With[{pos = FirstPosition[{args}, _targetHead][[1]]},
      targetHead @@ Map[
        f @@ ReplacePart[{args}, pos -> #] &, 
        Extract[{args}, pos]
      ]
    ]

Distribute[f_[g_Symbol[args___]], g_Symbol] := g @@ (f /@ {args})

Priority

Low

Additional context

This is used in the Combinatorica V2.01 package.

[ad-si]

FYI: This already works in Woxi:
https://woxi.ad-si.com/playground/index.html?code=CISwzgLgTiBGCuECmBtAFAQwAQGouwEosA6LNAD1ywE8qAvAgXQChRIYFkUAzFbPWABosAYyoATKkkYs20OIlS8A5n2GxGw1SOHjh0zVmWMgA

[rocky]

FYI: This already works in Woxi: https://woxi.ad-si.com/playground/index.html?code=CISwzgLgTiBGCuECmBtAFAQwAQGouwEosA6LNAD1ywE8qAvAgXQChRIYFkUAzFbPWABosAYyoATKkkYs20OIlS8A5n2GxGw1SOHjh0zVmWMgA

If you could work up a PR based on the Woxi code, I'd be grateful. (Thanks in advance).

Right now, focusing on the next 10.x release is consuming most of our time.

[ad-si]

If you could work up a PR based on the Woxi code, I'd be grateful. (Thanks in advance).

Python is not my strong suit, so I don't think I'd be of much help here 😅, but hopefully the Woxi code will make it easier for someone else to pick it up.

Right now, focusing on the next 10.x release is consuming most of our time.

Nice! 🙌 Is there a list of all new features somewhere already?

[rocky]

If you could work up a PR based on the Woxi code, I'd be grateful. (Thanks in advance).

Python is not my strong suit, so I don't think I'd be of much help here 😅, but hopefully the Woxi code will make it easier for someone else to pick it up.

Ok, then, can you give:

1. A link to the commit that added this
2. A description in English at a high level of what was done?

Right now, focusing on the next 10.x release is consuming most of our time.

Nice! 🙌 Is there a list of all new features somewhere already?

See the 10.0 section or the top part of https://github.com/Mathics3/mathics-core/blob/master/CHANGES.rst