Quantum computer programming language based on density matrices