The free algebra with R
[AB=(\alpha x^2yx + \beta zy)(-\beta zy + \gamma y^4) | [BA=(-\beta zy + \gamma y^4)(\alpha x^2yx + \beta zy) | The freealg package in use | Experimental functionality | References