Tracking work on arithmetic, factoring and elliptic curves bloqs, simulation and costs #1337
Description
This is a personal issue to track factoring and elliptic curves work
- Create a Subtract bloq #924
- free ancillas in comparison gates #1020
- Optimize gate count of Subtract to n-1 Toffolis #1057
- Implement classical action of Cast bloq #1093
- create resize bloq #1163
- Update classical action of addition gates and fix classical action bug in Join #1174
- Implement bit conversion for QMontgomeryUInt, fix dtype, symbolic decomposition and classical action of modular gates, and add classical action tests #1264
- And.controlled and MultiAnd.controlled should return MultiAnd #1273
- Improve support for CAdd #1277
- Create controlled greater than bloq #1283
- Create CModAdd #1295
- Create ModNeg and CModNeg #1300
- Fix and improve CAdd tests #1329
- Create ModSub and CModSub #1332
- Remove
factoring/mod_subto reduce code duplication #1338 - Add a test util for classical action and refactor
factoring/mod_mul#1339 - Create linear half comparison bloqs #1408
- create DirtyOutOfPlaceMontgomeryModMul #1395
- Create KaliskiModInverse #1464
- Override KaliskiModInverse.adjoint #1483
- Modify KaliskiModInverse to support zero #1486
- Fix bug in KaliskiStep3 and add tests for all steps #1496