Added (^/^): vector divided by vector, if a unique basis exists