aboutsummaryrefslogtreecommitdiff
path: root/src/input/reductio.input.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2007-08-14 05:14:52 +0000
committerdos-reis <gdr@axiomatics.org>2007-08-14 05:14:52 +0000
commitab8cc85adde879fb963c94d15675783f2cf4b183 (patch)
treec202482327f474583b750b2c45dedfc4e4312b1d /src/input/reductio.input.pamphlet
downloadopen-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz
Initial population.
Diffstat (limited to 'src/input/reductio.input.pamphlet')
-rw-r--r--src/input/reductio.input.pamphlet42
1 files changed, 42 insertions, 0 deletions
diff --git a/src/input/reductio.input.pamphlet b/src/input/reductio.input.pamphlet
new file mode 100644
index 00000000..ea487ed5
--- /dev/null
+++ b/src/input/reductio.input.pamphlet
@@ -0,0 +1,42 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input reductio.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+<<*>>=
+
+-- Input for page Reductions
+)clear all
+
+u := [30,2,5]
+reduce(+,u)
+reduce(*,u)
+u := [30,2,5]
+reduce(max,u)
+reduce(min,u)
+reduce(gcd,u)
+u := []; v := [1]
+reduce(max,u,0)
+reduce(min,v,0)
+u := [1, 7, 5, -12, 15, 3]
+reduce(or,[u.i < 0 for i in 0..])
+reduce(or,[x < 0 for x in u])
+reduce(min,[i for i in 0.. while u.i > 0])
+reduce(and,[x > 0 for x in u])
+v := [1, 1, 0, 1, 0]
+reduce(+,[v.(n - i) * 2**i for i in 0..(n := maxIndex v)])
+reduce(+,[x * y for x in u for y in v])
+reduce(+,[r for x in u for y in v | (r := y/x) > 0])
+reduce(max,[x for x in u for y in v | y = 1])
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}