Closed mlesnick closed 7 years ago
Originally reported by: M L (GitHub: mlesnick)
xi_0 and x_1 both non-trivial, the pop-ups only give xi_1. They should give both.
Original comment by Matthew Wright (GitHub: mlwright84):
fixed in commit 1d11d26
Originally reported by: M L (GitHub: mlesnick)
xi_0 and x_1 both non-trivial, the pop-ups only give xi_1. They should give both.