Linnea

Input a linear algebra expression to generate Julia code that computes it. The following operations are allowed: Multiplication (*), addition (+), subtraction (-), transposition (trans(X)), and inversion (inv(X)).

Load successful

Operands	Properties

Linnea minimizes the number of floating-point operations. The generated algorithms are a selection of the best ones that are found within 10 seconds. Additional features of Linnea, such as a longer generation time or the option to generate a larger number of algorithms can be accessed by installing Linnea.

Algorithm Generation Steps

                    # The generated algorithm will appear here.

The generated code is provided "as is", without warranty of any kind. In order to improve Linnea, all submitted input expressions are stored. If you have questions, comments, or encounter bugs, please post an issue on GitHub.

All Properties:
FullRank \(A\) has full rank.	SPD \(m = n\) and \(x^{T}Ax > 0\) \(\newline\) for all \(x \in \mathbb{R}^n\).	Symmetric \(m = n\) and \(a_{ij} = a_{ji}\)
Orthogonal \(m = n\) and \(A^TA = AA^T = I\)	OrthogonalRows \(n \geqslant m\) and \(AA^T =I\)	OrthogonalColumns \(m \geqslant n\) and \(A^TA =I\)
SPSD \(m = n\) and \(x^{T}Ax \geq 0\) \(\newline\) for all \(x \in \mathbb{R}^n\).	LowerTriangular \(a_{ij} = 0\) if \(i < j\)	UpperTriangular \(a_{ij} = 0\) if \(i > j\)
Diagonal \(a_{ij} = 0\) if \(i \neq j\)	UnitDiagonal \(a_{ij} = 1\) if \(i = j\) requires UpperTriangular or LowerTriangular.	Permutation \(m = n\). There is exactly one \(1\) in each row and column, all other entries are \(0\).