Initial population.

1 files changed, 283 insertions, 0 deletions

diff --git a/src/input/space3.input.pamphlet b/src/input/space3.input.pamphlet
new file mode 100644
index 00000000..7974fee7
--- /dev/null
+++ b/src/input/space3.input.pamphlet
@@ -0,0 +1,283 @@
+\documentclass{article}
+\usepackage{axiom}
+\begin{document}
+\title{\$SPAD/src/input space3.input}
+\author{The Axiom Team}
+\maketitle
+\begin{abstract}
+\end{abstract}
+\eject
+\tableofcontents
+\eject
+\section{License}
+<<license>>=
+--Copyright The Numerical Algorithms Group Limited 1991.
+@
+<<*>>=
+<<license>>
+
+-- test for ThreeSpace domain
+
+)clear all
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+closedCurve(space,[p0,p1,p2,p3])
+
+closedCurve(space,[[1,1,1],[1,0,0],[0,0,0],[0,1,1]])
+
+cspace := closedCurve([p0,p1,p2,p3])$(ThreeSpace DoubleFloat)
+
+closedCurve cspace
+
+)clear all
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+closedCurve(space,[p0,p1,p2,p3])
+closedCurve? space
+
+curve(space,[p0,p1,p2,p3])
+point(space,p0)
+components(space)
+
+space1 := create3Space()$(ThreeSpace DoubleFloat)
+curve(space1,[p0,p1,p2,p3])
+point(space1,p0)
+space2 := point(p0)$(ThreeSpace DoubleFloat)
+space3 := curve[p0,p1,p2]$(ThreeSpace DoubleFloat)
+composite [space1,space2,space3]
+
+curve(space,[p0,p1,p2,p3])
+point(space,p0)
+point(space,p1)
+closedCurve(space,[p0,p1,p2])
+composite [space1,space2,space3]
+composites(space)
+
+curve(space,[p0,p1,p2,p3])
+point(space,p0)
+space4 := copy space
+
+curve(space,[p0,p1,p2])
+point(space,p0)
+sub := subspace(space)
+spNew := create3Space(sub)$(ThreeSpace DoubleFloat)
+
+curve(space,[p0,p1,p2,p3])
+
+curve(space,[[1,1,1],[1,0,0],[0,0,0],[0,1,1]])
+
+cspace := curve([p0,p1,p2,p3])$(ThreeSpace DoubleFloat)
+
+curve cspace
+
+)clear all
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+curve(space,[p0,p1,p2,p3])
+curve? space
+
+)clear all
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+closedCurve(space,[p0,p1,p2,p3])
+curve(space,[p0,p1,p2,p3])
+point(space,p0)
+point(space,p3)
+polygon(space,[p0,p1,p3])
+polygon(space,[p0,p2,p3])
+lllip(space)
+
+closedCurve(space,[p0,p1,p2,p3])
+curve(space,[p0,p1,p2,p3])
+point(space,p0)
+polygon(space,[p0,p1,p3])
+llprop(space)
+lprop(space)
+
+closedCurve(space,[p0,p1,p2,p3])
+curve(space,[p0,p1,p2,p3])
+point(space,p0)
+polygon(space,[p0,p1,p3])
+lp(space)
+
+enterPointData(space,[p0,p1,p2,p3])
+
+)clear all
+
+space1 := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+curve(space1,[p0,p1,p2,p3])
+space2 := copy space1
+point(space1,p3)
+space3 := copy space1
+curve(space3,[p0,p1,p2])
+newSpace1 := merge [space1,space2,space3]
+newSpace2 := merge(space2,space3)
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+prop := new()$SubSpaceComponentProperty()
+lprop := [prop, prop, prop]
+mesh(space,[[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]],lprop,prop)
+
+mesh(space,[[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]],lprop,prop)
+
+mesh(space,[[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]],closed?(prop),closed?(prop))
+b := close(prop,true)
+mesh(space,[[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]],b,b)
+
+mesh(space,[[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]],closed?(prop),closed?(prop))
+mesh(space,[[[1,1,1],[1,0,0],[0,0,0]],[[1,0,0],[0,0,0],[0,1,1]],[[1,1,1],[0,0,0],[0,1,1]]],closed?(prop),closed?(prop))
+
+mesh(space,[[[1,1,1],[1,0,0],[0,0,0]],[[1,0,0],[0,0,0],[0,1,1]],[[1,1,1],[0,0,0],[0,1,1]]],b,b)
+
+)clear all
+
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+
+space := mesh([[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]])$(ThreeSpace DoubleFloat)
+space1 := mesh([[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]],false,false)$(ThreeSpace DoubleFloat)
+
+)clear all
+
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+space := mesh([[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]])$(ThreeSpace DoubleFloat)
+mesh(space)
+s := mesh([[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]])$(ThreeSpace DoubleFloat)
+mesh(s)
+
+space2 := create3Space()$(ThreeSpace DoubleFloat)
+curve(space2,[p0,p1,p2,p3])
+mesh?(space2)
+s1 := mesh([[p0,p1,p2],[p1,p2,p3],[p0,p2,p3]])$(ThreeSpace DoubleFloat)
+mesh?(s1)
+
+i := enterPointData(space2,[p0,p1,p2,p3])::NNI
+modifyPointData(space2,i,p2)
+
+point(space2,p0)
+curve(space2,[p0,p1,p2,p3])
+numberOfComponents(space2)
+
+)clear all
+
+space1 := create3Space()$(ThreeSpace DoubleFloat)
+numberOfComposites(space1)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+curve(space1,[p0,p1,p2,p3])
+point(space1,p0)
+space2 := point(p0)$(ThreeSpace DoubleFloat)
+space3 := curve [p0,p1,p2]$(ThreeSpace DoubleFloat)
+s := composite [space1,space2,space3]
+numberOfComposites(s)
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+point(space,p0)
+curve(space,[p0,p1,p2,p3])
+closedCurve(space,[p0,p1,p2])
+objects space
+
+)clear all
+
+s := create3Space()$(ThreeSpace DoubleFloat)
+p := point [1,1,1]$(Point DoubleFloat)
+point(s,p)
+
+point(s,[1,1,1])
+
+p0 := point [1,0,0]$(Point DoubleFloat)
+point(s,p)
+i := enterPointData(s,[p0])::NNI
+point(s,i)
+
+p := point [1,1,1]$(Point DoubleFloat)
+space := point(p)$(ThreeSpace DoubleFloat)
+
+)clear all
+
+s := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+curve(s,[p0,p0])
+space1 := point(p0)$(ThreeSpace DoubleFloat)
+point(space1)
+
+)clear all
+
+s := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+curve(s,[p0,p0,p0])
+point? s
+space := point(p0)$(ThreeSpace DoubleFloat)
+point? space
+
+)clear all
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+polygon(space,[p0,p1,p2,p3])
+
+polygon(space,[[1,1,1],[0,0,-1],[1,0,1]])
+
+s := polygon([p0,p1,p2,p3])$(ThreeSpace DoubleFloat)
+
+)clear all
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+curve(space,[p0,p1,p2,p3])
+s := polygon([p0,p1,p2,p3])$(ThreeSpace DoubleFloat)
+polygon s
+
+)clear all
+
+space := create3Space()$(ThreeSpace DoubleFloat)
+p0 := point [1,1,1]$(Point DoubleFloat)
+p1 := point [1,0,0]$(Point DoubleFloat)
+p2 := point [0,0,0]$(Point DoubleFloat)
+p3 := point [0,1,1]$(Point DoubleFloat)
+curve(space,[p0,p1,p2,p3])
+polygon? space
+s := polygon([p0,p1,p2,p3])$(ThreeSpace DoubleFloat)
+polygon s
+
+space1 := create3Space()$(ThreeSpace DoubleFloat)
+sub := subspace(space1)
+@
+\eject
+\begin{thebibliography}{99}
+\bibitem{1} nothing
+\end{thebibliography}
+\end{document}