[xiaodai]

I have always wanted to make this! Can it accept user-define algebra stuff? like group theory stuff so more rules can be implemented.

[dicroce]

Yes. PR's would be welcome on the core math engine.