name modified Jacobian coordinates
variable X
variable Y
variable Z
variable T
satisfying ZZ = Z^2
satisfying ZZZ = ZZ*Z
satisfying x = X/ZZ
satisfying y = Y/ZZZ
satisfying T = a*Z^4