-
Notifications
You must be signed in to change notification settings - Fork 71
Make And
a leaf bloq
#1513
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Make And
a leaf bloq
#1513
Conversation
@mpharrigan @fdmalone ptal! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
excellent. very nice
@@ -280,10 +279,10 @@ def build_call_graph(self, ssa: 'SympySymbolAllocator') -> 'BloqCountDictT': | |||
in_prep_dag: 1, # in_prep_l^dag | |||
rot: 1, # rotate into system basis listing 4 pg 54 | |||
# apply CCZ first then CCCZ, the cost is 1 + 2 Toffolis (step 4e, and 7) | |||
Toffoli(): 1, | |||
ApplyControlledZs(cvs=(1, 1), bitsize=5): 1, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
was this incorrect before? I see the change makes it match the comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The previous test was only checking the sigma
for the call graph. I updated it to check for equivalent bloq counts, which flagged this inconsistency.
* make `And` a leaf bloq * cleanup `And` * fix `DoubleFactorizationOneBody` call graph * fix `t_counts_from_sigma` (deprecated but used in flame graph)
fixes #1346
also removes the only use of big O in call graph #1368
FLAG_AND_IS_LEAF=True
and fixes all testsAnd
bloq codet_counts_from_sigma
to explicitly countAnd
s