Uncomputably large integral points on algebraic plane curves? An exact, complete and efficient implementation for computing planar maps of quadric intersection curves: exploiting a little more geometry and a little less algebra 