Comment by 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.