name modified Jacobian coordinates
variable X
variable Y
variable Z
variable T
neutral X = 1
neutral Y = 1
neutral Z = 0
neutral T = 0
satisfying ZZ = Z^2
satisfying ZZZ = ZZ*Z
satisfying x = X/ZZ
satisfying y = Y/ZZZ
satisfying T = a*Z^4
toaffine x = X/ZZ
toaffine y = Y/ZZ
tosystem X = x
tosystem Y = y
tosystem Z = 1
tosystem T = a
homogweight X = 2
homogweight Y = 3
homogweight Z = 1
homogweight T = 4
