Christoph Ruegg

Regarding (1): in general, auto-simplification should not expand expressions. However, in this case it might be a bug that the inner expression is not auto-simplified to zero already (need to...

Yes, we'd only distribute -1, otherwise the product is not just a technical artifact of our internal representation (`-x` is `(-1)*x` internally). d) would no longer auto-simplify to `a+b`, but...

The rendering of `x_10` style symbols as subscript in LaTeX is actually a feature that was requested some time ago (and which I quite like). This is also why it...

Indeed, the problem in this particular case is that we don't even support series yet, nor the concept of locally-scoped symbols (the `n` in this case, which could be unrelated...

Technically we could easily support them in the new visual expressions only, but supporting them in the (semantic) expressions will need some thoughts on design.

Maybe this should be customizable, along the lines of `test_f1.ToString(format, culture)` where format would default e.g. to `"g"` but could be provided by the user as e.g. `"0.00"`. On the...

So in this example, instead of `var x = ` you could write `Expr x = `. When using the SymbolicExpression wrapper, then all expressions will always have that type.

I've added the test adapter. The tests now do show up in the test explorer on my machine. Does that work for you? I've noticed that the test project now...

Even after rebuilding the test project?

In theory this should not affect us, since we already use Cecil 0.10-beta7. I also cannot repro yet on my side (works for me after restarting VS and rebuilding the...