vector basis forming and verification