Algorithms for Q-Basic