blob: 5b26c40f8d3e042962288708e80ce6b3af233ae7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
\begin{patch}{FactoredFunctionsTwoXmpPagePatch1}
\begin{paste}{FactoredFunctionsTwoXmpPageFull1}{FactoredFunctionsTwoXmpPageEmpty1}
\pastebutton{FactoredFunctionsTwoXmpPageFull1}{\hidepaste}
\tab{5}\spadcommand{double(x) == x + x\bound{double }}
\indentrel{3}\begin{verbatim}
Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPageEmpty1}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty1}{FactoredFunctionsTwoXmpPagePatch1}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty1}{\showpaste}
\tab{5}\spadcommand{double(x) == x + x\bound{double }}
\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPagePatch2}
\begin{paste}{FactoredFunctionsTwoXmpPageFull2}{FactoredFunctionsTwoXmpPageEmpty2}
\pastebutton{FactoredFunctionsTwoXmpPageFull2}{\hidepaste}
\tab{5}\spadcommand{f := factor(720)\bound{f }}
\indentrel{3}\begin{verbatim}
4 2
(2) 2 3 5
Type: Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPageEmpty2}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty2}{FactoredFunctionsTwoXmpPagePatch2}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty2}{\showpaste}
\tab{5}\spadcommand{f := factor(720)\bound{f }}
\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPagePatch3}
\begin{paste}{FactoredFunctionsTwoXmpPageFull3}{FactoredFunctionsTwoXmpPageEmpty3}
\pastebutton{FactoredFunctionsTwoXmpPageFull3}{\hidepaste}
\tab{5}\spadcommand{map(double,f)\free{f }\free{double }}
\indentrel{3}\begin{verbatim}
4 2
(3) 2 4 6 10
Type: Factored Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPageEmpty3}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty3}{FactoredFunctionsTwoXmpPagePatch3}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty3}{\showpaste}
\tab{5}\spadcommand{map(double,f)\free{f }\free{double }}
\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPagePatch4}
\begin{paste}{FactoredFunctionsTwoXmpPageFull4}{FactoredFunctionsTwoXmpPageEmpty4}
\pastebutton{FactoredFunctionsTwoXmpPageFull4}{\hidepaste}
\tab{5}\spadcommand{makePoly(b) == x + b\bound{makePoly }}
\indentrel{3}\begin{verbatim}
Type: Void
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPageEmpty4}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty4}{FactoredFunctionsTwoXmpPagePatch4}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty4}{\showpaste}
\tab{5}\spadcommand{makePoly(b) == x + b\bound{makePoly }}
\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPagePatch5}
\begin{paste}{FactoredFunctionsTwoXmpPageFull5}{FactoredFunctionsTwoXmpPageEmpty5}
\pastebutton{FactoredFunctionsTwoXmpPageFull5}{\hidepaste}
\tab{5}\spadcommand{g := map(makePoly,f)\free{f }\free{makePoly }\bound{g }}
\indentrel{3}\begin{verbatim}
4 2
(5) (x + 1)(x + 2) (x + 3) (x + 5)
Type: Factored Polynomial Integer
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPageEmpty5}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty5}{FactoredFunctionsTwoXmpPagePatch5}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty5}{\showpaste}
\tab{5}\spadcommand{g := map(makePoly,f)\free{f }\free{makePoly }\bound{g }}
\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPagePatch6}
\begin{paste}{FactoredFunctionsTwoXmpPageFull6}{FactoredFunctionsTwoXmpPageEmpty6}
\pastebutton{FactoredFunctionsTwoXmpPageFull6}{\hidepaste}
\tab{5}\spadcommand{nthFlag(g,1)\free{g }}
\indentrel{3}\begin{verbatim}
(6) "nil"
Type: Union("nil",...)
\end{verbatim}
\indentrel{-3}\end{paste}\end{patch}
\begin{patch}{FactoredFunctionsTwoXmpPageEmpty6}
\begin{paste}{FactoredFunctionsTwoXmpPageEmpty6}{FactoredFunctionsTwoXmpPagePatch6}
\pastebutton{FactoredFunctionsTwoXmpPageEmpty6}{\showpaste}
\tab{5}\spadcommand{nthFlag(g,1)\free{g }}
\end{paste}\end{patch}
|
