OAI/Analysis/MatrixSigning/Complexity/PolynomialSchedule.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.CurrentKS.Realization.poly_saD line 10
2. instance OAI.CurrentKS.Realization.poly_saRest line 11
3. instance OAI.CurrentKS.Realization.poly_saN line 12
4. instance OAI.CurrentKS.Realization.poly_saScalars line 13
5. instance OAI.CurrentKS.Realization.poly_saNu line 14
6. instance OAI.CurrentKS.Realization.poly_saLam line 15
7. instance OAI.CurrentKS.Realization.poly_saEpsilon line 16
8. instance OAI.CurrentKS.Realization.poly_saSigma line 17
9. instance OAI.CurrentKS.Realization.poly_movementBudget line 18
10. instance OAI.CurrentKS.Realization.poly_saThreshold line 19
11. instance OAI.CurrentKS.Realization.poly_saCoarse line 20
12. instance OAI.CurrentKS.Realization.poly_saCurve2 line 21
13. instance OAI.CurrentKS.Realization.poly_saCurve3 line 22
14. instance OAI.CurrentKS.Realization.poly_saBudget line 23
15. instance OAI.CurrentKS.Realization.poly_saStep line 24
16. instance OAI.CurrentKS.Realization.poly_saStencil line 25
17. instance OAI.CurrentKS.Realization.poly_saMesh line 26
18. instance OAI.CurrentKS.Realization.poly_parameters_singleton line 27
19. instance OAI.CurrentKS.Realization.poly_parameters line 28
20. instance OAI.CurrentKS.Realization.poly_parameterField line 29