1 | # LaTeX2HTML 97.1 (release) (July 13th, 1997)
|
---|
2 | # Associate images original text with physical files.
|
---|
3 |
|
---|
4 |
|
---|
5 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfppredstarttop_inline-_inlinereduction_ipred(elimination_inline-_inlineorder_inline-_inline1pred))}{_inline}MSF=2.5;AAT;/;
|
---|
6 | $cached_env_img{$key} = q|<IMG WIDTH="476" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
7 | SRC="img34.gif"
|
---|
8 | ALT="$\textstyle\parbox{\pboxargslen}{\em f p pred start top$-$reduction$-$only ring {\sf \&aux} (pred
|
---|
9 | (elimination$-$order$-$1
|
---|
10 | pred)) \/}$">|;
|
---|
11 |
|
---|
12 | $key = q/{_inline}textstyleparbox{pboxargslen}{emf_inline-_inlinewith_inline-_inlinesugarg_inline-_inlinewith_inline-_inlinesugarpredring}{_inline}MSF=2.5;AAT;/;
|
---|
13 | $cached_env_img{$key} = q|<IMG WIDTH="484" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
14 | SRC="img51.gif"
|
---|
15 | ALT="$\textstyle\parbox{\pboxargslen}{\em f$-$with$-$sugar g$-$with$-$sugar pred ring \/}$">|;
|
---|
16 |
|
---|
17 | $key = q/{_inline}textstyleparbox{pboxargslen}{empoly_inline-_inlinelistvarssf&key(streaminline-_inlinepartnil)(mark_inline-_inlinecoefficientsnil)}{_inline}MSF=2.5;AAT;/;
|
---|
18 | $cached_env_img{$key} = q|<IMG WIDTH="442" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
19 | SRC="img73.gif"
|
---|
20 | ALT="$\textstyle\parbox{\pboxargslen}{\em poly$-$list vars {\sf \&key} (stream
|
---|
21 | t) (beg
|
---|
22 | t) (print$-$green$-$part
|
---|
23 | nil) (mark$-$coefficients
|
---|
24 | nil) \/}$">|;
|
---|
25 |
|
---|
26 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfflsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)sf&aux(s(lengthfl))}{_inline}MSF=2.5;AAT;/;
|
---|
27 | $cached_env_img{$key} = q|<IMG WIDTH="571" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
28 | SRC="img114.gif"
|
---|
29 | ALT="$\textstyle\parbox{\pboxargslen}{\em f fl {\sf \&optional} (pred \char93 'lex$\gt$) (ring
|
---|
30 | *coefficient$-$ring*) {\sf \&aux} (s
|
---|
31 | (length
|
---|
32 | fl)) \/}$">|;
|
---|
33 |
|
---|
34 | $key = q/{_inline}textstyleparbox{pboxargslen}{emf_inline-_inlineno_inline-_inlinesugarprnespace(lengthf_inline-_inlineno_inline-_inlinesugar)))bmf}{_inline}MSF=2.5;AAT;/;
|
---|
35 | $cached_env_img{$key} = q|<IMG WIDTH="443" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
36 | SRC="img52.gif"
|
---|
37 | ALT="$\textstyle\parbox{\pboxargslen}{\em f$-$no$-$sugar pred start top$-$reduction$-$only ring {\sf \&aux} (s (1$-$\space (length f$-$no$-$sugar))) b m f \/}$">|;
|
---|
38 |
|
---|
39 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsf&restargs}{_inline}MSF=2.5;AAT;/;
|
---|
40 | $cached_env_img{$key} = q|<IMG WIDTH="576" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
41 | SRC="img7.gif"
|
---|
42 | ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&rest} args \/}$">|;
|
---|
43 |
|
---|
44 | $key = q/{_inline}textstyleparbox{pboxargslen}{emtermforderring}{_inline}MSF=2.5;AAT;/;
|
---|
45 | $cached_env_img{$key} = q|<IMG WIDTH="426" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
46 | SRC="img89.gif"
|
---|
47 | ALT="$\textstyle\parbox{\pboxargslen}{\em term f order ring \/}$">|;
|
---|
48 |
|
---|
49 | $key = q/{_inline}textstyleparbox{pboxargslen}{emabcd}{_inline}MSF=2.5;AAT;/;
|
---|
50 | $cached_env_img{$key} = q|<IMG WIDTH="562" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
51 | SRC="img141.gif"
|
---|
52 | ALT="$\textstyle\parbox{\pboxargslen}{\em a b c d \/}$">|;
|
---|
53 |
|
---|
54 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcondtermrestpgporderring}{_inline}MSF=2.5;AAT;/;
|
---|
55 | $cached_env_img{$key} = q|<IMG WIDTH="448" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
56 | SRC="img76.gif"
|
---|
57 | ALT="$\textstyle\parbox{\pboxargslen}{\em cond term restp end gp order ring \/}$">|;
|
---|
58 |
|
---|
59 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgmain_inline-_inlineorderparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
|
---|
60 | $cached_env_img{$key} = q|<IMG WIDTH="530" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
61 | SRC="img87.gif"
|
---|
62 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g main$-$order parameter$-$order ring \/}$">|;
|
---|
63 |
|
---|
64 | $key = q/{_inline}textstyleparbox{pboxargslen}{empolynsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
65 | $cached_env_img{$key} = q|<IMG WIDTH="540" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
66 | SRC="img159.gif"
|
---|
67 | ALT="$\textstyle\parbox{\pboxargslen}{\em poly n {\sf \&optional} (pred
|
---|
68 | \char93 'lex$\gt$) (ring
|
---|
69 | *coefficient$-$ring*) \/}$">|;
|
---|
70 |
|
---|
71 | $key = q/{_inline}textstyleparbox{pboxargslen}{emnumber_inline-_inlineor_inline-_inlinepolyn}{_inline}MSF=2.5;AAT;/;
|
---|
72 | $cached_env_img{$key} = q|<IMG WIDTH="495" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
73 | SRC="img175.gif"
|
---|
74 | ALT="$\textstyle\parbox{\pboxargslen}{\em number$-$or$-$poly n \/}$">|;
|
---|
75 |
|
---|
76 | $key = q/{_inline}textstyleparbox{pboxargslen}{empnring}{_inline}MSF=2.5;AAT;/;
|
---|
77 | $cached_env_img{$key} = q|<IMG WIDTH="521" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
|
---|
78 | SRC="img177.gif"
|
---|
79 | ALT="$\textstyle\parbox{\pboxargslen}{\em p n ring \/}$">|;
|
---|
80 |
|
---|
81 | $key = q/{_inline}textstyleparbox{pboxargslen}{emtermfring}{_inline}MSF=2.5;AAT;/;
|
---|
82 | $cached_env_img{$key} = q|<IMG WIDTH="396" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
83 | SRC="img196.gif"
|
---|
84 | ALT="$\textstyle\parbox{\pboxargslen}{\em term f ring \/}$">|;
|
---|
85 |
|
---|
86 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsystemvarsparamssf&key(suppress_inline-_partnil)(mark_inline-_inlinecoefficientsnil)sf&aux(label0)}{_inline}MSF=2.5;AAT;/;
|
---|
87 | $cached_env_img{$key} = q|<IMG WIDTH="474" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
88 | SRC="img77.gif"
|
---|
89 | ALT="$\textstyle\parbox{\pboxargslen}{\em system vars params {\sf \&key} (suppress$-$...
|
---|
90 | ...rint$-$green$-$part
|
---|
91 | nil) (mark$-$coefficients
|
---|
92 | nil) {\sf \&aux} (label
|
---|
93 | 0) \/}$">|;
|
---|
94 |
|
---|
95 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfi}{_inline}MSF=2.5;AAT;/;
|
---|
96 | $cached_env_img{$key} = q|<IMG WIDTH="543" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
97 | SRC="img125.gif"
|
---|
98 | ALT="$\textstyle\parbox{\pboxargslen}{\em f i \/}$">|;
|
---|
99 |
|
---|
100 | $key = q/{_inline}textstyleparbox{pboxargslen}{empolyvarssf&key(streamt)(begt)(print_inliinline-_inlinepartnil)(mark_inline-_inlinecoefficientsnil)}{_inline}MSF=2.5;AAT;/;
|
---|
101 | $cached_env_img{$key} = q|<IMG WIDTH="475" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
102 | SRC="img72.gif"
|
---|
103 | ALT="$\textstyle\parbox{\pboxargslen}{\em poly vars {\sf \&key} (stream
|
---|
104 | t) (beg
|
---|
105 | t) (print$-$green$-$part
|
---|
106 | nil) (mark$-$coefficients
|
---|
107 | nil) \/}$">|;
|
---|
108 |
|
---|
109 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfnsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
110 | $cached_env_img{$key} = q|<IMG WIDTH="459" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
111 | SRC="img117.gif"
|
---|
112 | ALT="$\textstyle\parbox{\pboxargslen}{\em f n {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|;
|
---|
113 |
|
---|
114 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfm}{_inline}MSF=2.5;AAT;/;
|
---|
115 | $cached_env_img{$key} = q|<IMG WIDTH="496" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
116 | SRC="img120.gif"
|
---|
117 | ALT="$\textstyle\parbox{\pboxargslen}{\em f m \/}$">|;
|
---|
118 |
|
---|
119 | $key = q/{_inline}textstyleparbox{pboxargslen}{emc1c2mabpredringsf&auxna1a2}{_inline}MSF=2.5;AAT;/;
|
---|
120 | $cached_env_img{$key} = q|<IMG WIDTH="529" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
121 | SRC="img12.gif"
|
---|
122 | ALT="$\textstyle\parbox{\pboxargslen}{\em c1 c2 m a b pred ring {\sf \&aux} n a1 a2 \/}$">|;
|
---|
123 |
|
---|
124 | $key = q/{_inline}textstyleparbox{pboxargslen}{emexprvarlohisf&optional(step1)}{_inline}MSF=2.5;AAT;/;
|
---|
125 | $cached_env_img{$key} = q|<IMG WIDTH="577" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
126 | SRC="img180.gif"
|
---|
127 | ALT="$\textstyle\parbox{\pboxargslen}{\em expr var lo hi {\sf \&optional} (step 1) \/}$">|;
|
---|
128 |
|
---|
129 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgpred}{_inline}MSF=2.5;AAT;/;
|
---|
130 | $cached_env_img{$key} = q|<IMG WIDTH="526" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
131 | SRC="img14.gif"
|
---|
132 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g pred \/}$">|;
|
---|
133 |
|
---|
134 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfijsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
135 | $cached_env_img{$key} = q|<IMG WIDTH="572" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
136 | SRC="img124.gif"
|
---|
137 | ALT="$\textstyle\parbox{\pboxargslen}{\em f i j {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|;
|
---|
138 |
|
---|
139 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcfring}{_inline}MSF=2.5;AAT;/;
|
---|
140 | $cached_env_img{$key} = q|<IMG WIDTH="419" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
141 | SRC="img90.gif"
|
---|
142 | ALT="$\textstyle\parbox{\pboxargslen}{\em c f ring \/}$">|;
|
---|
143 |
|
---|
144 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgsf&optional(order#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
145 | $cached_env_img{$key} = q|<IMG WIDTH="480" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
146 | SRC="img115.gif"
|
---|
147 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g {\sf \&optional} (order
|
---|
148 | \char93 'lex$\gt$) (ring
|
---|
149 | *coefficient$-$ring*) \/}$">|;
|
---|
150 |
|
---|
151 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgpredtop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
|
---|
152 | $cached_env_img{$key} = q|<IMG WIDTH="487" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
153 | SRC="img26.gif"
|
---|
154 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g pred top$-$reduction$-$only ring \/}$">|;
|
---|
155 |
|
---|
156 | $key = q/{_inline}textstyleparbox{pboxargslen}{empqsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
157 | $cached_env_img{$key} = q|<IMG WIDTH="570" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
158 | SRC="img157.gif"
|
---|
159 | ALT="$\textstyle\parbox{\pboxargslen}{\em p q {\sf \&optional} (pred \char93 'lex$\gt$) (ring *coefficient$-$ring*) \/}$">|;
|
---|
160 |
|
---|
161 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfxsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
162 | $cached_env_img{$key} = q|<IMG WIDTH="461" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
163 | SRC="img118.gif"
|
---|
164 | ALT="$\textstyle\parbox{\pboxargslen}{\em f x {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|;
|
---|
165 |
|
---|
166 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfflvarssf&key(streamt)(printt)(order#'lene-_inlinevaluet)sf&aux(vars(read_inline-_inlinevarsvars))}{_inline}MSF=2.5;AAT;/;
|
---|
167 | $cached_env_img{$key} = q|<IMG WIDTH="468" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
|
---|
168 | SRC="img56.gif"
|
---|
169 | ALT="$\textstyle\parbox{\pboxargslen}{\em f fl vars {\sf \&key} (stream
|
---|
170 | t) (print
|
---|
171 | t...
|
---|
172 | ...ient$-$ring*) (suppress$-$value
|
---|
173 | t) {\sf \&aux} (vars
|
---|
174 | (read$-$vars
|
---|
175 | vars)) \/}$">|;
|
---|
176 |
|
---|
177 | $key = q/{_inline}textstyleparbox{pboxargslen}{em(sf&restassumptions)(sf&restconclusions)sf&key(order*prover_inline-_inlineorder*)}{_inline}MSF=2.5;AAT;/;
|
---|
178 | $cached_env_img{$key} = q|<IMG WIDTH="549" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
179 | SRC="img148.gif"
|
---|
180 | ALT="$\textstyle\parbox{\pboxargslen}{\em ({\sf \&rest} assumptions) ({\sf \&rest}
|
---|
181 | conclusions) {\sf \&key} (order
|
---|
182 | *prover$-$order*) \/}$">|;
|
---|
183 |
|
---|
184 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcoefficient}{_inline}MSF=2.5;AAT;/;
|
---|
185 | $cached_env_img{$key} = q|<IMG WIDTH="395" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
186 | SRC="img218.gif"
|
---|
187 | ALT="$\textstyle\parbox{\pboxargslen}{\em coefficient \/}$">|;
|
---|
188 |
|
---|
189 | $key = q/{_inline}textstyleparbox{pboxargslen}{empvarssf&aux(ht(make_inline-_inlinehash_inline-_inlinetable:test#'equal:size16))stack}{_inline}MSF=2.5;AAT;/;
|
---|
190 | $cached_env_img{$key} = q|<IMG WIDTH="517" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
191 | SRC="img164.gif"
|
---|
192 | ALT="$\textstyle\parbox{\pboxargslen}{\em p vars {\sf \&aux} (ht
|
---|
193 | (make$-$hash$-$table
|
---|
194 | :test
|
---|
195 | \char93 'equal
|
---|
196 | :size
|
---|
197 | 16)) stack \/}$">|;
|
---|
198 |
|
---|
199 | $key = q/{_inline}textstyleparbox{pboxargslen}{emexprvarsorderringsf&aux(n(lengthvars))}{_inline}MSF=2.5;AAT;/;
|
---|
200 | $cached_env_img{$key} = q|<IMG WIDTH="521" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
201 | SRC="img172.gif"
|
---|
202 | ALT="$\textstyle\parbox{\pboxargslen}{\em expr vars order ring {\sf \&aux} (n (length vars)) \/}$">|;
|
---|
203 |
|
---|
204 | $key = q/{_inline}textstyleparbox{pboxargslen}{empvarssf&optional(streamt)}{_inline}MSF=2.5;AAT;/;
|
---|
205 | $cached_env_img{$key} = q|<IMG WIDTH="516" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
206 | SRC="img202.gif"
|
---|
207 | ALT="$\textstyle\parbox{\pboxargslen}{\em p vars {\sf \&optional} (stream t) \/}$">|;
|
---|
208 |
|
---|
209 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsf&reststatements}{_inline}MSF=2.5;AAT;/;
|
---|
210 | $cached_env_img{$key} = q|<IMG WIDTH="507" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
211 | SRC="img144.gif"
|
---|
212 | ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&rest} statements \/}$">|;
|
---|
213 |
|
---|
214 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcpsf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
215 | $cached_env_img{$key} = q|<IMG WIDTH="481" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
216 | SRC="img153.gif"
|
---|
217 | ALT="$\textstyle\parbox{\pboxargslen}{\em c p {\sf \&optional} (ring *coefficient$-$ring*) \/}$">|;
|
---|
218 |
|
---|
219 | $key = q/{_inline}textstyleparbox{pboxargslen}{emmonom}{_inline}MSF=2.5;AAT;/;
|
---|
220 | $cached_env_img{$key} = q|<IMG WIDTH="414" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
|
---|
221 | SRC="img217.gif"
|
---|
222 | ALT="$\textstyle\parbox{\pboxargslen}{\em monom \/}$">|;
|
---|
223 |
|
---|
224 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcpoly}{_inline}MSF=2.5;AAT;/;
|
---|
225 | $cached_env_img{$key} = q|<IMG WIDTH="451" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
226 | SRC="img71.gif"
|
---|
227 | ALT="$\textstyle\parbox{\pboxargslen}{\em cpoly \/}$">|;
|
---|
228 |
|
---|
229 | $key = q/{_inline}textstyleparbox{pboxargslen}{emexprvarssf&optional(order#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
230 | $cached_env_img{$key} = q|<IMG WIDTH="543" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
231 | SRC="img173.gif"
|
---|
232 | ALT="$\textstyle\parbox{\pboxargslen}{\em expr vars {\sf \&optional} (order
|
---|
233 | \char93 'lex$\gt$) (ring
|
---|
234 | *coefficient$-$ring*) \/}$">|;
|
---|
235 |
|
---|
236 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcondparams}{_inline}MSF=2.5;AAT;/;
|
---|
237 | $cached_env_img{$key} = q|<IMG WIDTH="533" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
238 | SRC="img78.gif"
|
---|
239 | ALT="$\textstyle\parbox{\pboxargslen}{\em cond params \/}$">|;
|
---|
240 |
|
---|
241 | $key = q/{_inline}textstyleparbox{pboxargslen}{em'gebauer_inline-_inlinemoeller_inline-_is_inline-_inlineuse_inline-_inlinemock_inline-_inlinespoly}{_inline}MSF=2.5;AAT;/;
|
---|
242 | $cached_env_img{$key} = q|<IMG WIDTH="384" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
243 | SRC="img3.gif"
|
---|
244 | ALT="$\textstyle\parbox{\pboxargslen}{\em 'gebauer$-$moeller$-$merge$-$pairs$-$use$-$mock$-$spoly \/}$">|;
|
---|
245 |
|
---|
246 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcoverorderring}{_inline}MSF=2.5;AAT;/;
|
---|
247 | $cached_env_img{$key} = q|<IMG WIDTH="506" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
248 | SRC="img98.gif"
|
---|
249 | ALT="$\textstyle\parbox{\pboxargslen}{\em cover order ring \/}$">|;
|
---|
250 |
|
---|
251 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfideal_inline-_inlinelistvarssf&key(orde_inline-_inlinealistgvarsorder))ideal_inline-_inlinelist))}{_inline}MSF=2.5;AAT;/;
|
---|
252 | $cached_env_img{$key} = q|<IMG WIDTH="417" HEIGHT="130" ALIGN="MIDDLE" BORDER="0"
|
---|
253 | SRC="img62.gif"
|
---|
254 | ALT="$\textstyle\parbox{\pboxargslen}{\em f ideal$-$list vars {\sf \&key} (order
|
---|
255 | \ch...
|
---|
256 | ...da (g) (parse$-$string$-$to$-$sorted$-$alist g vars order))
|
---|
257 | ideal$-$list)) \/}$">|;
|
---|
258 |
|
---|
259 | $key = q/{_inline}textstyleparbox{pboxargslen}{emm}{_inline}MSF=2.5;AAT;/;
|
---|
260 | $cached_env_img{$key} = q|<IMG WIDTH="511" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
|
---|
261 | SRC="img192.gif"
|
---|
262 | ALT="$\textstyle\parbox{\pboxargslen}{\em m \/}$">|;
|
---|
263 |
|
---|
264 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfpredstarttop_inline-_inlinereduction_inline-_inlineonlyringsf&auxbgf1}{_inline}MSF=2.5;AAT;/;
|
---|
265 | $cached_env_img{$key} = q|<IMG WIDTH="494" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
266 | SRC="img47.gif"
|
---|
267 | ALT="$\textstyle\parbox{\pboxargslen}{\em f pred start top$-$reduction$-$only ring {\sf \&aux} b g f1 \/}$">|;
|
---|
268 |
|
---|
269 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcondorderring}{_inline}MSF=2.5;AAT;/;
|
---|
270 | $cached_env_img{$key} = q|<IMG WIDTH="510" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
271 | SRC="img99.gif"
|
---|
272 | ALT="$\textstyle\parbox{\pboxargslen}{\em cond order ring \/}$">|;
|
---|
273 |
|
---|
274 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfvarsparamsmain_inline-_inlineorderparamx(k(lengthvars))(vars_inline-_inlineparams(appvarsparams))}{_inline}MSF=2.5;AAT;/;
|
---|
275 | $cached_env_img{$key} = q|<IMG WIDTH="412" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
276 | SRC="img107.gif"
|
---|
277 | ALT="$\textstyle\parbox{\pboxargslen}{\em f vars params main$-$order parameter$-$order {\sf \&aux} (k
|
---|
278 | (length
|
---|
279 | vars)) (vars$-$params
|
---|
280 | (append
|
---|
281 | vars
|
---|
282 | params)) \/}$">|;
|
---|
283 |
|
---|
284 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcn}{_inline}MSF=2.5;AAT;/;
|
---|
285 | $cached_env_img{$key} = q|<IMG WIDTH="520" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
|
---|
286 | SRC="img208.gif"
|
---|
287 | ALT="$\textstyle\parbox{\pboxargslen}{\em c n \/}$">|;
|
---|
288 |
|
---|
289 | $key = q/{_inline}textstyleparbox{pboxargslen}{emnsf&aux(basis(copy_inline-_inlinetree(mainline-_inlinelistn:initial_inline-_inlineelement0)1))))))}{_inline}MSF=2.5;AAT;/;
|
---|
290 | $cached_env_img{$key} = q|<IMG WIDTH="514" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
291 | SRC="img174.gif"
|
---|
292 | ALT="$\textstyle\parbox{\pboxargslen}{\em n {\sf \&aux} (basis
|
---|
293 | (copy$-$tree
|
---|
294 | (make$-...
|
---|
295 | ...
|
---|
296 | (list 'quote
|
---|
297 | (list
|
---|
298 | (cons
|
---|
299 | (make$-$list n :initial$-$element 0)
|
---|
300 | 1)))))) \/}$">|;
|
---|
301 |
|
---|
302 | $key = q/{_inline}textstyleparbox{pboxargslen}{empolyring}{_inline}MSF=2.5;AAT;/;
|
---|
303 | $cached_env_img{$key} = q|<IMG WIDTH="495" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
304 | SRC="img194.gif"
|
---|
305 | ALT="$\textstyle\parbox{\pboxargslen}{\em poly ring \/}$">|;
|
---|
306 |
|
---|
307 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfplistvarssf&key(order#'lex_inline>_inlio_inline-_inlinesorted_inline-_inlinealistplistvarsorder))}{_inline}MSF=2.5;AAT;/;
|
---|
308 | $cached_env_img{$key} = q|<IMG WIDTH="395" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
|
---|
309 | SRC="img61.gif"
|
---|
310 | ALT="$\textstyle\parbox{\pboxargslen}{\em f plist vars {\sf \&key} (order
|
---|
311 | \char93 'l...
|
---|
312 | ...order)) (plist
|
---|
313 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
314 | plist
|
---|
315 | vars
|
---|
316 | order)) \/}$">|;
|
---|
317 |
|
---|
318 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsf}{_inline}MSF=2.5;AAT;/;
|
---|
319 | $cached_env_img{$key} = q|<IMG WIDTH="466" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
320 | SRC="img128.gif"
|
---|
321 | ALT="$\textstyle\parbox{\pboxargslen}{\em s f \/}$">|;
|
---|
322 |
|
---|
323 | $key = q/{_inline}textstyleparbox{pboxargslen}{em(make_inline-_inlinering:+#'+:_inline-_iinatorx)))):numerator#'numerator:denominator#'denominator)}{_inline}MSF=2.5;AAT;/;
|
---|
324 | $cached_env_img{$key} = q|<IMG WIDTH="475" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
|
---|
325 | SRC="img111.gif"
|
---|
326 | ALT="$\textstyle\parbox{\pboxargslen}{\em (make$-$ring :+ \char93 '+ :$-$\space \char...
|
---|
327 | ...or x))))
|
---|
328 | :numerator \char93 'numerator :denominator
|
---|
329 | \char93 'denominator) \/}$">|;
|
---|
330 |
|
---|
331 | $key = q/{_inline}textstyleparbox{pboxargslen}{em'buchberger}{_inline}MSF=2.5;AAT;/;
|
---|
332 | $cached_env_img{$key} = q|<IMG WIDTH="480" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
333 | SRC="img4.gif"
|
---|
334 | ALT="$\textstyle\parbox{\pboxargslen}{\em 'buchberger \/}$">|;
|
---|
335 |
|
---|
336 | $key = q/{_inline}textstyleparbox{pboxargslen}{emnksf&optional(coeff1)sf&aux(v(make_inline-_inlinelistn:initial_inline-_inlineelement0))}{_inline}MSF=2.5;AAT;/;
|
---|
337 | $cached_env_img{$key} = q|<IMG WIDTH="497" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
338 | SRC="img121.gif"
|
---|
339 | ALT="$\textstyle\parbox{\pboxargslen}{\em n k {\sf \&optional} (coeff
|
---|
340 | 1) {\sf \&aux} (v
|
---|
341 | (make$-$list
|
---|
342 | n
|
---|
343 | :initial$-$element
|
---|
344 | 0)) \/}$">|;
|
---|
345 |
|
---|
346 | $key = q/{_inline}textstyleparbox{pboxargslen}{emftermgpredring}{_inline}MSF=2.5;AAT;/;
|
---|
347 | $cached_env_img{$key} = q|<IMG WIDTH="461" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
348 | SRC="img199.gif"
|
---|
349 | ALT="$\textstyle\parbox{\pboxargslen}{\em f term g pred ring \/}$">|;
|
---|
350 |
|
---|
351 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfksf&optional(l1)}{_inline}MSF=2.5;AAT;/;
|
---|
352 | $cached_env_img{$key} = q|<IMG WIDTH="516" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
353 | SRC="img122.gif"
|
---|
354 | ALT="$\textstyle\parbox{\pboxargslen}{\em f k {\sf \&optional} (l 1) \/}$">|;
|
---|
355 |
|
---|
356 | $key = q/{_inline}textstyleparbox{pboxargslen}{emdimnvars}{_inline}MSF=2.5;AAT;/;
|
---|
357 | $cached_env_img{$key} = q|<IMG WIDTH="503" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
358 | SRC="img134.gif"
|
---|
359 | ALT="$\textstyle\parbox{\pboxargslen}{\em dim nvars \/}$">|;
|
---|
360 |
|
---|
361 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
362 | $cached_env_img{$key} = q|<IMG WIDTH="545" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
363 | SRC="img28.gif"
|
---|
364 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g {\sf \&optional} (pred \char93 'lex$\gt$) (ring
|
---|
365 | *coefficient$-$ring*) \/}$">|;
|
---|
366 |
|
---|
367 | $key = q/{_inline}textstyleparbox{pboxargslen}{em(make_inline-_inlinering:+#'+:_inline-_inlinelength:numerator#'numerator:denominator#'denominator)}{_inline}MSF=2.5;AAT;/;
|
---|
368 | $cached_env_img{$key} = q|<IMG WIDTH="482" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
|
---|
369 | SRC="img110.gif"
|
---|
370 | ALT="$\textstyle\parbox{\pboxargslen}{\em (make$-$ring :+ \char93 '+ :$-$\space \char...
|
---|
371 | ...$-$length :numerator \char93 'numerator
|
---|
372 | :denominator \char93 'denominator) \/}$">|;
|
---|
373 |
|
---|
374 | $key = q/{_inline}textstyleparbox{pboxargslen}{emksf&key(primary_inline-_inlineorder#'lexinline)(secondary_inline-_inlineorder#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
375 | $cached_env_img{$key} = q|<IMG WIDTH="488" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
376 | SRC="img151.gif"
|
---|
377 | ALT="$\textstyle\parbox{\pboxargslen}{\em k {\sf \&key} (primary$-$order
|
---|
378 | \char93 'lex$\gt$) (secondary$-$order
|
---|
379 | \char93 'lex$\gt$) \/}$">|;
|
---|
380 |
|
---|
381 | $key = q/{_inline}textstyleparbox{pboxargslen}{empsf&aux(l(degp))}{_inline}MSF=2.5;AAT;/;
|
---|
382 | $cached_env_img{$key} = q|<IMG WIDTH="466" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
383 | SRC="img210.gif"
|
---|
384 | ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&aux} (l (deg p)) \/}$">|;
|
---|
385 |
|
---|
386 | $key = q/{_inline}textstyleparbox{pboxargslen}{emvarssf&optionalstream}{_inline}MSF=2.5;AAT;/;
|
---|
387 | $cached_env_img{$key} = q|<IMG WIDTH="508" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
388 | SRC="img166.gif"
|
---|
389 | ALT="$\textstyle\parbox{\pboxargslen}{\em vars {\sf \&optional} stream \/}$">|;
|
---|
390 |
|
---|
391 | $key = q/{_inline}textstyleparbox{pboxargslen}{emflistsf&optional(cond(listnilnil))}{_inline}MSF=2.5;AAT;/;
|
---|
392 | $cached_env_img{$key} = q|<IMG WIDTH="503" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
393 | SRC="img69.gif"
|
---|
394 | ALT="$\textstyle\parbox{\pboxargslen}{\em flist {\sf \&optional} (cond (list nil nil)) \/}$">|;
|
---|
395 |
|
---|
396 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsf&optionalstream}{_inline}MSF=2.5;AAT;/;
|
---|
397 | $cached_env_img{$key} = q|<IMG WIDTH="576" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
398 | SRC="img162.gif"
|
---|
399 | ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&optional} stream \/}$">|;
|
---|
400 |
|
---|
401 | $key = q/{_inline}textstyleparbox{pboxargslen}{em'buchberger_inline-_inlinemerge_inline-_inlinepairs_inline-_inlinesmallest_inline-_inlinelcm}{_inline}MSF=2.5;AAT;/;
|
---|
402 | $cached_env_img{$key} = q|<IMG WIDTH="425" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
403 | SRC="img2.gif"
|
---|
404 | ALT="$\textstyle\parbox{\pboxargslen}{\em 'buchberger$-$merge$-$pairs$-$smallest$-$lcm \/}$">|;
|
---|
405 |
|
---|
406 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfmgpredring}{_inline}MSF=2.5;AAT;/;
|
---|
407 | $cached_env_img{$key} = q|<IMG WIDTH="553" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
408 | SRC="img158.gif"
|
---|
409 | ALT="$\textstyle\parbox{\pboxargslen}{\em f m g pred ring \/}$">|;
|
---|
410 |
|
---|
411 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfring}{_inline}MSF=2.5;AAT;/;
|
---|
412 | $cached_env_img{$key} = q|<IMG WIDTH="437" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
413 | SRC="img197.gif"
|
---|
414 | ALT="$\textstyle\parbox{\pboxargslen}{\em f ring \/}$">|;
|
---|
415 |
|
---|
416 | $key = q/{_inline}textstyleparbox{pboxargslen}{emexpr(varlohisf&optional(step1))sf&restmore}{_inline}MSF=2.5;AAT;/;
|
---|
417 | $cached_env_img{$key} = q|<IMG WIDTH="598" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
418 | SRC="img181.gif"
|
---|
419 | ALT="$\textstyle\parbox{\pboxargslen}{\em expr (var lo hi {\sf \&optional} (step 1)) {\sf \&rest} more \/}$">|;
|
---|
420 |
|
---|
421 | $key = q/{_inline}textstyleparbox{pboxargslen}{empk}{_inline}MSF=2.5;AAT;/;
|
---|
422 | $cached_env_img{$key} = q|<IMG WIDTH="492" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
423 | SRC="img23.gif"
|
---|
424 | ALT="$\textstyle\parbox{\pboxargslen}{\em p k \/}$">|;
|
---|
425 |
|
---|
426 | $key = q/{_inline}textstyleparbox{pboxargslen}{emexprvarlst}{_inline}MSF=2.5;AAT;/;
|
---|
427 | $cached_env_img{$key} = q|<IMG WIDTH="587" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
428 | SRC="img184.gif"
|
---|
429 | ALT="$\textstyle\parbox{\pboxargslen}{\em expr var lst \/}$">|;
|
---|
430 |
|
---|
431 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(pred#'lex_inline>_inline)(sline-_inlineonlynil)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
432 | $cached_env_img{$key} = q|<IMG WIDTH="559" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
433 | SRC="img6.gif"
|
---|
434 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (pred \char93 'lex$\gt$) (start
|
---|
435 | 0) (top$-$reduction$-$only
|
---|
436 | nil) (ring
|
---|
437 | *coefficient$-$ring*) \/}$">|;
|
---|
438 |
|
---|
439 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfpredstarttop_inline-_inlinereduction_in_inlineonlyringsf&aux(s(1_inline-_inlinespace(lengthf)))bm}{_inline}MSF=2.5;AAT;/;
|
---|
440 | $cached_env_img{$key} = q|<IMG WIDTH="535" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
441 | SRC="img11.gif"
|
---|
442 | ALT="$\textstyle\parbox{\pboxargslen}{\em f pred start top$-$reduction$-$only ring {\sf \&aux} (s (1$-$\space (length f))) b m \/}$">|;
|
---|
443 |
|
---|
444 | $key = q/{_inline}textstyleparbox{pboxargslen}{empairgmsf&aux(i(firstpair))(j(secondpair))}{_inline}MSF=2.5;AAT;/;
|
---|
445 | $cached_env_img{$key} = q|<IMG WIDTH="533" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
446 | SRC="img18.gif"
|
---|
447 | ALT="$\textstyle\parbox{\pboxargslen}{\em pair g m {\sf \&aux} (i (first pair)) (j (second pair)) \/}$">|;
|
---|
448 |
|
---|
449 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfvars}{_inline}MSF=2.5;AAT;/;
|
---|
450 | $cached_env_img{$key} = q|<IMG WIDTH="522" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
451 | SRC="img135.gif"
|
---|
452 | ALT="$\textstyle\parbox{\pboxargslen}{\em f vars \/}$">|;
|
---|
453 |
|
---|
454 | $key = q/{_inline}textstyleparbox{pboxargslen}{emtermk}{_inline}MSF=2.5;AAT;/;
|
---|
455 | $cached_env_img{$key} = q|<IMG WIDTH="489" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
456 | SRC="img22.gif"
|
---|
457 | ALT="$\textstyle\parbox{\pboxargslen}{\em term k \/}$">|;
|
---|
458 |
|
---|
459 | $key = q/{_inline}textstyleparbox{pboxargslen}{emab}{_inline}MSF=2.5;AAT;/;
|
---|
460 | $cached_env_img{$key} = q|<IMG WIDTH="504" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
461 | SRC="img140.gif"
|
---|
462 | ALT="$\textstyle\parbox{\pboxargslen}{\em a b \/}$">|;
|
---|
463 |
|
---|
464 | $key = q/{_inline}textstyleparbox{pboxargslen}{emgsmain_inline-_inlineorderparameter_inline-_inlineorderreducegreen_inline-_inlinereducering}{_inline}MSF=2.5;AAT;/;
|
---|
465 | $cached_env_img{$key} = q|<IMG WIDTH="460" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
466 | SRC="img101.gif"
|
---|
467 | ALT="$\textstyle\parbox{\pboxargslen}{\em gs main$-$order parameter$-$order reduce green$-$reduce ring \/}$">|;
|
---|
468 |
|
---|
469 | $key = q/{_inline}textstyleparbox{pboxargslen}{emterm1term2sf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
470 | $cached_env_img{$key} = q|<IMG WIDTH="571" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
471 | SRC="img213.gif"
|
---|
472 | ALT="$\textstyle\parbox{\pboxargslen}{\em term1 term2 {\sf \&optional} (ring *coefficient$-$ring*) \/}$">|;
|
---|
473 |
|
---|
474 | $key = q/{_inline}textstyleparbox{pboxargslen}{emmterm}{_inline}MSF=2.5;AAT;/;
|
---|
475 | $cached_env_img{$key} = q|<IMG WIDTH="465" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
476 | SRC="img214.gif"
|
---|
477 | ALT="$\textstyle\parbox{\pboxargslen}{\em m term \/}$">|;
|
---|
478 |
|
---|
479 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcondparamssf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
480 | $cached_env_img{$key} = q|<IMG WIDTH="527" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
481 | SRC="img96.gif"
|
---|
482 | ALT="$\textstyle\parbox{\pboxargslen}{\em cond params {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|;
|
---|
483 |
|
---|
484 | $key = q/{_inline}textstyleparbox{pboxargslen}{emc1c2}{_inline}MSF=2.5;AAT;/;
|
---|
485 | $cached_env_img{$key} = q|<IMG WIDTH="570" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
486 | SRC="img92.gif"
|
---|
487 | ALT="$\textstyle\parbox{\pboxargslen}{\em c1 c2 \/}$">|;
|
---|
488 |
|
---|
489 | $key = q/{_inline}textstyleparbox{pboxargslen}{emppredring}{_inline}MSF=2.5;AAT;/;
|
---|
490 | $cached_env_img{$key} = q|<IMG WIDTH="547" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
491 | SRC="img20.gif"
|
---|
492 | ALT="$\textstyle\parbox{\pboxargslen}{\em p pred ring \/}$">|;
|
---|
493 |
|
---|
494 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcondflparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
|
---|
495 | $cached_env_img{$key} = q|<IMG WIDTH="421" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
496 | SRC="img105.gif"
|
---|
497 | ALT="$\textstyle\parbox{\pboxargslen}{\em cond fl parameter$-$order ring \/}$">|;
|
---|
498 |
|
---|
499 | $key = q/{_inline}textstyleparbox{pboxargslen}{em*ring_inline-_inlineof_inline-_inlineintegers*}{_inline}MSF=2.5;AAT;/;
|
---|
500 | $cached_env_img{$key} = q|<IMG WIDTH="492" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
|
---|
501 | SRC="img113.gif"
|
---|
502 | ALT="$\textstyle\parbox{\pboxargslen}{\em *ring$-$of$-$integers* \/}$">|;
|
---|
503 |
|
---|
504 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsf&restconclusions}{_inline}MSF=2.5;AAT;/;
|
---|
505 | $cached_env_img{$key} = q|<IMG WIDTH="504" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
506 | SRC="img146.gif"
|
---|
507 | ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&rest} conclusions \/}$">|;
|
---|
508 |
|
---|
509 | $key = q/{_inline}textstyleparbox{pboxargslen}{emp}{_inline}MSF=2.5;AAT;/;
|
---|
510 | $cached_env_img{$key} = q|<IMG WIDTH="538" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
511 | SRC="img80.gif"
|
---|
512 | ALT="$\textstyle\parbox{\pboxargslen}{\em p \/}$">|;
|
---|
513 |
|
---|
514 | $key = q/{_inline}textstyleparbox{pboxargslen}{emtermfsf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
515 | $cached_env_img{$key} = q|<IMG WIDTH="488" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
516 | SRC="img154.gif"
|
---|
517 | ALT="$\textstyle\parbox{\pboxargslen}{\em term f {\sf \&optional} (ring *coefficient$-$ring*) \/}$">|;
|
---|
518 |
|
---|
519 | $key = q/{_inline}textstyleparbox{pboxargslen}{emflistksf&key(primary_inline-_inlineorderline-_inlineonlynil)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
520 | $cached_env_img{$key} = q|<IMG WIDTH="491" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
|
---|
521 | SRC="img25.gif"
|
---|
522 | ALT="$\textstyle\parbox{\pboxargslen}{\em flist k {\sf \&key} (primary$-$order
|
---|
523 | \char...
|
---|
524 | ...ondary$-$order)) (top$-$reduction$-$only
|
---|
525 | nil) (ring
|
---|
526 | *coefficient$-$ring*) \/}$">|;
|
---|
527 |
|
---|
528 | $key = q/{_inline}textstyleparbox{pboxargslen}{embcgmpredring}{_inline}MSF=2.5;AAT;/;
|
---|
529 | $cached_env_img{$key} = q|<IMG WIDTH="343" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
530 | SRC="img53.gif"
|
---|
531 | ALT="$\textstyle\parbox{\pboxargslen}{\em b c g m pred ring \/}$">|;
|
---|
532 |
|
---|
533 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfpvarssf&key(order#'lex_inline>_inline)(ineto_inline-_inlinesorted_inline-_inlinealistpvarsorder))}{_inline}MSF=2.5;AAT;/;
|
---|
534 | $cached_env_img{$key} = q|<IMG WIDTH="424" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
|
---|
535 | SRC="img60.gif"
|
---|
536 | ALT="$\textstyle\parbox{\pboxargslen}{\em f p vars {\sf \&key} (order
|
---|
537 | \char93 'lex$\...
|
---|
538 | ...
|
---|
539 | vars
|
---|
540 | order)) (p
|
---|
541 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
542 | p
|
---|
543 | vars
|
---|
544 | order)) \/}$">|;
|
---|
545 |
|
---|
546 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistvarssf&key(order#'lex_inline>_inlininering*)(printt)sf&aux(vars(read_inline-_inlinevarsvars))}{_inline}MSF=2.5;AAT;/;
|
---|
547 | $cached_env_img{$key} = q|<IMG WIDTH="507" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
|
---|
548 | SRC="img57.gif"
|
---|
549 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars {\sf \&key} (order
|
---|
550 | \char93 'lex...
|
---|
551 | ...g
|
---|
552 | *coefficient$-$ring*) (print
|
---|
553 | t) {\sf \&aux} (vars
|
---|
554 | (read$-$vars
|
---|
555 | vars)) \/}$">|;
|
---|
556 |
|
---|
557 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcondpmain_inline-_inlineorderparameter_iine-_inlineorderringsf&aux(open(list(listcondnilp)))closed}{_inline}MSF=2.5;AAT;/;
|
---|
558 | $cached_env_img{$key} = q|<IMG WIDTH="485" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
559 | SRC="img103.gif"
|
---|
560 | ALT="$\textstyle\parbox{\pboxargslen}{\em cond p main$-$order parameter$-$order ring {\sf \&aux} (open
|
---|
561 | (list
|
---|
562 | (list
|
---|
563 | cond
|
---|
564 | nil
|
---|
565 | p))) closed \/}$">|;
|
---|
566 |
|
---|
567 | $key = q/{_inline}textstyleparbox{pboxargslen}{emterm}{_inline}MSF=2.5;AAT;/;
|
---|
568 | $cached_env_img{$key} = q|<IMG WIDTH="558" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
569 | SRC="img216.gif"
|
---|
570 | ALT="$\textstyle\parbox{\pboxargslen}{\em term \/}$">|;
|
---|
571 |
|
---|
572 | $key = q/{_inline}textstyleparbox{pboxargslen}{empairmain_inline-_inlineorderparameter_ine-_inlineorderreducegreen_inline-_inlinereduceringsf&auxgs}{_inline}MSF=2.5;AAT;/;
|
---|
573 | $cached_env_img{$key} = q|<IMG WIDTH="546" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
574 | SRC="img102.gif"
|
---|
575 | ALT="$\textstyle\parbox{\pboxargslen}{\em pair main$-$order parameter$-$order reduce green$-$reduce ring {\sf \&aux} gs \/}$">|;
|
---|
576 |
|
---|
577 | $key = q/{_inline}textstyleparbox{pboxargslen}{emppred}{_inline}MSF=2.5;AAT;/;
|
---|
578 | $cached_env_img{$key} = q|<IMG WIDTH="523" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
579 | SRC="img44.gif"
|
---|
580 | ALT="$\textstyle\parbox{\pboxargslen}{\em p pred \/}$">|;
|
---|
581 |
|
---|
582 | $key = q/{_inline}textstyleparbox{pboxargslen}{emm1m2}{_inline}MSF=2.5;AAT;/;
|
---|
583 | $cached_env_img{$key} = q|<IMG WIDTH="552" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
584 | SRC="img186.gif"
|
---|
585 | ALT="$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$">|;
|
---|
586 |
|
---|
587 | $key = q/{_inline}textstyleparbox{pboxargslen}{emf1f2predtop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
|
---|
588 | $cached_env_img{$key} = q|<IMG WIDTH="530" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
589 | SRC="img31.gif"
|
---|
590 | ALT="$\textstyle\parbox{\pboxargslen}{\em f1 f2 pred top$-$reduction$-$only ring \/}$">|;
|
---|
591 |
|
---|
592 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgpredstarttop_inline-_inlinereduction_iex_inline>_inlinespace:secondary_inline-_inlineorderpred))}{_inline}MSF=2.5;AAT;/;
|
---|
593 | $cached_env_img{$key} = q|<IMG WIDTH="497" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
|
---|
594 | SRC="img40.gif"
|
---|
595 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g pred start top$-$reduction$-$only ring ...
|
---|
596 | ...$order k :primary$-$order \char93 'lex$\gt$\space :secondary$-$order pred)) \/}$">|;
|
---|
597 |
|
---|
598 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsymbolnumber}{_inline}MSF=2.5;AAT;/;
|
---|
599 | $cached_env_img{$key} = q|<IMG WIDTH="577" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
600 | SRC="img139.gif"
|
---|
601 | ALT="$\textstyle\parbox{\pboxargslen}{\em symbol number \/}$">|;
|
---|
602 |
|
---|
603 | $key = q/{_inline}textstyleparbox{pboxargslen}{empsf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
604 | $cached_env_img{$key} = q|<IMG WIDTH="430" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
605 | SRC="img65.gif"
|
---|
606 | ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&optional} (ring
|
---|
607 | *coefficient$-$ring*) \/}$">|;
|
---|
608 |
|
---|
609 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcoverparamssf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
610 | $cached_env_img{$key} = q|<IMG WIDTH="523" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
611 | SRC="img97.gif"
|
---|
612 | ALT="$\textstyle\parbox{\pboxargslen}{\em cover params {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|;
|
---|
613 |
|
---|
614 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgvarssf&key(order#'lex_inline>_inline)(ineto_inline-_inlinesorted_inline-_inlinealistgvarsorder))}{_inline}MSF=2.5;AAT;/;
|
---|
615 | $cached_env_img{$key} = q|<IMG WIDTH="435" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
|
---|
616 | SRC="img59.gif"
|
---|
617 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g vars {\sf \&key} (order
|
---|
618 | \char93 'lex$\...
|
---|
619 | ...
|
---|
620 | vars
|
---|
621 | order)) (g
|
---|
622 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
623 | g
|
---|
624 | vars
|
---|
625 | order)) \/}$">|;
|
---|
626 |
|
---|
627 | $key = q/{_inline}textstyleparbox{pboxargslen}{emgspred}{_inline}MSF=2.5;AAT;/;
|
---|
628 | $cached_env_img{$key} = q|<IMG WIDTH="541" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
629 | SRC="img79.gif"
|
---|
630 | ALT="$\textstyle\parbox{\pboxargslen}{\em gs pred \/}$">|;
|
---|
631 |
|
---|
632 | $key = q/{_inline}textstyleparbox{pboxargslen}{emmonomvarssf&aux(tab(pairlisvars(make_inl-_inlinelist(lengthvars):initial_inline-_inlineelement0)))}{_inline}MSF=2.5;AAT;/;
|
---|
633 | $cached_env_img{$key} = q|<IMG WIDTH="564" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
634 | SRC="img165.gif"
|
---|
635 | ALT="$\textstyle\parbox{\pboxargslen}{\em monom vars {\sf \&aux} (tab
|
---|
636 | (pairlis vars
|
---|
637 | (make$-$list (length vars)
|
---|
638 | :initial$-$element 0))) \/}$">|;
|
---|
639 |
|
---|
640 | $key = q/{_inline}textstyleparbox{pboxargslen}{emscalarp}{_inline}MSF=2.5;AAT;/;
|
---|
641 | $cached_env_img{$key} = q|<IMG WIDTH="490" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
642 | SRC="img206.gif"
|
---|
643 | ALT="$\textstyle\parbox{\pboxargslen}{\em scalar p \/}$">|;
|
---|
644 |
|
---|
645 | $key = q/{_inline}textstyleparbox{pboxargslen}{emalgorithm}{_inline}MSF=2.5;AAT;/;
|
---|
646 | $cached_env_img{$key} = q|<IMG WIDTH="429" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
647 | SRC="img5.gif"
|
---|
648 | ALT="$\textstyle\parbox{\pboxargslen}{\em algorithm \/}$">|;
|
---|
649 |
|
---|
650 | $key = q/{_inline}textstyleparbox{pboxargslen}{embcgpredring}{_inline}MSF=2.5;AAT;/;
|
---|
651 | $cached_env_img{$key} = q|<IMG WIDTH="301" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
652 | SRC="img15.gif"
|
---|
653 | ALT="$\textstyle\parbox{\pboxargslen}{\em b c g pred ring \/}$">|;
|
---|
654 |
|
---|
655 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistsf&restrest}{_inline}MSF=2.5;AAT;/;
|
---|
656 | $cached_env_img{$key} = q|<IMG WIDTH="438" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
657 | SRC="img68.gif"
|
---|
658 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist {\sf \&rest} rest \/}$">|;
|
---|
659 |
|
---|
660 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgpredring}{_inline}MSF=2.5;AAT;/;
|
---|
661 | $cached_env_img{$key} = q|<IMG WIDTH="576" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
662 | SRC="img8.gif"
|
---|
663 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g pred ring \/}$">|;
|
---|
664 |
|
---|
665 | $key = q/{_inline}textstyleparbox{pboxargslen}{empqsf&optional(start0)((lengthp))}{_inline}MSF=2.5;AAT;/;
|
---|
666 | $cached_env_img{$key} = q|<IMG WIDTH="580" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
667 | SRC="img149.gif"
|
---|
668 | ALT="$\textstyle\parbox{\pboxargslen}{\em p q {\sf \&optional} (start 0) (end (length p)) \/}$">|;
|
---|
669 |
|
---|
670 | $key = q/{_inline}textstyleparbox{pboxargslen}{empsf&aux(htab(make_inline-_inlinehash_inline-_inlinetable))q}{_inline}MSF=2.5;AAT;/;
|
---|
671 | $cached_env_img{$key} = q|<IMG WIDTH="505" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
672 | SRC="img212.gif"
|
---|
673 | ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&aux} (htab (make$-$hash$-$table)) q \/}$">|;
|
---|
674 |
|
---|
675 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
676 | $cached_env_img{$key} = q|<IMG WIDTH="435" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
677 | SRC="img116.gif"
|
---|
678 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|;
|
---|
679 |
|
---|
680 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfg}{_inline}MSF=2.5;AAT;/;
|
---|
681 | $cached_env_img{$key} = q|<IMG WIDTH="469" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
682 | SRC="img187.gif"
|
---|
683 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g \/}$">|;
|
---|
684 |
|
---|
685 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfplistringsf&aux(k(lengthplist))(d(+k(length(caaarplist))))}{_inline}MSF=2.5;AAT;/;
|
---|
686 | $cached_env_img{$key} = q|<IMG WIDTH="465" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
687 | SRC="img37.gif"
|
---|
688 | ALT="$\textstyle\parbox{\pboxargslen}{\em f plist ring {\sf \&aux} (k
|
---|
689 | (length plist)) (d
|
---|
690 | (+
|
---|
691 | k
|
---|
692 | (length
|
---|
693 | (caaar
|
---|
694 | plist)))) \/}$">|;
|
---|
695 |
|
---|
696 | $key = q/{_inline}textstyleparbox{pboxargslen}{emijfbs}{_inline}MSF=2.5;AAT;/;
|
---|
697 | $cached_env_img{$key} = q|<IMG WIDTH="471" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
698 | SRC="img85.gif"
|
---|
699 | ALT="$\textstyle\parbox{\pboxargslen}{\em i j f b s \/}$">|;
|
---|
700 |
|
---|
701 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfplistpredstarttop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
|
---|
702 | $cached_env_img{$key} = q|<IMG WIDTH="447" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
703 | SRC="img39.gif"
|
---|
704 | ALT="$\textstyle\parbox{\pboxargslen}{\em f plist pred start top$-$reduction$-$only ring \/}$">|;
|
---|
705 |
|
---|
706 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcgmpredring}{_inline}MSF=2.5;AAT;/;
|
---|
707 | $cached_env_img{$key} = q|<IMG WIDTH="359" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
708 | SRC="img54.gif"
|
---|
709 | ALT="$\textstyle\parbox{\pboxargslen}{\em c g m pred ring \/}$">|;
|
---|
710 |
|
---|
711 | $key = q/{_inline}textstyleparbox{pboxargslen}{embbnewgpredsf&optional(sort_inline-_inlinefirstnil)}{_inline}MSF=2.5;AAT;/;
|
---|
712 | $cached_env_img{$key} = q|<IMG WIDTH="518" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
713 | SRC="img83.gif"
|
---|
714 | ALT="$\textstyle\parbox{\pboxargslen}{\em b bnew g pred {\sf \&optional} (sort$-$first nil) \/}$">|;
|
---|
715 |
|
---|
716 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcring}{_inline}MSF=2.5;AAT;/;
|
---|
717 | $cached_env_img{$key} = q|<IMG WIDTH="492" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
|
---|
718 | SRC="img193.gif"
|
---|
719 | ALT="$\textstyle\parbox{\pboxargslen}{\em c ring \/}$">|;
|
---|
720 |
|
---|
721 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistsf&aux(k(lengthplist))}{_inline}MSF=2.5;AAT;/;
|
---|
722 | $cached_env_img{$key} = q|<IMG WIDTH="472" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
723 | SRC="img36.gif"
|
---|
724 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist {\sf \&aux} (k (length plist)) \/}$">|;
|
---|
725 |
|
---|
726 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsf&bodybody}{_inline}MSF=2.5;AAT;/;
|
---|
727 | $cached_env_img{$key} = q|<IMG WIDTH="627" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
728 | SRC="img182.gif"
|
---|
729 | ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&body} body \/}$">|;
|
---|
730 |
|
---|
731 | $key = q/{_inline}textstyleparbox{pboxargslen}{emexpr(varlst)sf&restmore}{_inline}MSF=2.5;AAT;/;
|
---|
732 | $cached_env_img{$key} = q|<IMG WIDTH="608" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
733 | SRC="img183.gif"
|
---|
734 | ALT="$\textstyle\parbox{\pboxargslen}{\em expr (var lst) {\sf \&rest} more \/}$">|;
|
---|
735 |
|
---|
736 | $key = q/{_inline}textstyleparbox{pboxargslen}{empn}{_inline}MSF=2.5;AAT;/;
|
---|
737 | $cached_env_img{$key} = q|<IMG WIDTH="549" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
738 | SRC="img207.gif"
|
---|
739 | ALT="$\textstyle\parbox{\pboxargslen}{\em p n \/}$">|;
|
---|
740 |
|
---|
741 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(order#'lex_inline>_inline)(m(lengthf))(n(length(caaaarf)))}{_inline}MSF=2.5;AAT;/;
|
---|
742 | $cached_env_img{$key} = q|<IMG WIDTH="554" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
743 | SRC="img137.gif"
|
---|
744 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (order \char93 'lex$\gt$) (m
|
---|
745 | (length f)) (n
|
---|
746 | (length
|
---|
747 | (caaaar f))) \/}$">|;
|
---|
748 |
|
---|
749 | $key = q/{_inline}textstyleparbox{pboxargslen}{emtermf}{_inline}MSF=2.5;AAT;/;
|
---|
750 | $cached_env_img{$key} = q|<IMG WIDTH="472" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
751 | SRC="img130.gif"
|
---|
752 | ALT="$\textstyle\parbox{\pboxargslen}{\em term f \/}$">|;
|
---|
753 |
|
---|
754 | $key = q/{_inline}textstyleparbox{pboxargslen}{empoly_inline-_inlineor_inline-_inlinepoly_inline-_inlinelistsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
755 | $cached_env_img{$key} = q|<IMG WIDTH="544" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
756 | SRC="img171.gif"
|
---|
757 | ALT="$\textstyle\parbox{\pboxargslen}{\em poly$-$or$-$poly$-$list {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|;
|
---|
758 |
|
---|
759 | $key = q/{_inline}textstyleparbox{pboxargslen}{emgbhpredringsf&auxcdeb_inline-_inlinenewg_inline-_inlinenewpair}{_inline}MSF=2.5;AAT;/;
|
---|
760 | $cached_env_img{$key} = q|<IMG WIDTH="564" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
761 | SRC="img48.gif"
|
---|
762 | ALT="$\textstyle\parbox{\pboxargslen}{\em g b h pred ring {\sf \&aux} c d e b$-$new g$-$new pair \/}$">|;
|
---|
763 |
|
---|
764 | $key = q/{_inline}textstyleparbox{pboxargslen}{emgpredring}{_inline}MSF=2.5;AAT;/;
|
---|
765 | $cached_env_img{$key} = q|<IMG WIDTH="465" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
766 | SRC="img42.gif"
|
---|
767 | ALT="$\textstyle\parbox{\pboxargslen}{\em g pred ring \/}$">|;
|
---|
768 |
|
---|
769 | $key = q/{_inline}textstyleparbox{pboxargslen}{emnil}{_inline}MSF=2.5;AAT;/;
|
---|
770 | $cached_env_img{$key} = q|<IMG WIDTH="495" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
771 | SRC="img1.gif"
|
---|
772 | ALT="$\textstyle\parbox{\pboxargslen}{\em nil \/}$">|;
|
---|
773 |
|
---|
774 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcpring}{_inline}MSF=2.5;AAT;/;
|
---|
775 | $cached_env_img{$key} = q|<IMG WIDTH="389" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
|
---|
776 | SRC="img195.gif"
|
---|
777 | ALT="$\textstyle\parbox{\pboxargslen}{\em c p ring \/}$">|;
|
---|
778 |
|
---|
779 | $key = q/{_inline}textstyleparbox{pboxargslen}{emstring_inline-_inlineor_inline-_inlinelist}{_inline}MSF=2.5;AAT;/;
|
---|
780 | $cached_env_img{$key} = q|<IMG WIDTH="542" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
781 | SRC="img66.gif"
|
---|
782 | ALT="$\textstyle\parbox{\pboxargslen}{\em string$-$or$-$list \/}$">|;
|
---|
783 |
|
---|
784 | $key = q/{_inline}textstyleparbox{pboxargslen}{emabc}{_inline}MSF=2.5;AAT;/;
|
---|
785 | $cached_env_img{$key} = q|<IMG WIDTH="598" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
786 | SRC="img142.gif"
|
---|
787 | ALT="$\textstyle\parbox{\pboxargslen}{\em a b c \/}$">|;
|
---|
788 |
|
---|
789 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfideal_inline-_inlinelistpredstarttop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
|
---|
790 | $cached_env_img{$key} = q|<IMG WIDTH="468" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
791 | SRC="img41.gif"
|
---|
792 | ALT="$\textstyle\parbox{\pboxargslen}{\em f ideal$-$list pred start top$-$reduction$-$only ring \/}$">|;
|
---|
793 |
|
---|
794 | $key = q/{_inline}textstyleparbox{pboxargslen}{emgfpredring}{_inline}MSF=2.5;AAT;/;
|
---|
795 | $cached_env_img{$key} = q|<IMG WIDTH="520" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
796 | SRC="img43.gif"
|
---|
797 | ALT="$\textstyle\parbox{\pboxargslen}{\em g f pred ring \/}$">|;
|
---|
798 |
|
---|
799 | $key = q/{_inline}textstyleparbox{pboxargslen}{emg1g2sf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
800 | $cached_env_img{$key} = q|<IMG WIDTH="510" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
801 | SRC="img29.gif"
|
---|
802 | ALT="$\textstyle\parbox{\pboxargslen}{\em g1 g2 {\sf \&optional} (pred
|
---|
803 | \char93 'lex$\gt$) (ring
|
---|
804 | *coefficient$-$ring*) \/}$">|;
|
---|
805 |
|
---|
806 | $key = q/{_inline}textstyleparbox{pboxargslen}{empolysf&optional(pred#'lex_inline>_inline)(start0)((unless(nullpoly)(length(caarpoly))))}{_inline}MSF=2.5;AAT;/;
|
---|
807 | $cached_env_img{$key} = q|<IMG WIDTH="544" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
808 | SRC="img156.gif"
|
---|
809 | ALT="$\textstyle\parbox{\pboxargslen}{\em poly {\sf \&optional} (pred
|
---|
810 | \char93 'lex$\gt$) (start
|
---|
811 | 0) (end
|
---|
812 | (unless
|
---|
813 | (null poly)
|
---|
814 | (length
|
---|
815 | (caar poly)))) \/}$">|;
|
---|
816 |
|
---|
817 | $key = q/{_inline}textstyleparbox{pboxargslen}{emvarssf&optional(order#'lex_inline>_inline)(streamt)}{_inline}MSF=2.5;AAT;/;
|
---|
818 | $cached_env_img{$key} = q|<IMG WIDTH="453" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
819 | SRC="img168.gif"
|
---|
820 | ALT="$\textstyle\parbox{\pboxargslen}{\em vars {\sf \&optional} (order
|
---|
821 | \char93 'lex$\gt$) (stream t) \/}$">|;
|
---|
822 |
|
---|
823 | $key = q/{_inline}textstyleparbox{pboxargslen}{emporder}{_inline}MSF=2.5;AAT;/;
|
---|
824 | $cached_env_img{$key} = q|<IMG WIDTH="523" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
825 | SRC="img170.gif"
|
---|
826 | ALT="$\textstyle\parbox{\pboxargslen}{\em p order \/}$">|;
|
---|
827 |
|
---|
828 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistvarsstreamsf&optional(begt)}{_inline}MSF=2.5;AAT;/;
|
---|
829 | $cached_env_img{$key} = q|<IMG WIDTH="516" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
830 | SRC="img203.gif"
|
---|
831 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars stream {\sf \&optional} (beg t) \/}$">|;
|
---|
832 |
|
---|
833 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgvarssf&key(top_inline-_inlinereductionineto_inline-_inlinesorted_inline-_inlinealistgvarsorder))}{_inline}MSF=2.5;AAT;/;
|
---|
834 | $cached_env_img{$key} = q|<IMG WIDTH="478" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
|
---|
835 | SRC="img63.gif"
|
---|
836 | ALT="$\textstyle\parbox{\pboxargslen}{\em f g vars {\sf \&key} (top$-$reduction$-$onl...
|
---|
837 | ...
|
---|
838 | vars
|
---|
839 | order)) (g
|
---|
840 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
841 | g
|
---|
842 | vars
|
---|
843 | order)) \/}$">|;
|
---|
844 |
|
---|
845 | $key = q/{_inline}textstyleparbox{pboxargslen}{em(sf&restassumptions)(sf&restconclusions)}{_inline}MSF=2.5;AAT;/;
|
---|
846 | $cached_env_img{$key} = q|<IMG WIDTH="526" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
847 | SRC="img147.gif"
|
---|
848 | ALT="$\textstyle\parbox{\pboxargslen}{\em ({\sf \&rest} assumptions) ({\sf \&rest} conclusions) \/}$">|;
|
---|
849 |
|
---|
850 | $key = q/{_inline}textstyleparbox{pboxargslen}{empairgsf&aux(i(firstpair))(j(secondpair))}{_inline}MSF=2.5;AAT;/;
|
---|
851 | $cached_env_img{$key} = q|<IMG WIDTH="533" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
852 | SRC="img17.gif"
|
---|
853 | ALT="$\textstyle\parbox{\pboxargslen}{\em pair g {\sf \&aux} (i (first pair)) (j (second pair)) \/}$">|;
|
---|
854 |
|
---|
855 | $key = q/{_inline}textstyleparbox{pboxargslen}{ems}{_inline}MSF=2.5;AAT;/;
|
---|
856 | $cached_env_img{$key} = q|<IMG WIDTH="587" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
|
---|
857 | SRC="img209.gif"
|
---|
858 | ALT="$\textstyle\parbox{\pboxargslen}{\em s \/}$">|;
|
---|
859 |
|
---|
860 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplnorderring}{_inline}MSF=2.5;AAT;/;
|
---|
861 | $cached_env_img{$key} = q|<IMG WIDTH="532" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
862 | SRC="img179.gif"
|
---|
863 | ALT="$\textstyle\parbox{\pboxargslen}{\em p l n order ring \/}$">|;
|
---|
864 |
|
---|
865 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcondpgporderring}{_inline}MSF=2.5;AAT;/;
|
---|
866 | $cached_env_img{$key} = q|<IMG WIDTH="522" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
867 | SRC="img75.gif"
|
---|
868 | ALT="$\textstyle\parbox{\pboxargslen}{\em cond p end gp order ring \/}$">|;
|
---|
869 |
|
---|
870 | $key = q/{_inline}textstyleparbox{pboxargslen}{emmk}{_inline}MSF=2.5;AAT;/;
|
---|
871 | $cached_env_img{$key} = q|<IMG WIDTH="470" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
872 | SRC="img21.gif"
|
---|
873 | ALT="$\textstyle\parbox{\pboxargslen}{\em m k \/}$">|;
|
---|
874 |
|
---|
875 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
876 | $cached_env_img{$key} = q|<IMG WIDTH="529" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
877 | SRC="img155.gif"
|
---|
878 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (ring *coefficient$-$ring*) \/}$">|;
|
---|
879 |
|
---|
880 | $key = q/{_inline}textstyleparbox{pboxargslen}{empqnorderring}{_inline}MSF=2.5;AAT;/;
|
---|
881 | $cached_env_img{$key} = q|<IMG WIDTH="561" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
882 | SRC="img176.gif"
|
---|
883 | ALT="$\textstyle\parbox{\pboxargslen}{\em p q n order ring \/}$">|;
|
---|
884 |
|
---|
885 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistring}{_inline}MSF=2.5;AAT;/;
|
---|
886 | $cached_env_img{$key} = q|<IMG WIDTH="500" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
887 | SRC="img19.gif"
|
---|
888 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist ring \/}$">|;
|
---|
889 |
|
---|
890 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfflmain_inline-_inlineorderparameter_inlineordertop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
|
---|
891 | $cached_env_img{$key} = q|<IMG WIDTH="474" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
892 | SRC="img86.gif"
|
---|
893 | ALT="$\textstyle\parbox{\pboxargslen}{\em f fl main$-$order parameter$-$order top$-$reduction$-$only ring \/}$">|;
|
---|
894 |
|
---|
895 | $key = q/{_inline}textstyleparbox{pboxargslen}{emabsf&optional(order#'lex_inline>_inline)sf&aux(n(lengthb))}{_inline}MSF=2.5;AAT;/;
|
---|
896 | $cached_env_img{$key} = q|<IMG WIDTH="423" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
897 | SRC="img131.gif"
|
---|
898 | ALT="$\textstyle\parbox{\pboxargslen}{\em a b {\sf \&optional} (order
|
---|
899 | \char93 'lex$\gt$) {\sf \&aux} (n
|
---|
900 | (length
|
---|
901 | b)) \/}$">|;
|
---|
902 |
|
---|
903 | $key = q/{_inline}textstyleparbox{pboxargslen}{emnumdenom}{_inline}MSF=2.5;AAT;/;
|
---|
904 | $cached_env_img{$key} = q|<IMG WIDTH="505" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
905 | SRC="img205.gif"
|
---|
906 | ALT="$\textstyle\parbox{\pboxargslen}{\em num denom \/}$">|;
|
---|
907 |
|
---|
908 | $key = q/{_inline}textstyleparbox{pboxargslen}{empoly}{_inline}MSF=2.5;AAT;/;
|
---|
909 | $cached_env_img{$key} = q|<IMG WIDTH="348" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
910 | SRC="img189.gif"
|
---|
911 | ALT="$\textstyle\parbox{\pboxargslen}{\em poly \/}$">|;
|
---|
912 |
|
---|
913 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfpring}{_inline}MSF=2.5;AAT;/;
|
---|
914 | $cached_env_img{$key} = q|<IMG WIDTH="444" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
915 | SRC="img38.gif"
|
---|
916 | ALT="$\textstyle\parbox{\pboxargslen}{\em f p ring \/}$">|;
|
---|
917 |
|
---|
918 | $key = q/{_inline}textstyleparbox{pboxargslen}{emmethodsf&aux(strategy_inline-_inlinefn(esmallest_inline-_inlinecoefficient_inline-_inlinelength)))}{_inline}MSF=2.5;AAT;/;
|
---|
919 | $cached_env_img{$key} = q|<IMG WIDTH="551" HEIGHT="173" ALIGN="MIDDLE" BORDER="0"
|
---|
920 | SRC="img16.gif"
|
---|
921 | ALT="$\textstyle\parbox{\pboxargslen}{\em method {\sf \&aux} (strategy$-$fn
|
---|
922 | (ecase
|
---|
923 | ...
|
---|
924 | ...ar93 'buchberger$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length))) \/}$">|;
|
---|
925 |
|
---|
926 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfflpredtop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
|
---|
927 | $cached_env_img{$key} = q|<IMG WIDTH="520" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
928 | SRC="img10.gif"
|
---|
929 | ALT="$\textstyle\parbox{\pboxargslen}{\em f fl pred top$-$reduction$-$only ring \/}$">|;
|
---|
930 |
|
---|
931 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistvars}{_inline}MSF=2.5;AAT;/;
|
---|
932 | $cached_env_img{$key} = q|<IMG WIDTH="539" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
933 | SRC="img163.gif"
|
---|
934 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars \/}$">|;
|
---|
935 |
|
---|
936 | $key = q/{_inline}textstyleparbox{pboxargslen}{emtail}{_inline}MSF=2.5;AAT;/;
|
---|
937 | $cached_env_img{$key} = q|<IMG WIDTH="355" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
938 | SRC="img191.gif"
|
---|
939 | ALT="$\textstyle\parbox{\pboxargslen}{\em tail \/}$">|;
|
---|
940 |
|
---|
941 | $key = q/{_inline}textstyleparbox{pboxargslen}{emnsf&optional(kn)sf&aux(result1)}{_inline}MSF=2.5;AAT;/;
|
---|
942 | $cached_env_img{$key} = q|<IMG WIDTH="556" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
943 | SRC="img119.gif"
|
---|
944 | ALT="$\textstyle\parbox{\pboxargslen}{\em n {\sf \&optional} (k n) {\sf \&aux} (result 1) \/}$">|;
|
---|
945 |
|
---|
946 | $key = q/{_inline}textstyleparbox{pboxargslen}{empplistpredtop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
|
---|
947 | $cached_env_img{$key} = q|<IMG WIDTH="511" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
948 | SRC="img33.gif"
|
---|
949 | ALT="$\textstyle\parbox{\pboxargslen}{\em p plist pred top$-$reduction$-$only ring \/}$">|;
|
---|
950 |
|
---|
951 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistksf&key(key#'identity)}{_inline}MSF=2.5;AAT;/;
|
---|
952 | $cached_env_img{$key} = q|<IMG WIDTH="493" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
953 | SRC="img24.gif"
|
---|
954 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist k {\sf \&key} (key \char93 'identity) \/}$">|;
|
---|
955 |
|
---|
956 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistmonomsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
957 | $cached_env_img{$key} = q|<IMG WIDTH="527" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
958 | SRC="img160.gif"
|
---|
959 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist monom {\sf \&optional} (pred
|
---|
960 | \char93 'lex$\gt$) (ring
|
---|
961 | *coefficient$-$ring*) \/}$">|;
|
---|
962 |
|
---|
963 | $key = q/{_inline}textstyleparbox{pboxargslen}{emindlst}{_inline}MSF=2.5;AAT;/;
|
---|
964 | $cached_env_img{$key} = q|<IMG WIDTH="573" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
965 | SRC="img185.gif"
|
---|
966 | ALT="$\textstyle\parbox{\pboxargslen}{\em ind lst \/}$">|;
|
---|
967 |
|
---|
968 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfj}{_inline}MSF=2.5;AAT;/;
|
---|
969 | $cached_env_img{$key} = q|<IMG WIDTH="517" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
970 | SRC="img126.gif"
|
---|
971 | ALT="$\textstyle\parbox{\pboxargslen}{\em f j \/}$">|;
|
---|
972 |
|
---|
973 | $key = q/{_inline}textstyleparbox{pboxargslen}{emgsparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
|
---|
974 | $cached_env_img{$key} = q|<IMG WIDTH="411" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
975 | SRC="img106.gif"
|
---|
976 | ALT="$\textstyle\parbox{\pboxargslen}{\em gs parameter$-$order ring \/}$">|;
|
---|
977 |
|
---|
978 | $key = q/{_inline}textstyleparbox{pboxargslen}{empqring}{_inline}MSF=2.5;AAT;/;
|
---|
979 | $cached_env_img{$key} = q|<IMG WIDTH="566" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
|
---|
980 | SRC="img178.gif"
|
---|
981 | ALT="$\textstyle\parbox{\pboxargslen}{\em p q ring \/}$">|;
|
---|
982 |
|
---|
983 | $key = q/{_inline}textstyleparbox{pboxargslen}{empgsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
984 | $cached_env_img{$key} = q|<IMG WIDTH="490" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
985 | SRC="img30.gif"
|
---|
986 | ALT="$\textstyle\parbox{\pboxargslen}{\em p g {\sf \&optional} (pred
|
---|
987 | \char93 'lex$\gt$) (ring
|
---|
988 | *coefficient$-$ring*) \/}$">|;
|
---|
989 |
|
---|
990 | $key = q/{_inline}textstyleparbox{pboxargslen}{emmsf&optional(start0)((lengthm))}{_inline}MSF=2.5;AAT;/;
|
---|
991 | $cached_env_img{$key} = q|<IMG WIDTH="522" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
992 | SRC="img150.gif"
|
---|
993 | ALT="$\textstyle\parbox{\pboxargslen}{\em m {\sf \&optional} (start 0) (end (length m)) \/}$">|;
|
---|
994 |
|
---|
995 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfgredpred}{_inline}MSF=2.5;AAT;/;
|
---|
996 | $cached_env_img{$key} = q|<IMG WIDTH="503" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
997 | SRC="img45.gif"
|
---|
998 | ALT="$\textstyle\parbox{\pboxargslen}{\em f gred pred \/}$">|;
|
---|
999 |
|
---|
1000 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfvarsparamssf&key(cover(list(list"[]""[]ine-_inlinecovercoverparamsparameter_inline-_inlineorder))}{_inline}MSF=2.5;AAT;/;
|
---|
1001 | $cached_env_img{$key} = q|<IMG WIDTH="447" HEIGHT="150" ALIGN="MIDDLE" BORDER="0"
|
---|
1002 | SRC="img95.gif"
|
---|
1003 | ALT="$\textstyle\parbox{\pboxargslen}{\em f vars params {\sf \&key} (cover
|
---|
1004 | (list
|
---|
1005 | (l...
|
---|
1006 | ...meter$-$order)) (cover
|
---|
1007 | (string$-$cover
|
---|
1008 | cover
|
---|
1009 | params
|
---|
1010 | parameter$-$order)) \/}$">|;
|
---|
1011 |
|
---|
1012 | $key = q/{_inline}textstyleparbox{pboxargslen}{emstrvarssf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
1013 | $cached_env_img{$key} = q|<IMG WIDTH="401" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1014 | SRC="img169.gif"
|
---|
1015 | ALT="$\textstyle\parbox{\pboxargslen}{\em str vars {\sf \&optional} (order
|
---|
1016 | \char93 'lex$\gt$) \/}$">|;
|
---|
1017 |
|
---|
1018 | $key = q/{_inline}textstyleparbox{pboxargslen}{emstrvars}{_inline}MSF=2.5;AAT;/;
|
---|
1019 | $cached_env_img{$key} = q|<IMG WIDTH="456" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1020 | SRC="img167.gif"
|
---|
1021 | ALT="$\textstyle\parbox{\pboxargslen}{\em str vars \/}$">|;
|
---|
1022 |
|
---|
1023 | $key = q/{_inline}textstyleparbox{pboxargslen}{emhring}{_inline}MSF=2.5;AAT;/;
|
---|
1024 | $cached_env_img{$key} = q|<IMG WIDTH="354" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1025 | SRC="img55.gif"
|
---|
1026 | ALT="$\textstyle\parbox{\pboxargslen}{\em h ring \/}$">|;
|
---|
1027 |
|
---|
1028 | $key = q/{_inline}textstyleparbox{pboxargslen}{emppredringsf&aux(p(remove_inline-_inlineif#'poly_inline-_inlineconstant_inline-_inlinepp))}{_inline}MSF=2.5;AAT;/;
|
---|
1029 | $cached_env_img{$key} = q|<IMG WIDTH="513" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1030 | SRC="img108.gif"
|
---|
1031 | ALT="$\textstyle\parbox{\pboxargslen}{\em p pred ring {\sf \&aux} (p
|
---|
1032 | (remove$-$if
|
---|
1033 | \char93 'poly$-$constant$-$p
|
---|
1034 | p)) \/}$">|;
|
---|
1035 |
|
---|
1036 | $key = q/{_inline}textstyleparbox{pboxargslen}{empqpredring}{_inline}MSF=2.5;AAT;/;
|
---|
1037 | $cached_env_img{$key} = q|<IMG WIDTH="478" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1038 | SRC="img198.gif"
|
---|
1039 | ALT="$\textstyle\parbox{\pboxargslen}{\em p q pred ring \/}$">|;
|
---|
1040 |
|
---|
1041 | $key = q/{_inline}textstyleparbox{pboxargslen}{empring}{_inline}MSF=2.5;AAT;/;
|
---|
1042 | $cached_env_img{$key} = q|<IMG WIDTH="446" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
|
---|
1043 | SRC="img9.gif"
|
---|
1044 | ALT="$\textstyle\parbox{\pboxargslen}{\em p ring \/}$">|;
|
---|
1045 |
|
---|
1046 | $key = q/{_inline}textstyleparbox{pboxargslen}{empqmain_inline-_inlineorderparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
|
---|
1047 | $cached_env_img{$key} = q|<IMG WIDTH="508" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1048 | SRC="img93.gif"
|
---|
1049 | ALT="$\textstyle\parbox{\pboxargslen}{\em p q main$-$order parameter$-$order ring \/}$">|;
|
---|
1050 |
|
---|
1051 | $key = q/{_inline}textstyleparbox{pboxargslen}{empq}{_inline}MSF=2.5;AAT;/;
|
---|
1052 | $cached_env_img{$key} = q|<IMG WIDTH="427" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1053 | SRC="img200.gif"
|
---|
1054 | ALT="$\textstyle\parbox{\pboxargslen}{\em p q \/}$">|;
|
---|
1055 |
|
---|
1056 | $key = q/{_inline}textstyleparbox{pboxargslen}{emabsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
|
---|
1057 | $cached_env_img{$key} = q|<IMG WIDTH="348" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1058 | SRC="img132.gif"
|
---|
1059 | ALT="$\textstyle\parbox{\pboxargslen}{\em a b {\sf \&optional} (order
|
---|
1060 | \char93 'lex$\gt$) \/}$">|;
|
---|
1061 |
|
---|
1062 | $key = q/{_inline}textstyleparbox{pboxargslen}{emb}{_inline}MSF=2.5;AAT;/;
|
---|
1063 | $cached_env_img{$key} = q|<IMG WIDTH="574" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1064 | SRC="img188.gif"
|
---|
1065 | ALT="$\textstyle\parbox{\pboxargslen}{\em b \/}$">|;
|
---|
1066 |
|
---|
1067 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsugar}{_inline}MSF=2.5;AAT;/;
|
---|
1068 | $cached_env_img{$key} = q|<IMG WIDTH="340" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1069 | SRC="img190.gif"
|
---|
1070 | ALT="$\textstyle\parbox{\pboxargslen}{\em sugar \/}$">|;
|
---|
1071 |
|
---|
1072 | $key = q/{_inline}textstyleparbox{pboxargslen}{emsf&restassumptions}{_inline}MSF=2.5;AAT;/;
|
---|
1073 | $cached_env_img{$key} = q|<IMG WIDTH="498" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1074 | SRC="img145.gif"
|
---|
1075 | ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&rest} assumptions \/}$">|;
|
---|
1076 |
|
---|
1077 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(m(lengthf))(n(length(caaaarf)))}{_inline}MSF=2.5;AAT;/;
|
---|
1078 | $cached_env_img{$key} = q|<IMG WIDTH="514" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1079 | SRC="img136.gif"
|
---|
1080 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (m (length f)) (n (length (caaaar f))) \/}$">|;
|
---|
1081 |
|
---|
1082 | $key = q/{_inline}textstyleparbox{pboxargslen}{emf}{_inline}MSF=2.5;AAT;/;
|
---|
1083 | $cached_env_img{$key} = q|<IMG WIDTH="549" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1084 | SRC="img88.gif"
|
---|
1085 | ALT="$\textstyle\parbox{\pboxargslen}{\em f \/}$">|;
|
---|
1086 |
|
---|
1087 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfvarsparamssf&key(cond'([][]))(main_inlinline-_inlinecondcondparamsparameter_inline-_inlineorder))}{_inline}MSF=2.5;AAT;/;
|
---|
1088 | $cached_env_img{$key} = q|<IMG WIDTH="492" HEIGHT="130" ALIGN="MIDDLE" BORDER="0"
|
---|
1089 | SRC="img100.gif"
|
---|
1090 | ALT="$\textstyle\parbox{\pboxargslen}{\em f vars params {\sf \&key} (cond
|
---|
1091 | '([] [])) ...
|
---|
1092 | ...arameter$-$order)) (cond
|
---|
1093 | (string$-$cond
|
---|
1094 | cond
|
---|
1095 | params
|
---|
1096 | parameter$-$order)) \/}$">|;
|
---|
1097 |
|
---|
1098 | $key = q/{_inline}textstyleparbox{pboxargslen}{emtermring}{_inline}MSF=2.5;AAT;/;
|
---|
1099 | $cached_env_img{$key} = q|<IMG WIDTH="455" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
|
---|
1100 | SRC="img94.gif"
|
---|
1101 | ALT="$\textstyle\parbox{\pboxargslen}{\em term ring \/}$">|;
|
---|
1102 |
|
---|
1103 | $key = q/{_inline}textstyleparbox{pboxargslen}{emmodulus}{_inline}MSF=2.5;AAT;/;
|
---|
1104 | $cached_env_img{$key} = q|<IMG WIDTH="467" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1105 | SRC="img112.gif"
|
---|
1106 | ALT="$\textstyle\parbox{\pboxargslen}{\em modulus \/}$">|;
|
---|
1107 |
|
---|
1108 | $key = q/{_inline}textstyleparbox{pboxargslen}{emf1f2sf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
1109 | $cached_env_img{$key} = q|<IMG WIDTH="515" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1110 | SRC="img32.gif"
|
---|
1111 | ALT="$\textstyle\parbox{\pboxargslen}{\em f1 f2 {\sf \&optional} (pred
|
---|
1112 | \char93 'lex$\gt$) (ring
|
---|
1113 | *coefficient$-$ring*) \/}$">|;
|
---|
1114 |
|
---|
1115 | $key = q/{_inline}textstyleparbox{pboxargslen}{emlvarssf&optional(streamt)beg}{_inline}MSF=2.5;AAT;/;
|
---|
1116 | $cached_env_img{$key} = q|<IMG WIDTH="534" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1117 | SRC="img204.gif"
|
---|
1118 | ALT="$\textstyle\parbox{\pboxargslen}{\em l vars {\sf \&optional} (stream t) beg \/}$">|;
|
---|
1119 |
|
---|
1120 | $key = q/{_inline}textstyleparbox{pboxargslen}{em#'grevlex_inline>_inlinespace}{_inline}MSF=2.5;AAT;/;
|
---|
1121 | $cached_env_img{$key} = q|<IMG WIDTH="510" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1122 | SRC="img138.gif"
|
---|
1123 | ALT="$\textstyle\parbox{\pboxargslen}{\em \char93 'grevlex$\gt$\space \/}$">|;
|
---|
1124 |
|
---|
1125 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfvarssf&key(order#'lex_inline>_inline)(sineto_inline-_inlinesorted_inline-_inlinealistfvarsorder))}{_inline}MSF=2.5;AAT;/;
|
---|
1126 | $cached_env_img{$key} = q|<IMG WIDTH="488" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
|
---|
1127 | SRC="img64.gif"
|
---|
1128 | ALT="$\textstyle\parbox{\pboxargslen}{\em f vars {\sf \&key} (order
|
---|
1129 | \char93 'lex$\gt...
|
---|
1130 | ...$-$vars
|
---|
1131 | vars)) (f
|
---|
1132 | (parse$-$string$-$to$-$sorted$-$alist
|
---|
1133 | f
|
---|
1134 | vars
|
---|
1135 | order)) \/}$">|;
|
---|
1136 |
|
---|
1137 | $key = q/{_inline}textstyleparbox{pboxargslen}{empsf&optional(m(list0))}{_inline}MSF=2.5;AAT;/;
|
---|
1138 | $cached_env_img{$key} = q|<IMG WIDTH="524" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1139 | SRC="img161.gif"
|
---|
1140 | ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&optional} (m (list 0)) \/}$">|;
|
---|
1141 |
|
---|
1142 | $key = q/{_inline}textstyleparbox{pboxargslen}{emxy}{_inline}MSF=2.5;AAT;/;
|
---|
1143 | $cached_env_img{$key} = q|<IMG WIDTH="580" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1144 | SRC="img219.gif"
|
---|
1145 | ALT="$\textstyle\parbox{\pboxargslen}{\em x y \/}$">|;
|
---|
1146 |
|
---|
1147 | $key = q/{_inline}textstyleparbox{pboxargslen}{emmf}{_inline}MSF=2.5;AAT;/;
|
---|
1148 | $cached_env_img{$key} = q|<IMG WIDTH="453" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1149 | SRC="img129.gif"
|
---|
1150 | ALT="$\textstyle\parbox{\pboxargslen}{\em m f \/}$">|;
|
---|
1151 |
|
---|
1152 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(cond(listnilnil))}{_inline}MSF=2.5;AAT;/;
|
---|
1153 | $cached_env_img{$key} = q|<IMG WIDTH="536" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1154 | SRC="img70.gif"
|
---|
1155 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (cond (list nil nil)) \/}$">|;
|
---|
1156 |
|
---|
1157 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfflpredring}{_inline}MSF=2.5;AAT;/;
|
---|
1158 | $cached_env_img{$key} = q|<IMG WIDTH="511" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1159 | SRC="img46.gif"
|
---|
1160 | ALT="$\textstyle\parbox{\pboxargslen}{\em f fl pred ring \/}$">|;
|
---|
1161 |
|
---|
1162 | $key = q/{_inline}textstyleparbox{pboxargslen}{emterm1term2}{_inline}MSF=2.5;AAT;/;
|
---|
1163 | $cached_env_img{$key} = q|<IMG WIDTH="498" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1164 | SRC="img215.gif"
|
---|
1165 | ALT="$\textstyle\parbox{\pboxargslen}{\em term1 term2 \/}$">|;
|
---|
1166 |
|
---|
1167 | $key = q/{_inline}textstyleparbox{pboxargslen}{emabr}{_inline}MSF=2.5;AAT;/;
|
---|
1168 | $cached_env_img{$key} = q|<IMG WIDTH="522" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1169 | SRC="img143.gif"
|
---|
1170 | ALT="$\textstyle\parbox{\pboxargslen}{\em a b r \/}$">|;
|
---|
1171 |
|
---|
1172 | $key = q/{_inline}textstyleparbox{pboxargslen}{em+_inline-_inlinespace*gcdlcmzeropunitlengthsignumnumeratordenominator}{_inline}MSF=2.5;AAT;/;
|
---|
1173 | $cached_env_img{$key} = q|<IMG WIDTH="565" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1174 | SRC="img109.gif"
|
---|
1175 | ALT="$\textstyle\parbox{\pboxargslen}{\em + $-$\space * / gcd lcm zerop unit length signum numerator denominator \/}$">|;
|
---|
1176 |
|
---|
1177 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(k1)}{_inline}MSF=2.5;AAT;/;
|
---|
1178 | $cached_env_img{$key} = q|<IMG WIDTH="512" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1179 | SRC="img27.gif"
|
---|
1180 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (k 1) \/}$">|;
|
---|
1181 |
|
---|
1182 | $key = q/{_inline}textstyleparbox{pboxargslen}{emijf}{_inline}MSF=2.5;AAT;/;
|
---|
1183 | $cached_env_img{$key} = q|<IMG WIDTH="471" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1184 | SRC="img84.gif"
|
---|
1185 | ALT="$\textstyle\parbox{\pboxargslen}{\em i j f \/}$">|;
|
---|
1186 |
|
---|
1187 | $key = q/{_inline}textstyleparbox{pboxargslen}{empolyksf&key(key#'identity)(main_inline-_(parameter_inline-_inlineorder#'lex_inline>_inline)sf&auxl}{_inline}MSF=2.5;AAT;/;
|
---|
1188 | $cached_env_img{$key} = q|<IMG WIDTH="471" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
1189 | SRC="img67.gif"
|
---|
1190 | ALT="$\textstyle\parbox{\pboxargslen}{\em poly k {\sf \&key} (key
|
---|
1191 | \char93 'identity)...
|
---|
1192 | ...er
|
---|
1193 | \char93 'lex$\gt$) (parameter$-$order
|
---|
1194 | \char93 'lex$\gt$) {\sf \&aux} l \/}$">|;
|
---|
1195 |
|
---|
1196 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(cond(listnilnil))(order#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
|
---|
1197 | $cached_env_img{$key} = q|<IMG WIDTH="543" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1198 | SRC="img74.gif"
|
---|
1199 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (cond (list nil nil)) (order
|
---|
1200 | \char93 'lex$\gt$) (ring
|
---|
1201 | *coefficient$-$ring*) \/}$">|;
|
---|
1202 |
|
---|
1203 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistn}{_inline}MSF=2.5;AAT;/;
|
---|
1204 | $cached_env_img{$key} = q|<IMG WIDTH="514" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1205 | SRC="img35.gif"
|
---|
1206 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist n \/}$">|;
|
---|
1207 |
|
---|
1208 | $key = q/{_inline}textstyleparbox{pboxargslen}{emorder}{_inline}MSF=2.5;AAT;/;
|
---|
1209 | $cached_env_img{$key} = q|<IMG WIDTH="466" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1210 | SRC="img152.gif"
|
---|
1211 | ALT="$\textstyle\parbox{\pboxargslen}{\em order \/}$">|;
|
---|
1212 |
|
---|
1213 | $key = q/{_inline}textstyleparbox{pboxargslen}{emlstj}{_inline}MSF=2.5;AAT;/;
|
---|
1214 | $cached_env_img{$key} = q|<IMG WIDTH="550" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1215 | SRC="img127.gif"
|
---|
1216 | ALT="$\textstyle\parbox{\pboxargslen}{\em lst j \/}$">|;
|
---|
1217 |
|
---|
1218 | $key = q/{_inline}textstyleparbox{pboxargslen}{emf_inline-_inlinewith_inline-_inlinesugarg_inline-_inlinewith_inline-_inlinesugarring}{_inline}MSF=2.5;AAT;/;
|
---|
1219 | $cached_env_img{$key} = q|<IMG WIDTH="527" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1220 | SRC="img50.gif"
|
---|
1221 | ALT="$\textstyle\parbox{\pboxargslen}{\em f$-$with$-$sugar g$-$with$-$sugar ring \/}$">|;
|
---|
1222 |
|
---|
1223 | $key = q/{_inline}textstyleparbox{pboxargslen}{emasf&optional(order#'lex_inline>_inline)(identity_inline-_inlinematrix(lengtha)(length(caaaara)))))}{_inline}MSF=2.5;AAT;/;
|
---|
1224 | $cached_env_img{$key} = q|<IMG WIDTH="463" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
|
---|
1225 | SRC="img133.gif"
|
---|
1226 | ALT="$\textstyle\parbox{\pboxargslen}{\em a {\sf \&optional} (order
|
---|
1227 | \char93 'lex$\gt$) (b
|
---|
1228 | (list
|
---|
1229 | (identity$-$matrix
|
---|
1230 | (length a)
|
---|
1231 | (length
|
---|
1232 | (caaaar a))))) \/}$">|;
|
---|
1233 |
|
---|
1234 | $key = q/{_inline}textstyleparbox{pboxargslen}{emplistvarssf&optional(streamt)}{_inline}MSF=2.5;AAT;/;
|
---|
1235 | $cached_env_img{$key} = q|<IMG WIDTH="537" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1236 | SRC="img201.gif"
|
---|
1237 | ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars {\sf \&optional} (stream t) \/}$">|;
|
---|
1238 |
|
---|
1239 | $key = q/{_inline}textstyleparbox{pboxargslen}{emterm1term2orderring}{_inline}MSF=2.5;AAT;/;
|
---|
1240 | $cached_env_img{$key} = q|<IMG WIDTH="509" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1241 | SRC="img91.gif"
|
---|
1242 | ALT="$\textstyle\parbox{\pboxargslen}{\em term1 term2 order ring \/}$">|;
|
---|
1243 |
|
---|
1244 | $key = q/{_inline}textstyleparbox{pboxargslen}{emcondfparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
|
---|
1245 | $cached_env_img{$key} = q|<IMG WIDTH="413" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1246 | SRC="img104.gif"
|
---|
1247 | ALT="$\textstyle\parbox{\pboxargslen}{\em cond f parameter$-$order ring \/}$">|;
|
---|
1248 |
|
---|
1249 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&key(cover(list'(nilnil)))(main_inlin(determinefcondparameter_inline-_inlineorderring))cover)))}{_inline}MSF=2.5;AAT;/;
|
---|
1250 | $cached_env_img{$key} = q|<IMG WIDTH="499" HEIGHT="130" ALIGN="MIDDLE" BORDER="0"
|
---|
1251 | SRC="img82.gif"
|
---|
1252 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&key} (cover (list '(nil nil))) (ma...
|
---|
1253 | ...char93 '(lambda (cond) (determine f cond parameter$-$order ring))
|
---|
1254 | cover))) \/}$">|;
|
---|
1255 |
|
---|
1256 | $key = q/{_inline}textstyleparbox{pboxargslen}{embcpredring}{_inline}MSF=2.5;AAT;/;
|
---|
1257 | $cached_env_img{$key} = q|<IMG WIDTH="261" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1258 | SRC="img49.gif"
|
---|
1259 | ALT="$\textstyle\parbox{\pboxargslen}{\em b c pred ring \/}$">|;
|
---|
1260 |
|
---|
1261 | $key = q/{_inline}textstyleparbox{pboxargslen}{empvarssf&optional(streamt)(begt)(p_inline-_inlineorigp)}{_inline}MSF=2.5;AAT;/;
|
---|
1262 | $cached_env_img{$key} = q|<IMG WIDTH="518" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1263 | SRC="img211.gif"
|
---|
1264 | ALT="$\textstyle\parbox{\pboxargslen}{\em p vars {\sf \&optional} (stream t) (beg t) (p$-$orig p) \/}$">|;
|
---|
1265 |
|
---|
1266 | $key = q/{_inline}textstyleparbox{pboxargslen}{emgamma}{_inline}MSF=2.5;AAT;/;
|
---|
1267 | $cached_env_img{$key} = q|<IMG WIDTH="472" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
|
---|
1268 | SRC="img81.gif"
|
---|
1269 | ALT="$\textstyle\parbox{\pboxargslen}{\em gamma \/}$">|;
|
---|
1270 |
|
---|
1271 | $key = q/{_inline}textstyleparbox{pboxargslen}{embgpredring}{_inline}MSF=2.5;AAT;/;
|
---|
1272 | $cached_env_img{$key} = q|<IMG WIDTH="451" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
|
---|
1273 | SRC="img13.gif"
|
---|
1274 | ALT="$\textstyle\parbox{\pboxargslen}{\em b g pred ring \/}$">|;
|
---|
1275 |
|
---|
1276 | $key = q/{_inline}textstyleparbox{pboxargslen}{emflistvarsksf&key(streamt)(key#'identity)ne-_inlineorder))sf&aux(vars(read_inline-_inlinevarsvars))}{_inline}MSF=2.5;AAT;/;
|
---|
1277 | $cached_env_img{$key} = q|<IMG WIDTH="439" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
|
---|
1278 | SRC="img58.gif"
|
---|
1279 | ALT="$\textstyle\parbox{\pboxargslen}{\em flist vars k {\sf \&key} (stream
|
---|
1280 | t) (key
|
---|
1281 | ...
|
---|
1282 | ...ondary$-$order
|
---|
1283 | secondary$-$order)) {\sf \&aux} (vars
|
---|
1284 | (read$-$vars
|
---|
1285 | vars)) \/}$">|;
|
---|
1286 |
|
---|
1287 | $key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(order#'lex_inline>_inline)sf&aux(resultnil)}{_inline}MSF=2.5;AAT;/;
|
---|
1288 | $cached_env_img{$key} = q|<IMG WIDTH="528" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
|
---|
1289 | SRC="img123.gif"
|
---|
1290 | ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (order \char93 'lex$\gt$) {\sf \&aux} (result nil) \/}$">|;
|
---|
1291 |
|
---|
1292 | 1;
|
---|
1293 |
|
---|