galaaz 0.4.10 → 0.5.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/README.md +2048 -531
- data/Rakefile +3 -2
- data/bin/gknit +152 -6
- data/bin/gknit-draft +105 -0
- data/bin/gknit-draft.rb +28 -0
- data/bin/gknit_Rscript +127 -0
- data/bin/grun +27 -1
- data/bin/gstudio +47 -4
- data/bin/{gstudio.rb → gstudio_irb.rb} +0 -0
- data/bin/gstudio_pry.rb +7 -0
- data/blogs/galaaz_ggplot/galaaz_ggplot.html +10 -195
- data/blogs/galaaz_ggplot/galaaz_ggplot.md +404 -0
- data/blogs/galaaz_ggplot/galaaz_ggplot_files/figure-html/midwest_rb.png +0 -0
- data/blogs/galaaz_ggplot/galaaz_ggplot_files/figure-html/scatter_plot_rb.png +0 -0
- data/blogs/gknit/gknit.Rmd +5 -3
- data/blogs/gknit/gknit.pdf +0 -0
- data/blogs/gknit/lst.rds +0 -0
- data/blogs/manual/lst.rds +0 -0
- data/blogs/manual/manual.Rmd +826 -53
- data/blogs/manual/manual.html +2338 -695
- data/blogs/manual/manual.md +2032 -539
- data/blogs/manual/manual.pdf +0 -0
- data/blogs/manual/manual.tex +1804 -594
- data/blogs/manual/manual_files/figure-html/bubble-1.png +0 -0
- data/blogs/manual/manual_files/figure-html/diverging_bar.png +0 -0
- data/blogs/manual/manual_files/figure-latex/bubble-1.png +0 -0
- data/blogs/manual/manual_files/figure-latex/diverging_bar.pdf +0 -0
- data/blogs/manual/model.rb +41 -0
- data/blogs/nse_dplyr/nse_dplyr.Rmd +226 -73
- data/blogs/nse_dplyr/nse_dplyr.html +254 -336
- data/blogs/nse_dplyr/nse_dplyr.md +353 -158
- data/blogs/oh_my/oh_my.html +274 -386
- data/blogs/oh_my/oh_my.md +208 -205
- data/blogs/ruby_plot/ruby_plot.html +20 -205
- data/blogs/ruby_plot/ruby_plot.md +14 -15
- data/blogs/ruby_plot/ruby_plot_files/figure-html/dose_len.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facet_by_delivery.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facet_by_dose.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_by_delivery_color.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_by_delivery_color2.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_with_decorations.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_with_jitter.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_with_points.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/final_box_plot.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/final_violin_plot.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-html/violin_with_jitter.png +0 -0
- data/examples/Bibliography/master.bib +50 -0
- data/examples/Bibliography/stats.bib +72 -0
- data/examples/islr/x_y_rnorm.jpg +0 -0
- data/examples/latex_templates/Test-acm_article/Makefile +16 -0
- data/examples/latex_templates/Test-acm_article/Test-acm_article.Rmd +65 -0
- data/examples/latex_templates/Test-acm_article/acm_proc_article-sp.cls +1670 -0
- data/examples/latex_templates/Test-acm_article/sensys-abstract.cls +703 -0
- data/examples/latex_templates/Test-acm_article/sigproc.bib +59 -0
- data/examples/latex_templates/Test-acs_article/Test-acs_article.Rmd +260 -0
- data/examples/latex_templates/Test-acs_article/Test-acs_article.pdf +0 -0
- data/examples/latex_templates/Test-acs_article/acs-Test-acs_article.bib +11 -0
- data/examples/latex_templates/Test-acs_article/acs-my_output.bib +11 -0
- data/examples/latex_templates/Test-acs_article/acstest.bib +17 -0
- data/examples/latex_templates/Test-aea_article/AEA.cls +1414 -0
- data/{blogs/gknit/marshal.dump → examples/latex_templates/Test-aea_article/BibFile.bib} +0 -0
- data/examples/latex_templates/Test-aea_article/Test-aea_article.Rmd +108 -0
- data/examples/latex_templates/Test-aea_article/Test-aea_article.pdf +0 -0
- data/examples/latex_templates/Test-aea_article/aea.bst +1269 -0
- data/examples/latex_templates/Test-aea_article/multicol.sty +853 -0
- data/examples/latex_templates/Test-aea_article/references.bib +0 -0
- data/examples/latex_templates/Test-aea_article/setspace.sty +546 -0
- data/examples/latex_templates/Test-amq_article/Test-amq_article.Rmd +256 -0
- data/examples/latex_templates/Test-amq_article/Test-amq_article.pdf +0 -0
- data/examples/latex_templates/Test-amq_article/Test-amq_article.pdfsync +3397 -0
- data/examples/latex_templates/Test-amq_article/pics/Figure2.pdf +0 -0
- data/examples/latex_templates/Test-ams_article/Test-ams_article.Rmd +215 -0
- data/examples/latex_templates/Test-ams_article/amstest.bib +436 -0
- data/examples/latex_templates/Test-asa_article/Test-asa_article.Rmd +153 -0
- data/examples/latex_templates/Test-asa_article/Test-asa_article.pdf +0 -0
- data/examples/latex_templates/Test-asa_article/agsm.bst +1353 -0
- data/examples/latex_templates/Test-asa_article/bibliography.bib +233 -0
- data/examples/latex_templates/Test-ieee_article/IEEEtran.bst +2409 -0
- data/examples/latex_templates/Test-ieee_article/IEEEtran.cls +6346 -0
- data/examples/latex_templates/Test-ieee_article/Test-ieee_article.Rmd +175 -0
- data/examples/latex_templates/Test-ieee_article/Test-ieee_article.pdf +0 -0
- data/examples/latex_templates/Test-ieee_article/mybibfile.bib +20 -0
- data/examples/latex_templates/Test-rjournal_article/RJournal.sty +335 -0
- data/examples/latex_templates/Test-rjournal_article/RJreferences.bib +18 -0
- data/examples/latex_templates/Test-rjournal_article/RJwrapper.pdf +0 -0
- data/examples/latex_templates/Test-rjournal_article/Test-rjournal_article.Rmd +52 -0
- data/examples/latex_templates/Test-springer_article/Test-springer_article.Rmd +65 -0
- data/examples/latex_templates/Test-springer_article/Test-springer_article.pdf +0 -0
- data/examples/latex_templates/Test-springer_article/bibliography.bib +26 -0
- data/examples/latex_templates/Test-springer_article/spbasic.bst +1658 -0
- data/examples/latex_templates/Test-springer_article/spmpsci.bst +1512 -0
- data/examples/latex_templates/Test-springer_article/spphys.bst +1443 -0
- data/examples/latex_templates/Test-springer_article/svglov3.clo +113 -0
- data/examples/latex_templates/Test-springer_article/svjour3.cls +1431 -0
- data/examples/rmarkdown/svm-rmarkdown-anon-ms-example/svm-rmarkdown-anon-ms-example.Rmd +73 -0
- data/examples/rmarkdown/svm-rmarkdown-anon-ms-example/svm-rmarkdown-anon-ms-example.pdf +0 -0
- data/examples/rmarkdown/svm-rmarkdown-article-example/svm-rmarkdown-article-example.Rmd +382 -0
- data/examples/rmarkdown/svm-rmarkdown-article-example/svm-rmarkdown-article-example.pdf +0 -0
- data/examples/rmarkdown/svm-rmarkdown-beamer-example/svm-rmarkdown-beamer-example.Rmd +164 -0
- data/examples/rmarkdown/svm-rmarkdown-beamer-example/svm-rmarkdown-beamer-example.pdf +0 -0
- data/examples/rmarkdown/svm-rmarkdown-cv/svm-rmarkdown-cv.Rmd +92 -0
- data/examples/rmarkdown/svm-rmarkdown-cv/svm-rmarkdown-cv.pdf +0 -0
- data/examples/rmarkdown/svm-rmarkdown-syllabus-example/attend-grade-relationships.csv +482 -0
- data/examples/rmarkdown/svm-rmarkdown-syllabus-example/svm-rmarkdown-syllabus-example.Rmd +280 -0
- data/examples/rmarkdown/svm-rmarkdown-syllabus-example/svm-rmarkdown-syllabus-example.pdf +0 -0
- data/examples/rmarkdown/svm-xaringan-example/svm-xaringan-example.Rmd +386 -0
- data/lib/R_interface/r.rb +1 -1
- data/lib/R_interface/r_libs.R +1 -1
- data/lib/R_interface/r_methods.rb +10 -0
- data/lib/R_interface/rpkg.rb +1 -0
- data/lib/R_interface/rsupport.rb +4 -6
- data/lib/gknit.rb +2 -0
- data/lib/gknit/draft.rb +105 -0
- data/lib/gknit/knitr_engine.rb +0 -33
- data/lib/util/exec_ruby.rb +1 -27
- data/specs/figures/bg.jpeg +0 -0
- data/specs/figures/bg.png +0 -0
- data/specs/figures/dose_len.png +0 -0
- data/specs/figures/no_args.jpeg +0 -0
- data/specs/figures/no_args.png +0 -0
- data/specs/figures/width_height.jpeg +0 -0
- data/specs/figures/width_height.png +0 -0
- data/specs/figures/width_height_units1.jpeg +0 -0
- data/specs/figures/width_height_units1.png +0 -0
- data/specs/figures/width_height_units2.jpeg +0 -0
- data/specs/figures/width_height_units2.png +0 -0
- data/specs/r_dataframe.spec.rb +11 -11
- data/specs/ruby_expression.spec.rb +1 -0
- data/specs/tmp.rb +41 -20
- data/version.rb +1 -1
- metadata +73 -35
- data/blogs/galaaz_ggplot/galaaz_ggplot.aux +0 -41
- data/blogs/galaaz_ggplot/galaaz_ggplot.out +0 -10
- data/blogs/galaaz_ggplot/galaaz_ggplot_files/figure-latex/midwest_rb.pdf +0 -0
- data/blogs/galaaz_ggplot/galaaz_ggplot_files/figure-latex/scatter_plot_rb.pdf +0 -0
- data/blogs/gknit/gknit.md +0 -1430
- data/blogs/gknit/gknit.tex +0 -1358
- data/blogs/manual/graph.rb +0 -29
- data/blogs/nse_dplyr/nse_dplyr.tex +0 -1373
- data/blogs/ruby_plot/ruby_plot.Rmd_external_figs +0 -662
- data/blogs/ruby_plot/ruby_plot_files/figure-html/dose_len.svg +0 -57
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facet_by_delivery.svg +0 -106
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facet_by_dose.svg +0 -110
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_by_delivery_color.svg +0 -174
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_by_delivery_color2.svg +0 -236
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_with_jitter.svg +0 -296
- data/blogs/ruby_plot/ruby_plot_files/figure-html/facets_with_points.svg +0 -236
- data/blogs/ruby_plot/ruby_plot_files/figure-html/final_box_plot.svg +0 -218
- data/blogs/ruby_plot/ruby_plot_files/figure-html/final_violin_plot.svg +0 -128
- data/blogs/ruby_plot/ruby_plot_files/figure-html/violin_with_jitter.svg +0 -150
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/dose_len.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/facet_by_delivery.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/facet_by_dose.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/facets_by_delivery_color.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/facets_by_delivery_color2.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/facets_with_decorations.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/facets_with_jitter.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/facets_with_points.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/final_box_plot.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/final_violin_plot.png +0 -0
- data/blogs/ruby_plot/ruby_plot_files/figure-latex/violin_with_jitter.png +0 -0
- data/examples/paper/paper.rb +0 -36
@@ -0,0 +1,703 @@
|
|
1
|
+
\NeedsTeXFormat{LaTeX2e}[1995/12/01]
|
2
|
+
\ProvidesClass{sensys-abstract}
|
3
|
+
[2002/06/21 v1.4
|
4
|
+
Document Class]
|
5
|
+
|
6
|
+
%\ProvidesClass{sigplan-proc-varsize}
|
7
|
+
|
8
|
+
% This file has a long and troubled history:
|
9
|
+
|
10
|
+
% The original (LaTeX 2.09) document style for this purpose was by
|
11
|
+
% Olin Shivers (1991).
|
12
|
+
% Ken Traub and Kevin Theobald added some new features in 1993.
|
13
|
+
% Back then, it was called acmconf.sty.
|
14
|
+
% Mike Sperber converted it to an LaTeX2e document class called
|
15
|
+
% acmconf.cls in 1994.
|
16
|
+
% From 1999 on, G.K.M. Tobin and Gerry Murray took Traub's style,
|
17
|
+
% and modified it extensively.
|
18
|
+
% This version was called acm_proc_article-sp.cls, V2.01SP
|
19
|
+
% In 2002, Mike Sperber <sperber@informatik.uni-tuebingen.de>
|
20
|
+
% wrote this file, intended to be compatible with
|
21
|
+
% acm_proc_article-sp.cls V2.01SP, but with layout parameters
|
22
|
+
% matching ACM's guidelines at
|
23
|
+
% http://www.acm.org/sig_volunteer_info/conference_manual/6-5PROC.HTM
|
24
|
+
% It contains code from all previous versions, but is much shortened
|
25
|
+
% to avoid redundancies with the standard LaTeX2e styles.
|
26
|
+
|
27
|
+
% Here are the main changes to acm_proc_article-sp.cls, as far as the
|
28
|
+
% interface is concerned:
|
29
|
+
|
30
|
+
% It doesn't load any of the utility packages, specifically, it
|
31
|
+
% doesn't load epsfig, amssymb, amsmath, and amsfont.
|
32
|
+
|
33
|
+
% It depends on David Carlisle's pslatex package, found on any CTAN
|
34
|
+
% host, say at
|
35
|
+
% ftp://ftp.dante.de/tex-archive/macros/latex/contrib/supported/pslatex/
|
36
|
+
|
37
|
+
% There's once again a preprint document-class option. (Just like in
|
38
|
+
% Olin's original style file.) Unlike Olin's style, it has no
|
39
|
+
% influence whether the \toappear information is printed. It only
|
40
|
+
% switches off explicitly doing \pagestyle{empty}, allowing you to
|
41
|
+
% have page numbers, for example.
|
42
|
+
|
43
|
+
% There's also a nocopyrightspace document-class option which prevents
|
44
|
+
% the reservation of space at the bottom left of the title page for
|
45
|
+
% the copyright notice.
|
46
|
+
|
47
|
+
% It conforms to LaTeX2e's NFSS2, so there aren't any silly
|
48
|
+
% font-changing commands specific to section headers, like \secit{}
|
49
|
+
% etc.
|
50
|
+
|
51
|
+
%
|
52
|
+
% hacked 31-Mar-05 by johnh@isi.edu to 10pt-ness.
|
53
|
+
% (renamed sigplan-proc-varsize.cls)
|
54
|
+
% original from http://www.cs.indiana.edu/icfp04/sigplan-proc.cls
|
55
|
+
% options:
|
56
|
+
% 9pt or 10pt
|
57
|
+
% indentedparagraphs or noindentedparagraphs
|
58
|
+
%
|
59
|
+
|
60
|
+
% hacked 18-Aug-07 by adam@sics.se to reduce space for copyright
|
61
|
+
% notice and to remove the word ``copyright'' on the front page for
|
62
|
+
% ACM SenSys poster and demo abstracts for which copyright
|
63
|
+
% is retained by the author. Renamed to sensys-abstract.cls
|
64
|
+
|
65
|
+
\DeclareOption{a5paper}
|
66
|
+
{\ClassError{proc}{Option `a5paper' not supported}{}}
|
67
|
+
\DeclareOption{b5paper}
|
68
|
+
{\ClassError{proc}{Option `b5paper' not supported}{}}
|
69
|
+
% johnh
|
70
|
+
%\DeclareOption{9pt}
|
71
|
+
% {\ClassError{proc}{Option `9pt' not supported}{}}
|
72
|
+
%\DeclareOption{10pt}
|
73
|
+
% {\ClassError{proc}{Option `10pt' not supported}{}}
|
74
|
+
\newif\ifissizeixpt \issizeixpttrue % default
|
75
|
+
\newif\ifissizexpt \issizexptfalse
|
76
|
+
\DeclareOption{9pt}{\issizeixpttrue \issizexptfalse }
|
77
|
+
\DeclareOption{10pt}{\issizexpttrue \issizeixptfalse }
|
78
|
+
\newif\ifindentedparagraphs \indentedparagraphstrue
|
79
|
+
\DeclareOption{indentedparagraphs}{\indentedparagraphstrue }
|
80
|
+
\DeclareOption{noindentedparagraphs}{\indentedparagraphsfalse }
|
81
|
+
\DeclareOption{12pt}
|
82
|
+
{\ClassError{proc}{Option `12pt' not supported}{}}
|
83
|
+
\DeclareOption{onecolumn}%
|
84
|
+
{\ClassError{proc}{Option `onecolumn' not supported}{}}
|
85
|
+
\DeclareOption{titlepage}%
|
86
|
+
{\ClassError{proc}{Option `titlepage' not supported}{}}
|
87
|
+
\newif\ifpreprint
|
88
|
+
\preprintfalse
|
89
|
+
\DeclareOption{preprint}{\preprinttrue}
|
90
|
+
\newif\ifnocopyrightspace
|
91
|
+
\nocopyrightspacefalse
|
92
|
+
\DeclareOption{nocopyrightspace}{\nocopyrightspacetrue}
|
93
|
+
\PassOptionsToClass{twocolumn}{article}
|
94
|
+
\DeclareOption*{\PassOptionsToClass{\CurrentOption}{article}}
|
95
|
+
\ProcessOptions
|
96
|
+
\LoadClass{article}
|
97
|
+
|
98
|
+
\def\tableofcontents{\@latexerr{\tableofcontents: Tables of contents are not
|
99
|
+
allowed in the `sigplan-proc-varsize' document style.}\@eha}
|
100
|
+
|
101
|
+
\RequirePackage{pslatex}
|
102
|
+
|
103
|
+
% Page parameters
|
104
|
+
% ===============
|
105
|
+
|
106
|
+
\setlength{\marginparwidth}{0pt}
|
107
|
+
\setlength{\marginparsep}{11pt}
|
108
|
+
\setlength{\marginparpush}{5pt}
|
109
|
+
\setlength{\topmargin}{0pt}
|
110
|
+
\addtolength{\topmargin}{-\headsep}
|
111
|
+
\addtolength{\topmargin}{-\headheight}
|
112
|
+
|
113
|
+
\setlength{\textheight}{9in}
|
114
|
+
|
115
|
+
\setlength{\textwidth}{7in}
|
116
|
+
\setlength{\columnsep}{.33in}
|
117
|
+
\setlength{\hoffset}{0pt}
|
118
|
+
% 1 inch gets added by LaTeX
|
119
|
+
\setlength{\evensidemargin}{-0.25in}
|
120
|
+
\setlength{\oddsidemargin}{-0.25in}
|
121
|
+
|
122
|
+
% Utility macro from original Sheridan class
|
123
|
+
|
124
|
+
\newcommand{\balancecolumns}{%
|
125
|
+
\vfill\eject
|
126
|
+
\global\@colht=\textheight
|
127
|
+
\global\ht\@cclv=\textheight}
|
128
|
+
|
129
|
+
% johnh hack for use indented paragraphs rather than blank lines
|
130
|
+
\ifindentedparagraphs
|
131
|
+
% xxx: bug: this doesn't correctly do \noindent at the beginning
|
132
|
+
% of \section (etc.). It's not obvious how article.cls does that! -johnh
|
133
|
+
\setlength{\parskip}{0pt plus 1pt}
|
134
|
+
\setlength{\parindent}{12pt}
|
135
|
+
\else
|
136
|
+
\setlength{\parskip}{10pt}
|
137
|
+
\setlength{\parindent}{0pt}
|
138
|
+
\fi
|
139
|
+
\setlength{\topsep}{-0.5ex}
|
140
|
+
\setlength{\parsep}{1ex}
|
141
|
+
\setlength{\itemsep}{0pt}
|
142
|
+
|
143
|
+
\setlength{\footnotesep}{5.6pt}
|
144
|
+
\setlength{\skip\footins}{8.1pt plus 4pt minus 2pt}
|
145
|
+
|
146
|
+
% Page Style
|
147
|
+
% ==========
|
148
|
+
|
149
|
+
\ifpreprint
|
150
|
+
\if@twoside
|
151
|
+
\def\ps@headings{
|
152
|
+
\def\@oddfoot{}
|
153
|
+
\def\@evenfoot{}
|
154
|
+
\def\@evenhead{\textnormal{\thepage}\hfil \textnormal{\textsl{\leftmark}}}
|
155
|
+
\def\@oddhead{\hbox{}\textnormal{\textsl{\rightmark}}
|
156
|
+
\hfil
|
157
|
+
\textnormal\textrm{\thepage}}
|
158
|
+
\def\sectionmark##1{\markboth {\uppercase{\ifnum\c@secnumdepth>\z@
|
159
|
+
\thesection \hskip 1em\relax \fi ##1}}{}}
|
160
|
+
\def\subsectionmark##1
|
161
|
+
{\markright {\ifnum \c@secnumdepth >\@ne \thesubsection
|
162
|
+
\hskip 1em\relax \fi ##1}}}
|
163
|
+
|
164
|
+
\else
|
165
|
+
\def\ps@headings{
|
166
|
+
\def\@oddfoot{}
|
167
|
+
\def\@evenfoot{}
|
168
|
+
\def\@oddhead{\hbox{}\textnormal{\textsl{\rightmark}}
|
169
|
+
\hfil
|
170
|
+
\textnormal{\textrm{\thepage}}}
|
171
|
+
\def\sectionmark##1{\markright{\uppercase{\ifnum \c@secnumdepth >\z@
|
172
|
+
\thesection\hskip 1em\relax \fi ##1}}}}
|
173
|
+
\fi
|
174
|
+
|
175
|
+
\def\ps@myheadings{\def\@oddhead{\hbox{}\textnormal{\textsl{\rightmark}}
|
176
|
+
\hfil
|
177
|
+
\textnormal{\textrm{\thepage}}}%
|
178
|
+
\def \@evenhead{\textnormal{\textrm{\thepage}}
|
179
|
+
\hfil
|
180
|
+
\textnormal{\textsl{\leftmark}}\hbox{}}%
|
181
|
+
\def\@oddfoot{}%
|
182
|
+
\def\@evenfoot{}%
|
183
|
+
\def\sectionmark##1{}%
|
184
|
+
\def\subsectionmark##1{}}
|
185
|
+
|
186
|
+
\else % preprint off -- all \pagestyle commands ==> \pagestyle{empty}.
|
187
|
+
\let\ps@plain\ps@empty
|
188
|
+
\let\ps@headings\ps@empty
|
189
|
+
\let\ps@myheadings\ps@empty
|
190
|
+
\ps@empty
|
191
|
+
\fi
|
192
|
+
|
193
|
+
% Text Body
|
194
|
+
% =========
|
195
|
+
|
196
|
+
% We need to redefine those because the LaTeX versions
|
197
|
+
% set the various \*sep's to fixed values.
|
198
|
+
|
199
|
+
\def\@listi{\leftmargin\leftmargini}
|
200
|
+
\let\@listI=\@listi
|
201
|
+
\def\@listii {\leftmargin\leftmarginii
|
202
|
+
\labelwidth\leftmarginii
|
203
|
+
\advance\labelwidth-\labelsep}
|
204
|
+
\def\@listiii{\leftmargin\leftmarginiii
|
205
|
+
\labelwidth\leftmarginiii
|
206
|
+
\advance\labelwidth-\labelsep}
|
207
|
+
\def\@listiv {\leftmargin\leftmarginiv
|
208
|
+
\labelwidth\leftmarginiv
|
209
|
+
\advance\labelwidth-\labelsep}
|
210
|
+
\def\@listv {\leftmargin\leftmarginv
|
211
|
+
\labelwidth\leftmarginv
|
212
|
+
\advance\labelwidth-\labelsep}
|
213
|
+
\def\@listvi {\leftmargin\leftmarginvi
|
214
|
+
\labelwidth\leftmarginvi
|
215
|
+
\advance\labelwidth-\labelsep}
|
216
|
+
|
217
|
+
% Fonts and Sizes
|
218
|
+
% ===============
|
219
|
+
|
220
|
+
\renewcommand{\normalsize}{%
|
221
|
+
% johnh hack to 10pt
|
222
|
+
\ifissizeixpt
|
223
|
+
\@setfontsize\normalsize\@ixpt{10\p@}
|
224
|
+
\else
|
225
|
+
\ifissizexpt
|
226
|
+
\@setfontsize\normalsize\@xpt{11\p@}
|
227
|
+
\else
|
228
|
+
\typeout{error, no point size specified}
|
229
|
+
\fi
|
230
|
+
\fi
|
231
|
+
\abovedisplayskip 6\p@ \@plus2\p@ \@minus\p@
|
232
|
+
\belowdisplayskip \abovedisplayskip
|
233
|
+
\abovedisplayshortskip 6\p@ \@minus 3\p@
|
234
|
+
\belowdisplayshortskip 6\p@ \@minus 3\p@
|
235
|
+
}
|
236
|
+
|
237
|
+
\renewcommand{\scriptsize}{\@setfontsize\scriptsize\@viipt{8\p@}}
|
238
|
+
\renewcommand{\tiny}{\@setfontsize\tiny\@vpt{6\p@}}
|
239
|
+
\renewcommand{\large}{\@setfontsize\large\@xiipt{14\p@}}
|
240
|
+
\renewcommand{\Large}{\@setfontsize\Large\@xivpt{18\p@}}
|
241
|
+
\renewcommand{\LARGE}{\@setfontsize\LARGE\@xviipt{20\p@}}
|
242
|
+
\renewcommand{\huge}{\@setfontsize\huge\@xxpt{25\p@}}
|
243
|
+
\renewcommand{\Huge}{\@setfontsize\Huge\@xxvpt{30\p@}}
|
244
|
+
\def\small{\@setsize\small{9pt}\viiipt\@viiipt
|
245
|
+
\abovedisplayskip 7.6pt plus 3pt minus 4pt%
|
246
|
+
\belowdisplayskip \abovedisplayskip
|
247
|
+
\abovedisplayshortskip \z@ plus2pt%
|
248
|
+
\belowdisplayshortskip 3.6pt plus2pt minus 2pt}
|
249
|
+
|
250
|
+
\def\footnotesize{\@setsize\footnotesize{10pt}\ixpt\@ixpt
|
251
|
+
\abovedisplayskip 6.4pt plus 2pt minus 4pt%
|
252
|
+
\belowdisplayskip \abovedisplayskip
|
253
|
+
\abovedisplayshortskip \z@ plus 1pt%
|
254
|
+
\belowdisplayshortskip 2.7pt plus 1pt minus 2pt}
|
255
|
+
|
256
|
+
% Section Headers
|
257
|
+
% ===============
|
258
|
+
|
259
|
+
\setcounter{secnumdepth}{4}
|
260
|
+
|
261
|
+
\renewcommand{\section}{\@startsection%
|
262
|
+
{section}%
|
263
|
+
{1}%
|
264
|
+
{\z@}%
|
265
|
+
{2\p@ \@plus 4\p@}%
|
266
|
+
{1pt}%
|
267
|
+
{\normalfont\fontsize{12\p@}{12\p@}\bfseries\selectfont}%
|
268
|
+
}
|
269
|
+
|
270
|
+
\renewcommand{\subsection}{\@startsection%
|
271
|
+
{subsection}%
|
272
|
+
{2}%
|
273
|
+
{\z@}%
|
274
|
+
{1\p@ \@plus 4\p@}%
|
275
|
+
{0.1pt}%
|
276
|
+
{\normalfont\fontsize{12\p@}{12\p@}\bfseries\selectfont}%
|
277
|
+
}
|
278
|
+
|
279
|
+
\renewcommand{\subsubsection}{\@startsection%
|
280
|
+
{subsubsection}%
|
281
|
+
{3}%
|
282
|
+
{\z@}%
|
283
|
+
{1\p@ \@plus 4\p@}%
|
284
|
+
{0.1pt}%
|
285
|
+
{\normalfont\fontsize{11\p@}{11\p@}\itshape\selectfont}%
|
286
|
+
}
|
287
|
+
|
288
|
+
\renewcommand{\paragraph}{\@startsection%
|
289
|
+
{paragraph}%
|
290
|
+
{4}%
|
291
|
+
{\z@}%
|
292
|
+
{1\p@ \@plus 4\p@}%
|
293
|
+
{0.1pt}%
|
294
|
+
{\normalfont\fontsize{11\p@}{11\p@}\itshape\selectfont}%
|
295
|
+
}
|
296
|
+
|
297
|
+
% Captions
|
298
|
+
% ========
|
299
|
+
|
300
|
+
\long\def\@makecaption#1#2{
|
301
|
+
\setbox\@tempboxa\hbox{\textbf{#1. #2}}
|
302
|
+
\ifdim \wd\@tempboxa >\hsize % IF longer than one line:
|
303
|
+
\textbf{#1. #2}\par % THEN set as ordinary paragraph.
|
304
|
+
\else % ELSE center.
|
305
|
+
\hbox to\hsize{\hfil\box\@tempboxa\hfil}\par
|
306
|
+
\fi}
|
307
|
+
|
308
|
+
|
309
|
+
% Title Page
|
310
|
+
% ==========
|
311
|
+
|
312
|
+
\newcount\aucount
|
313
|
+
\newcount\originalaucount
|
314
|
+
\newdimen\auwidth
|
315
|
+
\auwidth=\textwidth
|
316
|
+
\newdimen\auskip
|
317
|
+
\newcount\auskipcount
|
318
|
+
\newdimen\auskip
|
319
|
+
\global\auskip=1pc
|
320
|
+
\newdimen\allauboxes
|
321
|
+
\allauboxes=\auwidth
|
322
|
+
\newtoks\addauthors
|
323
|
+
\newcount\addauflag
|
324
|
+
\global\addauflag=0 %Haven't shown additional authors yet
|
325
|
+
|
326
|
+
\newtoks\subtitletext
|
327
|
+
\gdef\subtitle#1{\subtitletext={#1}}
|
328
|
+
|
329
|
+
\gdef\additionalauthors#1{\addauthors={#1}}
|
330
|
+
|
331
|
+
\gdef\numberofauthors#1{\global\aucount=#1
|
332
|
+
\ifnum\aucount>3\global\originalaucount=\aucount \global\aucount=3\fi
|
333
|
+
\global\auskipcount=\aucount\global\advance\auskipcount by 1
|
334
|
+
\global\multiply\auskipcount by 2
|
335
|
+
\global\multiply\auskip by \auskipcount
|
336
|
+
\global\advance\auwidth by -\auskip
|
337
|
+
\global\divide\auwidth by \aucount}
|
338
|
+
|
339
|
+
% \and was modified to count the number of authors. GKMT 12 Aug 1999
|
340
|
+
\def\alignauthor{% % \begin{tabular}
|
341
|
+
\end{tabular}%
|
342
|
+
\begin{tabular}[t]{p{\auwidth}}\centering}%
|
343
|
+
|
344
|
+
\newcommand{\email}[1]{{\vspace{4pt}\sffamily\fontsize{12\p@}{12\p@}\selectfont #1}}
|
345
|
+
|
346
|
+
\newcommand{\affaddr}{\normalfont\sffamily\fontsize{10\p@}{10\p@}\selectfont}
|
347
|
+
|
348
|
+
\def\addauthorsection{\ifnum\originalaucount>3
|
349
|
+
\section{Additional Authors}\the\addauthors
|
350
|
+
\fi}
|
351
|
+
|
352
|
+
\newtoks\titleboxnotes
|
353
|
+
\newcount\titleboxnoteflag
|
354
|
+
|
355
|
+
\def\maketitle{\par
|
356
|
+
\begingroup
|
357
|
+
\def\thefootnote{\fnsymbol{footnote}}
|
358
|
+
\def\@makefnmark{\hbox
|
359
|
+
to 0pt{$^{\@thefnmark}$\hss}}
|
360
|
+
\twocolumn[\@maketitle]
|
361
|
+
\@thanks
|
362
|
+
\endgroup
|
363
|
+
\setcounter{footnote}{0}
|
364
|
+
\let\maketitle\relax
|
365
|
+
\let\@maketitle\relax
|
366
|
+
\gdef\@thanks{}\gdef\@author{}\gdef\@title{}\gdef\@subtitle{}\let\thanks\relax
|
367
|
+
\ifnocopyrightspace\else\@copyrightspace\fi
|
368
|
+
}
|
369
|
+
|
370
|
+
% make aubox hsize/number of authors up to 3, less gutter
|
371
|
+
% then showbox gutter showbox gutter showbox -- GKMT Aug 99
|
372
|
+
\newbox\@acmtitlebox
|
373
|
+
\def\@maketitle{\newpage
|
374
|
+
\null
|
375
|
+
\setbox\@acmtitlebox\vbox{%
|
376
|
+
\baselineskip 20pt
|
377
|
+
\vskip 2em % Vertical space above title.
|
378
|
+
\begin{center}
|
379
|
+
{\normalfont\sffamily\bfseries\fontsize{18\p@}{18\p@}\selectfont
|
380
|
+
\@title\par} % Title set in 18pt Helvetica (Arial) bold size.
|
381
|
+
\vskip 1.5em % Vertical space after title.
|
382
|
+
{\normalfont\sffamily\fontsize{14\p@}{14\p@}\selectfont
|
383
|
+
\the\subtitletext\par}\vskip 1.25em%\fi
|
384
|
+
{ \normalfont\sffamily\fontsize{12\p@}{12\p@}\selectfont
|
385
|
+
\lineskip .5em % tabular environment
|
386
|
+
\begin{tabular}[t]{c}
|
387
|
+
\@author
|
388
|
+
\end{tabular}
|
389
|
+
\par}
|
390
|
+
\vskip 1.5em % Vertical space after author.
|
391
|
+
\end{center}}
|
392
|
+
\dimen0=\ht\@acmtitlebox
|
393
|
+
\advance\dimen0 by -12.75pc\relax % Increased space for title box -- KBT
|
394
|
+
\unvbox\@acmtitlebox
|
395
|
+
\ifdim\dimen0<0.0pt\relax\vskip-\dimen0\fi}
|
396
|
+
|
397
|
+
\long\def\@maketntext#1{\noindent #1}
|
398
|
+
|
399
|
+
\long\def\@maketitlenotetext#1#2{\noindent
|
400
|
+
\hbox to 1.8em{\hss$^{#1}$}#2}
|
401
|
+
|
402
|
+
\newcount\titlenotecount
|
403
|
+
\global\titlenotecount=0
|
404
|
+
\newtoks\tntoks
|
405
|
+
\newtoks\tntokstwo
|
406
|
+
\newtoks\tntoksthree
|
407
|
+
\newtoks\tntoksfour
|
408
|
+
\newtoks\tntoksfive
|
409
|
+
|
410
|
+
\def\titlenote{\@ifnextchar[\@xtitlenote{\stepcounter\@mpfn
|
411
|
+
\global\advance\titlenotecount by 1
|
412
|
+
\ifnum\titlenotecount=1
|
413
|
+
\raisebox{9pt}{$\ast$}
|
414
|
+
\fi
|
415
|
+
\ifnum\titlenotecount=2
|
416
|
+
\raisebox{9pt}{$\dagger$}
|
417
|
+
\fi
|
418
|
+
\ifnum\titlenotecount=3
|
419
|
+
\raisebox{9pt}{$\ddagger$}
|
420
|
+
\fi
|
421
|
+
\ifnum\titlenotecount=4
|
422
|
+
\raisebox{9pt}{$\S$}
|
423
|
+
\fi
|
424
|
+
\ifnum\titlenotecount=5
|
425
|
+
\raisebox{9pt}{$\P$}
|
426
|
+
\fi
|
427
|
+
\@titlenotetext
|
428
|
+
}}
|
429
|
+
|
430
|
+
\long\def\@titlenotetext#1{\insert\footins{%
|
431
|
+
\ifnum\titlenotecount=1\global\tntoks={#1}\fi
|
432
|
+
\ifnum\titlenotecount=2\global\tntokstwo={#1}\fi
|
433
|
+
\ifnum\titlenotecount=3\global\tntoksthree={#1}\fi
|
434
|
+
\ifnum\titlenotecount=4\global\tntoksfour={#1}\fi
|
435
|
+
\ifnum\titlenotecount=5\global\tntoksfive={#1}\fi
|
436
|
+
\reset@font\footnotesize
|
437
|
+
\interlinepenalty\interfootnotelinepenalty
|
438
|
+
\splittopskip\footnotesep
|
439
|
+
\splitmaxdepth \dp\strutbox \floatingpenalty \@MM
|
440
|
+
\hsize\columnwidth \@parboxrestore
|
441
|
+
\protected@edef\@currentlabel{%
|
442
|
+
}%
|
443
|
+
\color@begingroup
|
444
|
+
\color@endgroup}}
|
445
|
+
|
446
|
+
\renewenvironment{abstract}{
|
447
|
+
\ifnum\titlenotecount>0 % was =1
|
448
|
+
\insert\footins{%
|
449
|
+
\reset@font\footnotesize
|
450
|
+
\interlinepenalty\interfootnotelinepenalty
|
451
|
+
\splittopskip\footnotesep
|
452
|
+
\splitmaxdepth \dp\strutbox \floatingpenalty \@MM
|
453
|
+
\hsize\columnwidth \@parboxrestore
|
454
|
+
\protected@edef\@currentlabel{%
|
455
|
+
}%
|
456
|
+
\color@begingroup
|
457
|
+
\ifnum\titlenotecount=1
|
458
|
+
\@maketntext{%
|
459
|
+
\raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\@finalstrut\strutbox}%
|
460
|
+
\fi
|
461
|
+
\ifnum\titlenotecount=2
|
462
|
+
\@maketntext{%
|
463
|
+
\raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\par\@finalstrut\strutbox}%
|
464
|
+
\@maketntext{%
|
465
|
+
\raisebox{4pt}{$\dagger$}\rule\z@\footnotesep\ignorespaces\the\tntokstwo\@finalstrut\strutbox}%
|
466
|
+
\fi
|
467
|
+
\ifnum\titlenotecount=3
|
468
|
+
\@maketntext{%
|
469
|
+
\raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\par\@finalstrut\strutbox}%
|
470
|
+
\@maketntext{%
|
471
|
+
\raisebox{4pt}{$\dagger$}\rule\z@\footnotesep\ignorespaces\the\tntokstwo\par\@finalstrut\strutbox}%
|
472
|
+
\@maketntext{%
|
473
|
+
\raisebox{4pt}{$\ddagger$}\rule\z@\footnotesep\ignorespaces\the\tntoksthree\@finalstrut\strutbox}%
|
474
|
+
\fi
|
475
|
+
\ifnum\titlenotecount=4
|
476
|
+
\@maketntext{%
|
477
|
+
\raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\par\@finalstrut\strutbox}%
|
478
|
+
\@maketntext{%
|
479
|
+
\raisebox{4pt}{$\dagger$}\rule\z@\footnotesep\ignorespaces\the\tntokstwo\par\@finalstrut\strutbox}%
|
480
|
+
\@maketntext{%
|
481
|
+
\raisebox{4pt}{$\ddagger$}\rule\z@\footnotesep\ignorespaces\the\tntoksthree\par\@finalstrut\strutbox}%
|
482
|
+
\@maketntext{%
|
483
|
+
\raisebox{4pt}{$\S$}\rule\z@\footnotesep\ignorespaces\the\tntoksfour\@finalstrut\strutbox}%
|
484
|
+
\fi
|
485
|
+
\ifnum\titlenotecount=5
|
486
|
+
\@maketntext{%
|
487
|
+
\raisebox{4pt}{$\ast$}\rule\z@\footnotesep\ignorespaces\the\tntoks\par\@finalstrut\strutbox}%
|
488
|
+
\@maketntext{%
|
489
|
+
\raisebox{4pt}{$\dagger$}\rule\z@\footnotesep\ignorespaces\the\tntokstwo\par\@finalstrut\strutbox}%
|
490
|
+
\@maketntext{%
|
491
|
+
\raisebox{4pt}{$\ddagger$}\rule\z@\footnotesep\ignorespaces\the\tntoksthree\par\@finalstrut\strutbox}%
|
492
|
+
\@maketntext{%
|
493
|
+
\raisebox{4pt}{$\S$}\rule\z@\footnotesep\ignorespaces\the\tntoksfour\par\@finalstrut\strutbox}%
|
494
|
+
\@maketntext{%
|
495
|
+
\raisebox{4pt}{$\P$}\rule\z@\footnotesep\ignorespaces\the\tntoksfive\@finalstrut\strutbox}%
|
496
|
+
\fi
|
497
|
+
\color@endgroup}
|
498
|
+
\fi
|
499
|
+
\setcounter{footnote}{0}
|
500
|
+
\section*{Abstract}\normalsize
|
501
|
+
}{}
|
502
|
+
|
503
|
+
\newcommand{\keywords}{\section*{Keywords}}
|
504
|
+
|
505
|
+
\newcommand{\terms}{\section*{General Terms}}
|
506
|
+
|
507
|
+
\newcount\catcount
|
508
|
+
\global\catcount=1
|
509
|
+
|
510
|
+
\newcommand{\category}[3]{%
|
511
|
+
\ifnum\catcount=1
|
512
|
+
\section*{Categories and Subject Descriptors}
|
513
|
+
\advance\catcount by 1\else{\unskip; }\fi
|
514
|
+
\@ifnextchar [{\@category{#1}{#2}{#3}}{\@category{#1}{#2}{#3}[]}%
|
515
|
+
}
|
516
|
+
|
517
|
+
\def\@category#1#2#3[#4]{%
|
518
|
+
\begingroup
|
519
|
+
\let\and\relax
|
520
|
+
#1 [\textbf{#2}]%
|
521
|
+
\if!#4!%
|
522
|
+
\if!#3!\else : #3\fi
|
523
|
+
\else
|
524
|
+
:\space
|
525
|
+
\if!#3!\else #3\kern\z@---\hskip\z@\fi
|
526
|
+
\textit{#4}%
|
527
|
+
\fi
|
528
|
+
\endgroup
|
529
|
+
}
|
530
|
+
|
531
|
+
% Copyright space on title page
|
532
|
+
% =============================
|
533
|
+
|
534
|
+
%%% This section (written by KBT) handles the 1'' box in the lower left
|
535
|
+
%%% corner of the left column of the first page by creating a picture,
|
536
|
+
%%% and inserting the predefined string at the bottom (with a negative
|
537
|
+
%%% displacement to offset the space allocated for a non-existent
|
538
|
+
%%% caption).
|
539
|
+
%%%
|
540
|
+
|
541
|
+
\newtoks\copyrightnotice
|
542
|
+
\def\ftype@copyrightbox{8}
|
543
|
+
\def\@copyrightspace{
|
544
|
+
\@float{copyrightbox}[b]
|
545
|
+
\begin{center}
|
546
|
+
\setlength{\unitlength}{1in}
|
547
|
+
\begin{picture}(3.33,0.25) % Space for copyright notice
|
548
|
+
\put(0,0){\normalfont\fontsize{8\p@}{8\p@}\selectfont%
|
549
|
+
{\@toappear}}
|
550
|
+
\end{picture}
|
551
|
+
\end{center}
|
552
|
+
\end@float}
|
553
|
+
\def\@toappear{} % Default setting blank - commands below change this.
|
554
|
+
\long\def\toappear#1{\def\@toappear{\parbox[b]{20pc}{\baselineskip 9pt#1}}}
|
555
|
+
\def\toappearbox#1{\def\@toappear{\raisebox{5pt}{\framebox[20pc]{\parbox[b]{19pc}{#1}}}}}
|
556
|
+
|
557
|
+
\def\conferenceinfo#1#2{\gdef\@conferencename{#1}\gdef\@conferenceinfo{#2}}
|
558
|
+
\def\@conferencename{}
|
559
|
+
\def\@conferenceinfo{}
|
560
|
+
|
561
|
+
\def\CopyrightYear#1{\gdef\@CopyrightYear{#1}}
|
562
|
+
\def\@CopyrightYear{}
|
563
|
+
\def\@yourmail{}
|
564
|
+
\def\crdata#1{\gdef\@crdata{#1}}
|
565
|
+
\def\@crdata{}
|
566
|
+
\def\permission#1{\gdef\@permission{#1}}
|
567
|
+
\def\@permission{Permission to make digital or hard copies of all or
|
568
|
+
part of this work for personal or classroom use is granted without
|
569
|
+
fee provided that copies are not made or distributed for profit or
|
570
|
+
commercial advantage and that copies bear this notice and the full
|
571
|
+
citation on the first page. To copy otherwise, to republish, to
|
572
|
+
post on servers or to redistribute to lists, requires prior specific
|
573
|
+
permission and/or a fee.}
|
574
|
+
\def\crdata#1{\gdef\@crdata{#1}}
|
575
|
+
\def\@crdata{}
|
576
|
+
|
577
|
+
\def\@copyrightinfo{%
|
578
|
+
\ifx\@CopyrightYear\@empty
|
579
|
+
\else
|
580
|
+
ACM \@crdata\
|
581
|
+
\fi}
|
582
|
+
|
583
|
+
\toappear{\scriptsize\@permission\par
|
584
|
+
\textsl{\@conferencename} \@conferenceinfo\par\@copyrightinfo}
|
585
|
+
|
586
|
+
|
587
|
+
% Theorems
|
588
|
+
% ========
|
589
|
+
|
590
|
+
\def\@begintheorem#1#2{%
|
591
|
+
\trivlist
|
592
|
+
\item[\hskip\labelsep\textsc{#1\hskip 5\p@\relax#2.}]
|
593
|
+
\itshape\selectfont
|
594
|
+
}
|
595
|
+
\def\@opargbegintheorem#1#2#3{%
|
596
|
+
\trivlist
|
597
|
+
\item[%
|
598
|
+
\hskip\labelsep
|
599
|
+
\textsc{#1\ #2\ % This mod by Gerry to enumerate corollaries
|
600
|
+
\setbox\@tempboxa\hbox{(#3)} % and bracket the 'corollary title'
|
601
|
+
\ifdim \wd\@tempboxa>\z@ % and retain the correct numbering of e.g. theorems
|
602
|
+
\hskip 5\p@\relax % if they occur 'around' said corollaries.
|
603
|
+
\box\@tempboxa % Gerry - Nov. 1999.
|
604
|
+
\fi.}%
|
605
|
+
]
|
606
|
+
\itshape\selectfont
|
607
|
+
}
|
608
|
+
\newif\if@qeded
|
609
|
+
\global\@qededfalse
|
610
|
+
\def\proof{%
|
611
|
+
\global\@qededfalse
|
612
|
+
\@ifnextchar[{\@xproof}{\@proof}%
|
613
|
+
}
|
614
|
+
|
615
|
+
\def\endproof{%
|
616
|
+
\if@qeded\else\qed\fi
|
617
|
+
\endtrivlist
|
618
|
+
}
|
619
|
+
\def\@proof{%
|
620
|
+
\trivlist
|
621
|
+
\item[\hskip\labelsep\textsc{Proof.}]
|
622
|
+
\ignorespaces
|
623
|
+
}
|
624
|
+
\def\@xproof[#1]{%
|
625
|
+
\trivlist
|
626
|
+
\item[\hskip\labelsep\textsc{Proof #1.}]%
|
627
|
+
\ignorespaces
|
628
|
+
}
|
629
|
+
\def\qed{%
|
630
|
+
\unskip
|
631
|
+
\kern 10\p@
|
632
|
+
\begingroup
|
633
|
+
\unitlength\p@
|
634
|
+
\linethickness{.4\p@}%
|
635
|
+
\framebox(6,6){}%
|
636
|
+
\endgroup
|
637
|
+
\global\@qededtrue
|
638
|
+
}
|
639
|
+
|
640
|
+
\def\newdef#1#2{%
|
641
|
+
\expandafter\@ifdefinable\csname #1\endcsname
|
642
|
+
{\@definecounter{#1}%
|
643
|
+
\expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%
|
644
|
+
\global\@namedef{#1}{\@defthm{#1}{#2}}%
|
645
|
+
\global\@namedef{end#1}{\@endtheorem}%
|
646
|
+
}%
|
647
|
+
}
|
648
|
+
\def\@defthm#1#2{%
|
649
|
+
\refstepcounter{#1}%
|
650
|
+
\@ifnextchar[{\@ydefthm{#1}{#2}}{\@xdefthm{#1}{#2}}%
|
651
|
+
}
|
652
|
+
\def\@xdefthm#1#2{%
|
653
|
+
\@begindef{#2}{\csname the#1\endcsname}%
|
654
|
+
\ignorespaces
|
655
|
+
}
|
656
|
+
\def\@ydefthm#1#2[#3]{%
|
657
|
+
\trivlist
|
658
|
+
\item[%
|
659
|
+
\hskip\labelsep
|
660
|
+
\itshape{#2%
|
661
|
+
\savebox\@tempboxa{#3}%
|
662
|
+
\ifdim \wd\@tempboxa>\z@
|
663
|
+
\ \box\@tempboxa
|
664
|
+
\fi.%
|
665
|
+
}]%
|
666
|
+
\ignorespaces
|
667
|
+
}
|
668
|
+
\def\@begindef#1#2{%
|
669
|
+
\trivlist
|
670
|
+
\item[\hskip\labelsep\textit{#1\ #2.}]%
|
671
|
+
}
|
672
|
+
\def\theequation{\arabic{equation}}
|
673
|
+
|
674
|
+
% Bibliography
|
675
|
+
% ============
|
676
|
+
|
677
|
+
% This is identical to the code in article.cls except for the first
|
678
|
+
% line and \section instead of \section*.
|
679
|
+
|
680
|
+
\renewenvironment{thebibliography}[1]
|
681
|
+
{\ifnum\addauflag=0\addauthorsection\global\addauflag=1\fi
|
682
|
+
\section{\refname
|
683
|
+
\@mkboth{\MakeUppercase\refname}{\MakeUppercase\refname}}%
|
684
|
+
\list{\@biblabel{\@arabic\c@enumiv}}%
|
685
|
+
{\settowidth\labelwidth{\@biblabel{#1}}%
|
686
|
+
\leftmargin\labelwidth
|
687
|
+
\advance\leftmargin\labelsep
|
688
|
+
\@openbib@code
|
689
|
+
\usecounter{enumiv}%
|
690
|
+
\let\p@enumiv\@empty
|
691
|
+
\renewcommand\theenumiv{\@arabic\c@enumiv}}%
|
692
|
+
\sloppy
|
693
|
+
\clubpenalty4000
|
694
|
+
\@clubpenalty \clubpenalty
|
695
|
+
\widowpenalty4000%
|
696
|
+
\sfcode`\.\@m}
|
697
|
+
{\def\@noitemerr
|
698
|
+
{\@latex@warning{Empty `thebibliography' environment}}%
|
699
|
+
\endlist}
|
700
|
+
|
701
|
+
\endinput
|
702
|
+
%%
|
703
|
+
%% End of file `sigplan-proc-varsize.cls'.
|