OAI/Analysis/MatrixSigning/Realization/PotentialRealization.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.CurrentKS.Realization.PotentialParams line 14
  2. abbrev OAI.CurrentKS.Realization.potentialScalarsCode line 22
  3. abbrev OAI.CurrentKS.Realization.potentialDataCode line 23
  4. def OAI.CurrentKS.Realization.PotentialParams.data line 24
  5. def OAI.CurrentKS.Realization.potentialCode line 27
  6. def OAI.CurrentKS.Realization.potentialView line 28
  7. def OAI.CurrentKS.Realization.ppD line 30
  8. def OAI.CurrentKS.Realization.ppRest line 32
  9. def OAI.CurrentKS.Realization.ppAtoms line 33
  10. def OAI.CurrentKS.Realization.ppArgs line 34
  11. def OAI.CurrentKS.Realization.ppX line 35
  12. def OAI.CurrentKS.Realization.ppScalars line 37
  13. def OAI.CurrentKS.Realization.ppNu line 39
  14. def OAI.CurrentKS.Realization.ppLam line 41
  15. def OAI.CurrentKS.Realization.ppError line 43
  16. def OAI.CurrentKS.Realization.ppN line 45
  17. def OAI.CurrentKS.Realization.ppRootTolerance line 47
  18. def OAI.CurrentKS.Realization.PotentialParams.theta line 51
  19. def OAI.CurrentKS.Realization.ppTheta line 53
  20. def OAI.CurrentKS.Realization.PotentialParams.query line 59
  21. def OAI.CurrentKS.Realization.ppQuery line 61
  22. def OAI.CurrentKS.Realization.potentialQuery line 65