1:09 PM
@Secret Already done. It's called formal power series.

I am thinking more about the deg being an integer, though I am not sure an invariant degree wrt differentiation make sense. I am aware it holds in formal power series because it has infinite degrees

1:30 PM
@Secret Wait I missed that you want degree.

yeah, the idea is polynomial like entities with nonzero degrees that are invariant under differentiation (not going to think about how integration works yet)

hi guys, quick question let $X$ be a random vector in $\mathbb{R}^m$ and let $f : \mathbb{R}^m \rightarrow \mathbb{R}^n$ how can I derive the distribution function of $Y = f(X)$?
I'm sure this is pretty standard, at least as procedure
but I can't manage to find any reference

I think you will have better luck at the main chat, cause I am not good at probability theory yet

I got confused
sorry