Initial population.

1 files changed, 45 insertions, 0 deletions

diff --git a/src/input/lindep.input.pamphlet b/src/input/lindep.input.pamphlet
new file mode 100644
index 00000000..4623b09e
--- /dev/null
+++ b/src/input/lindep.input.pamphlet
@@ -0,0 +1,45 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input lindep.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{License}
+<<license>>=
+--Copyright The Numerical Algorithms Group Limited 1991.
+@
+<<*>>=
+<<license>>
+
+)cl all
+v(i:INT):DIRPROD(5, FRAC INT) ==
+   directProduct vector [i / (i + j) for j in 0..4]
+-- Create several elements of Q^5
+V := vector [v i for i in 1..6]
+-- Are they linearly dependent over Z?
+linearlyDependentOverZ? V
+-- Get the linear dependence relation over Z explicitly
+linearDependenceOverZ V
+-- the Vi's are linearly dependent, express V.2 in terms of the others
+solveLinearlyOverQ(delete(V, 2), V.2)
+w(i:INT):SQMATRIX(2, INT) ==
+   squareMatrix matrix [[i, i + 1], [i - 1, -i]]
+-- Create several elements of Z(2)
+W := vector [w i for i in 1..3]
+-- Are they linearly dependent over Z?
+linearlyDependentOverZ? W
+-- Get the linear dependence relation over Z explicitly
+linearDependenceOverZ W
+-- the Wi's are linearly dependent, express W.2 in terms of the others
+solveLinearlyOverQ(delete(W, 2), W.2)
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}