Expression of type ExprTuple

from the theory of proveit.physics.quantum.circuits

import proveit
# Automation is not needed when building an expression:
proveit.defaults.automation = False # This will speed things up.
proveit.defaults.inline_pngs = False # Makes files smaller.
%load_expr # Load the stored expression as 'stored_expr'
# import Expression classes needed to build the expression
from proveit import ExprTuple
from proveit.physics.quantum.circuits import phase_kickback_on_register_circuit

# build up the expression from sub-expressions
expr = ExprTuple(phase_kickback_on_register_circuit)

expr:

# check that the built expression is the same as the stored expression
assert expr == stored_expr
assert expr._style_id == stored_expr._style_id
print("Passed sanity check: expr matches stored_expr")

Passed sanity check: expr matches stored_expr

# Show the LaTeX representation of the expression for convenience if you need it.
print(stored_expr.latex())

\left(\begin{array}{c} \Qcircuit@C=1em @R=.7em{
\qin{\lvert + \rangle} & \control{} \qw \qwx[1] & \qw & \gate{\cdots} \qwx[1] & \qw & \qout{\frac{1}{\sqrt{2}} \cdot \left(\lvert 0 \rangle + \left(\mathsf{e}^{2 \cdot \pi \cdot \mathsf{i} \cdot \varphi_{1}} \cdot \lvert 1 \rangle\right)\right)} \\
\qin{\lvert + \rangle} & \qw \qwx[1] & \control{} \qw \qwx[1] & \gate{\cdots} \qwx[1] & \qw & \qout{\frac{1}{\sqrt{2}} \cdot \left(\lvert 0 \rangle + \left(\mathsf{e}^{2 \cdot \pi \cdot \mathsf{i} \cdot \varphi_{2}} \cdot \lvert 1 \rangle\right)\right)} \\
\qin{\begin{array}{c}:\\ \left(t - 3\right) \times \\:\end{array}} & \gate{\vdots} \qwx[1] & \gate{\vdots} \qwx[1] & \gate{\ddots} \qwx[1] & \gate{\vdots} & \qout{\vdots} \\
\qin{\lvert + \rangle} & \qw \qwx[1] & \qw \qwx[1] & \gate{\cdots} \qwx[1] & \control{} \qw \qwx[1] & \qout{\frac{1}{\sqrt{2}} \cdot \left(\lvert 0 \rangle + \left(\mathsf{e}^{2 \cdot \pi \cdot \mathsf{i} \cdot \varphi_{t}} \cdot \lvert 1 \rangle\right)\right)} \\
\qin{\lvert u \rangle} & \gate{U_{1}} & \gate{U_{2}} & \gate{\cdots} & \gate{U_{t}} & \qout{\lvert u \rangle}
} \end{array}\right)

stored_expr.style_options()

no style options

# display the expression information
stored_expr.expr_info()

	core type	sub-expressions	expression
0	ExprTuple	1
1	Operation	operator: 2 operands: 3
2	Literal
3	ExprTuple	4, 5, 6
4	ExprTuple	7, 8
5	ExprRange	lambda_map: 9 start_index: 103 end_index: 102
6	ExprTuple	10, 11
7	ExprRange	lambda_map: 12 start_index: 103 end_index: 102
8	ExprRange	lambda_map: 13 start_index: 103 end_index: 86
9	Lambda	parameter: 85 body: 14
10	ExprRange	lambda_map: 15 start_index: 103 end_index: 102
11	ExprRange	lambda_map: 16 start_index: 103 end_index: 86
12	Lambda	parameter: 112 body: 17
13	Lambda	parameter: 112 body: 18
14	ExprTuple	19, 20
15	Lambda	parameter: 112 body: 21
16	Lambda	parameter: 112 body: 22
17	Operation	operator: 36 operands: 23
18	Operation	operator: 61 operands: 24
19	ExprRange	lambda_map: 25 start_index: 103 end_index: 102
20	ExprRange	lambda_map: 26 start_index: 103 end_index: 86
21	Operation	operator: 41 operands: 27
22	Operation	operator: 61 operands: 28
23	NamedExprs	state: 29
24	NamedExprs	element: 30 targets: 47
25	Lambda	parameter: 112 body: 31
26	Lambda	parameter: 112 body: 32
27	NamedExprs	state: 33
28	NamedExprs	element: 34 targets: 47
29	Operation	operator: 96 operand: 43
30	Operation	operator: 36 operands: 42
31	Operation	operator: 37 operands: 38
32	Operation	operator: 61 operands: 39
33	Operation	operator: 81 operands: 40
34	Operation	operator: 41 operands: 42
35	ExprTuple	43
36	Literal
37	Literal
38	ExprTuple	44, 45
39	NamedExprs	element: 46 targets: 47
40	ExprTuple	48, 49
41	Literal
42	NamedExprs	state: 50 part: 112
43	Literal
44	Conditional	value: 51 condition: 52
45	Conditional	value: 53 condition: 54
46	Operation	operator: 64 operands: 55
47	Operation	operator: 56 operands: 57
48	Operation	operator: 92 operands: 58
49	Operation	operator: 59 operands: 60
50	Variable
51	Operation	operator: 61 operands: 62
52	Operation	operator: 63 operands: 67
53	Operation	operator: 64 operands: 65
54	Operation	operator: 66 operands: 67
55	NamedExprs	operation: 68 part: 112
56	Literal
57	ExprTuple	91, 69
58	ExprTuple	103, 70
59	Literal
60	ExprTuple	71, 72
61	Literal
62	NamedExprs	element: 73 targets: 74
63	Literal
64	Literal
65	NamedExprs	operation: 75
66	Literal
67	ExprTuple	85, 112
68	IndexedVar	variable: 76 index: 85
69	Operation	operator: 98 operands: 78
70	Operation	operator: 94 operands: 79
71	Operation	operator: 96 operand: 88
72	Operation	operator: 81 operands: 82
73	Literal
74	Operation	operator: 83 operand: 91
75	Literal
76	Variable
77	ExprTuple	85
78	ExprTuple	102, 86
79	ExprTuple	106, 87
80	ExprTuple	88
81	Literal
82	ExprTuple	89, 90
83	Literal
84	ExprTuple	91
85	Variable
86	Variable
87	Operation	operator: 92 operands: 93
88	Literal
89	Operation	operator: 94 operands: 95
90	Operation	operator: 96 operand: 103
91	Operation	operator: 98 operands: 99
92	Literal
93	ExprTuple	103, 106
94	Literal
95	ExprTuple	100, 101
96	Literal
97	ExprTuple	103
98	Literal
99	ExprTuple	102, 103
100	Literal
101	Operation	operator: 104 operands: 105
102	Variable
103	Literal
104	Literal
105	ExprTuple	106, 107, 108, 109
106	Literal
107	Literal
108	Literal
109	IndexedVar	variable: 110 index: 112
110	Variable
111	ExprTuple	112
112	Variable