Here we demonstrate the full capabilities of the linear algebra domain of Penrose. for that, we implemented the following generic files:

• linear-algebra.dsl
• linear-algebra.sty

penrose linear-algebra-domain/twoVectors.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/twoVectorSpaces.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/vectorsNegation.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/vectorsAddition.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/twoVectorSpaces-2.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/linearMap.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/norm.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/vectorsAddition-3.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/scale.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/determinants.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl:

penrose linear-algebra-domain/norm-2.sub linear-algebra-domain/linear-algebra.sty linear-algebra-domain/linear-algebra.dsl: