OAI/LinearAlgebra/MatrixFields/Parameters/ParametersContractions.lean

GitHub source file

62 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.Ref line 19
  2. abbrev OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.Law line 20
  3. structure OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.BuildState line 22
  4. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.BuildState.program line 27
  5. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.opKey line 29
  6. abbrev OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.Build line 37
  7. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.emit line 39
  8. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.lit line 51
  9. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.add line 53
  10. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.neg line 56
  11. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.sub line 58
  12. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.mul line 60
  13. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.inv line 64
  14. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.divide line 66
  15. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.log line 68
  16. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.powerAux line 71
  17. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.power line 79
  18. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.sumRefs line 81
  19. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.getLaw line 83
  20. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.addMass line 86
  21. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.normalize line 93
  22. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.entropy line 97
  23. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildWeight line 103
  24. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.insertInteger line 109
  25. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.sortIntegers line 113
  26. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.weightArguments line 117
  27. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildWeights line 120
  28. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.initialMultiplicity line 123
  29. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildInitial line 126
  30. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildSplit line 135
  31. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.getSplit line 144
  32. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildBinary line 147
  33. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildZeroPairs line 151
  34. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.getPairs line 158
  35. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.littleLaw line 161
  36. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.pair line 171
  37. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.maxAxis line 183
  38. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildHalfLaws line 186
  39. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.getHalf line 202
  40. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.orders line 206
  41. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.priority line 209
  42. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.capacity line 214
  43. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.sortShape line 247
  44. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.secondTypes line 252
  45. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildMasses line 255
  46. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildLittleMasses line 262
  47. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.addRow line 271
  48. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.rowTotals line 279
  49. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.binaryEntropy line 282
  50. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.coefficientStep line 285
  51. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.coefficients line 290
  52. structure OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.Roots line 292
  53. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.buildAll line 325
  54. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.built line 431
  55. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.program line 433
  56. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.roots line 435
  57. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.exponent line 437
  58. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.scalar line 439
  59. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.Y line 441
  60. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.S line 443
  61. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.R line 445
  62. def OAI.MatrixAllFields.MatrixMultiplication.AllFieldParameters.Contractions.ratio line 447