Documentation
LeanPool
.
MatrixMultiplicationAllFields
.
LinearAlgebra
.
MatrixMultiplication
.
Polynomial
.
ComplexExpressionFamily
Search
return to top
source
Imports
Init
LeanPool.MatrixMultiplicationAllFields.LinearAlgebra.MatrixMultiplication.ComplexArithmetic.Programs
LeanPool.MatrixMultiplicationAllFields.LinearAlgebra.MatrixMultiplication.Polynomial.ExpressionFamily
Imported by
Polynomial tensor restrictions and exact coefficient extraction.