Negation

View on GitHub Experiment in the IDE

The negation operation receives a quantum register representing some number \(x\) and returns a quantum register containing \(-x\). Integer and fixed point numbers are both supported.

Example

The following example will show negation of a signed quantum variable.

from classiq import *


@qfunc
def main(a: Output[QNum], b: Output[QNum]) -> None:
    allocate_num(3, True, 0, a)
    hadamard_transform(a)
    b |= -a


qmod = create_model(main, out_file="negation_example")

qprog = synthesize(qmod)

result = execute(qprog).result_value()
result.parsed_counts

[{'a': 0.0, 'b': 0.0}: 143,
 {'a': -2.0, 'b': 2.0}: 136,
 {'a': -1.0, 'b': 1.0}: 130,
 {'a': 1.0, 'b': -1.0}: 122,
 {'a': 2.0, 'b': -2.0}: 121,
 {'a': 3.0, 'b': -3.0}: 120,
 {'a': -4.0, 'b': 4.0}: 114,
 {'a': -3.0, 'b': 3.0}: 114]