[1] | 1 | \relax
|
---|
| 2 | \@writefile{toc}{\contentsline {section}{\numberline {1}The Gr\"obner Basis package}{1}}
|
---|
| 3 | \@writefile{toc}{\contentsline {paragraph}{{\sf *grobner$-$debug*}}{1}}
|
---|
| 4 | \@writefile{toc}{\contentsline {paragraph}{{\sf *buchberger$-$merge$-$pairs*}}{1}}
|
---|
| 5 | \@writefile{toc}{\contentsline {paragraph}{{\sf *gebauer$-$moeller$-$merge$-$pairs*}}{1}}
|
---|
| 6 | \@writefile{toc}{\contentsline {paragraph}{{\sf *grobner$-$function*}}{1}}
|
---|
| 7 | \@writefile{toc}{\contentsline {paragraph}{{\sf select$-$grobner$-$algorithm}}{2}}
|
---|
| 8 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner}}{2}}
|
---|
| 9 | \@writefile{toc}{\contentsline {paragraph}{{\sf debug$-$cgb}}{2}}
|
---|
| 10 | \@writefile{toc}{\contentsline {paragraph}{{\sf spoly}}{2}}
|
---|
| 11 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$primitive$-$part}}{2}}
|
---|
| 12 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$content}}{2}}
|
---|
| 13 | \@writefile{toc}{\contentsline {paragraph}{{\sf normal$-$form}}{2}}
|
---|
| 14 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger}}{3}}
|
---|
| 15 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$op}}{3}}
|
---|
| 16 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$sort$-$pairs}}{3}}
|
---|
| 17 | \@writefile{toc}{\contentsline {paragraph}{{\sf mock$-$spoly}}{3}}
|
---|
| 18 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$use$-$mock$-$spoly}}{3}}
|
---|
| 19 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$smallest$-$lcm}}{3}}
|
---|
| 20 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$degree}}{3}}
|
---|
| 21 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$length}}{3}}
|
---|
| 22 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}}{3}}
|
---|
| 23 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$set$-$pair$-$heuristic}}{4}}
|
---|
| 24 | \@writefile{toc}{\contentsline {paragraph}{{\sf criterion$-$1}}{4}}
|
---|
| 25 | \@writefile{toc}{\contentsline {paragraph}{{\sf criterion$-$2}}{4}}
|
---|
| 26 | \@writefile{toc}{\contentsline {paragraph}{{\sf normalize$-$poly}}{4}}
|
---|
| 27 | \@writefile{toc}{\contentsline {paragraph}{{\sf normalize$-$basis}}{4}}
|
---|
| 28 | \@writefile{toc}{\contentsline {paragraph}{{\sf reduction}}{4}}
|
---|
| 29 | \@writefile{toc}{\contentsline {paragraph}{{\sf reduced$-$grobner}}{4}}
|
---|
| 30 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$depends$-$p}}{4}}
|
---|
| 31 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$depends$-$p}}{4}}
|
---|
| 32 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$depends$-$p}}{5}}
|
---|
| 33 | \@writefile{toc}{\contentsline {paragraph}{{\sf ring$-$intersection}}{5}}
|
---|
| 34 | \@writefile{toc}{\contentsline {paragraph}{{\sf elimination$-$ideal}}{5}}
|
---|
| 35 | \@writefile{toc}{\contentsline {paragraph}{{\sf ideal$-$intersection}}{5}}
|
---|
| 36 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$contract}}{5}}
|
---|
| 37 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$lcm}}{5}}
|
---|
| 38 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$gcd}}{5}}
|
---|
| 39 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$equal}}{5}}
|
---|
| 40 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$subsetp}}{6}}
|
---|
| 41 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$member}}{6}}
|
---|
| 42 | \@writefile{toc}{\contentsline {paragraph}{{\sf ideal$-$equal}}{6}}
|
---|
| 43 | \@writefile{toc}{\contentsline {paragraph}{{\sf ideal$-$subsetp}}{6}}
|
---|
| 44 | \@writefile{toc}{\contentsline {paragraph}{{\sf ideal$-$member}}{6}}
|
---|
| 45 | \@writefile{toc}{\contentsline {paragraph}{{\sf ideal$-$saturation$-$1}}{6}}
|
---|
| 46 | \@writefile{toc}{\contentsline {paragraph}{{\sf add$-$variables}}{6}}
|
---|
| 47 | \@writefile{toc}{\contentsline {paragraph}{{\sf extend$-$polynomials}}{6}}
|
---|
| 48 | \@writefile{toc}{\contentsline {paragraph}{{\sf saturation$-$extension}}{6}}
|
---|
| 49 | \@writefile{toc}{\contentsline {paragraph}{{\sf polysaturation$-$extension}}{7}}
|
---|
| 50 | \@writefile{toc}{\contentsline {paragraph}{{\sf saturation$-$extension$-$1}}{7}}
|
---|
| 51 | \@writefile{toc}{\contentsline {paragraph}{{\sf ideal$-$polysaturation$-$1}}{7}}
|
---|
| 52 | \@writefile{toc}{\contentsline {paragraph}{{\sf ideal$-$saturation}}{7}}
|
---|
| 53 | \@writefile{toc}{\contentsline {paragraph}{{\sf ideal$-$polysaturation}}{7}}
|
---|
| 54 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$criterion}}{7}}
|
---|
| 55 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$test}}{7}}
|
---|
| 56 | \@writefile{toc}{\contentsline {paragraph}{{\sf minimization}}{7}}
|
---|
| 57 | \@writefile{toc}{\contentsline {paragraph}{{\sf add$-$minimized}}{7}}
|
---|
| 58 | \@writefile{toc}{\contentsline {paragraph}{{\sf colon$-$ideal}}{8}}
|
---|
| 59 | \@writefile{toc}{\contentsline {paragraph}{{\sf colon$-$ideal$-$1}}{8}}
|
---|
| 60 | \@writefile{toc}{\contentsline {paragraph}{{\sf pseudo$-$divide}}{8}}
|
---|
| 61 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller}}{8}}
|
---|
| 62 | \@writefile{toc}{\contentsline {paragraph}{{\sf update}}{8}}
|
---|
| 63 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$mock$-$spoly}}{8}}
|
---|
| 64 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$smallest$-$lcm}}{8}}
|
---|
| 65 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$degree}}{8}}
|
---|
| 66 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$length}}{8}}
|
---|
| 67 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}}{8}}
|
---|
| 68 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller$-$set$-$pair$-$heuristic}}{9}}
|
---|
| 69 | \@writefile{toc}{\contentsline {paragraph}{{\sf spoly$-$sugar}}{9}}
|
---|
| 70 | \@writefile{toc}{\contentsline {paragraph}{{\sf spoly$-$with$-$sugar}}{9}}
|
---|
| 71 | \@writefile{toc}{\contentsline {paragraph}{{\sf normal$-$form$-$with$-$sugar}}{9}}
|
---|
| 72 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$with$-$sugar}}{9}}
|
---|
| 73 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$with$-$sugar$-$merge$-$pairs}}{9}}
|
---|
| 74 | \@writefile{toc}{\contentsline {paragraph}{{\sf buchberger$-$with$-$sugar$-$sort$-$pairs}}{9}}
|
---|
| 75 | \@writefile{toc}{\contentsline {paragraph}{{\sf criterion$-$1$-$with$-$sugar}}{9}}
|
---|
| 76 | \@writefile{toc}{\contentsline {paragraph}{{\sf criterion$-$2$-$with$-$sugar}}{10}}
|
---|
| 77 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller$-$with$-$sugar}}{10}}
|
---|
| 78 | \@writefile{toc}{\contentsline {paragraph}{{\sf update$-$with$-$sugar}}{10}}
|
---|
| 79 | \@writefile{toc}{\contentsline {paragraph}{{\sf gebauer$-$moeller$-$with$-$sugar$-$merge$-$pairs}}{10}}
|
---|
| 80 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$primitive$-$part$-$with$-$sugar}}{10}}
|
---|
| 81 | \@writefile{toc}{\contentsline {section}{\numberline {2}The String Interface to the Gr\"obner Basis package}{10}}
|
---|
| 82 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$normal$-$form}}{10}}
|
---|
| 83 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$grobner}}{10}}
|
---|
| 84 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$elimination$-$ideal}}{10}}
|
---|
| 85 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$ideal$-$intersection}}{10}}
|
---|
| 86 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$poly$-$lcm}}{11}}
|
---|
| 87 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$ideal$-$saturation$-$1}}{11}}
|
---|
| 88 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$ideal$-$polysaturation$-$1}}{11}}
|
---|
| 89 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$ideal$-$saturation}}{11}}
|
---|
| 90 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$ideal$-$polysaturation}}{11}}
|
---|
| 91 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$colon$-$ideal}}{11}}
|
---|
| 92 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$read$-$poly}}{11}}
|
---|
| 93 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$rational$-$to$-$integer}}{11}}
|
---|
| 94 | \@writefile{toc}{\contentsline {paragraph}{{\sf read$-$vars}}{11}}
|
---|
| 95 | \@writefile{toc}{\contentsline {section}{\numberline {3}The Comprehensive Gr\"obner basis package}{12}}
|
---|
| 96 | \@writefile{toc}{\contentsline {paragraph}{{\sf *colored$-$poly$-$debug*}}{12}}
|
---|
| 97 | \@writefile{toc}{\contentsline {paragraph}{{\sf debug$-$cgb}}{12}}
|
---|
| 98 | \@writefile{toc}{\contentsline {paragraph}{{\sf make$-$colored$-$poly}}{12}}
|
---|
| 99 | \@writefile{toc}{\contentsline {paragraph}{{\sf make$-$colored$-$poly$-$list}}{12}}
|
---|
| 100 | \@writefile{toc}{\contentsline {paragraph}{{\sf color$-$poly$-$list}}{12}}
|
---|
| 101 | \@writefile{toc}{\contentsline {paragraph}{{\sf color$-$poly}}{12}}
|
---|
| 102 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$poly$-$to$-$poly}}{12}}
|
---|
| 103 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$poly$-$print}}{12}}
|
---|
| 104 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$poly$-$print$-$list}}{12}}
|
---|
| 105 | \@writefile{toc}{\contentsline {paragraph}{{\sf determine}}{13}}
|
---|
| 106 | \@writefile{toc}{\contentsline {paragraph}{{\sf determine$-$1}}{13}}
|
---|
| 107 | \@writefile{toc}{\contentsline {paragraph}{{\sf determine$-$white$-$term}}{13}}
|
---|
| 108 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$system$-$print}}{13}}
|
---|
| 109 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$print}}{13}}
|
---|
| 110 | \@writefile{toc}{\contentsline {paragraph}{{\sf add$-$pairs}}{13}}
|
---|
| 111 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$part}}{14}}
|
---|
| 112 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$hm}}{14}}
|
---|
| 113 | \@writefile{toc}{\contentsline {paragraph}{{\sf delete$-$green$-$polys}}{14}}
|
---|
| 114 | \@writefile{toc}{\contentsline {paragraph}{{\sf grobner$-$system}}{14}}
|
---|
| 115 | \@writefile{toc}{\contentsline {paragraph}{{\sf reorder$-$pairs}}{14}}
|
---|
| 116 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$criterion$-$1}}{14}}
|
---|
| 117 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$criterion$-$2}}{14}}
|
---|
| 118 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$normal$-$form}}{14}}
|
---|
| 119 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$spoly}}{14}}
|
---|
| 120 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$lm}}{15}}
|
---|
| 121 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$lc}}{15}}
|
---|
| 122 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$term$-$times$-$poly}}{15}}
|
---|
| 123 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$scalar$-$times$-$poly}}{15}}
|
---|
| 124 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$term*}}{15}}
|
---|
| 125 | \@writefile{toc}{\contentsline {paragraph}{{\sf color*}}{15}}
|
---|
| 126 | \@writefile{toc}{\contentsline {paragraph}{{\sf color+}}{15}}
|
---|
| 127 | \@writefile{toc}{\contentsline {paragraph}{{\sf color$-$}}{15}}
|
---|
| 128 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$poly+}}{15}}
|
---|
| 129 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$poly$-$}}{15}}
|
---|
| 130 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$term$-$uminus}}{15}}
|
---|
| 131 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$minus$-$poly}}{15}}
|
---|
| 132 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$grobner$-$system}}{16}}
|
---|
| 133 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$cond}}{16}}
|
---|
| 134 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$cover}}{16}}
|
---|
| 135 | \@writefile{toc}{\contentsline {paragraph}{{\sf saturate$-$cover}}{16}}
|
---|
| 136 | \@writefile{toc}{\contentsline {paragraph}{{\sf saturate$-$cond}}{16}}
|
---|
| 137 | \@writefile{toc}{\contentsline {paragraph}{{\sf string$-$determine}}{16}}
|
---|
| 138 | \@writefile{toc}{\contentsline {paragraph}{{\sf tidy$-$grobner$-$system}}{16}}
|
---|
| 139 | \@writefile{toc}{\contentsline {paragraph}{{\sf tidy$-$pair}}{16}}
|
---|
| 140 | \@writefile{toc}{\contentsline {paragraph}{{\sf tidy$-$cond}}{16}}
|
---|
| 141 | \@writefile{toc}{\contentsline {paragraph}{{\sf colored$-$reduction}}{17}}
|
---|
| 142 | \@writefile{toc}{\contentsline {paragraph}{{\sf green$-$reduce$-$colored$-$poly}}{17}}
|
---|
| 143 | \@writefile{toc}{\contentsline {paragraph}{{\sf green$-$reduce$-$colored$-$list}}{17}}
|
---|
| 144 | \@writefile{toc}{\contentsline {paragraph}{{\sf cond$-$system$-$green$-$reduce}}{17}}
|
---|
| 145 | \@writefile{toc}{\contentsline {paragraph}{{\sf parse$-$to$-$colored$-$poly$-$list}}{17}}
|
---|
| 146 | \@writefile{toc}{\contentsline {paragraph}{{\sf red$-$reduction}}{17}}
|
---|
| 147 | \@writefile{toc}{\contentsline {section}{\numberline {4}The Coefficient Ring package}{17}}
|
---|
| 148 | \@writefile{toc}{\contentsline {paragraph}{{\sf ring}}{17}}
|
---|
| 149 | \@writefile{toc}{\contentsline {paragraph}{{\sf *ring$-$of$-$integers*}}{17}}
|
---|
| 150 | \@writefile{toc}{\contentsline {paragraph}{{\sf *field$-$of$-$rationals*}}{18}}
|
---|
| 151 | \@writefile{toc}{\contentsline {paragraph}{{\sf field$-$modulo$-$prime}}{18}}
|
---|
| 152 | \@writefile{toc}{\contentsline {paragraph}{{\sf *coefficient$-$ring*}}{18}}
|
---|
| 153 | \@writefile{toc}{\contentsline {section}{\numberline {5}The Division Package}{18}}
|
---|
| 154 | \@writefile{toc}{\contentsline {paragraph}{{\sf divide}}{18}}
|
---|
| 155 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$exact$-$divide}}{18}}
|
---|
| 156 | \@writefile{toc}{\contentsline {section}{\numberline {6}The Dynamical Systems package}{18}}
|
---|
| 157 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$scalar$-$composition}}{18}}
|
---|
| 158 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$composition}}{18}}
|
---|
| 159 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$dynamic$-$power}}{18}}
|
---|
| 160 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$scalar$-$evaluate}}{18}}
|
---|
| 161 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$evaluate}}{19}}
|
---|
| 162 | \@writefile{toc}{\contentsline {paragraph}{{\sf factorial}}{19}}
|
---|
| 163 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$scalar$-$diff}}{19}}
|
---|
| 164 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$diff}}{19}}
|
---|
| 165 | \@writefile{toc}{\contentsline {paragraph}{{\sf standard$-$vector}}{19}}
|
---|
| 166 | \@writefile{toc}{\contentsline {paragraph}{{\sf scalar$-$partial}}{19}}
|
---|
| 167 | \@writefile{toc}{\contentsline {paragraph}{{\sf partial}}{19}}
|
---|
| 168 | \@writefile{toc}{\contentsline {paragraph}{{\sf determinant}}{19}}
|
---|
| 169 | \@writefile{toc}{\contentsline {paragraph}{{\sf minor}}{19}}
|
---|
| 170 | \@writefile{toc}{\contentsline {paragraph}{{\sf drop$-$row}}{19}}
|
---|
| 171 | \@writefile{toc}{\contentsline {paragraph}{{\sf drop$-$column}}{19}}
|
---|
| 172 | \@writefile{toc}{\contentsline {paragraph}{{\sf drop$-$elt}}{19}}
|
---|
| 173 | \@writefile{toc}{\contentsline {paragraph}{{\sf matrix$-$}}{19}}
|
---|
| 174 | \@writefile{toc}{\contentsline {paragraph}{{\sf scalar$-$times$-$matrix}}{20}}
|
---|
| 175 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$times$-$matrix}}{20}}
|
---|
| 176 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$times$-$matrix}}{20}}
|
---|
| 177 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$list$-$}}{20}}
|
---|
| 178 | \@writefile{toc}{\contentsline {paragraph}{{\sf scalar$-$times$-$poly$-$list}}{20}}
|
---|
| 179 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$times$-$poly$-$list}}{20}}
|
---|
| 180 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$times$-$poly$-$list}}{20}}
|
---|
| 181 | \@writefile{toc}{\contentsline {paragraph}{{\sf characteristic$-$combination}}{20}}
|
---|
| 182 | \@writefile{toc}{\contentsline {paragraph}{{\sf characteristic$-$combination$-$poly$-$list}}{20}}
|
---|
| 183 | \@writefile{toc}{\contentsline {paragraph}{{\sf characteristic$-$matrix}}{20}}
|
---|
| 184 | \@writefile{toc}{\contentsline {paragraph}{{\sf characteristic$-$polynomial}}{20}}
|
---|
| 185 | \@writefile{toc}{\contentsline {paragraph}{{\sf identity$-$matrix}}{21}}
|
---|
| 186 | \@writefile{toc}{\contentsline {paragraph}{{\sf print$-$matrix}}{21}}
|
---|
| 187 | \@writefile{toc}{\contentsline {paragraph}{{\sf jacobi$-$matrix}}{21}}
|
---|
| 188 | \@writefile{toc}{\contentsline {paragraph}{{\sf jacobian}}{21}}
|
---|
| 189 | \@writefile{toc}{\contentsline {section}{\numberline {7}The Geometric Theorem Prover package}{21}}
|
---|
| 190 | \@writefile{toc}{\contentsline {paragraph}{{\sf *prover$-$order*}}{21}}
|
---|
| 191 | \@writefile{toc}{\contentsline {paragraph}{{\sf csym}}{21}}
|
---|
| 192 | \@writefile{toc}{\contentsline {paragraph}{{\sf real$-$identical$-$points}}{21}}
|
---|
| 193 | \@writefile{toc}{\contentsline {paragraph}{{\sf identical$-$points}}{21}}
|
---|
| 194 | \@writefile{toc}{\contentsline {paragraph}{{\sf perpendicular}}{21}}
|
---|
| 195 | \@writefile{toc}{\contentsline {paragraph}{{\sf parallel}}{21}}
|
---|
| 196 | \@writefile{toc}{\contentsline {paragraph}{{\sf collinear}}{22}}
|
---|
| 197 | \@writefile{toc}{\contentsline {paragraph}{{\sf equidistant}}{22}}
|
---|
| 198 | \@writefile{toc}{\contentsline {paragraph}{{\sf euclidean$-$distance}}{22}}
|
---|
| 199 | \@writefile{toc}{\contentsline {paragraph}{{\sf midpoint}}{22}}
|
---|
| 200 | \@writefile{toc}{\contentsline {paragraph}{{\sf translate$-$statements}}{22}}
|
---|
| 201 | \@writefile{toc}{\contentsline {paragraph}{{\sf translate$-$assumptions}}{22}}
|
---|
| 202 | \@writefile{toc}{\contentsline {paragraph}{{\sf translate$-$conclusions}}{22}}
|
---|
| 203 | \@writefile{toc}{\contentsline {paragraph}{{\sf translate$-$theorem}}{22}}
|
---|
| 204 | \@writefile{toc}{\contentsline {paragraph}{{\sf prove$-$theorem}}{22}}
|
---|
| 205 | \@writefile{toc}{\contentsline {section}{\numberline {8}The Monomial Order Package}{22}}
|
---|
| 206 | \@writefile{toc}{\contentsline {paragraph}{{\sf lex$>$}}{22}}
|
---|
| 207 | \@writefile{toc}{\contentsline {paragraph}{{\sf total$-$degree}}{23}}
|
---|
| 208 | \@writefile{toc}{\contentsline {paragraph}{{\sf grlex$>$}}{23}}
|
---|
| 209 | \@writefile{toc}{\contentsline {paragraph}{{\sf grevlex$>$}}{23}}
|
---|
| 210 | \@writefile{toc}{\contentsline {paragraph}{{\sf revlex$>$}}{23}}
|
---|
| 211 | \@writefile{toc}{\contentsline {paragraph}{{\sf invlex$>$}}{23}}
|
---|
| 212 | \@writefile{toc}{\contentsline {paragraph}{{\sf elimination$-$order}}{23}}
|
---|
| 213 | \@writefile{toc}{\contentsline {paragraph}{{\sf elimination$-$order$-$1}}{23}}
|
---|
| 214 | \@writefile{toc}{\contentsline {section}{\numberline {9}The Polynomial Package}{23}}
|
---|
| 215 | \@writefile{toc}{\contentsline {paragraph}{{\sf scalar$-$times$-$poly}}{23}}
|
---|
| 216 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$times$-$poly}}{23}}
|
---|
| 217 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$times$-$poly}}{23}}
|
---|
| 218 | \@writefile{toc}{\contentsline {paragraph}{{\sf minus$-$poly}}{23}}
|
---|
| 219 | \@writefile{toc}{\contentsline {paragraph}{{\sf sort$-$poly}}{24}}
|
---|
| 220 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly+}}{24}}
|
---|
| 221 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$}}{24}}
|
---|
| 222 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly*}}{24}}
|
---|
| 223 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$op}}{24}}
|
---|
| 224 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$expt}}{24}}
|
---|
| 225 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$mexpt}}{24}}
|
---|
| 226 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$constant$-$p}}{24}}
|
---|
| 227 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$extend}}{24}}
|
---|
| 228 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$extend$-$end}}{24}}
|
---|
| 229 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$zerop}}{24}}
|
---|
| 230 | \@writefile{toc}{\contentsline {paragraph}{{\sf lt}}{25}}
|
---|
| 231 | \@writefile{toc}{\contentsline {paragraph}{{\sf lm}}{25}}
|
---|
| 232 | \@writefile{toc}{\contentsline {paragraph}{{\sf lc}}{25}}
|
---|
| 233 | \@writefile{toc}{\contentsline {section}{\numberline {10}The Parser Package}{25}}
|
---|
| 234 | \@writefile{toc}{\contentsline {paragraph}{{\sf parse}}{25}}
|
---|
| 235 | \@writefile{toc}{\contentsline {paragraph}{{\sf alist$-$form}}{25}}
|
---|
| 236 | \@writefile{toc}{\contentsline {paragraph}{{\sf alist$-$form$-$1}}{25}}
|
---|
| 237 | \@writefile{toc}{\contentsline {paragraph}{{\sf powers}}{25}}
|
---|
| 238 | \@writefile{toc}{\contentsline {paragraph}{{\sf parse$-$to$-$alist}}{25}}
|
---|
| 239 | \@writefile{toc}{\contentsline {paragraph}{{\sf parse$-$string$-$to$-$alist}}{25}}
|
---|
| 240 | \@writefile{toc}{\contentsline {paragraph}{{\sf parse$-$to$-$sorted$-$alist}}{26}}
|
---|
| 241 | \@writefile{toc}{\contentsline {paragraph}{{\sf parse$-$string$-$to$-$sorted$-$alist}}{26}}
|
---|
| 242 | \@writefile{toc}{\contentsline {paragraph}{{\sf sort$-$poly$-$1}}{26}}
|
---|
| 243 | \@writefile{toc}{\contentsline {paragraph}{{\sf sort$-$poly}}{26}}
|
---|
| 244 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$eval$-$1}}{26}}
|
---|
| 245 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$eval}}{26}}
|
---|
| 246 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$basis}}{26}}
|
---|
| 247 | \@writefile{toc}{\contentsline {paragraph}{{\sf convert$-$number}}{26}}
|
---|
| 248 | \@writefile{toc}{\contentsline {paragraph}{{\sf \$poly+}}{27}}
|
---|
| 249 | \@writefile{toc}{\contentsline {paragraph}{{\sf \$poly$-$}}{27}}
|
---|
| 250 | \@writefile{toc}{\contentsline {paragraph}{{\sf \$minus$-$poly}}{27}}
|
---|
| 251 | \@writefile{toc}{\contentsline {paragraph}{{\sf \$poly*}}{27}}
|
---|
| 252 | \@writefile{toc}{\contentsline {paragraph}{{\sf \$poly/}}{27}}
|
---|
| 253 | \@writefile{toc}{\contentsline {paragraph}{{\sf \$poly$-$expt}}{27}}
|
---|
| 254 | \@writefile{toc}{\contentsline {section}{\numberline {11}Other packages}{27}}
|
---|
| 255 | \@writefile{toc}{\contentsline {paragraph}{{\sf makelist$-$1}}{27}}
|
---|
| 256 | \@writefile{toc}{\contentsline {paragraph}{{\sf makelist}}{27}}
|
---|
| 257 | \@writefile{toc}{\contentsline {paragraph}{{\sf sum}}{27}}
|
---|
| 258 | \@writefile{toc}{\contentsline {paragraph}{{\sf list$-$of}}{27}}
|
---|
| 259 | \@writefile{toc}{\contentsline {paragraph}{{\sf list$-$of$-$1}}{27}}
|
---|
| 260 | \@writefile{toc}{\contentsline {paragraph}{{\sf union$-$of}}{27}}
|
---|
| 261 | \@writefile{toc}{\contentsline {paragraph}{{\sf union$-$of$-$1}}{28}}
|
---|
| 262 | \@writefile{toc}{\contentsline {paragraph}{{\sf set$-$of}}{28}}
|
---|
| 263 | \@writefile{toc}{\contentsline {paragraph}{{\sf set$-$of$-$1}}{28}}
|
---|
| 264 | \@writefile{toc}{\contentsline {paragraph}{{\sf select}}{28}}
|
---|
| 265 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom/}}{28}}
|
---|
| 266 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom*}}{28}}
|
---|
| 267 | \@writefile{toc}{\contentsline {paragraph}{{\sf nmonom*}}{28}}
|
---|
| 268 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$divides$-$p}}{28}}
|
---|
| 269 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$divisible$-$by$-$p}}{28}}
|
---|
| 270 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$rel$-$prime}}{28}}
|
---|
| 271 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$equal}}{28}}
|
---|
| 272 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$lcm}}{28}}
|
---|
| 273 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$gcd}}{28}}
|
---|
| 274 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$gcd}}{28}}
|
---|
| 275 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$pseudo$-$divide}}{29}}
|
---|
| 276 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$pseudo$-$remainder}}{29}}
|
---|
| 277 | \@writefile{toc}{\contentsline {paragraph}{{\sf mdeg}}{29}}
|
---|
| 278 | \@writefile{toc}{\contentsline {paragraph}{{\sf lcoeff}}{29}}
|
---|
| 279 | \@writefile{toc}{\contentsline {paragraph}{{\sf lrest}}{29}}
|
---|
| 280 | \@writefile{toc}{\contentsline {paragraph}{{\sf lpart}}{29}}
|
---|
| 281 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$primitive$-$part}}{29}}
|
---|
| 282 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$content}}{29}}
|
---|
| 283 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$poly}}{29}}
|
---|
| 284 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$sugar}}{29}}
|
---|
| 285 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$tail}}{29}}
|
---|
| 286 | \@writefile{toc}{\contentsline {paragraph}{{\sf (setf poly$-$with$-$sugar$-$poly)}}{29}}
|
---|
| 287 | \@writefile{toc}{\contentsline {paragraph}{{\sf (setf poly$-$with$-$sugar$-$sugar)}}{29}}
|
---|
| 288 | \@writefile{toc}{\contentsline {paragraph}{{\sf (setf poly$-$with$-$sugar$-$tail)}}{29}}
|
---|
| 289 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$sugar}}{30}}
|
---|
| 290 | \@writefile{toc}{\contentsline {paragraph}{{\sf coefficient$-$sugar}}{30}}
|
---|
| 291 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$sugar}}{30}}
|
---|
| 292 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$add$-$sugar}}{30}}
|
---|
| 293 | \@writefile{toc}{\contentsline {paragraph}{{\sf scalar$-$times$-$poly$-$with$-$sugar}}{30}}
|
---|
| 294 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$times$-$poly$-$with$-$sugar}}{30}}
|
---|
| 295 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$times$-$poly$-$with$-$sugar}}{30}}
|
---|
| 296 | \@writefile{toc}{\contentsline {paragraph}{{\sf minus$-$poly$-$with$-$sugar}}{30}}
|
---|
| 297 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar+}}{30}}
|
---|
| 298 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$}}{30}}
|
---|
| 299 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$op}}{30}}
|
---|
| 300 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$nreverse}}{30}}
|
---|
| 301 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$append}}{30}}
|
---|
| 302 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$zerop}}{30}}
|
---|
| 303 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$lm}}{31}}
|
---|
| 304 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$lc}}{31}}
|
---|
| 305 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$with$-$sugar$-$lt}}{31}}
|
---|
| 306 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$print}}{31}}
|
---|
| 307 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$print$-$1}}{31}}
|
---|
| 308 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$print$-$2}}{31}}
|
---|
| 309 | \@writefile{toc}{\contentsline {paragraph}{{\sf print$-$term}}{31}}
|
---|
| 310 | \@writefile{toc}{\contentsline {paragraph}{{\sf print$-$monom}}{31}}
|
---|
| 311 | \@writefile{toc}{\contentsline {paragraph}{{\sf num}}{31}}
|
---|
| 312 | \@writefile{toc}{\contentsline {paragraph}{{\sf denom}}{31}}
|
---|
| 313 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$simplify$-$2}}{31}}
|
---|
| 314 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$simplify}}{31}}
|
---|
| 315 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat+}}{31}}
|
---|
| 316 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$}}{32}}
|
---|
| 317 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat*}}{32}}
|
---|
| 318 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat/}}{32}}
|
---|
| 319 | \@writefile{toc}{\contentsline {paragraph}{{\sf scalar$-$times$-$rat}}{32}}
|
---|
| 320 | \@writefile{toc}{\contentsline {paragraph}{{\sf scalar$-$div$-$rat}}{32}}
|
---|
| 321 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$zerop}}{32}}
|
---|
| 322 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$uminus}}{32}}
|
---|
| 323 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$expt}}{32}}
|
---|
| 324 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$constant}}{32}}
|
---|
| 325 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$to$-$poly}}{32}}
|
---|
| 326 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly+}}{32}}
|
---|
| 327 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$}}{32}}
|
---|
| 328 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$uminus}}{32}}
|
---|
| 329 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly*}}{32}}
|
---|
| 330 | \@writefile{toc}{\contentsline {paragraph}{{\sf scalar$-$times$-$ratpoly}}{33}}
|
---|
| 331 | \@writefile{toc}{\contentsline {paragraph}{{\sf rat$-$times$-$ratpoly}}{33}}
|
---|
| 332 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$divide}}{33}}
|
---|
| 333 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$remainder}}{33}}
|
---|
| 334 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$gcd}}{33}}
|
---|
| 335 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$diff}}{33}}
|
---|
| 336 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$square$-$free}}{33}}
|
---|
| 337 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$normalize}}{33}}
|
---|
| 338 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$resultant}}{33}}
|
---|
| 339 | \@writefile{toc}{\contentsline {paragraph}{{\sf deg}}{33}}
|
---|
| 340 | \@writefile{toc}{\contentsline {paragraph}{{\sf lead}}{33}}
|
---|
| 341 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$discriminant}}{33}}
|
---|
| 342 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$print}}{33}}
|
---|
| 343 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$to$-$ratpoly}}{33}}
|
---|
| 344 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$to$-$poly1}}{34}}
|
---|
| 345 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly1$-$to$-$ratpoly}}{34}}
|
---|
| 346 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$to$-$poly1}}{34}}
|
---|
| 347 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly1$-$to$-$poly}}{34}}
|
---|
| 348 | \@writefile{toc}{\contentsline {paragraph}{{\sf ratpoly$-$to$-$poly}}{34}}
|
---|
| 349 | \@writefile{toc}{\contentsline {paragraph}{{\sf poly$-$resultant}}{34}}
|
---|
| 350 | \@writefile{toc}{\contentsline {paragraph}{{\sf term*}}{34}}
|
---|
| 351 | \@writefile{toc}{\contentsline {paragraph}{{\sf term/}}{34}}
|
---|
| 352 | \@writefile{toc}{\contentsline {paragraph}{{\sf monom$-$times$-$term}}{34}}
|
---|
| 353 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$divides$-$p}}{34}}
|
---|
| 354 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$monom}}{34}}
|
---|
| 355 | \@writefile{toc}{\contentsline {paragraph}{{\sf term$-$coefficient}}{34}}
|
---|
| 356 | \@writefile{toc}{\contentsline {paragraph}{{\sf (setf term$-$monom)}}{34}}
|
---|
| 357 | \@writefile{toc}{\contentsline {paragraph}{{\sf (setf term$-$coefficient)}}{34}}
|
---|
| 358 | \@writefile{toc}{\contentsline {paragraph}{{\sf xgcd}}{35}}
|
---|
| 359 | \@writefile{toc}{\contentsline {section}{\numberline {A}All examples produced by the {\tt all-examples} utility}{35}}
|
---|