Open dpsanders opened 4 years ago
https://link.springer.com/article/10.1023/A:1008236911603
As stated in Ratschek 1993, the last equation should be x1 * x3 - x2 * x4 == 0, not x1 - x3 - x2*x4 == 0.
x1 * x3 - x2 * x4 == 0
x1 - x3 - x2*x4 == 0
https://link.springer.com/article/10.1023/A:1008236911603