# LaTeX2HTML 97.1 (release) (July 13th, 1997)
# Associate images original text with physical files.


$key = q/{_inline}textstyleparbox{pboxargslen}{emfppredstarttop_inline-_inlinereduction_ipred(elimination_inline-_inlineorder_inline-_inline1pred))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="476" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img34.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f p pred start top$-$reduction$-$only ring {\sf \&aux} (pred
 (elimination$-$order$-$1
 pred)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emf_inline-_inlinewith_inline-_inlinesugarg_inline-_inlinewith_inline-_inlinesugarpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="484" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img51.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f$-$with$-$sugar g$-$with$-$sugar pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empoly_inline-_inlinelistvarssf&key(streaminline-_inlinepartnil)(mark_inline-_inlinecoefficientsnil)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="442" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img73.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em poly$-$list vars {\sf \&key} (stream
 t) (beg
 t) (print$-$green$-$part
 nil) (mark$-$coefficients
 nil) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfflsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)sf&aux(s(lengthfl))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="571" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img114.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f fl {\sf \&optional} (pred \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) {\sf \&aux} (s
 (length
 fl)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emf_inline-_inlineno_inline-_inlinesugarprnespace(lengthf_inline-_inlineno_inline-_inlinesugar)))bmf}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="443" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img52.gif"
 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 \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsf&restargs}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="576" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img7.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&rest} args \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emtermforderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="426" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img89.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term f order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emabcd}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="562" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img141.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em a b c d \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcondtermrestpgporderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="448" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img76.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cond term restp end gp order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgmain_inline-_inlineorderparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="530" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img87.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g main$-$order parameter$-$order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empolynsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="540" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img159.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em poly n {\sf \&optional} (pred
 \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emnumber_inline-_inlineor_inline-_inlinepolyn}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="495" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img175.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em number$-$or$-$poly n \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empnring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="521" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img177.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p n ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emtermfring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="396" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img196.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term f ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsystemvarsparamssf&key(suppress_inline-_partnil)(mark_inline-_inlinecoefficientsnil)sf&aux(label0)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="474" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img77.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em system vars params {\sf \&key} (suppress$-$...
 ...rint$-$green$-$part
 nil) (mark$-$coefficients
 nil) {\sf \&aux} (label
 0) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfi}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="543" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img125.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f i \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empolyvarssf&key(streamt)(begt)(print_inliinline-_inlinepartnil)(mark_inline-_inlinecoefficientsnil)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="475" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img72.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em poly vars {\sf \&key} (stream
 t) (beg
 t) (print$-$green$-$part
 nil) (mark$-$coefficients
 nil) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfnsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="459" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img117.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f n {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfm}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="496" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img120.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f m \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emc1c2mabpredringsf&auxna1a2}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="529" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img12.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em c1 c2 m a b pred ring {\sf \&aux} n a1 a2 \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emexprvarlohisf&optional(step1)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="577" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img180.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em expr var lo hi {\sf \&optional} (step 1) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgpred}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="526" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img14.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g pred \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfijsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="572" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img124.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f i j {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcfring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="419" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img90.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em c f ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgsf&optional(order#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="480" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img115.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g {\sf \&optional} (order
 \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgpredtop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="487" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img26.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g pred top$-$reduction$-$only ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empqsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="570" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img157.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p q {\sf \&optional} (pred \char93 'lex$\gt$) (ring *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfxsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="461" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img118.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f x {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfflvarssf&key(streamt)(printt)(order#'lene-_inlinevaluet)sf&aux(vars(read_inline-_inlinevarsvars))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="468" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
 SRC="img56.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f fl vars {\sf \&key} (stream
 t) (print
 t...
 ...ient$-$ring*) (suppress$-$value
 t) {\sf \&aux} (vars
 (read$-$vars
 vars)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em(sf&restassumptions)(sf&restconclusions)sf&key(order*prover_inline-_inlineorder*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="549" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img148.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em ({\sf \&rest} assumptions) ({\sf \&rest}
 conclusions) {\sf \&key} (order
 *prover$-$order*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcoefficient}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="395" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img218.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em coefficient \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empvarssf&aux(ht(make_inline-_inlinehash_inline-_inlinetable:test#'equal:size16))stack}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="517" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img164.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p vars {\sf \&aux} (ht
 (make$-$hash$-$table
 :test
 \char93 'equal
 :size
 16)) stack \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emexprvarsorderringsf&aux(n(lengthvars))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="521" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img172.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em expr vars order ring {\sf \&aux} (n (length vars)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empvarssf&optional(streamt)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="516" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img202.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p vars {\sf \&optional} (stream t) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsf&reststatements}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="507" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img144.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&rest} statements \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcpsf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="481" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img153.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em c p {\sf \&optional} (ring *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emmonom}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="414" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img217.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em monom \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcpoly}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="451" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img71.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cpoly \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emexprvarssf&optional(order#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="543" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img173.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em expr vars {\sf \&optional} (order
 \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcondparams}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="533" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img78.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cond params \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em'gebauer_inline-_inlinemoeller_inline-_is_inline-_inlineuse_inline-_inlinemock_inline-_inlinespoly}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="384" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img3.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em 'gebauer$-$moeller$-$merge$-$pairs$-$use$-$mock$-$spoly \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcoverorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="506" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img98.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cover order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfideal_inline-_inlinelistvarssf&key(orde_inline-_inlinealistgvarsorder))ideal_inline-_inlinelist))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="417" HEIGHT="130" ALIGN="MIDDLE" BORDER="0"
 SRC="img62.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f ideal$-$list vars {\sf \&key} (order
 \ch...
 ...da (g) (parse$-$string$-$to$-$sorted$-$alist g vars order))
 ideal$-$list)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emm}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="511" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img192.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em m \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfpredstarttop_inline-_inlinereduction_inline-_inlineonlyringsf&auxbgf1}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="494" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img47.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f pred start top$-$reduction$-$only ring {\sf \&aux} b g f1 \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcondorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="510" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img99.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cond order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfvarsparamsmain_inline-_inlineorderparamx(k(lengthvars))(vars_inline-_inlineparams(appvarsparams))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="412" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img107.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f vars params main$-$order parameter$-$order {\sf \&aux} (k
 (length
 vars)) (vars$-$params
 (append
 vars
 params)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcn}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="520" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img208.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em c n \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emnsf&aux(basis(copy_inline-_inlinetree(mainline-_inlinelistn:initial_inline-_inlineelement0)1))))))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="514" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img174.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em n {\sf \&aux} (basis
 (copy$-$tree
 (make$-...
 ...
 (list 'quote
 (list
 (cons
 (make$-$list n :initial$-$element 0)
 1)))))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empolyring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="495" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img194.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em poly ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfplistvarssf&key(order#'lex_inline>_inlio_inline-_inlinesorted_inline-_inlinealistplistvarsorder))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="395" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
 SRC="img61.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f plist vars {\sf \&key} (order
 \char93 'l...
 ...order)) (plist
 (parse$-$string$-$to$-$sorted$-$alist
 plist
 vars
 order)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsf}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="466" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img128.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em s f \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em(make_inline-_inlinering:+#'+:_inline-_iinatorx)))):numerator#'numerator:denominator#'denominator)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="475" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
 SRC="img111.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em (make$-$ring :+ \char93 '+ :$-$\space \char...
 ...or x))))
 :numerator \char93 'numerator :denominator
 \char93 'denominator) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em'buchberger}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="480" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img4.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em 'buchberger \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emnksf&optional(coeff1)sf&aux(v(make_inline-_inlinelistn:initial_inline-_inlineelement0))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="497" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img121.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em n k {\sf \&optional} (coeff
 1) {\sf \&aux} (v
 (make$-$list
 n
 :initial$-$element
 0)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emftermgpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="461" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img199.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f term g pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfksf&optional(l1)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="516" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img122.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f k {\sf \&optional} (l 1) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emdimnvars}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="503" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img134.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em dim nvars \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="545" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img28.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g {\sf \&optional} (pred \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em(make_inline-_inlinering:+#'+:_inline-_inlinelength:numerator#'numerator:denominator#'denominator)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="482" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
 SRC="img110.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em (make$-$ring :+ \char93 '+ :$-$\space \char...
 ...$-$length :numerator \char93 'numerator
 :denominator \char93 'denominator) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emksf&key(primary_inline-_inlineorder#'lexinline)(secondary_inline-_inlineorder#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="488" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img151.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em k {\sf \&key} (primary$-$order
 \char93 'lex$\gt$) (secondary$-$order
 \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empsf&aux(l(degp))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="466" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img210.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&aux} (l (deg p)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emvarssf&optionalstream}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="508" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img166.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em vars {\sf \&optional} stream \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emflistsf&optional(cond(listnilnil))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="503" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img69.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em flist {\sf \&optional} (cond (list nil nil)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsf&optionalstream}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="576" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img162.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&optional} stream \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em'buchberger_inline-_inlinemerge_inline-_inlinepairs_inline-_inlinesmallest_inline-_inlinelcm}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="425" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img2.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em 'buchberger$-$merge$-$pairs$-$smallest$-$lcm \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfmgpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="553" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img158.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f m g pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="437" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img197.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emexpr(varlohisf&optional(step1))sf&restmore}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="598" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img181.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em expr (var lo hi {\sf \&optional} (step 1)) {\sf \&rest} more \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empk}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="492" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img23.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p k \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emexprvarlst}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="587" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img184.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em expr var lst \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(pred#'lex_inline>_inline)(sline-_inlineonlynil)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="559" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img6.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (pred \char93 'lex$\gt$) (start
 0) (top$-$reduction$-$only
 nil) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfpredstarttop_inline-_inlinereduction_in_inlineonlyringsf&aux(s(1_inline-_inlinespace(lengthf)))bm}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="535" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img11.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f pred start top$-$reduction$-$only ring {\sf \&aux} (s (1$-$\space (length f))) b m \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empairgmsf&aux(i(firstpair))(j(secondpair))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="533" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img18.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em pair g m {\sf \&aux} (i (first pair)) (j (second pair)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfvars}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="522" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img135.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f vars \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emtermk}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="489" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img22.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term k \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emab}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="504" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img140.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em a b \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emgsmain_inline-_inlineorderparameter_inline-_inlineorderreducegreen_inline-_inlinereducering}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="460" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img101.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em gs main$-$order parameter$-$order reduce green$-$reduce ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emterm1term2sf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="571" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img213.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term1 term2 {\sf \&optional} (ring *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emmterm}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="465" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img214.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em m term \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcondparamssf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="527" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img96.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cond params {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emc1c2}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="570" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img92.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em c1 c2 \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emppredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="547" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img20.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcondflparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="421" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img105.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cond fl parameter$-$order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em*ring_inline-_inlineof_inline-_inlineintegers*}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="492" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img113.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em *ring$-$of$-$integers* \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsf&restconclusions}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="504" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img146.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&rest} conclusions \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emp}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="538" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img80.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emtermfsf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="488" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img154.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term f {\sf \&optional} (ring *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emflistksf&key(primary_inline-_inlineorderline-_inlineonlynil)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="491" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
 SRC="img25.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em flist k {\sf \&key} (primary$-$order
 \char...
 ...ondary$-$order)) (top$-$reduction$-$only
 nil) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{embcgmpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="343" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img53.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em b c g m pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfpvarssf&key(order#'lex_inline>_inline)(ineto_inline-_inlinesorted_inline-_inlinealistpvarsorder))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="424" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
 SRC="img60.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f p vars {\sf \&key} (order
 \char93 'lex$\...
 ...
 vars
 order)) (p
 (parse$-$string$-$to$-$sorted$-$alist
 p
 vars
 order)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistvarssf&key(order#'lex_inline>_inlininering*)(printt)sf&aux(vars(read_inline-_inlinevarsvars))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="507" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
 SRC="img57.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars {\sf \&key} (order
 \char93 'lex...
 ...g
 *coefficient$-$ring*) (print
 t) {\sf \&aux} (vars
 (read$-$vars
 vars)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcondpmain_inline-_inlineorderparameter_iine-_inlineorderringsf&aux(open(list(listcondnilp)))closed}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="485" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img103.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cond p main$-$order parameter$-$order ring {\sf \&aux} (open
 (list
 (list
 cond
 nil
 p))) closed \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emterm}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="558" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img216.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empairmain_inline-_inlineorderparameter_ine-_inlineorderreducegreen_inline-_inlinereduceringsf&auxgs}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="546" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img102.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em pair main$-$order parameter$-$order reduce green$-$reduce ring {\sf \&aux} gs \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emppred}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="523" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img44.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p pred \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emm1m2}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="552" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img186.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em m1 m2 \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emf1f2predtop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="530" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img31.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f1 f2 pred top$-$reduction$-$only ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgpredstarttop_inline-_inlinereduction_iex_inline>_inlinespace:secondary_inline-_inlineorderpred))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="497" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
 SRC="img40.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g pred start top$-$reduction$-$only ring ...
 ...$order k :primary$-$order \char93 'lex$\gt$\space :secondary$-$order pred)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsymbolnumber}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="577" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img139.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em symbol number \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empsf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="430" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img65.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&optional} (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcoverparamssf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="523" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img97.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cover params {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgvarssf&key(order#'lex_inline>_inline)(ineto_inline-_inlinesorted_inline-_inlinealistgvarsorder))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="435" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
 SRC="img59.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g vars {\sf \&key} (order
 \char93 'lex$\...
 ...
 vars
 order)) (g
 (parse$-$string$-$to$-$sorted$-$alist
 g
 vars
 order)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emgspred}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="541" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img79.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em gs pred \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emmonomvarssf&aux(tab(pairlisvars(make_inl-_inlinelist(lengthvars):initial_inline-_inlineelement0)))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="564" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img165.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em monom vars {\sf \&aux} (tab
 (pairlis vars
 (make$-$list (length vars)
 :initial$-$element 0))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emscalarp}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="490" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img206.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em scalar p \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emalgorithm}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="429" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img5.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em algorithm \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{embcgpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="301" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img15.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em b c g pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistsf&restrest}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="438" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img68.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist {\sf \&rest} rest \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="576" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img8.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empqsf&optional(start0)((lengthp))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="580" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img149.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p q {\sf \&optional} (start 0) (end (length p)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empsf&aux(htab(make_inline-_inlinehash_inline-_inlinetable))q}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="505" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img212.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&aux} (htab (make$-$hash$-$table)) q \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="435" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img116.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfg}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="469" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img187.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfplistringsf&aux(k(lengthplist))(d(+k(length(caaarplist))))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="465" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img37.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f plist ring {\sf \&aux} (k
 (length plist)) (d
 (+
 k
 (length
 (caaar
 plist)))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emijfbs}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="471" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img85.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em i j f b s \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfplistpredstarttop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="447" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img39.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f plist pred start top$-$reduction$-$only ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcgmpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="359" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img54.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em c g m pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{embbnewgpredsf&optional(sort_inline-_inlinefirstnil)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="518" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img83.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em b bnew g pred {\sf \&optional} (sort$-$first nil) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="492" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img193.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em c ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistsf&aux(k(lengthplist))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="472" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img36.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist {\sf \&aux} (k (length plist)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsf&bodybody}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="627" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img182.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&body} body \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emexpr(varlst)sf&restmore}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="608" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img183.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em expr (var lst) {\sf \&rest} more \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empn}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="549" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img207.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p n \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(order#'lex_inline>_inline)(m(lengthf))(n(length(caaaarf)))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="554" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img137.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (order \char93 'lex$\gt$) (m
 (length f)) (n
 (length
 (caaaar f))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emtermf}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="472" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img130.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term f \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empoly_inline-_inlineor_inline-_inlinepoly_inline-_inlinelistsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="544" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img171.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em poly$-$or$-$poly$-$list {\sf \&optional} (order \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emgbhpredringsf&auxcdeb_inline-_inlinenewg_inline-_inlinenewpair}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="564" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img48.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em g b h pred ring {\sf \&aux} c d e b$-$new g$-$new pair \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emgpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="465" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img42.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em g pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emnil}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="495" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img1.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em nil \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcpring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="389" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img195.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em c p ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emstring_inline-_inlineor_inline-_inlinelist}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="542" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img66.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em string$-$or$-$list \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emabc}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="598" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img142.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em a b c \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfideal_inline-_inlinelistpredstarttop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="468" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img41.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f ideal$-$list pred start top$-$reduction$-$only ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emgfpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="520" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img43.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em g f pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emg1g2sf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="510" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img29.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em g1 g2 {\sf \&optional} (pred
 \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empolysf&optional(pred#'lex_inline>_inline)(start0)((unless(nullpoly)(length(caarpoly))))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="544" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img156.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em poly {\sf \&optional} (pred
 \char93 'lex$\gt$) (start
 0) (end
 (unless
 (null poly)
 (length
 (caar poly)))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emvarssf&optional(order#'lex_inline>_inline)(streamt)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="453" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img168.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em vars {\sf \&optional} (order
 \char93 'lex$\gt$) (stream t) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emporder}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="523" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img170.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p order \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistvarsstreamsf&optional(begt)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="516" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img203.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars stream {\sf \&optional} (beg t) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgvarssf&key(top_inline-_inlinereductionineto_inline-_inlinesorted_inline-_inlinealistgvarsorder))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="478" HEIGHT="90" ALIGN="MIDDLE" BORDER="0"
 SRC="img63.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f g vars {\sf \&key} (top$-$reduction$-$onl...
 ...
 vars
 order)) (g
 (parse$-$string$-$to$-$sorted$-$alist
 g
 vars
 order)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em(sf&restassumptions)(sf&restconclusions)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="526" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img147.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em ({\sf \&rest} assumptions) ({\sf \&rest} conclusions) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empairgsf&aux(i(firstpair))(j(secondpair))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="533" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img17.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em pair g {\sf \&aux} (i (first pair)) (j (second pair)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{ems}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="587" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img209.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em s \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplnorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="532" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img179.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p l n order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcondpgporderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="522" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img75.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cond p end gp order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emmk}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="470" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img21.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em m k \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="529" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img155.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (ring *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empqnorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="561" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img176.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p q n order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="500" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img19.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfflmain_inline-_inlineorderparameter_inlineordertop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="474" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img86.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f fl main$-$order parameter$-$order top$-$reduction$-$only ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emabsf&optional(order#'lex_inline>_inline)sf&aux(n(lengthb))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="423" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img131.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em a b {\sf \&optional} (order
 \char93 'lex$\gt$) {\sf \&aux} (n
 (length
 b)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emnumdenom}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="505" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img205.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em num denom \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empoly}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="348" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img189.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em poly \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfpring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="444" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img38.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f p ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emmethodsf&aux(strategy_inline-_inlinefn(esmallest_inline-_inlinecoefficient_inline-_inlinelength)))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="551" HEIGHT="173" ALIGN="MIDDLE" BORDER="0"
 SRC="img16.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em method {\sf \&aux} (strategy$-$fn
 (ecase
 ...
 ...ar93 'buchberger$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfflpredtop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="520" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img10.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f fl pred top$-$reduction$-$only ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistvars}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="539" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img163.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emtail}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="355" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img191.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em tail \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emnsf&optional(kn)sf&aux(result1)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="556" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img119.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em n {\sf \&optional} (k n) {\sf \&aux} (result 1) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empplistpredtop_inline-_inlinereduction_inline-_inlineonlyring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="511" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img33.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p plist pred top$-$reduction$-$only ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistksf&key(key#'identity)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="493" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img24.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist k {\sf \&key} (key \char93 'identity) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistmonomsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="527" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img160.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist monom {\sf \&optional} (pred
 \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emindlst}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="573" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img185.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em ind lst \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfj}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="517" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img126.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f j \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emgsparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="411" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img106.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em gs parameter$-$order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empqring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="566" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img178.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p q ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empgsf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="490" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img30.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p g {\sf \&optional} (pred
 \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emmsf&optional(start0)((lengthm))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="522" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img150.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em m {\sf \&optional} (start 0) (end (length m)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfgredpred}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="503" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img45.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f gred pred \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfvarsparamssf&key(cover(list(list"[]""[]ine-_inlinecovercoverparamsparameter_inline-_inlineorder))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="447" HEIGHT="150" ALIGN="MIDDLE" BORDER="0"
 SRC="img95.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f vars params {\sf \&key} (cover
 (list
 (l...
 ...meter$-$order)) (cover
 (string$-$cover
 cover
 params
 parameter$-$order)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emstrvarssf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="401" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img169.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em str vars {\sf \&optional} (order
 \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emstrvars}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="456" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img167.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em str vars \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emhring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="354" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img55.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em h ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emppredringsf&aux(p(remove_inline-_inlineif#'poly_inline-_inlineconstant_inline-_inlinepp))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="513" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img108.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p pred ring {\sf \&aux} (p
 (remove$-$if
 \char93 'poly$-$constant$-$p
 p)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empqpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="478" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img198.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p q pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="446" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img9.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empqmain_inline-_inlineorderparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="508" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img93.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p q main$-$order parameter$-$order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empq}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="427" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img200.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p q \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emabsf&optional(order#'lex_inline>_inline)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="348" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img132.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em a b {\sf \&optional} (order
 \char93 'lex$\gt$) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emb}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="574" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img188.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em b \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsugar}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="340" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img190.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em sugar \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emsf&restassumptions}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="498" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img145.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em {\sf \&rest} assumptions \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(m(lengthf))(n(length(caaaarf)))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="514" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img136.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (m (length f)) (n (length (caaaar f))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emf}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="549" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img88.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfvarsparamssf&key(cond'([][]))(main_inlinline-_inlinecondcondparamsparameter_inline-_inlineorder))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="492" HEIGHT="130" ALIGN="MIDDLE" BORDER="0"
 SRC="img100.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f vars params {\sf \&key} (cond
 '([] [])) ...
 ...arameter$-$order)) (cond
 (string$-$cond
 cond
 params
 parameter$-$order)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emtermring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="455" HEIGHT="28" ALIGN="MIDDLE" BORDER="0"
 SRC="img94.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emmodulus}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="467" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img112.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em modulus \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emf1f2sf&optional(pred#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="515" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img32.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f1 f2 {\sf \&optional} (pred
 \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emlvarssf&optional(streamt)beg}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="534" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img204.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em l vars {\sf \&optional} (stream t) beg \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em#'grevlex_inline>_inlinespace}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="510" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img138.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em \char93 'grevlex$\gt$\space \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfvarssf&key(order#'lex_inline>_inline)(sineto_inline-_inlinesorted_inline-_inlinealistfvarsorder))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="488" HEIGHT="70" ALIGN="MIDDLE" BORDER="0"
 SRC="img64.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f vars {\sf \&key} (order
 \char93 'lex$\gt...
 ...$-$vars
 vars)) (f
 (parse$-$string$-$to$-$sorted$-$alist
 f
 vars
 order)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empsf&optional(m(list0))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="524" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img161.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p {\sf \&optional} (m (list 0)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emxy}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="580" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img219.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em x y \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emmf}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="453" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img129.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em m f \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(cond(listnilnil))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="536" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img70.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (cond (list nil nil)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfflpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="511" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img46.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f fl pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emterm1term2}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="498" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img215.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term1 term2 \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emabr}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="522" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img143.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em a b r \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{em+_inline-_inlinespace*gcdlcmzeropunitlengthsignumnumeratordenominator}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="565" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img109.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em + $-$\space * / gcd lcm zerop unit length signum numerator denominator \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(k1)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="512" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img27.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (k 1) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emijf}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="471" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img84.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em i j f \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empolyksf&key(key#'identity)(main_inline-_(parameter_inline-_inlineorder#'lex_inline>_inline)sf&auxl}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="471" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img67.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em poly k {\sf \&key} (key
 \char93 'identity)...
 ...er
 \char93 'lex$\gt$) (parameter$-$order
 \char93 'lex$\gt$) {\sf \&aux} l \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(cond(listnilnil))(order#'lex_inline>_inline)(ring*coefficient_inline-_inlinering*)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="543" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img74.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (cond (list nil nil)) (order
 \char93 'lex$\gt$) (ring
 *coefficient$-$ring*) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistn}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="514" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img35.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist n \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emorder}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="466" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img152.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em order \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emlstj}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="550" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img127.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em lst j \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emf_inline-_inlinewith_inline-_inlinesugarg_inline-_inlinewith_inline-_inlinesugarring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="527" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img50.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f$-$with$-$sugar g$-$with$-$sugar ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emasf&optional(order#'lex_inline>_inline)(identity_inline-_inlinematrix(lengtha)(length(caaaara)))))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="463" HEIGHT="50" ALIGN="MIDDLE" BORDER="0"
 SRC="img133.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em a {\sf \&optional} (order
 \char93 'lex$\gt$) (b
 (list
 (identity$-$matrix
 (length a)
 (length
 (caaaar a))))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emplistvarssf&optional(streamt)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="537" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img201.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em plist vars {\sf \&optional} (stream t) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emterm1term2orderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="509" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img91.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em term1 term2 order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emcondfparameter_inline-_inlineorderring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="413" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img104.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em cond f parameter$-$order ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&key(cover(list'(nilnil)))(main_inlin(determinefcondparameter_inline-_inlineorderring))cover)))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="499" HEIGHT="130" ALIGN="MIDDLE" BORDER="0"
 SRC="img82.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&key} (cover (list '(nil nil))) (ma...
 ...char93 '(lambda (cond) (determine f cond parameter$-$order ring))
 cover))) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{embcpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="261" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img49.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em b c pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{empvarssf&optional(streamt)(begt)(p_inline-_inlineorigp)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="518" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img211.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em p vars {\sf \&optional} (stream t) (beg t) (p$-$orig p) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emgamma}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="472" HEIGHT="27" ALIGN="MIDDLE" BORDER="0"
 SRC="img81.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em gamma \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{embgpredring}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="451" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img13.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em b g pred ring \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emflistvarsksf&key(streamt)(key#'identity)ne-_inlineorder))sf&aux(vars(read_inline-_inlinevarsvars))}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="439" HEIGHT="110" ALIGN="MIDDLE" BORDER="0"
 SRC="img58.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em flist vars k {\sf \&key} (stream
 t) (key
 ...
 ...ondary$-$order
 secondary$-$order)) {\sf \&aux} (vars
 (read$-$vars
 vars)) \/}$">|; 

$key = q/{_inline}textstyleparbox{pboxargslen}{emfsf&optional(order#'lex_inline>_inline)sf&aux(resultnil)}{_inline}MSF=2.5;AAT;/;
$cached_env_img{$key} = q|<IMG WIDTH="528" HEIGHT="31" ALIGN="MIDDLE" BORDER="0"
 SRC="img123.gif"
 ALT="$\textstyle\parbox{\pboxargslen}{\em f {\sf \&optional} (order \char93 'lex$\gt$) {\sf \&aux} (result nil) \/}$">|; 

1;