Skip to main content

View on GitHub

Open this notebook in GitHub to run it yourself
The minimum and maximum operators determine the smallest and largest input, respectively. Both functions receive two inputs. Each may be a fixed point number or a quantum register.

​
Examples

​

​
Example 1: Two Quantum Variables Minimum

This code example generates a quantum program that returns a minimum of two arguments. Both the left and right arguments are defined as quantum variables of size three. 
from classiq import *
from classiq.qmod.symbolic import min


@qfunc
def main(a: Output[QNum], b: Output[QNum], res: Output[QNum]) -> None:
    a |= 4
    allocate(3, b)
    hadamard_transform(b)

    res |= min(a, b)


qmod = create_model(main)


qprog = synthesize(qmod)

result = execute(qprog).result_value()
result.parsed_counts
Output:
[{'a': 4.0, 'b': 1.0, 'res': 1.0}: 136,
   {'a': 4.0, 'b': 7.0, 'res': 4.0}: 129,
   {'a': 4.0, 'b': 6.0, 'res': 4.0}: 126,
   {'a': 4.0, 'b': 4.0, 'res': 4.0}: 125,
   {'a': 4.0, 'b': 2.0, 'res': 2.0}: 122,
   {'a': 4.0, 'b': 3.0, 'res': 3.0}: 122,
   {'a': 4.0, 'b': 5.0, 'res': 4.0}: 122,
   {'a': 4.0, 'b': 0.0, 'res': 0.0}: 118]

​

​
Example 2: Float and Quantum Variable Maximum

This code example returns a quantum program with a maximum of two arguments. Here, the left arg is a fixed-point number (11.1)2(11.1)_2 (3.5), and the right arg is a quantum variable of size three. 
from classiq.qmod.symbolic import max


@qfunc
def main(a: Output[QNum], res: Output[QNum]) -> None:
    allocate(3, a)
    hadamard_transform(a)

    res |= max(3.5, a)


qmod = create_model(main)


qprog = synthesize(qmod)

result = execute(qprog).result_value()
result.parsed_counts
Output:
[{'a': 5.0, 'res': 5.0}: 135,
   {'a': 0.0, 'res': 3.5}: 131,
   {'a': 3.0, 'res': 3.5}: 130,
   {'a': 6.0, 'res': 6.0}: 129,
   {'a': 2.0, 'res': 3.5}: 127,
   {'a': 7.0, 'res': 7.0}: 122,
   {'a': 1.0, 'res': 3.5}: 115,
   {'a': 4.0, 'res': 4.0}: 111]