Equivalence in projective geometry calculator