Initial population.

1 files changed, 30 insertions, 0 deletions

diff --git a/src/input/zlindep.input.pamphlet b/src/input/zlindep.input.pamphlet
new file mode 100644
index 00000000..d088b7f6
--- /dev/null
+++ b/src/input/zlindep.input.pamphlet
@@ -0,0 +1,30 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input ZLINDEP.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+<<*>>=
+
+-- Input generated from IntegerLinearDependenceXmpPage
+)clear all
+
+M := SQMATRIX(2,INT)
+m1: M := squareMatrix matrix [[1, 2], [0, -1]]
+m2: M := squareMatrix matrix [[2, 3], [1, -2]]
+m3: M := squareMatrix matrix [[3, 4], [2, -3]]
+linearlyDependentOverZ? vector [m1, m2, m3]
+c := linearDependenceOverZ vector [m1, m2, m3]
+c.1 * m1 + c.2 * m2 + c.3 * m3
+solveLinearlyOverQ(vector [m1, m3], m2)
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}