OAI/Computability/QuantumFactoring/RetainedFilterPolynomial.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.NetworkAt.ite line 16
  2. lemma OAI.ExactQuantumFactoring.Completion.Expressions.target_poly line 26
  3. lemma OAI.ExactQuantumFactoring.Completion.rareWires_at line 31
  4. lemma OAI.ExactQuantumFactoring.Completion.ordinaryWires_at line 33
  5. lemma OAI.ExactQuantumFactoring.Completion.guessWires_at line 35
  6. lemma OAI.ExactQuantumFactoring.Completion.retentionWires_at line 37
  7. lemma OAI.ExactQuantumFactoring.NodeMachine.listFilterVars_at line 44
  8. lemma OAI.ExactQuantumFactoring.NodeMachine.orderFilterVars_at line 59
  9. lemma OAI.ExactQuantumFactoring.NodeMachine.retainedListFilter_at line 75
  10. lemma OAI.ExactQuantumFactoring.NodeMachine.listDummyFilter_at line 100
  11. lemma OAI.ExactQuantumFactoring.NodeMachine.orderActualFilter_at line 121
  12. lemma OAI.ExactQuantumFactoring.NodeMachine.orderDummyFilter_at line 145
  13. lemma OAI.ExactQuantumFactoring.NodeMachine.retainedOrderFilter_at line 166