X+Y=Y+X.
X+(Y+Z)=(X+Y)+Z.
X+0=X.
X+(-X)=0.

X*Y=Y*X.
X*(Y*Z)=(X*Y)*Z.
X*1=X.
X*i(X)=1, X=0.

X*(Y+Z)=X*Y+X*Z.
1=0 -> [].


:-ordering(poly([

	(X+Y)      	- (X+Y+1), 
	(-A)       	- 6*X+4,
	(A*B)   	- 2*A*B, 
	i(A)       	- A^2,
	0 		- 2,
	1 		- 4
]),

    		
	poly).