AngouriMath
Quantum
Description
Summary
Symbolic quantum states: superpositions of basis kets with Entity amplitudes.
Remarks
A state is an ordinary expression rather than a new kind of node. Ket builds
apply(ket, 0, 1) for |01>, so a superposition is a sum of products and
everything that reads expressions reads it -- which is why adding two states,
scaling one, and collectinga|x> + b|x> into (a+b)|x> need no
method here.Simplify already does them.
What is here is what the ordinary machinery has no reason to know: factoring a
definite qubit out of a superposition, and the two questions that are about states
as states rather than as expressions.
There are deliberately no gates. A gate acts *on* a state rather than being one,
and operators, circuits and measurement belong to a quantum computing library
rather than to a computer algebra system.
everything that reads expressions reads it -- which is why adding two states,
scaling one, and collecting
method here.
definite qubit out of a superposition, and the two questions that are about states
as states rather than as expressions.
and operators, circuits and measurement belong to a quantum computing library
rather than to a computer algebra system.
Members
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online