Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: beec057a1e8d
Choose a base ref
...
head repository: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 412e3384731c
Choose a head ref

Commits on Feb 20, 2021

  1. Copy the full SHA
    1e2f583 View commit details

Commits on Feb 28, 2021

  1. γKahan

    eggrobin committed Feb 28, 2021
    Copy the full SHA
    8f50679 View commit details
  2. sym

    eggrobin committed Feb 28, 2021
    Copy the full SHA
    59926e4 View commit details

Commits on Mar 1, 2021

  1. de Lagny, not Halley

    eggrobin committed Mar 1, 2021
    Copy the full SHA
    03a08dc View commit details

Commits on Mar 4, 2021

  1. the bug appears to be gone?

    eggrobin committed Mar 4, 2021
    Copy the full SHA
    40bfb45 View commit details

Commits on Mar 7, 2021

  1. a better γ

    eggrobin committed Mar 7, 2021
    Copy the full SHA
    3a4882c View commit details
  2. an old article

    eggrobin committed Mar 7, 2021
    Copy the full SHA
    55bb88c View commit details
  3. more Lagny, Halley

    eggrobin committed Mar 7, 2021
    Copy the full SHA
    926a616 View commit details
  4. Sterbenz

    eggrobin committed Mar 7, 2021
    Copy the full SHA
    62d3c08 View commit details
  5. Nobili and Will

    eggrobin committed Mar 7, 2021
    Copy the full SHA
    ad34c77 View commit details

Commits on Mar 26, 2021

  1. merge

    eggrobin committed Mar 26, 2021
    Copy the full SHA
    77248eb View commit details

Commits on Mar 29, 2021

  1. history

    eggrobin committed Mar 29, 2021
    Copy the full SHA
    3eaa590 View commit details

Commits on Apr 1, 2021

  1. typos

    eggrobin committed Apr 1, 2021
    Copy the full SHA
    ff223bd View commit details

Commits on Apr 2, 2021

  1. consistent notation

    eggrobin committed Apr 2, 2021
    Copy the full SHA
    1fd1940 View commit details
  2. some bibliography

    eggrobin committed Apr 2, 2021
    Copy the full SHA
    4b1f6c9 View commit details
  3. duplicate entry?!

    eggrobin committed Apr 2, 2021
    Copy the full SHA
    12cb1d1 View commit details
  4. @comment instead of %

    eggrobin committed Apr 2, 2021
    Copy the full SHA
    9b07ba7 View commit details
  5. annotation?

    eggrobin committed Apr 2, 2021
    Copy the full SHA
    4f9115d View commit details
  6. format the bibliography

    eggrobin committed Apr 2, 2021
    Copy the full SHA
    1554f06 View commit details

Commits on Apr 3, 2021

  1. addendum

    eggrobin committed Apr 3, 2021
    Copy the full SHA
    c1670fe View commit details
  2. ſ

    eggrobin committed Apr 3, 2021
    Copy the full SHA
    7091726 View commit details
  3. merge & rebuild

    eggrobin committed Apr 3, 2021
    Copy the full SHA
    35e84eb View commit details

Commits on Apr 4, 2021

  1. proof sketch

    eggrobin committed Apr 4, 2021
    Copy the full SHA
    6684c84 View commit details
  2. equivalent the definition

    eggrobin committed Apr 4, 2021
    Copy the full SHA
    d28486a View commit details
  3. is are

    eggrobin committed Apr 4, 2021
    Copy the full SHA
    feab24d View commit details
  4. Copy the full SHA
    42aa23f View commit details

Commits on Apr 5, 2021

  1. Schroeder

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    3ff1260 View commit details
  2. numbering

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    d3f1cfa View commit details
  3. better numbering

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    9cb1c0c View commit details
  4. merge

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    884f0b9 View commit details
  5. rebuild

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    184e6c4 View commit details
  6. volume

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    c79f973 View commit details
  7. bibliographic note

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    87c5a22 View commit details
  8. regenerate

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    6544cd5 View commit details
  9. numerics

    eggrobin committed Apr 5, 2021
    Copy the full SHA
    d664b32 View commit details

Commits on Apr 6, 2021

  1. scaling rounding

    eggrobin committed Apr 6, 2021
    Copy the full SHA
    f8669d7 View commit details
  2. better growth

    eggrobin committed Apr 6, 2021
    Copy the full SHA
    56eca59 View commit details
  3. Copy the full SHA
    046a43f View commit details
  4. merge paragraphs

    eggrobin committed Apr 6, 2021
    Copy the full SHA
    c63d303 View commit details
  5. deg

    eggrobin committed Apr 6, 2021
    Copy the full SHA
    fb3bcc9 View commit details
  6. almost all

    eggrobin committed Apr 6, 2021
    Copy the full SHA
    6726717 View commit details
  7. for

    eggrobin committed Apr 6, 2021
    Copy the full SHA
    23aa238 View commit details
  8. big 0

    eggrobin committed Apr 6, 2021
    Copy the full SHA
    1dfd0ba View commit details
  9. rounding

    eggrobin committed Apr 6, 2021
    Copy the full SHA
    caeed1d View commit details

Commits on Apr 7, 2021

  1. rounding

    eggrobin committed Apr 7, 2021
    Copy the full SHA
    77f6e61 View commit details
  2. γ

    eggrobin committed Apr 7, 2021
    Copy the full SHA
    c0540af View commit details
  3. digits

    eggrobin committed Apr 7, 2021
    Copy the full SHA
    3d2b96b View commit details
  4. 12

    eggrobin committed Apr 7, 2021
    Copy the full SHA
    71d70fd View commit details

Commits on Apr 8, 2021

  1. draft

    eggrobin committed Apr 8, 2021
    Copy the full SHA
    7084721 View commit details
  2. date and tweaks

    eggrobin committed Apr 8, 2021
    Copy the full SHA
    4391a4d View commit details
Binary file modified documentation/Cohen Hubbard Oesterwinter.pdf
Binary file not shown.
Binary file modified documentation/Geopotential.pdf
Binary file not shown.
23 changes: 17 additions & 6 deletions documentation/basestyle.cls
Original file line number Diff line number Diff line change
@@ -20,15 +20,14 @@
\RequirePackage{graphicx}

% Language.

\RequirePackage{polyglossia}
\setdefaultlanguage[variant=british]{english}
\setotherlanguages{greek,german,russian,latin,french}
% We use the english/american quote style, i.e., outer double quotes and inner
% single quotes, but british typographic rules (punctuation after the quotation
% marks).
\RequirePackage[style=english/american]{csquotes}
\RequirePackage[shortcuts]{extdash}
\RequirePackage[shortcuts,nospacearound]{extdash}

\newcommand{\foreign}{\emph}

@@ -78,6 +77,8 @@
\newfontfamily\cjkfont{BabelStoneHan.ttf}
\setCJKmainfont{BabelStoneHan.ttf}

\newfontfamily\xsuxfont{Nabuninuaihsus.otf}

% Layout.

\iftwoside
@@ -132,6 +133,9 @@
}%
}

\RequirePackage{enumitem}
\renewcommand\labelitemi{---}

%\makeatletter
%\renewcommand*{\@makefnmark}{%
% \hbox{%
@@ -147,6 +151,7 @@
% Latin locutions.
\newcommand{\idest}{\emph{i.e.}}
\newcommand{\exempligratia}{\emph{e.g.}}
\newcommand{\sequentes}{\emph{sqq.}}

% For comments in align environments
\newcommand\commentbox[1]{\parbox{.3\linewidth}{#1}}
@@ -168,10 +173,16 @@

\RequirePackage[backend=biber,firstinits=true,maxnames=100,style=alphabetic,maxalphanames=4,doi=true,isbn=false,url=false,eprint=true,labelalpha=true]{biblatex}

% Allow breaking after lower and upper case letters in bibliography URLs, see
% https://tex.stackexchange.com/a/134281.
\setcounter{biburllcpenalty}{7000}
\setcounter{biburlucpenalty}{8000}
% Allow breaking in numbers and after lower and upper case letters in bibliography
% URLs, see https://tex.stackexchange.com/a/134281.
% We use fairly low values to avoid unsightly spacing:
% http : / / example . com is not an improvement over http://ex-
% ample.com. We prefer breaking in numbers and uppercase letters, which are often
% IDs, rather than lowercase letters, which sometimes form meaningful words, or at
% least tokens that are not customarily broken, e.g. the protocol.
\setcounter{biburlnumpenalty}{100}
\setcounter{biburllcpenalty}{500}
\setcounter{biburlucpenalty}{100}

\AtEveryBibitem{\clearlist{language}} % TODO(egg): Why are we doing this?

355 changes: 343 additions & 12 deletions documentation/bibliography.bib

Large diffs are not rendered by default.

Binary file modified documentation/bibliography.pdf
Binary file not shown.
Binary file added documentation/cbrt.pdf
Binary file not shown.
1,603 changes: 1,603 additions & 0 deletions documentation/cbrt.tex

Large diffs are not rendered by default.

Binary file added documentation/cbrt_latency_misrounding.pdf
Binary file not shown.
Binary file added documentation/cbrt_ξ_error.pdf
Binary file not shown.
81 changes: 65 additions & 16 deletions documentation/semtex.sty
Original file line number Diff line number Diff line change
@@ -140,8 +140,47 @@
\fi
}

% This declares delimiters #1* and #1, which both typeset according to the size of
% their contents rendered under the delimsize flag. We omit subscripts and superscripts
% under that flag, so that they are allowed to stick out from delimiters.
% The starred version grows when nested (it is sized under growingdelimsize, and under that flag
% includes the delimiters as well as a subscript to ensure nonzero growth), whereas the starless
% version remains at constant size.
% The two flags are there to ensure that if [] is declared with * () without,
% [([])] has the parentheses at the size as the inner brackets, rather than that of the outer
% ones.
\def\DeclareDelimiterX#1[#2]#3#4#5 {
\DeclareRobustCommand{#1}[#2]{
\DeclareDocumentCommand{#1}{s#2}{
\IfBooleanTF{##1}{
\if@delimsize
% We do not bother with the delimiter wrappers etc.,
% as horizontal kerning is irrelevant to (vertical) delimiter size.
\if@growingdelimsize
{\left#3{#5}\right#4}_0
\else
{\left#3\@growingdelimsizetrue{#5}\@growingdelimsizefalse\right#4}
\fi
\else
\begingroup
\@delimsizetrue
\@growingdelimsizetrue
\@delimiterWrapper{\left#3}{
\vphantom{#5}
{\kern-\nulldelimiterspace}
}{\right.}
\def\@delimcontent{#5}
\@delimsizefalse
\@growingdelimsizefalse
{#5}
\@delimsizetrue
\@growingdelimsizetrue
\@delimiterWrapper{\left.}{
{\kern-\nulldelimiterspace}
\vphantom{#5}
}{\right#4}
\endgroup
\fi
}{
\if@delimsize
#5
\else
@@ -161,10 +200,11 @@
}{\right#4}
\endgroup
\fi
}
}
}

\newcommand\DeclareDelimiter[3]{\DeclareDelimiterX{#1}[1]{#2}{#3}{##1}}
\newcommand\DeclareDelimiter[3]{\DeclareDelimiterX{#1}[m]{#2}{#3}{##2}}

\makeatother

@@ -247,6 +287,8 @@
\makeatletter
\newif\if@delimsize
\@delimsizefalse
\newif\if@growingdelimsize
\@growingdelimsizefalse
\livechars@
\newcommand^[1]{\if@delimsize{}\else\sp{#1}\fi}
\newcommand_[1]{\if@delimsize{}\else\sb{#1}\fi}
@@ -280,24 +322,25 @@
\newcommand{\emptyBar}[1]{\emptyBarUnkerned{\kern-\nulldelimiterspace #1}}
\DeclareDelimiter\parentheses{\lparen}{\rparen}
\DeclareDelimiter\squareBrackets{[}{]}
\DeclareDelimiter\doubleSquareBrackets{\lBrack}{\rBrack}
\DeclareDelimiter\curlyBrackets{\lbrace}{\rbrace}
\DeclareDelimiter\angleBrackets{\langle}{\rangle}
\DeclareDelimiter\floor{\lfloor}{\rfloor}
\DeclareDelimiter\ceil{\lceil}{\rceil}
%% Binary.
\DeclareDelimiterX\lsquareCommaRsquare[2]{[}{]}{#1, #2}
\DeclareDelimiterX\lsquareCommaLsquare[2]{[}{[}{#1, #2}
\DeclareDelimiterX\rsquareCommaRsquare[2]{]}{]}{#1, #2}
\DeclareDelimiterX\rsquareCommaLsquare[2]{]}{[}{#1, #2}
\DeclareDelimiterX\langleBarRangle[2]{\langle}{\rangle}{#1\delimsize\vert #2}
\DeclareDelimiterX\langleCommaRangle[2]{\langle}{\rangle}{#1, #2}
\DeclareDelimiterX\lAngleCommaRAngle[2]{\lAngle}{\rAngle}{#1, #2}
\DeclareDelimiterX\lparenCommaRparen[2]{\lparen}{\rparen}{#1, #2}
\DeclareDelimiterX\lParenCommaRParen[2]{\lParen}{\rParen}{#1, #2}
\DeclareDelimiterX\unkernedEmptySlashEmpty[2]{.}{.}{#1\delimsize\fracslash #2}
\DeclareDelimiterX\unkernedEmptyDotEmpty[2]{.}{.}{#1\cdot #2}
\DeclareDelimiterX\lcurlyBarRcurly[2]{\lbrace}{\rbrace}{#1\:\delimsize\vert\: #2}
\DeclareDelimiterX\lcurlyCommaRcurly[2]{\lbrace}{\rbrace}{#1, #2}
\DeclareDelimiterX\lsquareCommaRsquare[mm]{[}{]}{#2, #3}
\DeclareDelimiterX\lsquareCommaLsquare[mm]{[}{[}{#2, #3}
\DeclareDelimiterX\rsquareCommaRsquare[mm]{]}{]}{#2, #3}
\DeclareDelimiterX\rsquareCommaLsquare[mm]{]}{[}{#2, #3}
\DeclareDelimiterX\langleBarRangle[mm]{\langle}{\rangle}{#2\delimsize\vert #3}
\DeclareDelimiterX\langleCommaRangle[mm]{\langle}{\rangle}{#2, #3}
\DeclareDelimiterX\lAngleCommaRAngle[mm]{\lAngle}{\rAngle}{#2, #3}
\DeclareDelimiterX\lparenCommaRparen[mm]{\lparen}{\rparen}{#2, #3}
\DeclareDelimiterX\lParenCommaRParen[mm]{\lParen}{\rParen}{#2, #3}
\DeclareDelimiterX\unkernedEmptySlashEmpty[mm]{.}{.}{#2\delimsize\fracslash #3}
\DeclareDelimiterX\unkernedEmptyDotEmpty[mm]{.}{.}{#2\cdot #3}
\DeclareDelimiterX\lcurlyBarRcurly[mm]{\lbrace}{\rbrace}{#2\:\delimsize\vert\: #3}
\DeclareDelimiterX\lcurlyCommaRcurly[mm]{\lbrace}{\rbrace}{#2, #3}

\DeclareDocumentCommand\emptyDotEmpty{mm}{#1\cdot #2}

@@ -331,6 +374,9 @@
\newcommand{\PauliMatrix}[1]{\StandardMatrixSymbol{\sigma}_{k}}
%\newcommand{\PauliTensor}{\StandardTensorSymbol\sigma} Nonstandard.

\DeclareMathOperator*{\argmin}{argmin}
\DeclareMathOperator*{\argmax}{argmax}

%%% Operators, standard functions.
%% Prefix operators and functions.
% \DiracDelta[x] is the dirac delta distribution, with \DiracDelta[x]\of y = 0
@@ -364,6 +410,7 @@
\DeclareMathOperator{\EllipticPi}{\StandardSymbol\capitalPi}
% \Sign is the sign function.
\DeclareMathOperator{\Sign}{sgn}
\DeclareMathOperator{\FractionalPart}{frac}
% \Laplacian is the Laplacian.
\DeclareMathOperator{\Laplacian}{\increment}
% \diffd is the total differential.
@@ -827,7 +874,9 @@
\newcommand\Z\Integers
\newcommand\Q\Rationals
\newcommand\R\Reals
\newcommand\C\Complexes
% TODO(egg): why do we sometimes have \C already?
\providecommand\C\Complexes
\renewcommand\C\Complexes

\newcommand{\FreeGroup}[1]{\operatorname{F}_{#1}}
\newcommand{\GroupGeneratedBy}[1]{\angleBrackets{#1}}