added homotopy membership test for positive dimensional solution sets
in double double and quad double precision