incremental poly time method for circuits of vector matroids