OAI/Computability/QuantumFactoring/CircuitEmissionBasic.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.opPackP line 17
  2. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.dataPackP line 19
  3. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.gatePackP line 21
  4. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.gateReverseP line 23
  5. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.opReverseP line 25
  6. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.opsReverseP line 27
  7. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.opMapWith line 30
  8. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.opsMapWith line 36
  9. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.opsAppendP line 40
  10. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.notOpP line 42
  11. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.cnotOpP line 45
  12. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.toffoliOpP line 51
  13. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.opSingletonP line 61
  14. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.nodeOpsP line 63
  15. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.netOpsP line 84
  16. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.copyOpsP line 93
  17. def OAI.ExactQuantumFactoring.CircuitEmission.Emission.oracleOpsP line 101