source: CGBLisp/latex-doc/manual/images.tex@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago

First import of a version circa 1997.

File size: 93.2 KB
Line 
1\batchmode
2\documentclass{article}
3\makeatletter
4\usepackage[dvips]{color}
5\usepackage{fullpage}
6\usepackage{man}
7
8\newlength {\formnamelen}
9
10\newlength {\pboxargslen}
11
12\newlength {\typelen}
13
14
15
16\title{CGBLisp User Guide and Manual}
17\author{Marek Rychlik}
18
19\pagecolor {white}
20
21
22\newcommand{\namestyle}{\sf}
23
24\newcommand{\argsstyle}{\em}
25
26\newenvironment{lisp:documentation}[3]{\paragraph{{\sf #1}}
27\settowidth{\formnamelen}{\sf #1}
28\settowidth{\typelen}{\em #2\/}
29\setlength{\pboxargslen}{\linewidth}
30\addtolength{\pboxargslen}{-1\formnamelen}
31\addtolength{\pboxargslen}{-1.5\typelen}
32\parbox[t]{\pboxargslen}{\em #3\/} \hfill[{\em #2\/}]
33\begin{quote}}{\end{quote}}
34
35\makeatother
36\ifx\AtBeginDocument\undefined \newcommand{\AtBeginDocument}[1]{}\fi
37\newenvironment{tex2html_wrap}{}{}
38\newbox\sizebox
39\setlength{\hoffset}{0pt}\setlength{\voffset}{0pt}
40\addtolength{\textheight}{\footskip}\setlength{\footskip}{0pt}
41\addtolength{\textheight}{\topmargin}\setlength{\topmargin}{0pt}
42\addtolength{\textheight}{\headheight}\setlength{\headheight}{0pt}
43\addtolength{\textheight}{\headsep}\setlength{\headsep}{0pt}
44\setlength{\textwidth}{451pt}
45\newwrite\lthtmlwrite
46\makeatletter
47\let\realnormalsize=\normalsize
48\topskip=0pt
49\def\preveqno{}\let\real@float=\@float \let\realend@float=\end@float
50\def\@float{\let\@savefreelist\@freelist\real@float}
51\def\end@float{\realend@float\global\let\@freelist\@savefreelist}
52\let\real@dbflt=\@dbflt \let\end@dblfloat=\end@float
53\let\@largefloatcheck=\relax
54\def\@dbflt{\let\@savefreelist\@freelist\real@dbflt}
55\def\adjustnormalsize{\def\normalsize{\mathsurround=0pt \realnormalsize\parindent=0pt\abovedisplayskip=0pt\belowdisplayskip=0pt}\normalsize}
56\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
57\newcommand\lthtmlhboxmathA{\adjustnormalsize\setbox\sizebox=\hbox\bgroup}%
58\newcommand\lthtmlvboxmathA{\adjustnormalsize\setbox\sizebox=\vbox\bgroup%
59 \let\ifinner=\iffalse }%
60\newcommand\lthtmlboxmathZ{\@next\next\@currlist{}{\def\next{\voidb@x}}%
61 \expandafter\box\next\egroup}%
62\newcommand\lthtmlmathtype[1]{\def\lthtmlmathenv{#1}}%
63\newcommand\lthtmllogmath{\lthtmltypeout{l2hSize %
64:\lthtmlmathenv:\the\ht\sizebox::\the\dp\sizebox::\the\wd\sizebox.\preveqno}}%
65\newcommand\lthtmlfigureA[1]{\let\@savefreelist\@freelist
66 \lthtmlmathtype{#1}\lthtmlvboxmathA}%
67\newcommand\lthtmlfigureZ{\lthtmlboxmathZ\lthtmllogmath\copy\sizebox
68 \global\let\@freelist\@savefreelist}%
69\newcommand\lthtmldisplayA[1]{\lthtmlmathtype{#1}\lthtmlvboxmathA}%
70\newcommand\lthtmldisplayB[1]{\edef\preveqno{(\theequation)}%
71 \lthtmldisplayA{#1}\let\@eqnnum\relax}%
72\newcommand\lthtmldisplayZ{\lthtmlboxmathZ\lthtmllogmath\lthtmlsetmath}%
73\newcommand\lthtmlinlinemathA[1]{\lthtmlmathtype{#1}\lthtmlhboxmathA \vrule height1.5ex width0pt }%
74\newcommand\lthtmlinlinemathZ{\egroup\expandafter\ifdim\dp\sizebox>0pt %
75 \expandafter\centerinlinemath\fi\lthtmllogmath\lthtmlsetmath}
76\def\lthtmlsetmath{\hbox{\vrule width.5pt\vtop{\vbox{%
77 \kern.5pt\kern1.25 pt\hbox{\hglue.5pt\copy\sizebox\hglue1.25 pt}\kern.5pt%
78 \ifdim\dp\sizebox>0pt\kern1.25 pt\fi}%
79 \ifdim\hsize>\wd\sizebox \hrule depth1pt\fi}}}
80\def\centerinlinemath{\dimen1=\ht\sizebox
81 \ifdim\dimen1<\dp\sizebox \ht\sizebox=\dp\sizebox
82 \else \dp\sizebox=\ht\sizebox \fi}
83
84\def\lthtmlcheckvsize{\ifdim\ht\sizebox<\vsize\expandafter\vfill
85 \else\expandafter\vss\fi}%
86\makeatletter
87
88
89\begin{document}
90\pagestyle{empty}\thispagestyle{empty}%
91\lthtmltypeout{latex2htmlLength hsize=\the\hsize}%
92\lthtmltypeout{latex2htmlLength vsize=\the\vsize}%
93\lthtmltypeout{latex2htmlLength hoffset=\the\hoffset}%
94\lthtmltypeout{latex2htmlLength voffset=\the\voffset}%
95\lthtmltypeout{latex2htmlLength topmargin=\the\topmargin}%
96\lthtmltypeout{latex2htmlLength topskip=\the\topskip}%
97\lthtmltypeout{latex2htmlLength headheight=\the\headheight}%
98\lthtmltypeout{latex2htmlLength headsep=\the\headsep}%
99\lthtmltypeout{latex2htmlLength parskip=\the\parskip}%
100\lthtmltypeout{latex2htmlLength oddsidemargin=\the\oddsidemargin}%
101\makeatletter
102\if@twoside\lthtmltypeout{latex2htmlLength evensidemargin=\the\evensidemargin}%
103\else\lthtmltypeout{latex2htmlLength evensidemargin=\the\oddsidemargin}\fi%
104\makeatother
105\stepcounter{section}
106\stepcounter{paragraph}
107
108\settowidth {\formnamelen}{\sf *grobner$-$debug*}
109%
110
111
112\settowidth {\typelen}{\em VARIABLE\/}
113%
114
115
116\setlength {\pboxargslen}{\linewidth}
117%
118
119
120\addtolength {\pboxargslen}{-1\formnamelen}
121%
122
123
124\addtolength {\pboxargslen}{-1.5\typelen}
125%
126
127\stepcounter{paragraph}
128
129\settowidth {\formnamelen}{\sf *buchberger$-$merge$-$pairs*}
130%
131
132
133\settowidth {\typelen}{\em VARIABLE\/}
134%
135
136
137\setlength {\pboxargslen}{\linewidth}
138%
139
140
141\addtolength {\pboxargslen}{-1\formnamelen}
142%
143
144
145\addtolength {\pboxargslen}{-1.5\typelen}
146%
147
148\stepcounter{paragraph}
149
150\settowidth {\formnamelen}{\sf *gebauer$-$moeller$-$merge$-$pairs*}
151%
152
153
154\settowidth {\typelen}{\em VARIABLE\/}
155%
156
157
158\setlength {\pboxargslen}{\linewidth}
159%
160
161
162\addtolength {\pboxargslen}{-1\formnamelen}
163%
164
165
166\addtolength {\pboxargslen}{-1.5\typelen}
167%
168
169\stepcounter{paragraph}
170
171\settowidth {\formnamelen}{\sf *grobner$-$function*}
172%
173
174
175\settowidth {\typelen}{\em VARIABLE\/}
176%
177
178
179\setlength {\pboxargslen}{\linewidth}
180%
181
182
183\addtolength {\pboxargslen}{-1\formnamelen}
184%
185
186
187\addtolength {\pboxargslen}{-1.5\typelen}
188%
189
190\stepcounter{paragraph}
191
192\settowidth {\formnamelen}{\sf select$-$grobner$-$algorithm}
193%
194
195
196\settowidth {\typelen}{\em FUNCTION\/}
197%
198
199
200\setlength {\pboxargslen}{\linewidth}
201%
202
203
204\addtolength {\pboxargslen}{-1\formnamelen}
205%
206
207
208\addtolength {\pboxargslen}{-1.5\typelen}
209%
210
211\stepcounter{paragraph}
212
213\settowidth {\formnamelen}{\sf grobner}
214%
215
216
217\settowidth {\typelen}{\em FUNCTION\/}
218%
219
220
221\setlength {\pboxargslen}{\linewidth}
222%
223
224
225\addtolength {\pboxargslen}{-1\formnamelen}
226%
227
228
229\addtolength {\pboxargslen}{-1.5\typelen}
230%
231
232\stepcounter{paragraph}
233
234\settowidth {\formnamelen}{\sf debug$-$cgb}
235%
236
237
238\settowidth {\typelen}{\em MACRO\/}
239%
240
241
242\setlength {\pboxargslen}{\linewidth}
243%
244
245
246\addtolength {\pboxargslen}{-1\formnamelen}
247%
248
249
250\addtolength {\pboxargslen}{-1.5\typelen}
251%
252
253\stepcounter{paragraph}
254
255\settowidth {\formnamelen}{\sf spoly}
256%
257
258
259\settowidth {\typelen}{\em FUNCTION\/}
260%
261
262
263\setlength {\pboxargslen}{\linewidth}
264%
265
266
267\addtolength {\pboxargslen}{-1\formnamelen}
268%
269
270
271\addtolength {\pboxargslen}{-1.5\typelen}
272%
273
274\stepcounter{paragraph}
275
276\settowidth {\formnamelen}{\sf grobner$-$primitive$-$part}
277%
278
279
280\settowidth {\typelen}{\em FUNCTION\/}
281%
282
283
284\setlength {\pboxargslen}{\linewidth}
285%
286
287
288\addtolength {\pboxargslen}{-1\formnamelen}
289%
290
291
292\addtolength {\pboxargslen}{-1.5\typelen}
293%
294
295\stepcounter{paragraph}
296
297\settowidth {\formnamelen}{\sf grobner$-$content}
298%
299
300
301\settowidth {\typelen}{\em FUNCTION\/}
302%
303
304
305\setlength {\pboxargslen}{\linewidth}
306%
307
308
309\addtolength {\pboxargslen}{-1\formnamelen}
310%
311
312
313\addtolength {\pboxargslen}{-1.5\typelen}
314%
315
316\stepcounter{paragraph}
317
318\settowidth {\formnamelen}{\sf normal$-$form}
319%
320
321
322\settowidth {\typelen}{\em FUNCTION\/}
323%
324
325
326\setlength {\pboxargslen}{\linewidth}
327%
328
329
330\addtolength {\pboxargslen}{-1\formnamelen}
331%
332
333
334\addtolength {\pboxargslen}{-1.5\typelen}
335%
336
337\stepcounter{paragraph}
338
339\settowidth {\formnamelen}{\sf buchberger}
340%
341
342
343\settowidth {\typelen}{\em FUNCTION\/}
344%
345
346
347\setlength {\pboxargslen}{\linewidth}
348%
349
350
351\addtolength {\pboxargslen}{-1\formnamelen}
352%
353
354
355\addtolength {\pboxargslen}{-1.5\typelen}
356%
357
358{\newpage\clearpage
359\lthtmlinlinemathA{tex2html_wrap_inline22131}%
360$\textstyle\parbox{\pboxargslen}{\em f pred start top$-$reduction$-$only ring {\sf \&aux} (s (1$-$\space (length f))) b m \/}$%
361\lthtmlinlinemathZ
362\hfill\lthtmlcheckvsize\clearpage}
363
364\stepcounter{paragraph}
365
366\settowidth {\formnamelen}{\sf grobner$-$op}
367%
368
369
370\settowidth {\typelen}{\em FUNCTION\/}
371%
372
373
374\setlength {\pboxargslen}{\linewidth}
375%
376
377
378\addtolength {\pboxargslen}{-1\formnamelen}
379%
380
381
382\addtolength {\pboxargslen}{-1.5\typelen}
383%
384
385\stepcounter{paragraph}
386
387\settowidth {\formnamelen}{\sf buchberger$-$sort$-$pairs}
388%
389
390
391\settowidth {\typelen}{\em FUNCTION\/}
392%
393
394
395\setlength {\pboxargslen}{\linewidth}
396%
397
398
399\addtolength {\pboxargslen}{-1\formnamelen}
400%
401
402
403\addtolength {\pboxargslen}{-1.5\typelen}
404%
405
406\stepcounter{paragraph}
407
408\settowidth {\formnamelen}{\sf mock$-$spoly}
409%
410
411
412\settowidth {\typelen}{\em FUNCTION\/}
413%
414
415
416\setlength {\pboxargslen}{\linewidth}
417%
418
419
420\addtolength {\pboxargslen}{-1\formnamelen}
421%
422
423
424\addtolength {\pboxargslen}{-1.5\typelen}
425%
426
427\stepcounter{paragraph}
428
429\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$use$-$mock$-$spoly}
430%
431
432
433\settowidth {\typelen}{\em FUNCTION\/}
434%
435
436
437\setlength {\pboxargslen}{\linewidth}
438%
439
440
441\addtolength {\pboxargslen}{-1\formnamelen}
442%
443
444
445\addtolength {\pboxargslen}{-1.5\typelen}
446%
447
448\stepcounter{paragraph}
449
450\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$smallest$-$lcm}
451%
452
453
454\settowidth {\typelen}{\em FUNCTION\/}
455%
456
457
458\setlength {\pboxargslen}{\linewidth}
459%
460
461
462\addtolength {\pboxargslen}{-1\formnamelen}
463%
464
465
466\addtolength {\pboxargslen}{-1.5\typelen}
467%
468
469\stepcounter{paragraph}
470
471\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$degree}
472%
473
474
475\settowidth {\typelen}{\em FUNCTION\/}
476%
477
478
479\setlength {\pboxargslen}{\linewidth}
480%
481
482
483\addtolength {\pboxargslen}{-1\formnamelen}
484%
485
486
487\addtolength {\pboxargslen}{-1.5\typelen}
488%
489
490\stepcounter{paragraph}
491
492\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$length}
493%
494
495
496\settowidth {\typelen}{\em FUNCTION\/}
497%
498
499
500\setlength {\pboxargslen}{\linewidth}
501%
502
503
504\addtolength {\pboxargslen}{-1\formnamelen}
505%
506
507
508\addtolength {\pboxargslen}{-1.5\typelen}
509%
510
511\stepcounter{paragraph}
512
513\settowidth {\formnamelen}{\sf buchberger$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}
514%
515
516
517\settowidth {\typelen}{\em FUNCTION\/}
518%
519
520
521\setlength {\pboxargslen}{\linewidth}
522%
523
524
525\addtolength {\pboxargslen}{-1\formnamelen}
526%
527
528
529\addtolength {\pboxargslen}{-1.5\typelen}
530%
531
532\stepcounter{paragraph}
533
534\settowidth {\formnamelen}{\sf buchberger$-$set$-$pair$-$heuristic}
535%
536
537
538\settowidth {\typelen}{\em FUNCTION\/}
539%
540
541
542\setlength {\pboxargslen}{\linewidth}
543%
544
545
546\addtolength {\pboxargslen}{-1\formnamelen}
547%
548
549
550\addtolength {\pboxargslen}{-1.5\typelen}
551%
552
553\stepcounter{paragraph}
554
555\settowidth {\formnamelen}{\sf criterion$-$1}
556%
557
558
559\settowidth {\typelen}{\em FUNCTION\/}
560%
561
562
563\setlength {\pboxargslen}{\linewidth}
564%
565
566
567\addtolength {\pboxargslen}{-1\formnamelen}
568%
569
570
571\addtolength {\pboxargslen}{-1.5\typelen}
572%
573
574\stepcounter{paragraph}
575
576\settowidth {\formnamelen}{\sf criterion$-$2}
577%
578
579
580\settowidth {\typelen}{\em FUNCTION\/}
581%
582
583
584\setlength {\pboxargslen}{\linewidth}
585%
586
587
588\addtolength {\pboxargslen}{-1\formnamelen}
589%
590
591
592\addtolength {\pboxargslen}{-1.5\typelen}
593%
594
595\stepcounter{paragraph}
596
597\settowidth {\formnamelen}{\sf normalize$-$poly}
598%
599
600
601\settowidth {\typelen}{\em FUNCTION\/}
602%
603
604
605\setlength {\pboxargslen}{\linewidth}
606%
607
608
609\addtolength {\pboxargslen}{-1\formnamelen}
610%
611
612
613\addtolength {\pboxargslen}{-1.5\typelen}
614%
615
616\stepcounter{paragraph}
617
618\settowidth {\formnamelen}{\sf normalize$-$basis}
619%
620
621
622\settowidth {\typelen}{\em FUNCTION\/}
623%
624
625
626\setlength {\pboxargslen}{\linewidth}
627%
628
629
630\addtolength {\pboxargslen}{-1\formnamelen}
631%
632
633
634\addtolength {\pboxargslen}{-1.5\typelen}
635%
636
637\stepcounter{paragraph}
638
639\settowidth {\formnamelen}{\sf reduction}
640%
641
642
643\settowidth {\typelen}{\em FUNCTION\/}
644%
645
646
647\setlength {\pboxargslen}{\linewidth}
648%
649
650
651\addtolength {\pboxargslen}{-1\formnamelen}
652%
653
654
655\addtolength {\pboxargslen}{-1.5\typelen}
656%
657
658\stepcounter{paragraph}
659
660\settowidth {\formnamelen}{\sf reduced$-$grobner}
661%
662
663
664\settowidth {\typelen}{\em FUNCTION\/}
665%
666
667
668\setlength {\pboxargslen}{\linewidth}
669%
670
671
672\addtolength {\pboxargslen}{-1\formnamelen}
673%
674
675
676\addtolength {\pboxargslen}{-1.5\typelen}
677%
678
679\stepcounter{paragraph}
680
681\settowidth {\formnamelen}{\sf monom$-$depends$-$p}
682%
683
684
685\settowidth {\typelen}{\em FUNCTION\/}
686%
687
688
689\setlength {\pboxargslen}{\linewidth}
690%
691
692
693\addtolength {\pboxargslen}{-1\formnamelen}
694%
695
696
697\addtolength {\pboxargslen}{-1.5\typelen}
698%
699
700\stepcounter{paragraph}
701
702\settowidth {\formnamelen}{\sf term$-$depends$-$p}
703%
704
705
706\settowidth {\typelen}{\em FUNCTION\/}
707%
708
709
710\setlength {\pboxargslen}{\linewidth}
711%
712
713
714\addtolength {\pboxargslen}{-1\formnamelen}
715%
716
717
718\addtolength {\pboxargslen}{-1.5\typelen}
719%
720
721\stepcounter{paragraph}
722
723\settowidth {\formnamelen}{\sf poly$-$depends$-$p}
724%
725
726
727\settowidth {\typelen}{\em FUNCTION\/}
728%
729
730
731\setlength {\pboxargslen}{\linewidth}
732%
733
734
735\addtolength {\pboxargslen}{-1\formnamelen}
736%
737
738
739\addtolength {\pboxargslen}{-1.5\typelen}
740%
741
742\stepcounter{paragraph}
743
744\settowidth {\formnamelen}{\sf ring$-$intersection}
745%
746
747
748\settowidth {\typelen}{\em FUNCTION\/}
749%
750
751
752\setlength {\pboxargslen}{\linewidth}
753%
754
755
756\addtolength {\pboxargslen}{-1\formnamelen}
757%
758
759
760\addtolength {\pboxargslen}{-1.5\typelen}
761%
762
763\stepcounter{paragraph}
764
765\settowidth {\formnamelen}{\sf elimination$-$ideal}
766%
767
768
769\settowidth {\typelen}{\em FUNCTION\/}
770%
771
772
773\setlength {\pboxargslen}{\linewidth}
774%
775
776
777\addtolength {\pboxargslen}{-1\formnamelen}
778%
779
780
781\addtolength {\pboxargslen}{-1.5\typelen}
782%
783
784\stepcounter{paragraph}
785
786\settowidth {\formnamelen}{\sf ideal$-$intersection}
787%
788
789
790\settowidth {\typelen}{\em FUNCTION\/}
791%
792
793
794\setlength {\pboxargslen}{\linewidth}
795%
796
797
798\addtolength {\pboxargslen}{-1\formnamelen}
799%
800
801
802\addtolength {\pboxargslen}{-1.5\typelen}
803%
804
805\stepcounter{paragraph}
806
807\settowidth {\formnamelen}{\sf poly$-$contract}
808%
809
810
811\settowidth {\typelen}{\em FUNCTION\/}
812%
813
814
815\setlength {\pboxargslen}{\linewidth}
816%
817
818
819\addtolength {\pboxargslen}{-1\formnamelen}
820%
821
822
823\addtolength {\pboxargslen}{-1.5\typelen}
824%
825
826\stepcounter{paragraph}
827
828\settowidth {\formnamelen}{\sf poly$-$lcm}
829%
830
831
832\settowidth {\typelen}{\em FUNCTION\/}
833%
834
835
836\setlength {\pboxargslen}{\linewidth}
837%
838
839
840\addtolength {\pboxargslen}{-1\formnamelen}
841%
842
843
844\addtolength {\pboxargslen}{-1.5\typelen}
845%
846
847\stepcounter{paragraph}
848
849\settowidth {\formnamelen}{\sf grobner$-$gcd}
850%
851
852
853\settowidth {\typelen}{\em FUNCTION\/}
854%
855
856
857\setlength {\pboxargslen}{\linewidth}
858%
859
860
861\addtolength {\pboxargslen}{-1\formnamelen}
862%
863
864
865\addtolength {\pboxargslen}{-1.5\typelen}
866%
867
868\stepcounter{paragraph}
869
870\settowidth {\formnamelen}{\sf grobner$-$equal}
871%
872
873
874\settowidth {\typelen}{\em FUNCTION\/}
875%
876
877
878\setlength {\pboxargslen}{\linewidth}
879%
880
881
882\addtolength {\pboxargslen}{-1\formnamelen}
883%
884
885
886\addtolength {\pboxargslen}{-1.5\typelen}
887%
888
889\stepcounter{paragraph}
890
891\settowidth {\formnamelen}{\sf grobner$-$subsetp}
892%
893
894
895\settowidth {\typelen}{\em FUNCTION\/}
896%
897
898
899\setlength {\pboxargslen}{\linewidth}
900%
901
902
903\addtolength {\pboxargslen}{-1\formnamelen}
904%
905
906
907\addtolength {\pboxargslen}{-1.5\typelen}
908%
909
910\stepcounter{paragraph}
911
912\settowidth {\formnamelen}{\sf grobner$-$member}
913%
914
915
916\settowidth {\typelen}{\em FUNCTION\/}
917%
918
919
920\setlength {\pboxargslen}{\linewidth}
921%
922
923
924\addtolength {\pboxargslen}{-1\formnamelen}
925%
926
927
928\addtolength {\pboxargslen}{-1.5\typelen}
929%
930
931\stepcounter{paragraph}
932
933\settowidth {\formnamelen}{\sf ideal$-$equal}
934%
935
936
937\settowidth {\typelen}{\em FUNCTION\/}
938%
939
940
941\setlength {\pboxargslen}{\linewidth}
942%
943
944
945\addtolength {\pboxargslen}{-1\formnamelen}
946%
947
948
949\addtolength {\pboxargslen}{-1.5\typelen}
950%
951
952\stepcounter{paragraph}
953
954\settowidth {\formnamelen}{\sf ideal$-$subsetp}
955%
956
957
958\settowidth {\typelen}{\em FUNCTION\/}
959%
960
961
962\setlength {\pboxargslen}{\linewidth}
963%
964
965
966\addtolength {\pboxargslen}{-1\formnamelen}
967%
968
969
970\addtolength {\pboxargslen}{-1.5\typelen}
971%
972
973\stepcounter{paragraph}
974
975\settowidth {\formnamelen}{\sf ideal$-$member}
976%
977
978
979\settowidth {\typelen}{\em FUNCTION\/}
980%
981
982
983\setlength {\pboxargslen}{\linewidth}
984%
985
986
987\addtolength {\pboxargslen}{-1\formnamelen}
988%
989
990
991\addtolength {\pboxargslen}{-1.5\typelen}
992%
993
994\stepcounter{paragraph}
995
996\settowidth {\formnamelen}{\sf ideal$-$saturation$-$1}
997%
998
999
1000\settowidth {\typelen}{\em FUNCTION\/}
1001%
1002
1003
1004\setlength {\pboxargslen}{\linewidth}
1005%
1006
1007
1008\addtolength {\pboxargslen}{-1\formnamelen}
1009%
1010
1011
1012\addtolength {\pboxargslen}{-1.5\typelen}
1013%
1014
1015\stepcounter{paragraph}
1016
1017\settowidth {\formnamelen}{\sf add$-$variables}
1018%
1019
1020
1021\settowidth {\typelen}{\em FUNCTION\/}
1022%
1023
1024
1025\setlength {\pboxargslen}{\linewidth}
1026%
1027
1028
1029\addtolength {\pboxargslen}{-1\formnamelen}
1030%
1031
1032
1033\addtolength {\pboxargslen}{-1.5\typelen}
1034%
1035
1036\stepcounter{paragraph}
1037
1038\settowidth {\formnamelen}{\sf extend$-$polynomials}
1039%
1040
1041
1042\settowidth {\typelen}{\em FUNCTION\/}
1043%
1044
1045
1046\setlength {\pboxargslen}{\linewidth}
1047%
1048
1049
1050\addtolength {\pboxargslen}{-1\formnamelen}
1051%
1052
1053
1054\addtolength {\pboxargslen}{-1.5\typelen}
1055%
1056
1057\stepcounter{paragraph}
1058
1059\settowidth {\formnamelen}{\sf saturation$-$extension}
1060%
1061
1062
1063\settowidth {\typelen}{\em FUNCTION\/}
1064%
1065
1066
1067\setlength {\pboxargslen}{\linewidth}
1068%
1069
1070
1071\addtolength {\pboxargslen}{-1\formnamelen}
1072%
1073
1074
1075\addtolength {\pboxargslen}{-1.5\typelen}
1076%
1077
1078\stepcounter{paragraph}
1079
1080\settowidth {\formnamelen}{\sf polysaturation$-$extension}
1081%
1082
1083
1084\settowidth {\typelen}{\em FUNCTION\/}
1085%
1086
1087
1088\setlength {\pboxargslen}{\linewidth}
1089%
1090
1091
1092\addtolength {\pboxargslen}{-1\formnamelen}
1093%
1094
1095
1096\addtolength {\pboxargslen}{-1.5\typelen}
1097%
1098
1099\stepcounter{paragraph}
1100
1101\settowidth {\formnamelen}{\sf saturation$-$extension$-$1}
1102%
1103
1104
1105\settowidth {\typelen}{\em FUNCTION\/}
1106%
1107
1108
1109\setlength {\pboxargslen}{\linewidth}
1110%
1111
1112
1113\addtolength {\pboxargslen}{-1\formnamelen}
1114%
1115
1116
1117\addtolength {\pboxargslen}{-1.5\typelen}
1118%
1119
1120\stepcounter{paragraph}
1121
1122\settowidth {\formnamelen}{\sf ideal$-$polysaturation$-$1}
1123%
1124
1125
1126\settowidth {\typelen}{\em FUNCTION\/}
1127%
1128
1129
1130\setlength {\pboxargslen}{\linewidth}
1131%
1132
1133
1134\addtolength {\pboxargslen}{-1\formnamelen}
1135%
1136
1137
1138\addtolength {\pboxargslen}{-1.5\typelen}
1139%
1140
1141\stepcounter{paragraph}
1142
1143\settowidth {\formnamelen}{\sf ideal$-$saturation}
1144%
1145
1146
1147\settowidth {\typelen}{\em FUNCTION\/}
1148%
1149
1150
1151\setlength {\pboxargslen}{\linewidth}
1152%
1153
1154
1155\addtolength {\pboxargslen}{-1\formnamelen}
1156%
1157
1158
1159\addtolength {\pboxargslen}{-1.5\typelen}
1160%
1161
1162{\newpage\clearpage
1163\lthtmlinlinemathA{tex2html_wrap_inline22277}%
1164$\textstyle\parbox{\pboxargslen}{\em f g pred start top$-$reduction$-$only ring {\sf \&aux} (k (length g)) (pred (elimination$-$order k :primary$-$order \#'lex$>$\space :secondary$-$order pred)) \/}$%
1165\lthtmlinlinemathZ
1166\hfill\lthtmlcheckvsize\clearpage}
1167
1168\stepcounter{paragraph}
1169
1170\settowidth {\formnamelen}{\sf ideal$-$polysaturation}
1171%
1172
1173
1174\settowidth {\typelen}{\em FUNCTION\/}
1175%
1176
1177
1178\setlength {\pboxargslen}{\linewidth}
1179%
1180
1181
1182\addtolength {\pboxargslen}{-1\formnamelen}
1183%
1184
1185
1186\addtolength {\pboxargslen}{-1.5\typelen}
1187%
1188
1189\stepcounter{paragraph}
1190
1191\settowidth {\formnamelen}{\sf buchberger$-$criterion}
1192%
1193
1194
1195\settowidth {\typelen}{\em FUNCTION\/}
1196%
1197
1198
1199\setlength {\pboxargslen}{\linewidth}
1200%
1201
1202
1203\addtolength {\pboxargslen}{-1\formnamelen}
1204%
1205
1206
1207\addtolength {\pboxargslen}{-1.5\typelen}
1208%
1209
1210\stepcounter{paragraph}
1211
1212\settowidth {\formnamelen}{\sf grobner$-$test}
1213%
1214
1215
1216\settowidth {\typelen}{\em FUNCTION\/}
1217%
1218
1219
1220\setlength {\pboxargslen}{\linewidth}
1221%
1222
1223
1224\addtolength {\pboxargslen}{-1\formnamelen}
1225%
1226
1227
1228\addtolength {\pboxargslen}{-1.5\typelen}
1229%
1230
1231\stepcounter{paragraph}
1232
1233\settowidth {\formnamelen}{\sf minimization}
1234%
1235
1236
1237\settowidth {\typelen}{\em FUNCTION\/}
1238%
1239
1240
1241\setlength {\pboxargslen}{\linewidth}
1242%
1243
1244
1245\addtolength {\pboxargslen}{-1\formnamelen}
1246%
1247
1248
1249\addtolength {\pboxargslen}{-1.5\typelen}
1250%
1251
1252\stepcounter{paragraph}
1253
1254\settowidth {\formnamelen}{\sf add$-$minimized}
1255%
1256
1257
1258\settowidth {\typelen}{\em FUNCTION\/}
1259%
1260
1261
1262\setlength {\pboxargslen}{\linewidth}
1263%
1264
1265
1266\addtolength {\pboxargslen}{-1\formnamelen}
1267%
1268
1269
1270\addtolength {\pboxargslen}{-1.5\typelen}
1271%
1272
1273\stepcounter{paragraph}
1274
1275\settowidth {\formnamelen}{\sf colon$-$ideal}
1276%
1277
1278
1279\settowidth {\typelen}{\em FUNCTION\/}
1280%
1281
1282
1283\setlength {\pboxargslen}{\linewidth}
1284%
1285
1286
1287\addtolength {\pboxargslen}{-1\formnamelen}
1288%
1289
1290
1291\addtolength {\pboxargslen}{-1.5\typelen}
1292%
1293
1294\stepcounter{paragraph}
1295
1296\settowidth {\formnamelen}{\sf colon$-$ideal$-$1}
1297%
1298
1299
1300\settowidth {\typelen}{\em FUNCTION\/}
1301%
1302
1303
1304\setlength {\pboxargslen}{\linewidth}
1305%
1306
1307
1308\addtolength {\pboxargslen}{-1\formnamelen}
1309%
1310
1311
1312\addtolength {\pboxargslen}{-1.5\typelen}
1313%
1314
1315\stepcounter{paragraph}
1316
1317\settowidth {\formnamelen}{\sf pseudo$-$divide}
1318%
1319
1320
1321\settowidth {\typelen}{\em FUNCTION\/}
1322%
1323
1324
1325\setlength {\pboxargslen}{\linewidth}
1326%
1327
1328
1329\addtolength {\pboxargslen}{-1\formnamelen}
1330%
1331
1332
1333\addtolength {\pboxargslen}{-1.5\typelen}
1334%
1335
1336\stepcounter{paragraph}
1337
1338\settowidth {\formnamelen}{\sf gebauer$-$moeller}
1339%
1340
1341
1342\settowidth {\typelen}{\em FUNCTION\/}
1343%
1344
1345
1346\setlength {\pboxargslen}{\linewidth}
1347%
1348
1349
1350\addtolength {\pboxargslen}{-1\formnamelen}
1351%
1352
1353
1354\addtolength {\pboxargslen}{-1.5\typelen}
1355%
1356
1357\stepcounter{paragraph}
1358
1359\settowidth {\formnamelen}{\sf update}
1360%
1361
1362
1363\settowidth {\typelen}{\em FUNCTION\/}
1364%
1365
1366
1367\setlength {\pboxargslen}{\linewidth}
1368%
1369
1370
1371\addtolength {\pboxargslen}{-1\formnamelen}
1372%
1373
1374
1375\addtolength {\pboxargslen}{-1.5\typelen}
1376%
1377
1378\stepcounter{paragraph}
1379
1380\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$mock$-$spoly}
1381%
1382
1383
1384\settowidth {\typelen}{\em FUNCTION\/}
1385%
1386
1387
1388\setlength {\pboxargslen}{\linewidth}
1389%
1390
1391
1392\addtolength {\pboxargslen}{-1\formnamelen}
1393%
1394
1395
1396\addtolength {\pboxargslen}{-1.5\typelen}
1397%
1398
1399\stepcounter{paragraph}
1400
1401\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$smallest$-$lcm}
1402%
1403
1404
1405\settowidth {\typelen}{\em FUNCTION\/}
1406%
1407
1408
1409\setlength {\pboxargslen}{\linewidth}
1410%
1411
1412
1413\addtolength {\pboxargslen}{-1\formnamelen}
1414%
1415
1416
1417\addtolength {\pboxargslen}{-1.5\typelen}
1418%
1419
1420\stepcounter{paragraph}
1421
1422\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$degree}
1423%
1424
1425
1426\settowidth {\typelen}{\em FUNCTION\/}
1427%
1428
1429
1430\setlength {\pboxargslen}{\linewidth}
1431%
1432
1433
1434\addtolength {\pboxargslen}{-1\formnamelen}
1435%
1436
1437
1438\addtolength {\pboxargslen}{-1.5\typelen}
1439%
1440
1441\stepcounter{paragraph}
1442
1443\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$length}
1444%
1445
1446
1447\settowidth {\typelen}{\em FUNCTION\/}
1448%
1449
1450
1451\setlength {\pboxargslen}{\linewidth}
1452%
1453
1454
1455\addtolength {\pboxargslen}{-1\formnamelen}
1456%
1457
1458
1459\addtolength {\pboxargslen}{-1.5\typelen}
1460%
1461
1462\stepcounter{paragraph}
1463
1464\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$merge$-$pairs$-$use$-$smallest$-$coefficient$-$length}
1465%
1466
1467
1468\settowidth {\typelen}{\em FUNCTION\/}
1469%
1470
1471
1472\setlength {\pboxargslen}{\linewidth}
1473%
1474
1475
1476\addtolength {\pboxargslen}{-1\formnamelen}
1477%
1478
1479
1480\addtolength {\pboxargslen}{-1.5\typelen}
1481%
1482
1483\stepcounter{paragraph}
1484
1485\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$set$-$pair$-$heuristic}
1486%
1487
1488
1489\settowidth {\typelen}{\em FUNCTION\/}
1490%
1491
1492
1493\setlength {\pboxargslen}{\linewidth}
1494%
1495
1496
1497\addtolength {\pboxargslen}{-1\formnamelen}
1498%
1499
1500
1501\addtolength {\pboxargslen}{-1.5\typelen}
1502%
1503
1504\stepcounter{paragraph}
1505
1506\settowidth {\formnamelen}{\sf spoly$-$sugar}
1507%
1508
1509
1510\settowidth {\typelen}{\em FUNCTION\/}
1511%
1512
1513
1514\setlength {\pboxargslen}{\linewidth}
1515%
1516
1517
1518\addtolength {\pboxargslen}{-1\formnamelen}
1519%
1520
1521
1522\addtolength {\pboxargslen}{-1.5\typelen}
1523%
1524
1525\stepcounter{paragraph}
1526
1527\settowidth {\formnamelen}{\sf spoly$-$with$-$sugar}
1528%
1529
1530
1531\settowidth {\typelen}{\em FUNCTION\/}
1532%
1533
1534
1535\setlength {\pboxargslen}{\linewidth}
1536%
1537
1538
1539\addtolength {\pboxargslen}{-1\formnamelen}
1540%
1541
1542
1543\addtolength {\pboxargslen}{-1.5\typelen}
1544%
1545
1546\stepcounter{paragraph}
1547
1548\settowidth {\formnamelen}{\sf normal$-$form$-$with$-$sugar}
1549%
1550
1551
1552\settowidth {\typelen}{\em FUNCTION\/}
1553%
1554
1555
1556\setlength {\pboxargslen}{\linewidth}
1557%
1558
1559
1560\addtolength {\pboxargslen}{-1\formnamelen}
1561%
1562
1563
1564\addtolength {\pboxargslen}{-1.5\typelen}
1565%
1566
1567\stepcounter{paragraph}
1568
1569\settowidth {\formnamelen}{\sf buchberger$-$with$-$sugar}
1570%
1571
1572
1573\settowidth {\typelen}{\em FUNCTION\/}
1574%
1575
1576
1577\setlength {\pboxargslen}{\linewidth}
1578%
1579
1580
1581\addtolength {\pboxargslen}{-1\formnamelen}
1582%
1583
1584
1585\addtolength {\pboxargslen}{-1.5\typelen}
1586%
1587
1588{\newpage\clearpage
1589\lthtmlinlinemathA{tex2html_wrap_inline22388}%
1590$\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 \/}$%
1591\lthtmlinlinemathZ
1592\hfill\lthtmlcheckvsize\clearpage}
1593
1594\stepcounter{paragraph}
1595
1596\settowidth {\formnamelen}{\sf buchberger$-$with$-$sugar$-$merge$-$pairs}
1597%
1598
1599
1600\settowidth {\typelen}{\em FUNCTION\/}
1601%
1602
1603
1604\setlength {\pboxargslen}{\linewidth}
1605%
1606
1607
1608\addtolength {\pboxargslen}{-1\formnamelen}
1609%
1610
1611
1612\addtolength {\pboxargslen}{-1.5\typelen}
1613%
1614
1615{\newpage\clearpage
1616\lthtmlinlinemathA{tex2html_wrap_inline22395}%
1617$\textstyle\parbox{\pboxargslen}{\em b c g m pred ring \/}$%
1618\lthtmlinlinemathZ
1619\hfill\lthtmlcheckvsize\clearpage}
1620
1621\stepcounter{paragraph}
1622
1623\settowidth {\formnamelen}{\sf buchberger$-$with$-$sugar$-$sort$-$pairs}
1624%
1625
1626
1627\settowidth {\typelen}{\em FUNCTION\/}
1628%
1629
1630
1631\setlength {\pboxargslen}{\linewidth}
1632%
1633
1634
1635\addtolength {\pboxargslen}{-1\formnamelen}
1636%
1637
1638
1639\addtolength {\pboxargslen}{-1.5\typelen}
1640%
1641
1642{\newpage\clearpage
1643\lthtmlinlinemathA{tex2html_wrap_inline22401}%
1644$\textstyle\parbox{\pboxargslen}{\em c g m pred ring \/}$%
1645\lthtmlinlinemathZ
1646\hfill\lthtmlcheckvsize\clearpage}
1647
1648\stepcounter{paragraph}
1649
1650\settowidth {\formnamelen}{\sf criterion$-$1$-$with$-$sugar}
1651%
1652
1653
1654\settowidth {\typelen}{\em FUNCTION\/}
1655%
1656
1657
1658\setlength {\pboxargslen}{\linewidth}
1659%
1660
1661
1662\addtolength {\pboxargslen}{-1\formnamelen}
1663%
1664
1665
1666\addtolength {\pboxargslen}{-1.5\typelen}
1667%
1668
1669\stepcounter{paragraph}
1670
1671\settowidth {\formnamelen}{\sf criterion$-$2$-$with$-$sugar}
1672%
1673
1674
1675\settowidth {\typelen}{\em FUNCTION\/}
1676%
1677
1678
1679\setlength {\pboxargslen}{\linewidth}
1680%
1681
1682
1683\addtolength {\pboxargslen}{-1\formnamelen}
1684%
1685
1686
1687\addtolength {\pboxargslen}{-1.5\typelen}
1688%
1689
1690\stepcounter{paragraph}
1691
1692\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$with$-$sugar}
1693%
1694
1695
1696\settowidth {\typelen}{\em FUNCTION\/}
1697%
1698
1699
1700\setlength {\pboxargslen}{\linewidth}
1701%
1702
1703
1704\addtolength {\pboxargslen}{-1\formnamelen}
1705%
1706
1707
1708\addtolength {\pboxargslen}{-1.5\typelen}
1709%
1710
1711\stepcounter{paragraph}
1712
1713\settowidth {\formnamelen}{\sf update$-$with$-$sugar}
1714%
1715
1716
1717\settowidth {\typelen}{\em FUNCTION\/}
1718%
1719
1720
1721\setlength {\pboxargslen}{\linewidth}
1722%
1723
1724
1725\addtolength {\pboxargslen}{-1\formnamelen}
1726%
1727
1728
1729\addtolength {\pboxargslen}{-1.5\typelen}
1730%
1731
1732\stepcounter{paragraph}
1733
1734\settowidth {\formnamelen}{\sf gebauer$-$moeller$-$with$-$sugar$-$merge$-$pairs}
1735%
1736
1737
1738\settowidth {\typelen}{\em FUNCTION\/}
1739%
1740
1741
1742\setlength {\pboxargslen}{\linewidth}
1743%
1744
1745
1746\addtolength {\pboxargslen}{-1\formnamelen}
1747%
1748
1749
1750\addtolength {\pboxargslen}{-1.5\typelen}
1751%
1752
1753\stepcounter{paragraph}
1754
1755\settowidth {\formnamelen}{\sf grobner$-$primitive$-$part$-$with$-$sugar}
1756%
1757
1758
1759\settowidth {\typelen}{\em FUNCTION\/}
1760%
1761
1762
1763\setlength {\pboxargslen}{\linewidth}
1764%
1765
1766
1767\addtolength {\pboxargslen}{-1\formnamelen}
1768%
1769
1770
1771\addtolength {\pboxargslen}{-1.5\typelen}
1772%
1773
1774\stepcounter{section}
1775\stepcounter{paragraph}
1776
1777\settowidth {\formnamelen}{\sf string$-$normal$-$form}
1778%
1779
1780
1781\settowidth {\typelen}{\em FUNCTION\/}
1782%
1783
1784
1785\setlength {\pboxargslen}{\linewidth}
1786%
1787
1788
1789\addtolength {\pboxargslen}{-1\formnamelen}
1790%
1791
1792
1793\addtolength {\pboxargslen}{-1.5\typelen}
1794%
1795
1796\stepcounter{paragraph}
1797
1798\settowidth {\formnamelen}{\sf string$-$grobner}
1799%
1800
1801
1802\settowidth {\typelen}{\em FUNCTION\/}
1803%
1804
1805
1806\setlength {\pboxargslen}{\linewidth}
1807%
1808
1809
1810\addtolength {\pboxargslen}{-1\formnamelen}
1811%
1812
1813
1814\addtolength {\pboxargslen}{-1.5\typelen}
1815%
1816
1817\stepcounter{paragraph}
1818
1819\settowidth {\formnamelen}{\sf string$-$elimination$-$ideal}
1820%
1821
1822
1823\settowidth {\typelen}{\em FUNCTION\/}
1824%
1825
1826
1827\setlength {\pboxargslen}{\linewidth}
1828%
1829
1830
1831\addtolength {\pboxargslen}{-1\formnamelen}
1832%
1833
1834
1835\addtolength {\pboxargslen}{-1.5\typelen}
1836%
1837
1838\stepcounter{paragraph}
1839
1840\settowidth {\formnamelen}{\sf string$-$ideal$-$intersection}
1841%
1842
1843
1844\settowidth {\typelen}{\em FUNCTION\/}
1845%
1846
1847
1848\setlength {\pboxargslen}{\linewidth}
1849%
1850
1851
1852\addtolength {\pboxargslen}{-1\formnamelen}
1853%
1854
1855
1856\addtolength {\pboxargslen}{-1.5\typelen}
1857%
1858
1859\stepcounter{paragraph}
1860
1861\settowidth {\formnamelen}{\sf string$-$poly$-$lcm}
1862%
1863
1864
1865\settowidth {\typelen}{\em FUNCTION\/}
1866%
1867
1868
1869\setlength {\pboxargslen}{\linewidth}
1870%
1871
1872
1873\addtolength {\pboxargslen}{-1\formnamelen}
1874%
1875
1876
1877\addtolength {\pboxargslen}{-1.5\typelen}
1878%
1879
1880\stepcounter{paragraph}
1881
1882\settowidth {\formnamelen}{\sf string$-$ideal$-$saturation$-$1}
1883%
1884
1885
1886\settowidth {\typelen}{\em FUNCTION\/}
1887%
1888
1889
1890\setlength {\pboxargslen}{\linewidth}
1891%
1892
1893
1894\addtolength {\pboxargslen}{-1\formnamelen}
1895%
1896
1897
1898\addtolength {\pboxargslen}{-1.5\typelen}
1899%
1900
1901\stepcounter{paragraph}
1902
1903\settowidth {\formnamelen}{\sf string$-$ideal$-$polysaturation$-$1}
1904%
1905
1906
1907\settowidth {\typelen}{\em FUNCTION\/}
1908%
1909
1910
1911\setlength {\pboxargslen}{\linewidth}
1912%
1913
1914
1915\addtolength {\pboxargslen}{-1\formnamelen}
1916%
1917
1918
1919\addtolength {\pboxargslen}{-1.5\typelen}
1920%
1921
1922\stepcounter{paragraph}
1923
1924\settowidth {\formnamelen}{\sf string$-$ideal$-$saturation}
1925%
1926
1927
1928\settowidth {\typelen}{\em FUNCTION\/}
1929%
1930
1931
1932\setlength {\pboxargslen}{\linewidth}
1933%
1934
1935
1936\addtolength {\pboxargslen}{-1\formnamelen}
1937%
1938
1939
1940\addtolength {\pboxargslen}{-1.5\typelen}
1941%
1942
1943\stepcounter{paragraph}
1944
1945\settowidth {\formnamelen}{\sf string$-$ideal$-$polysaturation}
1946%
1947
1948
1949\settowidth {\typelen}{\em FUNCTION\/}
1950%
1951
1952
1953\setlength {\pboxargslen}{\linewidth}
1954%
1955
1956
1957\addtolength {\pboxargslen}{-1\formnamelen}
1958%
1959
1960
1961\addtolength {\pboxargslen}{-1.5\typelen}
1962%
1963
1964\stepcounter{paragraph}
1965
1966\settowidth {\formnamelen}{\sf string$-$colon$-$ideal}
1967%
1968
1969
1970\settowidth {\typelen}{\em FUNCTION\/}
1971%
1972
1973
1974\setlength {\pboxargslen}{\linewidth}
1975%
1976
1977
1978\addtolength {\pboxargslen}{-1\formnamelen}
1979%
1980
1981
1982\addtolength {\pboxargslen}{-1.5\typelen}
1983%
1984
1985\stepcounter{paragraph}
1986
1987\settowidth {\formnamelen}{\sf string$-$read$-$poly}
1988%
1989
1990
1991\settowidth {\typelen}{\em FUNCTION\/}
1992%
1993
1994
1995\setlength {\pboxargslen}{\linewidth}
1996%
1997
1998
1999\addtolength {\pboxargslen}{-1\formnamelen}
2000%
2001
2002
2003\addtolength {\pboxargslen}{-1.5\typelen}
2004%
2005
2006\stepcounter{paragraph}
2007
2008\settowidth {\formnamelen}{\sf poly$-$rational$-$to$-$integer}
2009%
2010
2011
2012\settowidth {\typelen}{\em FUNCTION\/}
2013%
2014
2015
2016\setlength {\pboxargslen}{\linewidth}
2017%
2018
2019
2020\addtolength {\pboxargslen}{-1\formnamelen}
2021%
2022
2023
2024\addtolength {\pboxargslen}{-1.5\typelen}
2025%
2026
2027\stepcounter{paragraph}
2028
2029\settowidth {\formnamelen}{\sf read$-$vars}
2030%
2031
2032
2033\settowidth {\typelen}{\em FUNCTION\/}
2034%
2035
2036
2037\setlength {\pboxargslen}{\linewidth}
2038%
2039
2040
2041\addtolength {\pboxargslen}{-1\formnamelen}
2042%
2043
2044
2045\addtolength {\pboxargslen}{-1.5\typelen}
2046%
2047
2048\stepcounter{section}
2049\stepcounter{paragraph}
2050
2051\settowidth {\formnamelen}{\sf *colored$-$poly$-$debug*}
2052%
2053
2054
2055\settowidth {\typelen}{\em VARIABLE\/}
2056%
2057
2058
2059\setlength {\pboxargslen}{\linewidth}
2060%
2061
2062
2063\addtolength {\pboxargslen}{-1\formnamelen}
2064%
2065
2066
2067\addtolength {\pboxargslen}{-1.5\typelen}
2068%
2069
2070\stepcounter{paragraph}
2071
2072\settowidth {\formnamelen}{\sf debug$-$cgb}
2073%
2074
2075
2076\settowidth {\typelen}{\em MACRO\/}
2077%
2078
2079
2080\setlength {\pboxargslen}{\linewidth}
2081%
2082
2083
2084\addtolength {\pboxargslen}{-1\formnamelen}
2085%
2086
2087
2088\addtolength {\pboxargslen}{-1.5\typelen}
2089%
2090
2091\stepcounter{paragraph}
2092
2093\settowidth {\formnamelen}{\sf make$-$colored$-$poly}
2094%
2095
2096
2097\settowidth {\typelen}{\em FUNCTION\/}
2098%
2099
2100
2101\setlength {\pboxargslen}{\linewidth}
2102%
2103
2104
2105\addtolength {\pboxargslen}{-1\formnamelen}
2106%
2107
2108
2109\addtolength {\pboxargslen}{-1.5\typelen}
2110%
2111
2112\stepcounter{paragraph}
2113
2114\settowidth {\formnamelen}{\sf make$-$colored$-$poly$-$list}
2115%
2116
2117
2118\settowidth {\typelen}{\em FUNCTION\/}
2119%
2120
2121
2122\setlength {\pboxargslen}{\linewidth}
2123%
2124
2125
2126\addtolength {\pboxargslen}{-1\formnamelen}
2127%
2128
2129
2130\addtolength {\pboxargslen}{-1.5\typelen}
2131%
2132
2133\stepcounter{paragraph}
2134
2135\settowidth {\formnamelen}{\sf color$-$poly$-$list}
2136%
2137
2138
2139\settowidth {\typelen}{\em FUNCTION\/}
2140%
2141
2142
2143\setlength {\pboxargslen}{\linewidth}
2144%
2145
2146
2147\addtolength {\pboxargslen}{-1\formnamelen}
2148%
2149
2150
2151\addtolength {\pboxargslen}{-1.5\typelen}
2152%
2153
2154\stepcounter{paragraph}
2155
2156\settowidth {\formnamelen}{\sf color$-$poly}
2157%
2158
2159
2160\settowidth {\typelen}{\em FUNCTION\/}
2161%
2162
2163
2164\setlength {\pboxargslen}{\linewidth}
2165%
2166
2167
2168\addtolength {\pboxargslen}{-1\formnamelen}
2169%
2170
2171
2172\addtolength {\pboxargslen}{-1.5\typelen}
2173%
2174
2175\stepcounter{paragraph}
2176
2177\settowidth {\formnamelen}{\sf colored$-$poly$-$to$-$poly}
2178%
2179
2180
2181\settowidth {\typelen}{\em FUNCTION\/}
2182%
2183
2184
2185\setlength {\pboxargslen}{\linewidth}
2186%
2187
2188
2189\addtolength {\pboxargslen}{-1\formnamelen}
2190%
2191
2192
2193\addtolength {\pboxargslen}{-1.5\typelen}
2194%
2195
2196\stepcounter{paragraph}
2197
2198\settowidth {\formnamelen}{\sf colored$-$poly$-$print}
2199%
2200
2201
2202\settowidth {\typelen}{\em FUNCTION\/}
2203%
2204
2205
2206\setlength {\pboxargslen}{\linewidth}
2207%
2208
2209
2210\addtolength {\pboxargslen}{-1\formnamelen}
2211%
2212
2213
2214\addtolength {\pboxargslen}{-1.5\typelen}
2215%
2216
2217\stepcounter{paragraph}
2218
2219\settowidth {\formnamelen}{\sf colored$-$poly$-$print$-$list}
2220%
2221
2222
2223\settowidth {\typelen}{\em FUNCTION\/}
2224%
2225
2226
2227\setlength {\pboxargslen}{\linewidth}
2228%
2229
2230
2231\addtolength {\pboxargslen}{-1\formnamelen}
2232%
2233
2234
2235\addtolength {\pboxargslen}{-1.5\typelen}
2236%
2237
2238\stepcounter{paragraph}
2239
2240\settowidth {\formnamelen}{\sf determine}
2241%
2242
2243
2244\settowidth {\typelen}{\em FUNCTION\/}
2245%
2246
2247
2248\setlength {\pboxargslen}{\linewidth}
2249%
2250
2251
2252\addtolength {\pboxargslen}{-1\formnamelen}
2253%
2254
2255
2256\addtolength {\pboxargslen}{-1.5\typelen}
2257%
2258
2259\stepcounter{paragraph}
2260
2261\settowidth {\formnamelen}{\sf determine$-$1}
2262%
2263
2264
2265\settowidth {\typelen}{\em FUNCTION\/}
2266%
2267
2268
2269\setlength {\pboxargslen}{\linewidth}
2270%
2271
2272
2273\addtolength {\pboxargslen}{-1\formnamelen}
2274%
2275
2276
2277\addtolength {\pboxargslen}{-1.5\typelen}
2278%
2279
2280\stepcounter{paragraph}
2281
2282\settowidth {\formnamelen}{\sf determine$-$white$-$term}
2283%
2284
2285
2286\settowidth {\typelen}{\em FUNCTION\/}
2287%
2288
2289
2290\setlength {\pboxargslen}{\linewidth}
2291%
2292
2293
2294\addtolength {\pboxargslen}{-1\formnamelen}
2295%
2296
2297
2298\addtolength {\pboxargslen}{-1.5\typelen}
2299%
2300
2301\stepcounter{paragraph}
2302
2303\settowidth {\formnamelen}{\sf cond$-$system$-$print}
2304%
2305
2306
2307\settowidth {\typelen}{\em FUNCTION\/}
2308%
2309
2310
2311\setlength {\pboxargslen}{\linewidth}
2312%
2313
2314
2315\addtolength {\pboxargslen}{-1\formnamelen}
2316%
2317
2318
2319\addtolength {\pboxargslen}{-1.5\typelen}
2320%
2321
2322\stepcounter{paragraph}
2323
2324\settowidth {\formnamelen}{\sf cond$-$print}
2325%
2326
2327
2328\settowidth {\typelen}{\em FUNCTION\/}
2329%
2330
2331
2332\setlength {\pboxargslen}{\linewidth}
2333%
2334
2335
2336\addtolength {\pboxargslen}{-1\formnamelen}
2337%
2338
2339
2340\addtolength {\pboxargslen}{-1.5\typelen}
2341%
2342
2343\stepcounter{paragraph}
2344
2345\settowidth {\formnamelen}{\sf add$-$pairs}
2346%
2347
2348
2349\settowidth {\typelen}{\em FUNCTION\/}
2350%
2351
2352
2353\setlength {\pboxargslen}{\linewidth}
2354%
2355
2356
2357\addtolength {\pboxargslen}{-1\formnamelen}
2358%
2359
2360
2361\addtolength {\pboxargslen}{-1.5\typelen}
2362%
2363
2364\stepcounter{paragraph}
2365
2366\settowidth {\formnamelen}{\sf cond$-$part}
2367%
2368
2369
2370\settowidth {\typelen}{\em FUNCTION\/}
2371%
2372
2373
2374\setlength {\pboxargslen}{\linewidth}
2375%
2376
2377
2378\addtolength {\pboxargslen}{-1\formnamelen}
2379%
2380
2381
2382\addtolength {\pboxargslen}{-1.5\typelen}
2383%
2384
2385\stepcounter{paragraph}
2386
2387\settowidth {\formnamelen}{\sf cond$-$hm}
2388%
2389
2390
2391\settowidth {\typelen}{\em FUNCTION\/}
2392%
2393
2394
2395\setlength {\pboxargslen}{\linewidth}
2396%
2397
2398
2399\addtolength {\pboxargslen}{-1\formnamelen}
2400%
2401
2402
2403\addtolength {\pboxargslen}{-1.5\typelen}
2404%
2405
2406\stepcounter{paragraph}
2407
2408\settowidth {\formnamelen}{\sf delete$-$green$-$polys}
2409%
2410
2411
2412\settowidth {\typelen}{\em FUNCTION\/}
2413%
2414
2415
2416\setlength {\pboxargslen}{\linewidth}
2417%
2418
2419
2420\addtolength {\pboxargslen}{-1\formnamelen}
2421%
2422
2423
2424\addtolength {\pboxargslen}{-1.5\typelen}
2425%
2426
2427\stepcounter{paragraph}
2428
2429\settowidth {\formnamelen}{\sf grobner$-$system}
2430%
2431
2432
2433\settowidth {\typelen}{\em FUNCTION\/}
2434%
2435
2436
2437\setlength {\pboxargslen}{\linewidth}
2438%
2439
2440
2441\addtolength {\pboxargslen}{-1\formnamelen}
2442%
2443
2444
2445\addtolength {\pboxargslen}{-1.5\typelen}
2446%
2447
2448\stepcounter{paragraph}
2449
2450\settowidth {\formnamelen}{\sf reorder$-$pairs}
2451%
2452
2453
2454\settowidth {\typelen}{\em FUNCTION\/}
2455%
2456
2457
2458\setlength {\pboxargslen}{\linewidth}
2459%
2460
2461
2462\addtolength {\pboxargslen}{-1\formnamelen}
2463%
2464
2465
2466\addtolength {\pboxargslen}{-1.5\typelen}
2467%
2468
2469\stepcounter{paragraph}
2470
2471\settowidth {\formnamelen}{\sf colored$-$criterion$-$1}
2472%
2473
2474
2475\settowidth {\typelen}{\em FUNCTION\/}
2476%
2477
2478
2479\setlength {\pboxargslen}{\linewidth}
2480%
2481
2482
2483\addtolength {\pboxargslen}{-1\formnamelen}
2484%
2485
2486
2487\addtolength {\pboxargslen}{-1.5\typelen}
2488%
2489
2490\stepcounter{paragraph}
2491
2492\settowidth {\formnamelen}{\sf colored$-$criterion$-$2}
2493%
2494
2495
2496\settowidth {\typelen}{\em FUNCTION\/}
2497%
2498
2499
2500\setlength {\pboxargslen}{\linewidth}
2501%
2502
2503
2504\addtolength {\pboxargslen}{-1\formnamelen}
2505%
2506
2507
2508\addtolength {\pboxargslen}{-1.5\typelen}
2509%
2510
2511\stepcounter{paragraph}
2512
2513\settowidth {\formnamelen}{\sf cond$-$normal$-$form}
2514%
2515
2516
2517\settowidth {\typelen}{\em FUNCTION\/}
2518%
2519
2520
2521\setlength {\pboxargslen}{\linewidth}
2522%
2523
2524
2525\addtolength {\pboxargslen}{-1\formnamelen}
2526%
2527
2528
2529\addtolength {\pboxargslen}{-1.5\typelen}
2530%
2531
2532\stepcounter{paragraph}
2533
2534\settowidth {\formnamelen}{\sf cond$-$spoly}
2535%
2536
2537
2538\settowidth {\typelen}{\em FUNCTION\/}
2539%
2540
2541
2542\setlength {\pboxargslen}{\linewidth}
2543%
2544
2545
2546\addtolength {\pboxargslen}{-1\formnamelen}
2547%
2548
2549
2550\addtolength {\pboxargslen}{-1.5\typelen}
2551%
2552
2553\stepcounter{paragraph}
2554
2555\settowidth {\formnamelen}{\sf cond$-$lm}
2556%
2557
2558
2559\settowidth {\typelen}{\em FUNCTION\/}
2560%
2561
2562
2563\setlength {\pboxargslen}{\linewidth}
2564%
2565
2566
2567\addtolength {\pboxargslen}{-1\formnamelen}
2568%
2569
2570
2571\addtolength {\pboxargslen}{-1.5\typelen}
2572%
2573
2574\stepcounter{paragraph}
2575
2576\settowidth {\formnamelen}{\sf cond$-$lc}
2577%
2578
2579
2580\settowidth {\typelen}{\em FUNCTION\/}
2581%
2582
2583
2584\setlength {\pboxargslen}{\linewidth}
2585%
2586
2587
2588\addtolength {\pboxargslen}{-1\formnamelen}
2589%
2590
2591
2592\addtolength {\pboxargslen}{-1.5\typelen}
2593%
2594
2595\stepcounter{paragraph}
2596
2597\settowidth {\formnamelen}{\sf colored$-$term$-$times$-$poly}
2598%
2599
2600
2601\settowidth {\typelen}{\em FUNCTION\/}
2602%
2603
2604
2605\setlength {\pboxargslen}{\linewidth}
2606%
2607
2608
2609\addtolength {\pboxargslen}{-1\formnamelen}
2610%
2611
2612
2613\addtolength {\pboxargslen}{-1.5\typelen}
2614%
2615
2616\stepcounter{paragraph}
2617
2618\settowidth {\formnamelen}{\sf colored$-$scalar$-$times$-$poly}
2619%
2620
2621
2622\settowidth {\typelen}{\em FUNCTION\/}
2623%
2624
2625
2626\setlength {\pboxargslen}{\linewidth}
2627%
2628
2629
2630\addtolength {\pboxargslen}{-1\formnamelen}
2631%
2632
2633
2634\addtolength {\pboxargslen}{-1.5\typelen}
2635%
2636
2637\stepcounter{paragraph}
2638
2639\settowidth {\formnamelen}{\sf colored$-$term*}
2640%
2641
2642
2643\settowidth {\typelen}{\em FUNCTION\/}
2644%
2645
2646
2647\setlength {\pboxargslen}{\linewidth}
2648%
2649
2650
2651\addtolength {\pboxargslen}{-1\formnamelen}
2652%
2653
2654
2655\addtolength {\pboxargslen}{-1.5\typelen}
2656%
2657
2658\stepcounter{paragraph}
2659
2660\settowidth {\formnamelen}{\sf color*}
2661%
2662
2663
2664\settowidth {\typelen}{\em FUNCTION\/}
2665%
2666
2667
2668\setlength {\pboxargslen}{\linewidth}
2669%
2670
2671
2672\addtolength {\pboxargslen}{-1\formnamelen}
2673%
2674
2675
2676\addtolength {\pboxargslen}{-1.5\typelen}
2677%
2678
2679\stepcounter{paragraph}
2680
2681\settowidth {\formnamelen}{\sf color+}
2682%
2683
2684
2685\settowidth {\typelen}{\em FUNCTION\/}
2686%
2687
2688
2689\setlength {\pboxargslen}{\linewidth}
2690%
2691
2692
2693\addtolength {\pboxargslen}{-1\formnamelen}
2694%
2695
2696
2697\addtolength {\pboxargslen}{-1.5\typelen}
2698%
2699
2700\stepcounter{paragraph}
2701
2702\settowidth {\formnamelen}{\sf color$-$}
2703%
2704
2705
2706\settowidth {\typelen}{\em FUNCTION\/}
2707%
2708
2709
2710\setlength {\pboxargslen}{\linewidth}
2711%
2712
2713
2714\addtolength {\pboxargslen}{-1\formnamelen}
2715%
2716
2717
2718\addtolength {\pboxargslen}{-1.5\typelen}
2719%
2720
2721\stepcounter{paragraph}
2722
2723\settowidth {\formnamelen}{\sf colored$-$poly+}
2724%
2725
2726
2727\settowidth {\typelen}{\em FUNCTION\/}
2728%
2729
2730
2731\setlength {\pboxargslen}{\linewidth}
2732%
2733
2734
2735\addtolength {\pboxargslen}{-1\formnamelen}
2736%
2737
2738
2739\addtolength {\pboxargslen}{-1.5\typelen}
2740%
2741
2742\stepcounter{paragraph}
2743
2744\settowidth {\formnamelen}{\sf colored$-$poly$-$}
2745%
2746
2747
2748\settowidth {\typelen}{\em FUNCTION\/}
2749%
2750
2751
2752\setlength {\pboxargslen}{\linewidth}
2753%
2754
2755
2756\addtolength {\pboxargslen}{-1\formnamelen}
2757%
2758
2759
2760\addtolength {\pboxargslen}{-1.5\typelen}
2761%
2762
2763\stepcounter{paragraph}
2764
2765\settowidth {\formnamelen}{\sf colored$-$term$-$uminus}
2766%
2767
2768
2769\settowidth {\typelen}{\em FUNCTION\/}
2770%
2771
2772
2773\setlength {\pboxargslen}{\linewidth}
2774%
2775
2776
2777\addtolength {\pboxargslen}{-1\formnamelen}
2778%
2779
2780
2781\addtolength {\pboxargslen}{-1.5\typelen}
2782%
2783
2784\stepcounter{paragraph}
2785
2786\settowidth {\formnamelen}{\sf colored$-$minus$-$poly}
2787%
2788
2789
2790\settowidth {\typelen}{\em FUNCTION\/}
2791%
2792
2793
2794\setlength {\pboxargslen}{\linewidth}
2795%
2796
2797
2798\addtolength {\pboxargslen}{-1\formnamelen}
2799%
2800
2801
2802\addtolength {\pboxargslen}{-1.5\typelen}
2803%
2804
2805\stepcounter{paragraph}
2806
2807\settowidth {\formnamelen}{\sf string$-$grobner$-$system}
2808%
2809
2810
2811\settowidth {\typelen}{\em FUNCTION\/}
2812%
2813
2814
2815\setlength {\pboxargslen}{\linewidth}
2816%
2817
2818
2819\addtolength {\pboxargslen}{-1\formnamelen}
2820%
2821
2822
2823\addtolength {\pboxargslen}{-1.5\typelen}
2824%
2825
2826\stepcounter{paragraph}
2827
2828\settowidth {\formnamelen}{\sf string$-$cond}
2829%
2830
2831
2832\settowidth {\typelen}{\em FUNCTION\/}
2833%
2834
2835
2836\setlength {\pboxargslen}{\linewidth}
2837%
2838
2839
2840\addtolength {\pboxargslen}{-1\formnamelen}
2841%
2842
2843
2844\addtolength {\pboxargslen}{-1.5\typelen}
2845%
2846
2847\stepcounter{paragraph}
2848
2849\settowidth {\formnamelen}{\sf string$-$cover}
2850%
2851
2852
2853\settowidth {\typelen}{\em FUNCTION\/}
2854%
2855
2856
2857\setlength {\pboxargslen}{\linewidth}
2858%
2859
2860
2861\addtolength {\pboxargslen}{-1\formnamelen}
2862%
2863
2864
2865\addtolength {\pboxargslen}{-1.5\typelen}
2866%
2867
2868\stepcounter{paragraph}
2869
2870\settowidth {\formnamelen}{\sf saturate$-$cover}
2871%
2872
2873
2874\settowidth {\typelen}{\em FUNCTION\/}
2875%
2876
2877
2878\setlength {\pboxargslen}{\linewidth}
2879%
2880
2881
2882\addtolength {\pboxargslen}{-1\formnamelen}
2883%
2884
2885
2886\addtolength {\pboxargslen}{-1.5\typelen}
2887%
2888
2889\stepcounter{paragraph}
2890
2891\settowidth {\formnamelen}{\sf saturate$-$cond}
2892%
2893
2894
2895\settowidth {\typelen}{\em FUNCTION\/}
2896%
2897
2898
2899\setlength {\pboxargslen}{\linewidth}
2900%
2901
2902
2903\addtolength {\pboxargslen}{-1\formnamelen}
2904%
2905
2906
2907\addtolength {\pboxargslen}{-1.5\typelen}
2908%
2909
2910\stepcounter{paragraph}
2911
2912\settowidth {\formnamelen}{\sf string$-$determine}
2913%
2914
2915
2916\settowidth {\typelen}{\em FUNCTION\/}
2917%
2918
2919
2920\setlength {\pboxargslen}{\linewidth}
2921%
2922
2923
2924\addtolength {\pboxargslen}{-1\formnamelen}
2925%
2926
2927
2928\addtolength {\pboxargslen}{-1.5\typelen}
2929%
2930
2931\stepcounter{paragraph}
2932
2933\settowidth {\formnamelen}{\sf tidy$-$grobner$-$system}
2934%
2935
2936
2937\settowidth {\typelen}{\em FUNCTION\/}
2938%
2939
2940
2941\setlength {\pboxargslen}{\linewidth}
2942%
2943
2944
2945\addtolength {\pboxargslen}{-1\formnamelen}
2946%
2947
2948
2949\addtolength {\pboxargslen}{-1.5\typelen}
2950%
2951
2952\stepcounter{paragraph}
2953
2954\settowidth {\formnamelen}{\sf tidy$-$pair}
2955%
2956
2957
2958\settowidth {\typelen}{\em FUNCTION\/}
2959%
2960
2961
2962\setlength {\pboxargslen}{\linewidth}
2963%
2964
2965
2966\addtolength {\pboxargslen}{-1\formnamelen}
2967%
2968
2969
2970\addtolength {\pboxargslen}{-1.5\typelen}
2971%
2972
2973\stepcounter{paragraph}
2974
2975\settowidth {\formnamelen}{\sf tidy$-$cond}
2976%
2977
2978
2979\settowidth {\typelen}{\em FUNCTION\/}
2980%
2981
2982
2983\setlength {\pboxargslen}{\linewidth}
2984%
2985
2986
2987\addtolength {\pboxargslen}{-1\formnamelen}
2988%
2989
2990
2991\addtolength {\pboxargslen}{-1.5\typelen}
2992%
2993
2994\stepcounter{paragraph}
2995
2996\settowidth {\formnamelen}{\sf colored$-$reduction}
2997%
2998
2999
3000\settowidth {\typelen}{\em FUNCTION\/}
3001%
3002
3003
3004\setlength {\pboxargslen}{\linewidth}
3005%
3006
3007
3008\addtolength {\pboxargslen}{-1\formnamelen}
3009%
3010
3011
3012\addtolength {\pboxargslen}{-1.5\typelen}
3013%
3014
3015\stepcounter{paragraph}
3016
3017\settowidth {\formnamelen}{\sf green$-$reduce$-$colored$-$poly}
3018%
3019
3020
3021\settowidth {\typelen}{\em FUNCTION\/}
3022%
3023
3024
3025\setlength {\pboxargslen}{\linewidth}
3026%
3027
3028
3029\addtolength {\pboxargslen}{-1\formnamelen}
3030%
3031
3032
3033\addtolength {\pboxargslen}{-1.5\typelen}
3034%
3035
3036\stepcounter{paragraph}
3037
3038\settowidth {\formnamelen}{\sf green$-$reduce$-$colored$-$list}
3039%
3040
3041
3042\settowidth {\typelen}{\em FUNCTION\/}
3043%
3044
3045
3046\setlength {\pboxargslen}{\linewidth}
3047%
3048
3049
3050\addtolength {\pboxargslen}{-1\formnamelen}
3051%
3052
3053
3054\addtolength {\pboxargslen}{-1.5\typelen}
3055%
3056
3057\stepcounter{paragraph}
3058
3059\settowidth {\formnamelen}{\sf cond$-$system$-$green$-$reduce}
3060%
3061
3062
3063\settowidth {\typelen}{\em FUNCTION\/}
3064%
3065
3066
3067\setlength {\pboxargslen}{\linewidth}
3068%
3069
3070
3071\addtolength {\pboxargslen}{-1\formnamelen}
3072%
3073
3074
3075\addtolength {\pboxargslen}{-1.5\typelen}
3076%
3077
3078\stepcounter{paragraph}
3079
3080\settowidth {\formnamelen}{\sf parse$-$to$-$colored$-$poly$-$list}
3081%
3082
3083
3084\settowidth {\typelen}{\em FUNCTION\/}
3085%
3086
3087
3088\setlength {\pboxargslen}{\linewidth}
3089%
3090
3091
3092\addtolength {\pboxargslen}{-1\formnamelen}
3093%
3094
3095
3096\addtolength {\pboxargslen}{-1.5\typelen}
3097%
3098
3099\stepcounter{paragraph}
3100
3101\settowidth {\formnamelen}{\sf red$-$reduction}
3102%
3103
3104
3105\settowidth {\typelen}{\em FUNCTION\/}
3106%
3107
3108
3109\setlength {\pboxargslen}{\linewidth}
3110%
3111
3112
3113\addtolength {\pboxargslen}{-1\formnamelen}
3114%
3115
3116
3117\addtolength {\pboxargslen}{-1.5\typelen}
3118%
3119
3120\stepcounter{section}
3121\stepcounter{paragraph}
3122
3123\settowidth {\formnamelen}{\sf ring}
3124%
3125
3126
3127\settowidth {\typelen}{\em STRUCTURE\/}
3128%
3129
3130
3131\setlength {\pboxargslen}{\linewidth}
3132%
3133
3134
3135\addtolength {\pboxargslen}{-1\formnamelen}
3136%
3137
3138
3139\addtolength {\pboxargslen}{-1.5\typelen}
3140%
3141
3142\stepcounter{paragraph}
3143
3144\settowidth {\formnamelen}{\sf *ring$-$of$-$integers*}
3145%
3146
3147
3148\settowidth {\typelen}{\em VARIABLE\/}
3149%
3150
3151
3152\setlength {\pboxargslen}{\linewidth}
3153%
3154
3155
3156\addtolength {\pboxargslen}{-1\formnamelen}
3157%
3158
3159
3160\addtolength {\pboxargslen}{-1.5\typelen}
3161%
3162
3163\stepcounter{paragraph}
3164
3165\settowidth {\formnamelen}{\sf *field$-$of$-$rationals*}
3166%
3167
3168
3169\settowidth {\typelen}{\em VARIABLE\/}
3170%
3171
3172
3173\setlength {\pboxargslen}{\linewidth}
3174%
3175
3176
3177\addtolength {\pboxargslen}{-1\formnamelen}
3178%
3179
3180
3181\addtolength {\pboxargslen}{-1.5\typelen}
3182%
3183
3184\stepcounter{paragraph}
3185
3186\settowidth {\formnamelen}{\sf field$-$modulo$-$prime}
3187%
3188
3189
3190\settowidth {\typelen}{\em FUNCTION\/}
3191%
3192
3193
3194\setlength {\pboxargslen}{\linewidth}
3195%
3196
3197
3198\addtolength {\pboxargslen}{-1\formnamelen}
3199%
3200
3201
3202\addtolength {\pboxargslen}{-1.5\typelen}
3203%
3204
3205\stepcounter{paragraph}
3206
3207\settowidth {\formnamelen}{\sf *coefficient$-$ring*}
3208%
3209
3210
3211\settowidth {\typelen}{\em VARIABLE\/}
3212%
3213
3214
3215\setlength {\pboxargslen}{\linewidth}
3216%
3217
3218
3219\addtolength {\pboxargslen}{-1\formnamelen}
3220%
3221
3222
3223\addtolength {\pboxargslen}{-1.5\typelen}
3224%
3225
3226\stepcounter{section}
3227\stepcounter{paragraph}
3228
3229\settowidth {\formnamelen}{\sf divide}
3230%
3231
3232
3233\settowidth {\typelen}{\em FUNCTION\/}
3234%
3235
3236
3237\setlength {\pboxargslen}{\linewidth}
3238%
3239
3240
3241\addtolength {\pboxargslen}{-1\formnamelen}
3242%
3243
3244
3245\addtolength {\pboxargslen}{-1.5\typelen}
3246%
3247
3248\stepcounter{paragraph}
3249
3250\settowidth {\formnamelen}{\sf poly$-$exact$-$divide}
3251%
3252
3253
3254\settowidth {\typelen}{\em FUNCTION\/}
3255%
3256
3257
3258\setlength {\pboxargslen}{\linewidth}
3259%
3260
3261
3262\addtolength {\pboxargslen}{-1\formnamelen}
3263%
3264
3265
3266\addtolength {\pboxargslen}{-1.5\typelen}
3267%
3268
3269\stepcounter{section}
3270\stepcounter{paragraph}
3271
3272\settowidth {\formnamelen}{\sf poly$-$scalar$-$composition}
3273%
3274
3275
3276\settowidth {\typelen}{\em FUNCTION\/}
3277%
3278
3279
3280\setlength {\pboxargslen}{\linewidth}
3281%
3282
3283
3284\addtolength {\pboxargslen}{-1\formnamelen}
3285%
3286
3287
3288\addtolength {\pboxargslen}{-1.5\typelen}
3289%
3290
3291\stepcounter{paragraph}
3292
3293\settowidth {\formnamelen}{\sf poly$-$composition}
3294%
3295
3296
3297\settowidth {\typelen}{\em FUNCTION\/}
3298%
3299
3300
3301\setlength {\pboxargslen}{\linewidth}
3302%
3303
3304
3305\addtolength {\pboxargslen}{-1\formnamelen}
3306%
3307
3308
3309\addtolength {\pboxargslen}{-1.5\typelen}
3310%
3311
3312\stepcounter{paragraph}
3313
3314\settowidth {\formnamelen}{\sf poly$-$dynamic$-$power}
3315%
3316
3317
3318\settowidth {\typelen}{\em FUNCTION\/}
3319%
3320
3321
3322\setlength {\pboxargslen}{\linewidth}
3323%
3324
3325
3326\addtolength {\pboxargslen}{-1\formnamelen}
3327%
3328
3329
3330\addtolength {\pboxargslen}{-1.5\typelen}
3331%
3332
3333\stepcounter{paragraph}
3334
3335\settowidth {\formnamelen}{\sf poly$-$scalar$-$evaluate}
3336%
3337
3338
3339\settowidth {\typelen}{\em FUNCTION\/}
3340%
3341
3342
3343\setlength {\pboxargslen}{\linewidth}
3344%
3345
3346
3347\addtolength {\pboxargslen}{-1\formnamelen}
3348%
3349
3350
3351\addtolength {\pboxargslen}{-1.5\typelen}
3352%
3353
3354\stepcounter{paragraph}
3355
3356\settowidth {\formnamelen}{\sf poly$-$evaluate}
3357%
3358
3359
3360\settowidth {\typelen}{\em FUNCTION\/}
3361%
3362
3363
3364\setlength {\pboxargslen}{\linewidth}
3365%
3366
3367
3368\addtolength {\pboxargslen}{-1\formnamelen}
3369%
3370
3371
3372\addtolength {\pboxargslen}{-1.5\typelen}
3373%
3374
3375\stepcounter{paragraph}
3376
3377\settowidth {\formnamelen}{\sf factorial}
3378%
3379
3380
3381\settowidth {\typelen}{\em FUNCTION\/}
3382%
3383
3384
3385\setlength {\pboxargslen}{\linewidth}
3386%
3387
3388
3389\addtolength {\pboxargslen}{-1\formnamelen}
3390%
3391
3392
3393\addtolength {\pboxargslen}{-1.5\typelen}
3394%
3395
3396\stepcounter{paragraph}
3397
3398\settowidth {\formnamelen}{\sf poly$-$scalar$-$diff}
3399%
3400
3401
3402\settowidth {\typelen}{\em FUNCTION\/}
3403%
3404
3405
3406\setlength {\pboxargslen}{\linewidth}
3407%
3408
3409
3410\addtolength {\pboxargslen}{-1\formnamelen}
3411%
3412
3413
3414\addtolength {\pboxargslen}{-1.5\typelen}
3415%
3416
3417\stepcounter{paragraph}
3418
3419\settowidth {\formnamelen}{\sf poly$-$diff}
3420%
3421
3422
3423\settowidth {\typelen}{\em FUNCTION\/}
3424%
3425
3426
3427\setlength {\pboxargslen}{\linewidth}
3428%
3429
3430
3431\addtolength {\pboxargslen}{-1\formnamelen}
3432%
3433
3434
3435\addtolength {\pboxargslen}{-1.5\typelen}
3436%
3437
3438\stepcounter{paragraph}
3439
3440\settowidth {\formnamelen}{\sf standard$-$vector}
3441%
3442
3443
3444\settowidth {\typelen}{\em FUNCTION\/}
3445%
3446
3447
3448\setlength {\pboxargslen}{\linewidth}
3449%
3450
3451
3452\addtolength {\pboxargslen}{-1\formnamelen}
3453%
3454
3455
3456\addtolength {\pboxargslen}{-1.5\typelen}
3457%
3458
3459\stepcounter{paragraph}
3460
3461\settowidth {\formnamelen}{\sf scalar$-$partial}
3462%
3463
3464
3465\settowidth {\typelen}{\em FUNCTION\/}
3466%
3467
3468
3469\setlength {\pboxargslen}{\linewidth}
3470%
3471
3472
3473\addtolength {\pboxargslen}{-1\formnamelen}
3474%
3475
3476
3477\addtolength {\pboxargslen}{-1.5\typelen}
3478%
3479
3480\stepcounter{paragraph}
3481
3482\settowidth {\formnamelen}{\sf partial}
3483%
3484
3485
3486\settowidth {\typelen}{\em FUNCTION\/}
3487%
3488
3489
3490\setlength {\pboxargslen}{\linewidth}
3491%
3492
3493
3494\addtolength {\pboxargslen}{-1\formnamelen}
3495%
3496
3497
3498\addtolength {\pboxargslen}{-1.5\typelen}
3499%
3500
3501\stepcounter{paragraph}
3502
3503\settowidth {\formnamelen}{\sf determinant}
3504%
3505
3506
3507\settowidth {\typelen}{\em FUNCTION\/}
3508%
3509
3510
3511\setlength {\pboxargslen}{\linewidth}
3512%
3513
3514
3515\addtolength {\pboxargslen}{-1\formnamelen}
3516%
3517
3518
3519\addtolength {\pboxargslen}{-1.5\typelen}
3520%
3521
3522\stepcounter{paragraph}
3523
3524\settowidth {\formnamelen}{\sf minor}
3525%
3526
3527
3528\settowidth {\typelen}{\em FUNCTION\/}
3529%
3530
3531
3532\setlength {\pboxargslen}{\linewidth}
3533%
3534
3535
3536\addtolength {\pboxargslen}{-1\formnamelen}
3537%
3538
3539
3540\addtolength {\pboxargslen}{-1.5\typelen}
3541%
3542
3543\stepcounter{paragraph}
3544
3545\settowidth {\formnamelen}{\sf drop$-$row}
3546%
3547
3548
3549\settowidth {\typelen}{\em FUNCTION\/}
3550%
3551
3552
3553\setlength {\pboxargslen}{\linewidth}
3554%
3555
3556
3557\addtolength {\pboxargslen}{-1\formnamelen}
3558%
3559
3560
3561\addtolength {\pboxargslen}{-1.5\typelen}
3562%
3563
3564\stepcounter{paragraph}
3565
3566\settowidth {\formnamelen}{\sf drop$-$column}
3567%
3568
3569
3570\settowidth {\typelen}{\em FUNCTION\/}
3571%
3572
3573
3574\setlength {\pboxargslen}{\linewidth}
3575%
3576
3577
3578\addtolength {\pboxargslen}{-1\formnamelen}
3579%
3580
3581
3582\addtolength {\pboxargslen}{-1.5\typelen}
3583%
3584
3585\stepcounter{paragraph}
3586
3587\settowidth {\formnamelen}{\sf drop$-$elt}
3588%
3589
3590
3591\settowidth {\typelen}{\em FUNCTION\/}
3592%
3593
3594
3595\setlength {\pboxargslen}{\linewidth}
3596%
3597
3598
3599\addtolength {\pboxargslen}{-1\formnamelen}
3600%
3601
3602
3603\addtolength {\pboxargslen}{-1.5\typelen}
3604%
3605
3606\stepcounter{paragraph}
3607
3608\settowidth {\formnamelen}{\sf matrix$-$}
3609%
3610
3611
3612\settowidth {\typelen}{\em FUNCTION\/}
3613%
3614
3615
3616\setlength {\pboxargslen}{\linewidth}
3617%
3618
3619
3620\addtolength {\pboxargslen}{-1\formnamelen}
3621%
3622
3623
3624\addtolength {\pboxargslen}{-1.5\typelen}
3625%
3626
3627\stepcounter{paragraph}
3628
3629\settowidth {\formnamelen}{\sf scalar$-$times$-$matrix}
3630%
3631
3632
3633\settowidth {\typelen}{\em FUNCTION\/}
3634%
3635
3636
3637\setlength {\pboxargslen}{\linewidth}
3638%
3639
3640
3641\addtolength {\pboxargslen}{-1\formnamelen}
3642%
3643
3644
3645\addtolength {\pboxargslen}{-1.5\typelen}
3646%
3647
3648\stepcounter{paragraph}
3649
3650\settowidth {\formnamelen}{\sf monom$-$times$-$matrix}
3651%
3652
3653
3654\settowidth {\typelen}{\em FUNCTION\/}
3655%
3656
3657
3658\setlength {\pboxargslen}{\linewidth}
3659%
3660
3661
3662\addtolength {\pboxargslen}{-1\formnamelen}
3663%
3664
3665
3666\addtolength {\pboxargslen}{-1.5\typelen}
3667%
3668
3669\stepcounter{paragraph}
3670
3671\settowidth {\formnamelen}{\sf term$-$times$-$matrix}
3672%
3673
3674
3675\settowidth {\typelen}{\em FUNCTION\/}
3676%
3677
3678
3679\setlength {\pboxargslen}{\linewidth}
3680%
3681
3682
3683\addtolength {\pboxargslen}{-1\formnamelen}
3684%
3685
3686
3687\addtolength {\pboxargslen}{-1.5\typelen}
3688%
3689
3690\stepcounter{paragraph}
3691
3692\settowidth {\formnamelen}{\sf poly$-$list$-$}
3693%
3694
3695
3696\settowidth {\typelen}{\em FUNCTION\/}
3697%
3698
3699
3700\setlength {\pboxargslen}{\linewidth}
3701%
3702
3703
3704\addtolength {\pboxargslen}{-1\formnamelen}
3705%
3706
3707
3708\addtolength {\pboxargslen}{-1.5\typelen}
3709%
3710
3711\stepcounter{paragraph}
3712
3713\settowidth {\formnamelen}{\sf scalar$-$times$-$poly$-$list}
3714%
3715
3716
3717\settowidth {\typelen}{\em FUNCTION\/}
3718%
3719
3720
3721\setlength {\pboxargslen}{\linewidth}
3722%
3723
3724
3725\addtolength {\pboxargslen}{-1\formnamelen}
3726%
3727
3728
3729\addtolength {\pboxargslen}{-1.5\typelen}
3730%
3731
3732\stepcounter{paragraph}
3733
3734\settowidth {\formnamelen}{\sf monom$-$times$-$poly$-$list}
3735%
3736
3737
3738\settowidth {\typelen}{\em FUNCTION\/}
3739%
3740
3741
3742\setlength {\pboxargslen}{\linewidth}
3743%
3744
3745
3746\addtolength {\pboxargslen}{-1\formnamelen}
3747%
3748
3749
3750\addtolength {\pboxargslen}{-1.5\typelen}
3751%
3752
3753\stepcounter{paragraph}
3754
3755\settowidth {\formnamelen}{\sf term$-$times$-$poly$-$list}
3756%
3757
3758
3759\settowidth {\typelen}{\em FUNCTION\/}
3760%
3761
3762
3763\setlength {\pboxargslen}{\linewidth}
3764%
3765
3766
3767\addtolength {\pboxargslen}{-1\formnamelen}
3768%
3769
3770
3771\addtolength {\pboxargslen}{-1.5\typelen}
3772%
3773
3774\stepcounter{paragraph}
3775
3776\settowidth {\formnamelen}{\sf characteristic$-$combination}
3777%
3778
3779
3780\settowidth {\typelen}{\em FUNCTION\/}
3781%
3782
3783
3784\setlength {\pboxargslen}{\linewidth}
3785%
3786
3787
3788\addtolength {\pboxargslen}{-1\formnamelen}
3789%
3790
3791
3792\addtolength {\pboxargslen}{-1.5\typelen}
3793%
3794
3795\stepcounter{paragraph}
3796
3797\settowidth {\formnamelen}{\sf characteristic$-$combination$-$poly$-$list}
3798%
3799
3800
3801\settowidth {\typelen}{\em FUNCTION\/}
3802%
3803
3804
3805\setlength {\pboxargslen}{\linewidth}
3806%
3807
3808
3809\addtolength {\pboxargslen}{-1\formnamelen}
3810%
3811
3812
3813\addtolength {\pboxargslen}{-1.5\typelen}
3814%
3815
3816\stepcounter{paragraph}
3817
3818\settowidth {\formnamelen}{\sf characteristic$-$matrix}
3819%
3820
3821
3822\settowidth {\typelen}{\em FUNCTION\/}
3823%
3824
3825
3826\setlength {\pboxargslen}{\linewidth}
3827%
3828
3829
3830\addtolength {\pboxargslen}{-1\formnamelen}
3831%
3832
3833
3834\addtolength {\pboxargslen}{-1.5\typelen}
3835%
3836
3837\stepcounter{paragraph}
3838
3839\settowidth {\formnamelen}{\sf characteristic$-$polynomial}
3840%
3841
3842
3843\settowidth {\typelen}{\em FUNCTION\/}
3844%
3845
3846
3847\setlength {\pboxargslen}{\linewidth}
3848%
3849
3850
3851\addtolength {\pboxargslen}{-1\formnamelen}
3852%
3853
3854
3855\addtolength {\pboxargslen}{-1.5\typelen}
3856%
3857
3858\stepcounter{paragraph}
3859
3860\settowidth {\formnamelen}{\sf identity$-$matrix}
3861%
3862
3863
3864\settowidth {\typelen}{\em FUNCTION\/}
3865%
3866
3867
3868\setlength {\pboxargslen}{\linewidth}
3869%
3870
3871
3872\addtolength {\pboxargslen}{-1\formnamelen}
3873%
3874
3875
3876\addtolength {\pboxargslen}{-1.5\typelen}
3877%
3878
3879\stepcounter{paragraph}
3880
3881\settowidth {\formnamelen}{\sf print$-$matrix}
3882%
3883
3884
3885\settowidth {\typelen}{\em FUNCTION\/}
3886%
3887
3888
3889\setlength {\pboxargslen}{\linewidth}
3890%
3891
3892
3893\addtolength {\pboxargslen}{-1\formnamelen}
3894%
3895
3896
3897\addtolength {\pboxargslen}{-1.5\typelen}
3898%
3899
3900\stepcounter{paragraph}
3901
3902\settowidth {\formnamelen}{\sf jacobi$-$matrix}
3903%
3904
3905
3906\settowidth {\typelen}{\em FUNCTION\/}
3907%
3908
3909
3910\setlength {\pboxargslen}{\linewidth}
3911%
3912
3913
3914\addtolength {\pboxargslen}{-1\formnamelen}
3915%
3916
3917
3918\addtolength {\pboxargslen}{-1.5\typelen}
3919%
3920
3921\stepcounter{paragraph}
3922
3923\settowidth {\formnamelen}{\sf jacobian}
3924%
3925
3926
3927\settowidth {\typelen}{\em FUNCTION\/}
3928%
3929
3930
3931\setlength {\pboxargslen}{\linewidth}
3932%
3933
3934
3935\addtolength {\pboxargslen}{-1\formnamelen}
3936%
3937
3938
3939\addtolength {\pboxargslen}{-1.5\typelen}
3940%
3941
3942\stepcounter{section}
3943\stepcounter{paragraph}
3944
3945\settowidth {\formnamelen}{\sf *prover$-$order*}
3946%
3947
3948
3949\settowidth {\typelen}{\em VARIABLE\/}
3950%
3951
3952
3953\setlength {\pboxargslen}{\linewidth}
3954%
3955
3956
3957\addtolength {\pboxargslen}{-1\formnamelen}
3958%
3959
3960
3961\addtolength {\pboxargslen}{-1.5\typelen}
3962%
3963
3964\stepcounter{paragraph}
3965
3966\settowidth {\formnamelen}{\sf csym}
3967%
3968
3969
3970\settowidth {\typelen}{\em FUNCTION\/}
3971%
3972
3973
3974\setlength {\pboxargslen}{\linewidth}
3975%
3976
3977
3978\addtolength {\pboxargslen}{-1\formnamelen}
3979%
3980
3981
3982\addtolength {\pboxargslen}{-1.5\typelen}
3983%
3984
3985\stepcounter{paragraph}
3986
3987\settowidth {\formnamelen}{\sf real$-$identical$-$points}
3988%
3989
3990
3991\settowidth {\typelen}{\em MACRO\/}
3992%
3993
3994
3995\setlength {\pboxargslen}{\linewidth}
3996%
3997
3998
3999\addtolength {\pboxargslen}{-1\formnamelen}
4000%
4001
4002
4003\addtolength {\pboxargslen}{-1.5\typelen}
4004%
4005
4006\stepcounter{paragraph}
4007
4008\settowidth {\formnamelen}{\sf identical$-$points}
4009%
4010
4011
4012\settowidth {\typelen}{\em MACRO\/}
4013%
4014
4015
4016\setlength {\pboxargslen}{\linewidth}
4017%
4018
4019
4020\addtolength {\pboxargslen}{-1\formnamelen}
4021%
4022
4023
4024\addtolength {\pboxargslen}{-1.5\typelen}
4025%
4026
4027\stepcounter{paragraph}
4028
4029\settowidth {\formnamelen}{\sf perpendicular}
4030%
4031
4032
4033\settowidth {\typelen}{\em MACRO\/}
4034%
4035
4036
4037\setlength {\pboxargslen}{\linewidth}
4038%
4039
4040
4041\addtolength {\pboxargslen}{-1\formnamelen}
4042%
4043
4044
4045\addtolength {\pboxargslen}{-1.5\typelen}
4046%
4047
4048\stepcounter{paragraph}
4049
4050\settowidth {\formnamelen}{\sf parallel}
4051%
4052
4053
4054\settowidth {\typelen}{\em MACRO\/}
4055%
4056
4057
4058\setlength {\pboxargslen}{\linewidth}
4059%
4060
4061
4062\addtolength {\pboxargslen}{-1\formnamelen}
4063%
4064
4065
4066\addtolength {\pboxargslen}{-1.5\typelen}
4067%
4068
4069\stepcounter{paragraph}
4070
4071\settowidth {\formnamelen}{\sf collinear}
4072%
4073
4074
4075\settowidth {\typelen}{\em MACRO\/}
4076%
4077
4078
4079\setlength {\pboxargslen}{\linewidth}
4080%
4081
4082
4083\addtolength {\pboxargslen}{-1\formnamelen}
4084%
4085
4086
4087\addtolength {\pboxargslen}{-1.5\typelen}
4088%
4089
4090\stepcounter{paragraph}
4091
4092\settowidth {\formnamelen}{\sf equidistant}
4093%
4094
4095
4096\settowidth {\typelen}{\em MACRO\/}
4097%
4098
4099
4100\setlength {\pboxargslen}{\linewidth}
4101%
4102
4103
4104\addtolength {\pboxargslen}{-1\formnamelen}
4105%
4106
4107
4108\addtolength {\pboxargslen}{-1.5\typelen}
4109%
4110
4111\stepcounter{paragraph}
4112
4113\settowidth {\formnamelen}{\sf euclidean$-$distance}
4114%
4115
4116
4117\settowidth {\typelen}{\em MACRO\/}
4118%
4119
4120
4121\setlength {\pboxargslen}{\linewidth}
4122%
4123
4124
4125\addtolength {\pboxargslen}{-1\formnamelen}
4126%
4127
4128
4129\addtolength {\pboxargslen}{-1.5\typelen}
4130%
4131
4132\stepcounter{paragraph}
4133
4134\settowidth {\formnamelen}{\sf midpoint}
4135%
4136
4137
4138\settowidth {\typelen}{\em MACRO\/}
4139%
4140
4141
4142\setlength {\pboxargslen}{\linewidth}
4143%
4144
4145
4146\addtolength {\pboxargslen}{-1\formnamelen}
4147%
4148
4149
4150\addtolength {\pboxargslen}{-1.5\typelen}
4151%
4152
4153\stepcounter{paragraph}
4154
4155\settowidth {\formnamelen}{\sf translate$-$statements}
4156%
4157
4158
4159\settowidth {\typelen}{\em MACRO\/}
4160%
4161
4162
4163\setlength {\pboxargslen}{\linewidth}
4164%
4165
4166
4167\addtolength {\pboxargslen}{-1\formnamelen}
4168%
4169
4170
4171\addtolength {\pboxargslen}{-1.5\typelen}
4172%
4173
4174\stepcounter{paragraph}
4175
4176\settowidth {\formnamelen}{\sf translate$-$assumptions}
4177%
4178
4179
4180\settowidth {\typelen}{\em MACRO\/}
4181%
4182
4183
4184\setlength {\pboxargslen}{\linewidth}
4185%
4186
4187
4188\addtolength {\pboxargslen}{-1\formnamelen}
4189%
4190
4191
4192\addtolength {\pboxargslen}{-1.5\typelen}
4193%
4194
4195\stepcounter{paragraph}
4196
4197\settowidth {\formnamelen}{\sf translate$-$conclusions}
4198%
4199
4200
4201\settowidth {\typelen}{\em MACRO\/}
4202%
4203
4204
4205\setlength {\pboxargslen}{\linewidth}
4206%
4207
4208
4209\addtolength {\pboxargslen}{-1\formnamelen}
4210%
4211
4212
4213\addtolength {\pboxargslen}{-1.5\typelen}
4214%
4215
4216\stepcounter{paragraph}
4217
4218\settowidth {\formnamelen}{\sf translate$-$theorem}
4219%
4220
4221
4222\settowidth {\typelen}{\em MACRO\/}
4223%
4224
4225
4226\setlength {\pboxargslen}{\linewidth}
4227%
4228
4229
4230\addtolength {\pboxargslen}{-1\formnamelen}
4231%
4232
4233
4234\addtolength {\pboxargslen}{-1.5\typelen}
4235%
4236
4237\stepcounter{paragraph}
4238
4239\settowidth {\formnamelen}{\sf prove$-$theorem}
4240%
4241
4242
4243\settowidth {\typelen}{\em MACRO\/}
4244%
4245
4246
4247\setlength {\pboxargslen}{\linewidth}
4248%
4249
4250
4251\addtolength {\pboxargslen}{-1\formnamelen}
4252%
4253
4254
4255\addtolength {\pboxargslen}{-1.5\typelen}
4256%
4257
4258\stepcounter{section}
4259\stepcounter{paragraph}
4260
4261\settowidth {\formnamelen}{\sf lex$>$}
4262%
4263
4264
4265\settowidth {\typelen}{\em FUNCTION\/}
4266%
4267
4268
4269\setlength {\pboxargslen}{\linewidth}
4270%
4271
4272
4273\addtolength {\pboxargslen}{-1\formnamelen}
4274%
4275
4276
4277\addtolength {\pboxargslen}{-1.5\typelen}
4278%
4279
4280{\newpage\clearpage
4281\lthtmlinlinemathA{tex2html_wrap_inline22868}%
4282$\textstyle\parbox{\pboxargslen}{\em p q {\sf \&optional} (start 0) (end (length p)) \/}$%
4283\lthtmlinlinemathZ
4284\hfill\lthtmlcheckvsize\clearpage}
4285
4286\stepcounter{paragraph}
4287
4288\settowidth {\formnamelen}{\sf total$-$degree}
4289%
4290
4291
4292\settowidth {\typelen}{\em FUNCTION\/}
4293%
4294
4295
4296\setlength {\pboxargslen}{\linewidth}
4297%
4298
4299
4300\addtolength {\pboxargslen}{-1\formnamelen}
4301%
4302
4303
4304\addtolength {\pboxargslen}{-1.5\typelen}
4305%
4306
4307{\newpage\clearpage
4308\lthtmlinlinemathA{tex2html_wrap_inline22871}%
4309$\textstyle\parbox{\pboxargslen}{\em m {\sf \&optional} (start 0) (end (length m)) \/}$%
4310\lthtmlinlinemathZ
4311\hfill\lthtmlcheckvsize\clearpage}
4312
4313\stepcounter{paragraph}
4314
4315\settowidth {\formnamelen}{\sf grlex$>$}
4316%
4317
4318
4319\settowidth {\typelen}{\em FUNCTION\/}
4320%
4321
4322
4323\setlength {\pboxargslen}{\linewidth}
4324%
4325
4326
4327\addtolength {\pboxargslen}{-1\formnamelen}
4328%
4329
4330
4331\addtolength {\pboxargslen}{-1.5\typelen}
4332%
4333
4334\stepcounter{paragraph}
4335
4336\settowidth {\formnamelen}{\sf grevlex$>$}
4337%
4338
4339
4340\settowidth {\typelen}{\em FUNCTION\/}
4341%
4342
4343
4344\setlength {\pboxargslen}{\linewidth}
4345%
4346
4347
4348\addtolength {\pboxargslen}{-1\formnamelen}
4349%
4350
4351
4352\addtolength {\pboxargslen}{-1.5\typelen}
4353%
4354
4355\stepcounter{paragraph}
4356
4357\settowidth {\formnamelen}{\sf revlex$>$}
4358%
4359
4360
4361\settowidth {\typelen}{\em FUNCTION\/}
4362%
4363
4364
4365\setlength {\pboxargslen}{\linewidth}
4366%
4367
4368
4369\addtolength {\pboxargslen}{-1\formnamelen}
4370%
4371
4372
4373\addtolength {\pboxargslen}{-1.5\typelen}
4374%
4375
4376\stepcounter{paragraph}
4377
4378\settowidth {\formnamelen}{\sf invlex$>$}
4379%
4380
4381
4382\settowidth {\typelen}{\em FUNCTION\/}
4383%
4384
4385
4386\setlength {\pboxargslen}{\linewidth}
4387%
4388
4389
4390\addtolength {\pboxargslen}{-1\formnamelen}
4391%
4392
4393
4394\addtolength {\pboxargslen}{-1.5\typelen}
4395%
4396
4397\stepcounter{paragraph}
4398
4399\settowidth {\formnamelen}{\sf elimination$-$order}
4400%
4401
4402
4403\settowidth {\typelen}{\em FUNCTION\/}
4404%
4405
4406
4407\setlength {\pboxargslen}{\linewidth}
4408%
4409
4410
4411\addtolength {\pboxargslen}{-1\formnamelen}
4412%
4413
4414
4415\addtolength {\pboxargslen}{-1.5\typelen}
4416%
4417
4418\stepcounter{paragraph}
4419
4420\settowidth {\formnamelen}{\sf elimination$-$order$-$1}
4421%
4422
4423
4424\settowidth {\typelen}{\em FUNCTION\/}
4425%
4426
4427
4428\setlength {\pboxargslen}{\linewidth}
4429%
4430
4431
4432\addtolength {\pboxargslen}{-1\formnamelen}
4433%
4434
4435
4436\addtolength {\pboxargslen}{-1.5\typelen}
4437%
4438
4439\stepcounter{section}
4440\stepcounter{paragraph}
4441
4442\settowidth {\formnamelen}{\sf scalar$-$times$-$poly}
4443%
4444
4445
4446\settowidth {\typelen}{\em FUNCTION\/}
4447%
4448
4449
4450\setlength {\pboxargslen}{\linewidth}
4451%
4452
4453
4454\addtolength {\pboxargslen}{-1\formnamelen}
4455%
4456
4457
4458\addtolength {\pboxargslen}{-1.5\typelen}
4459%
4460
4461\stepcounter{paragraph}
4462
4463\settowidth {\formnamelen}{\sf term$-$times$-$poly}
4464%
4465
4466
4467\settowidth {\typelen}{\em FUNCTION\/}
4468%
4469
4470
4471\setlength {\pboxargslen}{\linewidth}
4472%
4473
4474
4475\addtolength {\pboxargslen}{-1\formnamelen}
4476%
4477
4478
4479\addtolength {\pboxargslen}{-1.5\typelen}
4480%
4481
4482\stepcounter{paragraph}
4483
4484\settowidth {\formnamelen}{\sf monom$-$times$-$poly}
4485%
4486
4487
4488\settowidth {\typelen}{\em FUNCTION\/}
4489%
4490
4491
4492\setlength {\pboxargslen}{\linewidth}
4493%
4494
4495
4496\addtolength {\pboxargslen}{-1\formnamelen}
4497%
4498
4499
4500\addtolength {\pboxargslen}{-1.5\typelen}
4501%
4502
4503\stepcounter{paragraph}
4504
4505\settowidth {\formnamelen}{\sf minus$-$poly}
4506%
4507
4508
4509\settowidth {\typelen}{\em FUNCTION\/}
4510%
4511
4512
4513\setlength {\pboxargslen}{\linewidth}
4514%
4515
4516
4517\addtolength {\pboxargslen}{-1\formnamelen}
4518%
4519
4520
4521\addtolength {\pboxargslen}{-1.5\typelen}
4522%
4523
4524\stepcounter{paragraph}
4525
4526\settowidth {\formnamelen}{\sf sort$-$poly}
4527%
4528
4529
4530\settowidth {\typelen}{\em FUNCTION\/}
4531%
4532
4533
4534\setlength {\pboxargslen}{\linewidth}
4535%
4536
4537
4538\addtolength {\pboxargslen}{-1\formnamelen}
4539%
4540
4541
4542\addtolength {\pboxargslen}{-1.5\typelen}
4543%
4544
4545\stepcounter{paragraph}
4546
4547\settowidth {\formnamelen}{\sf poly+}
4548%
4549
4550
4551\settowidth {\typelen}{\em FUNCTION\/}
4552%
4553
4554
4555\setlength {\pboxargslen}{\linewidth}
4556%
4557
4558
4559\addtolength {\pboxargslen}{-1\formnamelen}
4560%
4561
4562
4563\addtolength {\pboxargslen}{-1.5\typelen}
4564%
4565
4566\stepcounter{paragraph}
4567
4568\settowidth {\formnamelen}{\sf poly$-$}
4569%
4570
4571
4572\settowidth {\typelen}{\em FUNCTION\/}
4573%
4574
4575
4576\setlength {\pboxargslen}{\linewidth}
4577%
4578
4579
4580\addtolength {\pboxargslen}{-1\formnamelen}
4581%
4582
4583
4584\addtolength {\pboxargslen}{-1.5\typelen}
4585%
4586
4587\stepcounter{paragraph}
4588
4589\settowidth {\formnamelen}{\sf poly*}
4590%
4591
4592
4593\settowidth {\typelen}{\em FUNCTION\/}
4594%
4595
4596
4597\setlength {\pboxargslen}{\linewidth}
4598%
4599
4600
4601\addtolength {\pboxargslen}{-1\formnamelen}
4602%
4603
4604
4605\addtolength {\pboxargslen}{-1.5\typelen}
4606%
4607
4608\stepcounter{paragraph}
4609
4610\settowidth {\formnamelen}{\sf poly$-$op}
4611%
4612
4613
4614\settowidth {\typelen}{\em FUNCTION\/}
4615%
4616
4617
4618\setlength {\pboxargslen}{\linewidth}
4619%
4620
4621
4622\addtolength {\pboxargslen}{-1\formnamelen}
4623%
4624
4625
4626\addtolength {\pboxargslen}{-1.5\typelen}
4627%
4628
4629\stepcounter{paragraph}
4630
4631\settowidth {\formnamelen}{\sf poly$-$expt}
4632%
4633
4634
4635\settowidth {\typelen}{\em FUNCTION\/}
4636%
4637
4638
4639\setlength {\pboxargslen}{\linewidth}
4640%
4641
4642
4643\addtolength {\pboxargslen}{-1\formnamelen}
4644%
4645
4646
4647\addtolength {\pboxargslen}{-1.5\typelen}
4648%
4649
4650\stepcounter{paragraph}
4651
4652\settowidth {\formnamelen}{\sf poly$-$mexpt}
4653%
4654
4655
4656\settowidth {\typelen}{\em FUNCTION\/}
4657%
4658
4659
4660\setlength {\pboxargslen}{\linewidth}
4661%
4662
4663
4664\addtolength {\pboxargslen}{-1\formnamelen}
4665%
4666
4667
4668\addtolength {\pboxargslen}{-1.5\typelen}
4669%
4670
4671\stepcounter{paragraph}
4672
4673\settowidth {\formnamelen}{\sf poly$-$constant$-$p}
4674%
4675
4676
4677\settowidth {\typelen}{\em FUNCTION\/}
4678%
4679
4680
4681\setlength {\pboxargslen}{\linewidth}
4682%
4683
4684
4685\addtolength {\pboxargslen}{-1\formnamelen}
4686%
4687
4688
4689\addtolength {\pboxargslen}{-1.5\typelen}
4690%
4691
4692\stepcounter{paragraph}
4693
4694\settowidth {\formnamelen}{\sf poly$-$extend}
4695%
4696
4697
4698\settowidth {\typelen}{\em FUNCTION\/}
4699%
4700
4701
4702\setlength {\pboxargslen}{\linewidth}
4703%
4704
4705
4706\addtolength {\pboxargslen}{-1\formnamelen}
4707%
4708
4709
4710\addtolength {\pboxargslen}{-1.5\typelen}
4711%
4712
4713\stepcounter{paragraph}
4714
4715\settowidth {\formnamelen}{\sf poly$-$extend$-$end}
4716%
4717
4718
4719\settowidth {\typelen}{\em FUNCTION\/}
4720%
4721
4722
4723\setlength {\pboxargslen}{\linewidth}
4724%
4725
4726
4727\addtolength {\pboxargslen}{-1\formnamelen}
4728%
4729
4730
4731\addtolength {\pboxargslen}{-1.5\typelen}
4732%
4733
4734\stepcounter{paragraph}
4735
4736\settowidth {\formnamelen}{\sf poly$-$zerop}
4737%
4738
4739
4740\settowidth {\typelen}{\em FUNCTION\/}
4741%
4742
4743
4744\setlength {\pboxargslen}{\linewidth}
4745%
4746
4747
4748\addtolength {\pboxargslen}{-1\formnamelen}
4749%
4750
4751
4752\addtolength {\pboxargslen}{-1.5\typelen}
4753%
4754
4755\stepcounter{paragraph}
4756
4757\settowidth {\formnamelen}{\sf lt}
4758%
4759
4760
4761\settowidth {\typelen}{\em FUNCTION\/}
4762%
4763
4764
4765\setlength {\pboxargslen}{\linewidth}
4766%
4767
4768
4769\addtolength {\pboxargslen}{-1\formnamelen}
4770%
4771
4772
4773\addtolength {\pboxargslen}{-1.5\typelen}
4774%
4775
4776\stepcounter{paragraph}
4777
4778\settowidth {\formnamelen}{\sf lm}
4779%
4780
4781
4782\settowidth {\typelen}{\em FUNCTION\/}
4783%
4784
4785
4786\setlength {\pboxargslen}{\linewidth}
4787%
4788
4789
4790\addtolength {\pboxargslen}{-1\formnamelen}
4791%
4792
4793
4794\addtolength {\pboxargslen}{-1.5\typelen}
4795%
4796
4797\stepcounter{paragraph}
4798
4799\settowidth {\formnamelen}{\sf lc}
4800%
4801
4802
4803\settowidth {\typelen}{\em FUNCTION\/}
4804%
4805
4806
4807\setlength {\pboxargslen}{\linewidth}
4808%
4809
4810
4811\addtolength {\pboxargslen}{-1\formnamelen}
4812%
4813
4814
4815\addtolength {\pboxargslen}{-1.5\typelen}
4816%
4817
4818\stepcounter{section}
4819\stepcounter{paragraph}
4820
4821\settowidth {\formnamelen}{\sf parse}
4822%
4823
4824
4825\settowidth {\typelen}{\em FUNCTION\/}
4826%
4827
4828
4829\setlength {\pboxargslen}{\linewidth}
4830%
4831
4832
4833\addtolength {\pboxargslen}{-1\formnamelen}
4834%
4835
4836
4837\addtolength {\pboxargslen}{-1.5\typelen}
4838%
4839
4840\stepcounter{paragraph}
4841
4842\settowidth {\formnamelen}{\sf alist$-$form}
4843%
4844
4845
4846\settowidth {\typelen}{\em FUNCTION\/}
4847%
4848
4849
4850\setlength {\pboxargslen}{\linewidth}
4851%
4852
4853
4854\addtolength {\pboxargslen}{-1\formnamelen}
4855%
4856
4857
4858\addtolength {\pboxargslen}{-1.5\typelen}
4859%
4860
4861\stepcounter{paragraph}
4862
4863\settowidth {\formnamelen}{\sf alist$-$form$-$1}
4864%
4865
4866
4867\settowidth {\typelen}{\em FUNCTION\/}
4868%
4869
4870
4871\setlength {\pboxargslen}{\linewidth}
4872%
4873
4874
4875\addtolength {\pboxargslen}{-1\formnamelen}
4876%
4877
4878
4879\addtolength {\pboxargslen}{-1.5\typelen}
4880%
4881
4882\stepcounter{paragraph}
4883
4884\settowidth {\formnamelen}{\sf powers}
4885%
4886
4887
4888\settowidth {\typelen}{\em FUNCTION\/}
4889%
4890
4891
4892\setlength {\pboxargslen}{\linewidth}
4893%
4894
4895
4896\addtolength {\pboxargslen}{-1\formnamelen}
4897%
4898
4899
4900\addtolength {\pboxargslen}{-1.5\typelen}
4901%
4902
4903\stepcounter{paragraph}
4904
4905\settowidth {\formnamelen}{\sf parse$-$to$-$alist}
4906%
4907
4908
4909\settowidth {\typelen}{\em FUNCTION\/}
4910%
4911
4912
4913\setlength {\pboxargslen}{\linewidth}
4914%
4915
4916
4917\addtolength {\pboxargslen}{-1\formnamelen}
4918%
4919
4920
4921\addtolength {\pboxargslen}{-1.5\typelen}
4922%
4923
4924\stepcounter{paragraph}
4925
4926\settowidth {\formnamelen}{\sf parse$-$string$-$to$-$alist}
4927%
4928
4929
4930\settowidth {\typelen}{\em FUNCTION\/}
4931%
4932
4933
4934\setlength {\pboxargslen}{\linewidth}
4935%
4936
4937
4938\addtolength {\pboxargslen}{-1\formnamelen}
4939%
4940
4941
4942\addtolength {\pboxargslen}{-1.5\typelen}
4943%
4944
4945\stepcounter{paragraph}
4946
4947\settowidth {\formnamelen}{\sf parse$-$to$-$sorted$-$alist}
4948%
4949
4950
4951\settowidth {\typelen}{\em FUNCTION\/}
4952%
4953
4954
4955\setlength {\pboxargslen}{\linewidth}
4956%
4957
4958
4959\addtolength {\pboxargslen}{-1\formnamelen}
4960%
4961
4962
4963\addtolength {\pboxargslen}{-1.5\typelen}
4964%
4965
4966\stepcounter{paragraph}
4967
4968\settowidth {\formnamelen}{\sf parse$-$string$-$to$-$sorted$-$alist}
4969%
4970
4971
4972\settowidth {\typelen}{\em FUNCTION\/}
4973%
4974
4975
4976\setlength {\pboxargslen}{\linewidth}
4977%
4978
4979
4980\addtolength {\pboxargslen}{-1\formnamelen}
4981%
4982
4983
4984\addtolength {\pboxargslen}{-1.5\typelen}
4985%
4986
4987\stepcounter{paragraph}
4988
4989\settowidth {\formnamelen}{\sf sort$-$poly$-$1}
4990%
4991
4992
4993\settowidth {\typelen}{\em FUNCTION\/}
4994%
4995
4996
4997\setlength {\pboxargslen}{\linewidth}
4998%
4999
5000
5001\addtolength {\pboxargslen}{-1\formnamelen}
5002%
5003
5004
5005\addtolength {\pboxargslen}{-1.5\typelen}
5006%
5007
5008\stepcounter{paragraph}
5009
5010\settowidth {\formnamelen}{\sf sort$-$poly}
5011%
5012
5013
5014\settowidth {\typelen}{\em FUNCTION\/}
5015%
5016
5017
5018\setlength {\pboxargslen}{\linewidth}
5019%
5020
5021
5022\addtolength {\pboxargslen}{-1\formnamelen}
5023%
5024
5025
5026\addtolength {\pboxargslen}{-1.5\typelen}
5027%
5028
5029\stepcounter{paragraph}
5030
5031\settowidth {\formnamelen}{\sf poly$-$eval$-$1}
5032%
5033
5034
5035\settowidth {\typelen}{\em FUNCTION\/}
5036%
5037
5038
5039\setlength {\pboxargslen}{\linewidth}
5040%
5041
5042
5043\addtolength {\pboxargslen}{-1\formnamelen}
5044%
5045
5046
5047\addtolength {\pboxargslen}{-1.5\typelen}
5048%
5049
5050\stepcounter{paragraph}
5051
5052\settowidth {\formnamelen}{\sf poly$-$eval}
5053%
5054
5055
5056\settowidth {\typelen}{\em FUNCTION\/}
5057%
5058
5059
5060\setlength {\pboxargslen}{\linewidth}
5061%
5062
5063
5064\addtolength {\pboxargslen}{-1\formnamelen}
5065%
5066
5067
5068\addtolength {\pboxargslen}{-1.5\typelen}
5069%
5070
5071\stepcounter{paragraph}
5072
5073\settowidth {\formnamelen}{\sf monom$-$basis}
5074%
5075
5076
5077\settowidth {\typelen}{\em FUNCTION\/}
5078%
5079
5080
5081\setlength {\pboxargslen}{\linewidth}
5082%
5083
5084
5085\addtolength {\pboxargslen}{-1\formnamelen}
5086%
5087
5088
5089\addtolength {\pboxargslen}{-1.5\typelen}
5090%
5091
5092\stepcounter{paragraph}
5093
5094\settowidth {\formnamelen}{\sf convert$-$number}
5095%
5096
5097
5098\settowidth {\typelen}{\em FUNCTION\/}
5099%
5100
5101
5102\setlength {\pboxargslen}{\linewidth}
5103%
5104
5105
5106\addtolength {\pboxargslen}{-1\formnamelen}
5107%
5108
5109
5110\addtolength {\pboxargslen}{-1.5\typelen}
5111%
5112
5113\stepcounter{paragraph}
5114
5115\settowidth {\formnamelen}{\sf \$poly+}
5116%
5117
5118
5119\settowidth {\typelen}{\em FUNCTION\/}
5120%
5121
5122
5123\setlength {\pboxargslen}{\linewidth}
5124%
5125
5126
5127\addtolength {\pboxargslen}{-1\formnamelen}
5128%
5129
5130
5131\addtolength {\pboxargslen}{-1.5\typelen}
5132%
5133
5134\stepcounter{paragraph}
5135
5136\settowidth {\formnamelen}{\sf \$poly$-$}
5137%
5138
5139
5140\settowidth {\typelen}{\em FUNCTION\/}
5141%
5142
5143
5144\setlength {\pboxargslen}{\linewidth}
5145%
5146
5147
5148\addtolength {\pboxargslen}{-1\formnamelen}
5149%
5150
5151
5152\addtolength {\pboxargslen}{-1.5\typelen}
5153%
5154
5155\stepcounter{paragraph}
5156
5157\settowidth {\formnamelen}{\sf \$minus$-$poly}
5158%
5159
5160
5161\settowidth {\typelen}{\em FUNCTION\/}
5162%
5163
5164
5165\setlength {\pboxargslen}{\linewidth}
5166%
5167
5168
5169\addtolength {\pboxargslen}{-1\formnamelen}
5170%
5171
5172
5173\addtolength {\pboxargslen}{-1.5\typelen}
5174%
5175
5176\stepcounter{paragraph}
5177
5178\settowidth {\formnamelen}{\sf \$poly*}
5179%
5180
5181
5182\settowidth {\typelen}{\em FUNCTION\/}
5183%
5184
5185
5186\setlength {\pboxargslen}{\linewidth}
5187%
5188
5189
5190\addtolength {\pboxargslen}{-1\formnamelen}
5191%
5192
5193
5194\addtolength {\pboxargslen}{-1.5\typelen}
5195%
5196
5197\stepcounter{paragraph}
5198
5199\settowidth {\formnamelen}{\sf \$poly/}
5200%
5201
5202
5203\settowidth {\typelen}{\em FUNCTION\/}
5204%
5205
5206
5207\setlength {\pboxargslen}{\linewidth}
5208%
5209
5210
5211\addtolength {\pboxargslen}{-1\formnamelen}
5212%
5213
5214
5215\addtolength {\pboxargslen}{-1.5\typelen}
5216%
5217
5218\stepcounter{paragraph}
5219
5220\settowidth {\formnamelen}{\sf \$poly$-$expt}
5221%
5222
5223
5224\settowidth {\typelen}{\em FUNCTION\/}
5225%
5226
5227
5228\setlength {\pboxargslen}{\linewidth}
5229%
5230
5231
5232\addtolength {\pboxargslen}{-1\formnamelen}
5233%
5234
5235
5236\addtolength {\pboxargslen}{-1.5\typelen}
5237%
5238
5239\stepcounter{section}
5240\stepcounter{paragraph}
5241
5242\settowidth {\formnamelen}{\sf makelist$-$1}
5243%
5244
5245
5246\settowidth {\typelen}{\em MACRO\/}
5247%
5248
5249
5250\setlength {\pboxargslen}{\linewidth}
5251%
5252
5253
5254\addtolength {\pboxargslen}{-1\formnamelen}
5255%
5256
5257
5258\addtolength {\pboxargslen}{-1.5\typelen}
5259%
5260
5261\stepcounter{paragraph}
5262
5263\settowidth {\formnamelen}{\sf makelist}
5264%
5265
5266
5267\settowidth {\typelen}{\em MACRO\/}
5268%
5269
5270
5271\setlength {\pboxargslen}{\linewidth}
5272%
5273
5274
5275\addtolength {\pboxargslen}{-1\formnamelen}
5276%
5277
5278
5279\addtolength {\pboxargslen}{-1.5\typelen}
5280%
5281
5282\stepcounter{paragraph}
5283
5284\settowidth {\formnamelen}{\sf sum}
5285%
5286
5287
5288\settowidth {\typelen}{\em MACRO\/}
5289%
5290
5291
5292\setlength {\pboxargslen}{\linewidth}
5293%
5294
5295
5296\addtolength {\pboxargslen}{-1\formnamelen}
5297%
5298
5299
5300\addtolength {\pboxargslen}{-1.5\typelen}
5301%
5302
5303\stepcounter{paragraph}
5304
5305\settowidth {\formnamelen}{\sf list$-$of}
5306%
5307
5308
5309\settowidth {\typelen}{\em MACRO\/}
5310%
5311
5312
5313\setlength {\pboxargslen}{\linewidth}
5314%
5315
5316
5317\addtolength {\pboxargslen}{-1\formnamelen}
5318%
5319
5320
5321\addtolength {\pboxargslen}{-1.5\typelen}
5322%
5323
5324\stepcounter{paragraph}
5325
5326\settowidth {\formnamelen}{\sf list$-$of$-$1}
5327%
5328
5329
5330\settowidth {\typelen}{\em MACRO\/}
5331%
5332
5333
5334\setlength {\pboxargslen}{\linewidth}
5335%
5336
5337
5338\addtolength {\pboxargslen}{-1\formnamelen}
5339%
5340
5341
5342\addtolength {\pboxargslen}{-1.5\typelen}
5343%
5344
5345\stepcounter{paragraph}
5346
5347\settowidth {\formnamelen}{\sf union$-$of}
5348%
5349
5350
5351\settowidth {\typelen}{\em MACRO\/}
5352%
5353
5354
5355\setlength {\pboxargslen}{\linewidth}
5356%
5357
5358
5359\addtolength {\pboxargslen}{-1\formnamelen}
5360%
5361
5362
5363\addtolength {\pboxargslen}{-1.5\typelen}
5364%
5365
5366\stepcounter{paragraph}
5367
5368\settowidth {\formnamelen}{\sf union$-$of$-$1}
5369%
5370
5371
5372\settowidth {\typelen}{\em MACRO\/}
5373%
5374
5375
5376\setlength {\pboxargslen}{\linewidth}
5377%
5378
5379
5380\addtolength {\pboxargslen}{-1\formnamelen}
5381%
5382
5383
5384\addtolength {\pboxargslen}{-1.5\typelen}
5385%
5386
5387\stepcounter{paragraph}
5388
5389\settowidth {\formnamelen}{\sf set$-$of}
5390%
5391
5392
5393\settowidth {\typelen}{\em MACRO\/}
5394%
5395
5396
5397\setlength {\pboxargslen}{\linewidth}
5398%
5399
5400
5401\addtolength {\pboxargslen}{-1\formnamelen}
5402%
5403
5404
5405\addtolength {\pboxargslen}{-1.5\typelen}
5406%
5407
5408\stepcounter{paragraph}
5409
5410\settowidth {\formnamelen}{\sf set$-$of$-$1}
5411%
5412
5413
5414\settowidth {\typelen}{\em MACRO\/}
5415%
5416
5417
5418\setlength {\pboxargslen}{\linewidth}
5419%
5420
5421
5422\addtolength {\pboxargslen}{-1\formnamelen}
5423%
5424
5425
5426\addtolength {\pboxargslen}{-1.5\typelen}
5427%
5428
5429\stepcounter{paragraph}
5430
5431\settowidth {\formnamelen}{\sf select}
5432%
5433
5434
5435\settowidth {\typelen}{\em FUNCTION\/}
5436%
5437
5438
5439\setlength {\pboxargslen}{\linewidth}
5440%
5441
5442
5443\addtolength {\pboxargslen}{-1\formnamelen}
5444%
5445
5446
5447\addtolength {\pboxargslen}{-1.5\typelen}
5448%
5449
5450\stepcounter{paragraph}
5451
5452\settowidth {\formnamelen}{\sf monom/}
5453%
5454
5455
5456\settowidth {\typelen}{\em FUNCTION\/}
5457%
5458
5459
5460\setlength {\pboxargslen}{\linewidth}
5461%
5462
5463
5464\addtolength {\pboxargslen}{-1\formnamelen}
5465%
5466
5467
5468\addtolength {\pboxargslen}{-1.5\typelen}
5469%
5470
5471\stepcounter{paragraph}
5472
5473\settowidth {\formnamelen}{\sf monom*}
5474%
5475
5476
5477\settowidth {\typelen}{\em FUNCTION\/}
5478%
5479
5480
5481\setlength {\pboxargslen}{\linewidth}
5482%
5483
5484
5485\addtolength {\pboxargslen}{-1\formnamelen}
5486%
5487
5488
5489\addtolength {\pboxargslen}{-1.5\typelen}
5490%
5491
5492\stepcounter{paragraph}
5493
5494\settowidth {\formnamelen}{\sf nmonom*}
5495%
5496
5497
5498\settowidth {\typelen}{\em FUNCTION\/}
5499%
5500
5501
5502\setlength {\pboxargslen}{\linewidth}
5503%
5504
5505
5506\addtolength {\pboxargslen}{-1\formnamelen}
5507%
5508
5509
5510\addtolength {\pboxargslen}{-1.5\typelen}
5511%
5512
5513\stepcounter{paragraph}
5514
5515\settowidth {\formnamelen}{\sf monom$-$divides$-$p}
5516%
5517
5518
5519\settowidth {\typelen}{\em FUNCTION\/}
5520%
5521
5522
5523\setlength {\pboxargslen}{\linewidth}
5524%
5525
5526
5527\addtolength {\pboxargslen}{-1\formnamelen}
5528%
5529
5530
5531\addtolength {\pboxargslen}{-1.5\typelen}
5532%
5533
5534\stepcounter{paragraph}
5535
5536\settowidth {\formnamelen}{\sf monom$-$divisible$-$by$-$p}
5537%
5538
5539
5540\settowidth {\typelen}{\em FUNCTION\/}
5541%
5542
5543
5544\setlength {\pboxargslen}{\linewidth}
5545%
5546
5547
5548\addtolength {\pboxargslen}{-1\formnamelen}
5549%
5550
5551
5552\addtolength {\pboxargslen}{-1.5\typelen}
5553%
5554
5555\stepcounter{paragraph}
5556
5557\settowidth {\formnamelen}{\sf monom$-$rel$-$prime}
5558%
5559
5560
5561\settowidth {\typelen}{\em FUNCTION\/}
5562%
5563
5564
5565\setlength {\pboxargslen}{\linewidth}
5566%
5567
5568
5569\addtolength {\pboxargslen}{-1\formnamelen}
5570%
5571
5572
5573\addtolength {\pboxargslen}{-1.5\typelen}
5574%
5575
5576\stepcounter{paragraph}
5577
5578\settowidth {\formnamelen}{\sf monom$-$equal}
5579%
5580
5581
5582\settowidth {\typelen}{\em FUNCTION\/}
5583%
5584
5585
5586\setlength {\pboxargslen}{\linewidth}
5587%
5588
5589
5590\addtolength {\pboxargslen}{-1\formnamelen}
5591%
5592
5593
5594\addtolength {\pboxargslen}{-1.5\typelen}
5595%
5596
5597\stepcounter{paragraph}
5598
5599\settowidth {\formnamelen}{\sf monom$-$lcm}
5600%
5601
5602
5603\settowidth {\typelen}{\em FUNCTION\/}
5604%
5605
5606
5607\setlength {\pboxargslen}{\linewidth}
5608%
5609
5610
5611\addtolength {\pboxargslen}{-1\formnamelen}
5612%
5613
5614
5615\addtolength {\pboxargslen}{-1.5\typelen}
5616%
5617
5618\stepcounter{paragraph}
5619
5620\settowidth {\formnamelen}{\sf monom$-$gcd}
5621%
5622
5623
5624\settowidth {\typelen}{\em FUNCTION\/}
5625%
5626
5627
5628\setlength {\pboxargslen}{\linewidth}
5629%
5630
5631
5632\addtolength {\pboxargslen}{-1\formnamelen}
5633%
5634
5635
5636\addtolength {\pboxargslen}{-1.5\typelen}
5637%
5638
5639\stepcounter{paragraph}
5640
5641\settowidth {\formnamelen}{\sf poly$-$gcd}
5642%
5643
5644
5645\settowidth {\typelen}{\em FUNCTION\/}
5646%
5647
5648
5649\setlength {\pboxargslen}{\linewidth}
5650%
5651
5652
5653\addtolength {\pboxargslen}{-1\formnamelen}
5654%
5655
5656
5657\addtolength {\pboxargslen}{-1.5\typelen}
5658%
5659
5660\stepcounter{paragraph}
5661
5662\settowidth {\formnamelen}{\sf poly$-$pseudo$-$divide}
5663%
5664
5665
5666\settowidth {\typelen}{\em FUNCTION\/}
5667%
5668
5669
5670\setlength {\pboxargslen}{\linewidth}
5671%
5672
5673
5674\addtolength {\pboxargslen}{-1\formnamelen}
5675%
5676
5677
5678\addtolength {\pboxargslen}{-1.5\typelen}
5679%
5680
5681\stepcounter{paragraph}
5682
5683\settowidth {\formnamelen}{\sf poly$-$pseudo$-$remainder}
5684%
5685
5686
5687\settowidth {\typelen}{\em FUNCTION\/}
5688%
5689
5690
5691\setlength {\pboxargslen}{\linewidth}
5692%
5693
5694
5695\addtolength {\pboxargslen}{-1\formnamelen}
5696%
5697
5698
5699\addtolength {\pboxargslen}{-1.5\typelen}
5700%
5701
5702\stepcounter{paragraph}
5703
5704\settowidth {\formnamelen}{\sf mdeg}
5705%
5706
5707
5708\settowidth {\typelen}{\em FUNCTION\/}
5709%
5710
5711
5712\setlength {\pboxargslen}{\linewidth}
5713%
5714
5715
5716\addtolength {\pboxargslen}{-1\formnamelen}
5717%
5718
5719
5720\addtolength {\pboxargslen}{-1.5\typelen}
5721%
5722
5723\stepcounter{paragraph}
5724
5725\settowidth {\formnamelen}{\sf lcoeff}
5726%
5727
5728
5729\settowidth {\typelen}{\em FUNCTION\/}
5730%
5731
5732
5733\setlength {\pboxargslen}{\linewidth}
5734%
5735
5736
5737\addtolength {\pboxargslen}{-1\formnamelen}
5738%
5739
5740
5741\addtolength {\pboxargslen}{-1.5\typelen}
5742%
5743
5744\stepcounter{paragraph}
5745
5746\settowidth {\formnamelen}{\sf lrest}
5747%
5748
5749
5750\settowidth {\typelen}{\em FUNCTION\/}
5751%
5752
5753
5754\setlength {\pboxargslen}{\linewidth}
5755%
5756
5757
5758\addtolength {\pboxargslen}{-1\formnamelen}
5759%
5760
5761
5762\addtolength {\pboxargslen}{-1.5\typelen}
5763%
5764
5765\stepcounter{paragraph}
5766
5767\settowidth {\formnamelen}{\sf lpart}
5768%
5769
5770
5771\settowidth {\typelen}{\em FUNCTION\/}
5772%
5773
5774
5775\setlength {\pboxargslen}{\linewidth}
5776%
5777
5778
5779\addtolength {\pboxargslen}{-1\formnamelen}
5780%
5781
5782
5783\addtolength {\pboxargslen}{-1.5\typelen}
5784%
5785
5786\stepcounter{paragraph}
5787
5788\settowidth {\formnamelen}{\sf poly$-$primitive$-$part}
5789%
5790
5791
5792\settowidth {\typelen}{\em FUNCTION\/}
5793%
5794
5795
5796\setlength {\pboxargslen}{\linewidth}
5797%
5798
5799
5800\addtolength {\pboxargslen}{-1\formnamelen}
5801%
5802
5803
5804\addtolength {\pboxargslen}{-1.5\typelen}
5805%
5806
5807\stepcounter{paragraph}
5808
5809\settowidth {\formnamelen}{\sf poly$-$content}
5810%
5811
5812
5813\settowidth {\typelen}{\em FUNCTION\/}
5814%
5815
5816
5817\setlength {\pboxargslen}{\linewidth}
5818%
5819
5820
5821\addtolength {\pboxargslen}{-1\formnamelen}
5822%
5823
5824
5825\addtolength {\pboxargslen}{-1.5\typelen}
5826%
5827
5828\stepcounter{paragraph}
5829
5830\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$poly}
5831%
5832
5833
5834\settowidth {\typelen}{\em FUNCTION\/}
5835%
5836
5837
5838\setlength {\pboxargslen}{\linewidth}
5839%
5840
5841
5842\addtolength {\pboxargslen}{-1\formnamelen}
5843%
5844
5845
5846\addtolength {\pboxargslen}{-1.5\typelen}
5847%
5848
5849\stepcounter{paragraph}
5850
5851\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$sugar}
5852%
5853
5854
5855\settowidth {\typelen}{\em FUNCTION\/}
5856%
5857
5858
5859\setlength {\pboxargslen}{\linewidth}
5860%
5861
5862
5863\addtolength {\pboxargslen}{-1\formnamelen}
5864%
5865
5866
5867\addtolength {\pboxargslen}{-1.5\typelen}
5868%
5869
5870\stepcounter{paragraph}
5871
5872\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$tail}
5873%
5874
5875
5876\settowidth {\typelen}{\em FUNCTION\/}
5877%
5878
5879
5880\setlength {\pboxargslen}{\linewidth}
5881%
5882
5883
5884\addtolength {\pboxargslen}{-1\formnamelen}
5885%
5886
5887
5888\addtolength {\pboxargslen}{-1.5\typelen}
5889%
5890
5891\stepcounter{paragraph}
5892
5893\settowidth {\formnamelen}{\sf (setf poly$-$with$-$sugar$-$poly)}
5894%
5895
5896
5897\settowidth {\typelen}{\em SETF MAPPING\/}
5898%
5899
5900
5901\setlength {\pboxargslen}{\linewidth}
5902%
5903
5904
5905\addtolength {\pboxargslen}{-1\formnamelen}
5906%
5907
5908
5909\addtolength {\pboxargslen}{-1.5\typelen}
5910%
5911
5912\stepcounter{paragraph}
5913
5914\settowidth {\formnamelen}{\sf (setf poly$-$with$-$sugar$-$sugar)}
5915%
5916
5917
5918\settowidth {\typelen}{\em SETF MAPPING\/}
5919%
5920
5921
5922\setlength {\pboxargslen}{\linewidth}
5923%
5924
5925
5926\addtolength {\pboxargslen}{-1\formnamelen}
5927%
5928
5929
5930\addtolength {\pboxargslen}{-1.5\typelen}
5931%
5932
5933\stepcounter{paragraph}
5934
5935\settowidth {\formnamelen}{\sf (setf poly$-$with$-$sugar$-$tail)}
5936%
5937
5938
5939\settowidth {\typelen}{\em SETF MAPPING\/}
5940%
5941
5942
5943\setlength {\pboxargslen}{\linewidth}
5944%
5945
5946
5947\addtolength {\pboxargslen}{-1\formnamelen}
5948%
5949
5950
5951\addtolength {\pboxargslen}{-1.5\typelen}
5952%
5953
5954\stepcounter{paragraph}
5955
5956\settowidth {\formnamelen}{\sf monom$-$sugar}
5957%
5958
5959
5960\settowidth {\typelen}{\em FUNCTION\/}
5961%
5962
5963
5964\setlength {\pboxargslen}{\linewidth}
5965%
5966
5967
5968\addtolength {\pboxargslen}{-1\formnamelen}
5969%
5970
5971
5972\addtolength {\pboxargslen}{-1.5\typelen}
5973%
5974
5975\stepcounter{paragraph}
5976
5977\settowidth {\formnamelen}{\sf coefficient$-$sugar}
5978%
5979
5980
5981\settowidth {\typelen}{\em FUNCTION\/}
5982%
5983
5984
5985\setlength {\pboxargslen}{\linewidth}
5986%
5987
5988
5989\addtolength {\pboxargslen}{-1\formnamelen}
5990%
5991
5992
5993\addtolength {\pboxargslen}{-1.5\typelen}
5994%
5995
5996\stepcounter{paragraph}
5997
5998\settowidth {\formnamelen}{\sf term$-$sugar}
5999%
6000
6001
6002\settowidth {\typelen}{\em FUNCTION\/}
6003%
6004
6005
6006\setlength {\pboxargslen}{\linewidth}
6007%
6008
6009
6010\addtolength {\pboxargslen}{-1\formnamelen}
6011%
6012
6013
6014\addtolength {\pboxargslen}{-1.5\typelen}
6015%
6016
6017\stepcounter{paragraph}
6018
6019\settowidth {\formnamelen}{\sf poly$-$add$-$sugar}
6020%
6021
6022
6023\settowidth {\typelen}{\em FUNCTION\/}
6024%
6025
6026
6027\setlength {\pboxargslen}{\linewidth}
6028%
6029
6030
6031\addtolength {\pboxargslen}{-1\formnamelen}
6032%
6033
6034
6035\addtolength {\pboxargslen}{-1.5\typelen}
6036%
6037
6038\stepcounter{paragraph}
6039
6040\settowidth {\formnamelen}{\sf scalar$-$times$-$poly$-$with$-$sugar}
6041%
6042
6043
6044\settowidth {\typelen}{\em FUNCTION\/}
6045%
6046
6047
6048\setlength {\pboxargslen}{\linewidth}
6049%
6050
6051
6052\addtolength {\pboxargslen}{-1\formnamelen}
6053%
6054
6055
6056\addtolength {\pboxargslen}{-1.5\typelen}
6057%
6058
6059\stepcounter{paragraph}
6060
6061\settowidth {\formnamelen}{\sf term$-$times$-$poly$-$with$-$sugar}
6062%
6063
6064
6065\settowidth {\typelen}{\em FUNCTION\/}
6066%
6067
6068
6069\setlength {\pboxargslen}{\linewidth}
6070%
6071
6072
6073\addtolength {\pboxargslen}{-1\formnamelen}
6074%
6075
6076
6077\addtolength {\pboxargslen}{-1.5\typelen}
6078%
6079
6080\stepcounter{paragraph}
6081
6082\settowidth {\formnamelen}{\sf monom$-$times$-$poly$-$with$-$sugar}
6083%
6084
6085
6086\settowidth {\typelen}{\em FUNCTION\/}
6087%
6088
6089
6090\setlength {\pboxargslen}{\linewidth}
6091%
6092
6093
6094\addtolength {\pboxargslen}{-1\formnamelen}
6095%
6096
6097
6098\addtolength {\pboxargslen}{-1.5\typelen}
6099%
6100
6101\stepcounter{paragraph}
6102
6103\settowidth {\formnamelen}{\sf minus$-$poly$-$with$-$sugar}
6104%
6105
6106
6107\settowidth {\typelen}{\em FUNCTION\/}
6108%
6109
6110
6111\setlength {\pboxargslen}{\linewidth}
6112%
6113
6114
6115\addtolength {\pboxargslen}{-1\formnamelen}
6116%
6117
6118
6119\addtolength {\pboxargslen}{-1.5\typelen}
6120%
6121
6122\stepcounter{paragraph}
6123
6124\settowidth {\formnamelen}{\sf poly$-$with$-$sugar+}
6125%
6126
6127
6128\settowidth {\typelen}{\em FUNCTION\/}
6129%
6130
6131
6132\setlength {\pboxargslen}{\linewidth}
6133%
6134
6135
6136\addtolength {\pboxargslen}{-1\formnamelen}
6137%
6138
6139
6140\addtolength {\pboxargslen}{-1.5\typelen}
6141%
6142
6143\stepcounter{paragraph}
6144
6145\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$}
6146%
6147
6148
6149\settowidth {\typelen}{\em FUNCTION\/}
6150%
6151
6152
6153\setlength {\pboxargslen}{\linewidth}
6154%
6155
6156
6157\addtolength {\pboxargslen}{-1\formnamelen}
6158%
6159
6160
6161\addtolength {\pboxargslen}{-1.5\typelen}
6162%
6163
6164\stepcounter{paragraph}
6165
6166\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$op}
6167%
6168
6169
6170\settowidth {\typelen}{\em FUNCTION\/}
6171%
6172
6173
6174\setlength {\pboxargslen}{\linewidth}
6175%
6176
6177
6178\addtolength {\pboxargslen}{-1\formnamelen}
6179%
6180
6181
6182\addtolength {\pboxargslen}{-1.5\typelen}
6183%
6184
6185\stepcounter{paragraph}
6186
6187\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$nreverse}
6188%
6189
6190
6191\settowidth {\typelen}{\em FUNCTION\/}
6192%
6193
6194
6195\setlength {\pboxargslen}{\linewidth}
6196%
6197
6198
6199\addtolength {\pboxargslen}{-1\formnamelen}
6200%
6201
6202
6203\addtolength {\pboxargslen}{-1.5\typelen}
6204%
6205
6206\stepcounter{paragraph}
6207
6208\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$append}
6209%
6210
6211
6212\settowidth {\typelen}{\em FUNCTION\/}
6213%
6214
6215
6216\setlength {\pboxargslen}{\linewidth}
6217%
6218
6219
6220\addtolength {\pboxargslen}{-1\formnamelen}
6221%
6222
6223
6224\addtolength {\pboxargslen}{-1.5\typelen}
6225%
6226
6227\stepcounter{paragraph}
6228
6229\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$zerop}
6230%
6231
6232
6233\settowidth {\typelen}{\em FUNCTION\/}
6234%
6235
6236
6237\setlength {\pboxargslen}{\linewidth}
6238%
6239
6240
6241\addtolength {\pboxargslen}{-1\formnamelen}
6242%
6243
6244
6245\addtolength {\pboxargslen}{-1.5\typelen}
6246%
6247
6248\stepcounter{paragraph}
6249
6250\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$lm}
6251%
6252
6253
6254\settowidth {\typelen}{\em FUNCTION\/}
6255%
6256
6257
6258\setlength {\pboxargslen}{\linewidth}
6259%
6260
6261
6262\addtolength {\pboxargslen}{-1\formnamelen}
6263%
6264
6265
6266\addtolength {\pboxargslen}{-1.5\typelen}
6267%
6268
6269\stepcounter{paragraph}
6270
6271\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$lc}
6272%
6273
6274
6275\settowidth {\typelen}{\em FUNCTION\/}
6276%
6277
6278
6279\setlength {\pboxargslen}{\linewidth}
6280%
6281
6282
6283\addtolength {\pboxargslen}{-1\formnamelen}
6284%
6285
6286
6287\addtolength {\pboxargslen}{-1.5\typelen}
6288%
6289
6290\stepcounter{paragraph}
6291
6292\settowidth {\formnamelen}{\sf poly$-$with$-$sugar$-$lt}
6293%
6294
6295
6296\settowidth {\typelen}{\em FUNCTION\/}
6297%
6298
6299
6300\setlength {\pboxargslen}{\linewidth}
6301%
6302
6303
6304\addtolength {\pboxargslen}{-1\formnamelen}
6305%
6306
6307
6308\addtolength {\pboxargslen}{-1.5\typelen}
6309%
6310
6311\stepcounter{paragraph}
6312
6313\settowidth {\formnamelen}{\sf poly$-$print}
6314%
6315
6316
6317\settowidth {\typelen}{\em FUNCTION\/}
6318%
6319
6320
6321\setlength {\pboxargslen}{\linewidth}
6322%
6323
6324
6325\addtolength {\pboxargslen}{-1\formnamelen}
6326%
6327
6328
6329\addtolength {\pboxargslen}{-1.5\typelen}
6330%
6331
6332\stepcounter{paragraph}
6333
6334\settowidth {\formnamelen}{\sf poly$-$print$-$1}
6335%
6336
6337
6338\settowidth {\typelen}{\em FUNCTION\/}
6339%
6340
6341
6342\setlength {\pboxargslen}{\linewidth}
6343%
6344
6345
6346\addtolength {\pboxargslen}{-1\formnamelen}
6347%
6348
6349
6350\addtolength {\pboxargslen}{-1.5\typelen}
6351%
6352
6353\stepcounter{paragraph}
6354
6355\settowidth {\formnamelen}{\sf poly$-$print$-$2}
6356%
6357
6358
6359\settowidth {\typelen}{\em FUNCTION\/}
6360%
6361
6362
6363\setlength {\pboxargslen}{\linewidth}
6364%
6365
6366
6367\addtolength {\pboxargslen}{-1\formnamelen}
6368%
6369
6370
6371\addtolength {\pboxargslen}{-1.5\typelen}
6372%
6373
6374\stepcounter{paragraph}
6375
6376\settowidth {\formnamelen}{\sf print$-$term}
6377%
6378
6379
6380\settowidth {\typelen}{\em FUNCTION\/}
6381%
6382
6383
6384\setlength {\pboxargslen}{\linewidth}
6385%
6386
6387
6388\addtolength {\pboxargslen}{-1\formnamelen}
6389%
6390
6391
6392\addtolength {\pboxargslen}{-1.5\typelen}
6393%
6394
6395\stepcounter{paragraph}
6396
6397\settowidth {\formnamelen}{\sf print$-$monom}
6398%
6399
6400
6401\settowidth {\typelen}{\em FUNCTION\/}
6402%
6403
6404
6405\setlength {\pboxargslen}{\linewidth}
6406%
6407
6408
6409\addtolength {\pboxargslen}{-1\formnamelen}
6410%
6411
6412
6413\addtolength {\pboxargslen}{-1.5\typelen}
6414%
6415
6416\stepcounter{paragraph}
6417
6418\settowidth {\formnamelen}{\sf num}
6419%
6420
6421
6422\settowidth {\typelen}{\em FUNCTION\/}
6423%
6424
6425
6426\setlength {\pboxargslen}{\linewidth}
6427%
6428
6429
6430\addtolength {\pboxargslen}{-1\formnamelen}
6431%
6432
6433
6434\addtolength {\pboxargslen}{-1.5\typelen}
6435%
6436
6437\stepcounter{paragraph}
6438
6439\settowidth {\formnamelen}{\sf denom}
6440%
6441
6442
6443\settowidth {\typelen}{\em FUNCTION\/}
6444%
6445
6446
6447\setlength {\pboxargslen}{\linewidth}
6448%
6449
6450
6451\addtolength {\pboxargslen}{-1\formnamelen}
6452%
6453
6454
6455\addtolength {\pboxargslen}{-1.5\typelen}
6456%
6457
6458\stepcounter{paragraph}
6459
6460\settowidth {\formnamelen}{\sf rat$-$simplify$-$2}
6461%
6462
6463
6464\settowidth {\typelen}{\em FUNCTION\/}
6465%
6466
6467
6468\setlength {\pboxargslen}{\linewidth}
6469%
6470
6471
6472\addtolength {\pboxargslen}{-1\formnamelen}
6473%
6474
6475
6476\addtolength {\pboxargslen}{-1.5\typelen}
6477%
6478
6479\stepcounter{paragraph}
6480
6481\settowidth {\formnamelen}{\sf rat$-$simplify}
6482%
6483
6484
6485\settowidth {\typelen}{\em FUNCTION\/}
6486%
6487
6488
6489\setlength {\pboxargslen}{\linewidth}
6490%
6491
6492
6493\addtolength {\pboxargslen}{-1\formnamelen}
6494%
6495
6496
6497\addtolength {\pboxargslen}{-1.5\typelen}
6498%
6499
6500\stepcounter{paragraph}
6501
6502\settowidth {\formnamelen}{\sf rat+}
6503%
6504
6505
6506\settowidth {\typelen}{\em FUNCTION\/}
6507%
6508
6509
6510\setlength {\pboxargslen}{\linewidth}
6511%
6512
6513
6514\addtolength {\pboxargslen}{-1\formnamelen}
6515%
6516
6517
6518\addtolength {\pboxargslen}{-1.5\typelen}
6519%
6520
6521\stepcounter{paragraph}
6522
6523\settowidth {\formnamelen}{\sf rat$-$}
6524%
6525
6526
6527\settowidth {\typelen}{\em FUNCTION\/}
6528%
6529
6530
6531\setlength {\pboxargslen}{\linewidth}
6532%
6533
6534
6535\addtolength {\pboxargslen}{-1\formnamelen}
6536%
6537
6538
6539\addtolength {\pboxargslen}{-1.5\typelen}
6540%
6541
6542\stepcounter{paragraph}
6543
6544\settowidth {\formnamelen}{\sf rat*}
6545%
6546
6547
6548\settowidth {\typelen}{\em FUNCTION\/}
6549%
6550
6551
6552\setlength {\pboxargslen}{\linewidth}
6553%
6554
6555
6556\addtolength {\pboxargslen}{-1\formnamelen}
6557%
6558
6559
6560\addtolength {\pboxargslen}{-1.5\typelen}
6561%
6562
6563\stepcounter{paragraph}
6564
6565\settowidth {\formnamelen}{\sf rat/}
6566%
6567
6568
6569\settowidth {\typelen}{\em FUNCTION\/}
6570%
6571
6572
6573\setlength {\pboxargslen}{\linewidth}
6574%
6575
6576
6577\addtolength {\pboxargslen}{-1\formnamelen}
6578%
6579
6580
6581\addtolength {\pboxargslen}{-1.5\typelen}
6582%
6583
6584\stepcounter{paragraph}
6585
6586\settowidth {\formnamelen}{\sf scalar$-$times$-$rat}
6587%
6588
6589
6590\settowidth {\typelen}{\em FUNCTION\/}
6591%
6592
6593
6594\setlength {\pboxargslen}{\linewidth}
6595%
6596
6597
6598\addtolength {\pboxargslen}{-1\formnamelen}
6599%
6600
6601
6602\addtolength {\pboxargslen}{-1.5\typelen}
6603%
6604
6605\stepcounter{paragraph}
6606
6607\settowidth {\formnamelen}{\sf scalar$-$div$-$rat}
6608%
6609
6610
6611\settowidth {\typelen}{\em FUNCTION\/}
6612%
6613
6614
6615\setlength {\pboxargslen}{\linewidth}
6616%
6617
6618
6619\addtolength {\pboxargslen}{-1\formnamelen}
6620%
6621
6622
6623\addtolength {\pboxargslen}{-1.5\typelen}
6624%
6625
6626\stepcounter{paragraph}
6627
6628\settowidth {\formnamelen}{\sf rat$-$zerop}
6629%
6630
6631
6632\settowidth {\typelen}{\em FUNCTION\/}
6633%
6634
6635
6636\setlength {\pboxargslen}{\linewidth}
6637%
6638
6639
6640\addtolength {\pboxargslen}{-1\formnamelen}
6641%
6642
6643
6644\addtolength {\pboxargslen}{-1.5\typelen}
6645%
6646
6647\stepcounter{paragraph}
6648
6649\settowidth {\formnamelen}{\sf rat$-$uminus}
6650%
6651
6652
6653\settowidth {\typelen}{\em FUNCTION\/}
6654%
6655
6656
6657\setlength {\pboxargslen}{\linewidth}
6658%
6659
6660
6661\addtolength {\pboxargslen}{-1\formnamelen}
6662%
6663
6664
6665\addtolength {\pboxargslen}{-1.5\typelen}
6666%
6667
6668\stepcounter{paragraph}
6669
6670\settowidth {\formnamelen}{\sf rat$-$expt}
6671%
6672
6673
6674\settowidth {\typelen}{\em FUNCTION\/}
6675%
6676
6677
6678\setlength {\pboxargslen}{\linewidth}
6679%
6680
6681
6682\addtolength {\pboxargslen}{-1\formnamelen}
6683%
6684
6685
6686\addtolength {\pboxargslen}{-1.5\typelen}
6687%
6688
6689\stepcounter{paragraph}
6690
6691\settowidth {\formnamelen}{\sf rat$-$constant}
6692%
6693
6694
6695\settowidth {\typelen}{\em FUNCTION\/}
6696%
6697
6698
6699\setlength {\pboxargslen}{\linewidth}
6700%
6701
6702
6703\addtolength {\pboxargslen}{-1\formnamelen}
6704%
6705
6706
6707\addtolength {\pboxargslen}{-1.5\typelen}
6708%
6709
6710\stepcounter{paragraph}
6711
6712\settowidth {\formnamelen}{\sf rat$-$to$-$poly}
6713%
6714
6715
6716\settowidth {\typelen}{\em FUNCTION\/}
6717%
6718
6719
6720\setlength {\pboxargslen}{\linewidth}
6721%
6722
6723
6724\addtolength {\pboxargslen}{-1\formnamelen}
6725%
6726
6727
6728\addtolength {\pboxargslen}{-1.5\typelen}
6729%
6730
6731\stepcounter{paragraph}
6732
6733\settowidth {\formnamelen}{\sf ratpoly+}
6734%
6735
6736
6737\settowidth {\typelen}{\em FUNCTION\/}
6738%
6739
6740
6741\setlength {\pboxargslen}{\linewidth}
6742%
6743
6744
6745\addtolength {\pboxargslen}{-1\formnamelen}
6746%
6747
6748
6749\addtolength {\pboxargslen}{-1.5\typelen}
6750%
6751
6752\stepcounter{paragraph}
6753
6754\settowidth {\formnamelen}{\sf ratpoly$-$}
6755%
6756
6757
6758\settowidth {\typelen}{\em FUNCTION\/}
6759%
6760
6761
6762\setlength {\pboxargslen}{\linewidth}
6763%
6764
6765
6766\addtolength {\pboxargslen}{-1\formnamelen}
6767%
6768
6769
6770\addtolength {\pboxargslen}{-1.5\typelen}
6771%
6772
6773\stepcounter{paragraph}
6774
6775\settowidth {\formnamelen}{\sf ratpoly$-$uminus}
6776%
6777
6778
6779\settowidth {\typelen}{\em FUNCTION\/}
6780%
6781
6782
6783\setlength {\pboxargslen}{\linewidth}
6784%
6785
6786
6787\addtolength {\pboxargslen}{-1\formnamelen}
6788%
6789
6790
6791\addtolength {\pboxargslen}{-1.5\typelen}
6792%
6793
6794\stepcounter{paragraph}
6795
6796\settowidth {\formnamelen}{\sf ratpoly*}
6797%
6798
6799
6800\settowidth {\typelen}{\em FUNCTION\/}
6801%
6802
6803
6804\setlength {\pboxargslen}{\linewidth}
6805%
6806
6807
6808\addtolength {\pboxargslen}{-1\formnamelen}
6809%
6810
6811
6812\addtolength {\pboxargslen}{-1.5\typelen}
6813%
6814
6815\stepcounter{paragraph}
6816
6817\settowidth {\formnamelen}{\sf scalar$-$times$-$ratpoly}
6818%
6819
6820
6821\settowidth {\typelen}{\em FUNCTION\/}
6822%
6823
6824
6825\setlength {\pboxargslen}{\linewidth}
6826%
6827
6828
6829\addtolength {\pboxargslen}{-1\formnamelen}
6830%
6831
6832
6833\addtolength {\pboxargslen}{-1.5\typelen}
6834%
6835
6836\stepcounter{paragraph}
6837
6838\settowidth {\formnamelen}{\sf rat$-$times$-$ratpoly}
6839%
6840
6841
6842\settowidth {\typelen}{\em FUNCTION\/}
6843%
6844
6845
6846\setlength {\pboxargslen}{\linewidth}
6847%
6848
6849
6850\addtolength {\pboxargslen}{-1\formnamelen}
6851%
6852
6853
6854\addtolength {\pboxargslen}{-1.5\typelen}
6855%
6856
6857\stepcounter{paragraph}
6858
6859\settowidth {\formnamelen}{\sf ratpoly$-$divide}
6860%
6861
6862
6863\settowidth {\typelen}{\em FUNCTION\/}
6864%
6865
6866
6867\setlength {\pboxargslen}{\linewidth}
6868%
6869
6870
6871\addtolength {\pboxargslen}{-1\formnamelen}
6872%
6873
6874
6875\addtolength {\pboxargslen}{-1.5\typelen}
6876%
6877
6878\stepcounter{paragraph}
6879
6880\settowidth {\formnamelen}{\sf ratpoly$-$remainder}
6881%
6882
6883
6884\settowidth {\typelen}{\em FUNCTION\/}
6885%
6886
6887
6888\setlength {\pboxargslen}{\linewidth}
6889%
6890
6891
6892\addtolength {\pboxargslen}{-1\formnamelen}
6893%
6894
6895
6896\addtolength {\pboxargslen}{-1.5\typelen}
6897%
6898
6899\stepcounter{paragraph}
6900
6901\settowidth {\formnamelen}{\sf ratpoly$-$gcd}
6902%
6903
6904
6905\settowidth {\typelen}{\em FUNCTION\/}
6906%
6907
6908
6909\setlength {\pboxargslen}{\linewidth}
6910%
6911
6912
6913\addtolength {\pboxargslen}{-1\formnamelen}
6914%
6915
6916
6917\addtolength {\pboxargslen}{-1.5\typelen}
6918%
6919
6920\stepcounter{paragraph}
6921
6922\settowidth {\formnamelen}{\sf ratpoly$-$diff}
6923%
6924
6925
6926\settowidth {\typelen}{\em FUNCTION\/}
6927%
6928
6929
6930\setlength {\pboxargslen}{\linewidth}
6931%
6932
6933
6934\addtolength {\pboxargslen}{-1\formnamelen}
6935%
6936
6937
6938\addtolength {\pboxargslen}{-1.5\typelen}
6939%
6940
6941\stepcounter{paragraph}
6942
6943\settowidth {\formnamelen}{\sf ratpoly$-$square$-$free}
6944%
6945
6946
6947\settowidth {\typelen}{\em FUNCTION\/}
6948%
6949
6950
6951\setlength {\pboxargslen}{\linewidth}
6952%
6953
6954
6955\addtolength {\pboxargslen}{-1\formnamelen}
6956%
6957
6958
6959\addtolength {\pboxargslen}{-1.5\typelen}
6960%
6961
6962\stepcounter{paragraph}
6963
6964\settowidth {\formnamelen}{\sf ratpoly$-$normalize}
6965%
6966
6967
6968\settowidth {\typelen}{\em FUNCTION\/}
6969%
6970
6971
6972\setlength {\pboxargslen}{\linewidth}
6973%
6974
6975
6976\addtolength {\pboxargslen}{-1\formnamelen}
6977%
6978
6979
6980\addtolength {\pboxargslen}{-1.5\typelen}
6981%
6982
6983\stepcounter{paragraph}
6984
6985\settowidth {\formnamelen}{\sf ratpoly$-$resultant}
6986%
6987
6988
6989\settowidth {\typelen}{\em FUNCTION\/}
6990%
6991
6992
6993\setlength {\pboxargslen}{\linewidth}
6994%
6995
6996
6997\addtolength {\pboxargslen}{-1\formnamelen}
6998%
6999
7000
7001\addtolength {\pboxargslen}{-1.5\typelen}
7002%
7003
7004\stepcounter{paragraph}
7005
7006\settowidth {\formnamelen}{\sf deg}
7007%
7008
7009
7010\settowidth {\typelen}{\em FUNCTION\/}
7011%
7012
7013
7014\setlength {\pboxargslen}{\linewidth}
7015%
7016
7017
7018\addtolength {\pboxargslen}{-1\formnamelen}
7019%
7020
7021
7022\addtolength {\pboxargslen}{-1.5\typelen}
7023%
7024
7025\stepcounter{paragraph}
7026
7027\settowidth {\formnamelen}{\sf lead}
7028%
7029
7030
7031\settowidth {\typelen}{\em FUNCTION\/}
7032%
7033
7034
7035\setlength {\pboxargslen}{\linewidth}
7036%
7037
7038
7039\addtolength {\pboxargslen}{-1\formnamelen}
7040%
7041
7042
7043\addtolength {\pboxargslen}{-1.5\typelen}
7044%
7045
7046\stepcounter{paragraph}
7047
7048\settowidth {\formnamelen}{\sf ratpoly$-$discriminant}
7049%
7050
7051
7052\settowidth {\typelen}{\em FUNCTION\/}
7053%
7054
7055
7056\setlength {\pboxargslen}{\linewidth}
7057%
7058
7059
7060\addtolength {\pboxargslen}{-1\formnamelen}
7061%
7062
7063
7064\addtolength {\pboxargslen}{-1.5\typelen}
7065%
7066
7067\stepcounter{paragraph}
7068
7069\settowidth {\formnamelen}{\sf ratpoly$-$print}
7070%
7071
7072
7073\settowidth {\typelen}{\em FUNCTION\/}
7074%
7075
7076
7077\setlength {\pboxargslen}{\linewidth}
7078%
7079
7080
7081\addtolength {\pboxargslen}{-1\formnamelen}
7082%
7083
7084
7085\addtolength {\pboxargslen}{-1.5\typelen}
7086%
7087
7088\stepcounter{paragraph}
7089
7090\settowidth {\formnamelen}{\sf poly$-$to$-$ratpoly}
7091%
7092
7093
7094\settowidth {\typelen}{\em FUNCTION\/}
7095%
7096
7097
7098\setlength {\pboxargslen}{\linewidth}
7099%
7100
7101
7102\addtolength {\pboxargslen}{-1\formnamelen}
7103%
7104
7105
7106\addtolength {\pboxargslen}{-1.5\typelen}
7107%
7108
7109\stepcounter{paragraph}
7110
7111\settowidth {\formnamelen}{\sf poly$-$to$-$poly1}
7112%
7113
7114
7115\settowidth {\typelen}{\em FUNCTION\/}
7116%
7117
7118
7119\setlength {\pboxargslen}{\linewidth}
7120%
7121
7122
7123\addtolength {\pboxargslen}{-1\formnamelen}
7124%
7125
7126
7127\addtolength {\pboxargslen}{-1.5\typelen}
7128%
7129
7130\stepcounter{paragraph}
7131
7132\settowidth {\formnamelen}{\sf poly1$-$to$-$ratpoly}
7133%
7134
7135
7136\settowidth {\typelen}{\em FUNCTION\/}
7137%
7138
7139
7140\setlength {\pboxargslen}{\linewidth}
7141%
7142
7143
7144\addtolength {\pboxargslen}{-1\formnamelen}
7145%
7146
7147
7148\addtolength {\pboxargslen}{-1.5\typelen}
7149%
7150
7151\stepcounter{paragraph}
7152
7153\settowidth {\formnamelen}{\sf ratpoly$-$to$-$poly1}
7154%
7155
7156
7157\settowidth {\typelen}{\em FUNCTION\/}
7158%
7159
7160
7161\setlength {\pboxargslen}{\linewidth}
7162%
7163
7164
7165\addtolength {\pboxargslen}{-1\formnamelen}
7166%
7167
7168
7169\addtolength {\pboxargslen}{-1.5\typelen}
7170%
7171
7172\stepcounter{paragraph}
7173
7174\settowidth {\formnamelen}{\sf poly1$-$to$-$poly}
7175%
7176
7177
7178\settowidth {\typelen}{\em FUNCTION\/}
7179%
7180
7181
7182\setlength {\pboxargslen}{\linewidth}
7183%
7184
7185
7186\addtolength {\pboxargslen}{-1\formnamelen}
7187%
7188
7189
7190\addtolength {\pboxargslen}{-1.5\typelen}
7191%
7192
7193\stepcounter{paragraph}
7194
7195\settowidth {\formnamelen}{\sf ratpoly$-$to$-$poly}
7196%
7197
7198
7199\settowidth {\typelen}{\em FUNCTION\/}
7200%
7201
7202
7203\setlength {\pboxargslen}{\linewidth}
7204%
7205
7206
7207\addtolength {\pboxargslen}{-1\formnamelen}
7208%
7209
7210
7211\addtolength {\pboxargslen}{-1.5\typelen}
7212%
7213
7214\stepcounter{paragraph}
7215
7216\settowidth {\formnamelen}{\sf poly$-$resultant}
7217%
7218
7219
7220\settowidth {\typelen}{\em FUNCTION\/}
7221%
7222
7223
7224\setlength {\pboxargslen}{\linewidth}
7225%
7226
7227
7228\addtolength {\pboxargslen}{-1\formnamelen}
7229%
7230
7231
7232\addtolength {\pboxargslen}{-1.5\typelen}
7233%
7234
7235\stepcounter{paragraph}
7236
7237\settowidth {\formnamelen}{\sf term*}
7238%
7239
7240
7241\settowidth {\typelen}{\em FUNCTION\/}
7242%
7243
7244
7245\setlength {\pboxargslen}{\linewidth}
7246%
7247
7248
7249\addtolength {\pboxargslen}{-1\formnamelen}
7250%
7251
7252
7253\addtolength {\pboxargslen}{-1.5\typelen}
7254%
7255
7256\stepcounter{paragraph}
7257
7258\settowidth {\formnamelen}{\sf term/}
7259%
7260
7261
7262\settowidth {\typelen}{\em FUNCTION\/}
7263%
7264
7265
7266\setlength {\pboxargslen}{\linewidth}
7267%
7268
7269
7270\addtolength {\pboxargslen}{-1\formnamelen}
7271%
7272
7273
7274\addtolength {\pboxargslen}{-1.5\typelen}
7275%
7276
7277\stepcounter{paragraph}
7278
7279\settowidth {\formnamelen}{\sf monom$-$times$-$term}
7280%
7281
7282
7283\settowidth {\typelen}{\em FUNCTION\/}
7284%
7285
7286
7287\setlength {\pboxargslen}{\linewidth}
7288%
7289
7290
7291\addtolength {\pboxargslen}{-1\formnamelen}
7292%
7293
7294
7295\addtolength {\pboxargslen}{-1.5\typelen}
7296%
7297
7298\stepcounter{paragraph}
7299
7300\settowidth {\formnamelen}{\sf term$-$divides$-$p}
7301%
7302
7303
7304\settowidth {\typelen}{\em FUNCTION\/}
7305%
7306
7307
7308\setlength {\pboxargslen}{\linewidth}
7309%
7310
7311
7312\addtolength {\pboxargslen}{-1\formnamelen}
7313%
7314
7315
7316\addtolength {\pboxargslen}{-1.5\typelen}
7317%
7318
7319\stepcounter{paragraph}
7320
7321\settowidth {\formnamelen}{\sf term$-$monom}
7322%
7323
7324
7325\settowidth {\typelen}{\em MACRO\/}
7326%
7327
7328
7329\setlength {\pboxargslen}{\linewidth}
7330%
7331
7332
7333\addtolength {\pboxargslen}{-1\formnamelen}
7334%
7335
7336
7337\addtolength {\pboxargslen}{-1.5\typelen}
7338%
7339
7340\stepcounter{paragraph}
7341
7342\settowidth {\formnamelen}{\sf term$-$coefficient}
7343%
7344
7345
7346\settowidth {\typelen}{\em MACRO\/}
7347%
7348
7349
7350\setlength {\pboxargslen}{\linewidth}
7351%
7352
7353
7354\addtolength {\pboxargslen}{-1\formnamelen}
7355%
7356
7357
7358\addtolength {\pboxargslen}{-1.5\typelen}
7359%
7360
7361\stepcounter{paragraph}
7362
7363\settowidth {\formnamelen}{\sf (setf term$-$monom)}
7364%
7365
7366
7367\settowidth {\typelen}{\em SETF MAPPING\/}
7368%
7369
7370
7371\setlength {\pboxargslen}{\linewidth}
7372%
7373
7374
7375\addtolength {\pboxargslen}{-1\formnamelen}
7376%
7377
7378
7379\addtolength {\pboxargslen}{-1.5\typelen}
7380%
7381
7382\stepcounter{paragraph}
7383
7384\settowidth {\formnamelen}{\sf (setf term$-$coefficient)}
7385%
7386
7387
7388\settowidth {\typelen}{\em SETF MAPPING\/}
7389%
7390
7391
7392\setlength {\pboxargslen}{\linewidth}
7393%
7394
7395
7396\addtolength {\pboxargslen}{-1\formnamelen}
7397%
7398
7399
7400\addtolength {\pboxargslen}{-1.5\typelen}
7401%
7402
7403\stepcounter{paragraph}
7404
7405\settowidth {\formnamelen}{\sf xgcd}
7406%
7407
7408
7409\settowidth {\typelen}{\em FUNCTION\/}
7410%
7411
7412
7413\setlength {\pboxargslen}{\linewidth}
7414%
7415
7416
7417\addtolength {\pboxargslen}{-1\formnamelen}
7418%
7419
7420
7421\addtolength {\pboxargslen}{-1.5\typelen}
7422%
7423
7424\appendix
7425\stepcounter{section}
7426
7427\end{document}
Note: See TracBrowser for help on using the repository browser.