OAI/Computability/QuantumFactoring/NativeAIGDivProcedure.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ExactQuantumFactoring.NativeAIG.Emission.stateBudgetP line 13
2. def OAI.ExactQuantumFactoring.NativeAIG.Emission.stateGraphP line 15
3. def OAI.ExactQuantumFactoring.NativeAIG.Emission.stateOutputP line 17
4. def OAI.ExactQuantumFactoring.NativeAIG.Emission.stateNotCinP line 19
5. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divBaseP line 21
6. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divQuotientP line 23
7. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divBudgetP line 25
8. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divGraphP line 27
9. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divLhsP line 28
10. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divRhsP line 29
11. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divRemP line 30
12. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divCurrP line 31
13. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divCinP line 32
14. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divPredP line 33
15. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divShiftRemP line 35
16. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divSubInputP line 38
17. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divSubStateP line 42
18. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divUltInputP line 43
19. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divUltStateP line 49
20. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divQInputP line 50
21. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divQStateP line 59
22. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divRInputP line 60
23. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divRStateP line 68
24. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divNextP line 69
25. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divStepStateP line 74
26. def OAI.ExactQuantumFactoring.NativeAIG.Emission.divIterationP line 83