ParametricLine() object in the parserParametricLine.pl file that compares parametric lines and will accept any version of the same line (different starting points, different but parallel vectors). Perhaps that could be used here. I'm not sure what your D value is (it doesn't seem to be in the problem itself), so you might need to add that into the context as a vector-valued constant.