Products of iterated derivatives

Stream: Is there code for X?

[Moritz Doll]

I know that we do not have the product rule for the iterated derivative, but do we have the abstract nonsense to write the RHS of that, i.e., the product of two continuous multilinear maps? docs#continuous_multilinear_map.prod is obviously not what I want

[Anatole Dedecker]

I don’t have a ton of time to investigate, but let me just say that I would express this "product rule" for any continuous bilinear map, and then the right thing to do is to make a iterated version of docs#continuous_linear_map.precompL and docs#continuous_linear_map.precompR that Floris introduced for computing the derivative of a convolution