OAI/LinearAlgebra/MatrixMultiplication/Polynomial/ComplexExpressionFamily.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Polynomial tensor restrictions and exact coefficient extraction.

  1. structure OAI.MatrixMultiplication.Foundation.Arithmetic.Expression.CompiledFamily line 17
  2. def OAI.MatrixMultiplication.Foundation.Arithmetic.Expression.compileFinFamily line 24
  3. def OAI.MatrixMultiplication.Foundation.Arithmetic.Expression.compileFamily line 51