Finished implementing discover_equation function.
Fixed the annoying bug. Works over both QQ and number fields, now.