Post #2346198

@dpiponi@mathstodon.xyz This also fits in well with nebulous ideas I've had about the fundamental purpose of mathematical notation in general. Often we solve problems by writing an expression and then transforming it into a different expression. To take the first example that comes to mind, consider \[ \sum_{i=1}^n = \frac{n^2+n}2 \] And this is interesting because, as you put it, it has precomputed as much as possible when n is still unknown.