A vector space can now check whether it "owns" a given vector.
Null object bug fixed in constructor.
Merge branch 'devel' of ssh://github.com/emmt/TiPi into devel