evangelistalab / forte

http://www.evangelistalab.org
GNU Lesser General Public License v3.0
50 stars 28 forks source link

Forte proofs corrections #397

Closed fevangelista closed 1 month ago

fevangelista commented 1 month ago

Please list your corrections here in this format: E.g.

kannon92 commented 1 month ago

My ORCID is 0009-0001-7840-1117 (can confirm via https://orcid.org/0009-0001-7840-1117).

brianz98 commented 1 month ago
brianz98 commented 1 month ago
brianz98 commented 1 month ago
shuhangli98 commented 1 month ago
brianz98 commented 1 month ago
brianz98 commented 1 month ago

In general should the Big-O notation be \mathcal{O} instead of roman O?

brianz98 commented 1 month ago
brianz98 commented 1 month ago
brianz98 commented 1 month ago

All listings can be a little more compact

brianz98 commented 1 month ago
brianz98 commented 1 month ago
brianz98 commented 1 month ago
huangm29 commented 1 month ago
marink2 commented 1 month ago
marink2 commented 1 month ago
fevangelista commented 1 month ago
lcyyork commented 1 month ago
loriab commented 1 month ago

This is through page 12. Will resume later.

loriab commented 1 month ago

Those are all the typos I found.


In case it's useful in future, I like the below for code. Shows up in JCP like the attached.

% * (c) Snippet
%       * can be referenced
%       * can be captioned
%       * independent numbering sequence
%       * space after `Snippet ` to separate numbering
%       * in document header, `\usepackage{float}`
%       * once per doc, `\floatstyle{plain}` (looks like figure) or `ruled` (looks like table)
%       * once per doc, `\newfloat{Snippet }{H}{lop}` to define the snippet
%
\begin{Snippet }
{\footnotesize
\begin{verbatim}
...stuff...
\end{verbatim}
}%
\caption{XXXX\label{snip:XXXX}}
\end{Snippet }
Screenshot 2024-07-31 at 4 54 06 PM