[1] | 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 |
|
---|