OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumOrderedOutputSpatial.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Spatial input data for the actual six-stage and four-spin compiler, using the exact numeric qubit order and full emitted bond list.

  1. def OAI.ContinuumCoulomb.QuantumOrderedOutputSpatial.logicalCell line 20
  2. def OAI.ContinuumCoulomb.QuantumOrderedOutputSpatial.physicalCell line 25
  3. theorem OAI.ContinuumCoulomb.QuantumOrderedOutputSpatial.logical_density line 30
  4. theorem OAI.ContinuumCoulomb.QuantumOrderedOutputSpatial.output_local line 46
  5. def OAI.ContinuumCoulomb.QuantumOrderedOutputSpatial.input line 64