OAI/Analysis/MatrixSigning/Complexity/PolynomialFaceBasics.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.CurrentKS.Realization.poly_activeIndices line 14
2. instance OAI.CurrentKS.Realization.poly_extendEntry line 15
3. instance OAI.CurrentKS.Realization.poly_extendVector line 16
4. instance OAI.CurrentKS.Realization.poly_faceView line 17
5. instance OAI.CurrentKS.Realization.poly_fD line 18
6. instance OAI.CurrentKS.Realization.poly_fRest line 19
7. instance OAI.CurrentKS.Realization.poly_fAtoms line 20
8. instance OAI.CurrentKS.Realization.poly_fArgs line 21
9. instance OAI.CurrentKS.Realization.poly_fBase line 22
10. instance OAI.CurrentKS.Realization.poly_fScalars line 23
11. instance OAI.CurrentKS.Realization.poly_fNu line 24
12. instance OAI.CurrentKS.Realization.poly_fLam line 25
13. instance OAI.CurrentKS.Realization.poly_fIndices line 26
14. instance OAI.CurrentKS.Realization.poly_fN line 27
15. instance OAI.CurrentKS.Realization.poly_fSchedule line 28
16. instance OAI.CurrentKS.Realization.poly_gather line 29
17. instance OAI.CurrentKS.Realization.poly_fState line 30
18. instance OAI.CurrentKS.Realization.poly_facePointView line 31
19. instance OAI.CurrentKS.Realization.poly_fpP line 32
20. instance OAI.CurrentKS.Realization.poly_fpY line 33
21. instance OAI.CurrentKS.Realization.poly_fpExtend line 34
22. instance OAI.CurrentKS.Realization.poly_fpPotential line 35