name XYZZ coordinates with a4=-3
assume a = -3
variable X
variable Y
variable ZZ
variable ZZZ
neutral X = 1
neutral Y = 1
neutral ZZ = 0
neutral ZZZ = 0
satisfying x = X/ZZ
satisfying y = Y/ZZZ
satisfying ZZ^3 = ZZZ^2
