From ab8cc85adde879fb963c94d15675783f2cf4b183 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 14 Aug 2007 05:14:52 +0000 Subject: Initial population. --- src/input/uniseg.input.pamphlet | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 src/input/uniseg.input.pamphlet (limited to 'src/input/uniseg.input.pamphlet') diff --git a/src/input/uniseg.input.pamphlet b/src/input/uniseg.input.pamphlet new file mode 100644 index 00000000..ed266a5d --- /dev/null +++ b/src/input/uniseg.input.pamphlet @@ -0,0 +1,31 @@ +\documentclass{article} +\usepackage{axiom} +\begin{document} +\title{\$SPAD/src/input UNISEG.input} +\author{The Axiom Team} +\maketitle +\begin{abstract} +\end{abstract} +\eject +\tableofcontents +\eject +<<*>>= + +-- Input generated from UniversalSegmentXmpPage +)clear all + +pints := 1.. +nevens := (0..) by -2 +useg: UniversalSegment(Integer) := 3..10 +hasHi pints +hasHi nevens +hasHi useg +expand pints +expand nevens +expand [1, 3, 10..15, 100..] +@ +\eject +\begin{thebibliography}{99} +\bibitem{1} nothing +\end{thebibliography} +\end{document} -- cgit v1.2.3