_t_complexity_ annotation says 16 cliffords but decomposition is cleary using 5 cliffords + 1 And = 14 cliffords. The decomposition is not consistent with t-complexity.
I'm working on a PR to remove _t_complexity_ from comparison gates and found this (cc @NoureldinYosri @dstrain115 )
_t_complexity_
annotation says 16 cliffords but decomposition is cleary using 5 cliffords + 1 And = 14 cliffords. The decomposition is not consistent with t-complexity.I'm working on a PR to remove
_t_complexity_
from comparison gates and found this (cc @NoureldinYosri @dstrain115 )See decomposition here https://github.com/quantumlib/Qualtran/blob/8ea026792f0d86cf45f0309f7c6f37253dcc42c2/qualtran/bloqs/arithmetic/comparison.py#L330-L369