changeVectorOfBasis

Obtain another digital net Q from a digital net P where dim P = 1 + dim(P cap Q) = dim Q.