-
-
Notifications
You must be signed in to change notification settings - Fork 37
/
Copy pathsupplement.tex
145 lines (110 loc) · 3.36 KB
/
supplement.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
%% Submissions for peer-review must enable line-numbering
%% using the lineno option in the \documentclass command.
%%
%% Preprints and camera-ready submissions do not need
%% line numbers, and should have this option removed.
%%
%% Please note that the line numbering option requires
%% version 1.1 or newer of the wlpeerj.cls file.
\documentclass[fleqn,10pt,numbers]{wlpeerj} % for journal submissions
% \documentclass[fleqn,10pt]{wlpeerj} % for preprint submissions
\renewcommand\thesection{S\arabic{section}}
\renewcommand\thesubsection{\thesection.\arabic{subsection}}
%\usepackage[numbers]{natbib}
\usepackage{lmodern}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[scaled=0.8]{DejaVuSansMono}
\usepackage{hyperref}
\usepackage{graphicx}
\usepackage[all]{xy}
\usepackage{amsmath}
\usepackage{caption}
\graphicspath{ {images/} }
% Makes quote characters in monospace font not be curly
\usepackage{upquote}
\usepackage{amsmath}
\usepackage{url}
\hypersetup{
colorlinks=true,
urlcolor=blue,
citecolor=black
}
% for nice units
\usepackage{siunitx}
% for images: png, pdf, etc
\usepackage{graphicx}
% for nice table formatting, i.e., /toprule, /midrule, etc
\usepackage{booktabs}
% to allow for \verb++ declarations in captions.
\usepackage{cprotect}
% to allow usage of \mathbb symbols
\usepackage{amssymb}
\usepackage{longtable}
\usepackage{listings}
\begin{document}
\flushbottom
\thispagestyle{empty}%
\vskip-36pt%
{\raggedright\sffamily\bfseries\fontsize{20}{25}\selectfont SymPy: symbolic computing in Python\par}%
\vskip10pt
{\raggedright\sffamily\fontsize{12}{16}\selectfont Supplementary material\par}
\vskip25pt%
The supplementary material takes a deeper look at certain topics in SymPy
which there was not enough room to discuss in the paper.
Section~\ref{suppsec:Gruntz} discusses the Gruntz algorithm, used to
calculate limits in SymPy. Sections~\ref{suppsec:Series}--\ref{suppsec:Ten}
discuss in depth some selected submodules. Section~\ref{suppsec:numsimpl}
discusses numerical simplification. Section~\ref{suppsec:examples} provides
additional examples for topics discussed in the main paper. In section~\ref{suppsec:sympy-gamma} the SymPy Gamma
project is discussed. Finally, section~\ref{suppsec:comp-mma}
has a
brief comparison of SymPy with Wolfram Mathematica.
As in the paper, all examples in the supplement assume that the following
has been run:
\begin{verbatim}
>>> from sympy import *
>>> x, y, z = symbols('x y z')
\end{verbatim}
\section{Limits: The Gruntz Algorithm}
\label{suppsec:Gruntz}
\input{gruntz.tex}
% Series module (Formal Power Series, Fourier Series)
\section{Series}
\label{suppsec:Series}
\input{series.tex}
% Logic module
\section{Logic}
\label{suppsec:Logic}
\input{logic}
\section{Diophantine Equations}
\label{suppsec:Dioph}
\input{diophantine}
% Sets
\section{Sets}
\label{suppsec:Sets}
\input{sets}
\section{Statistics}
\label{suppsec:Stats}
\input{stats}
\section{Category Theory}
\label{suppsec:Cat}
\input{categories}
\section{Tensors}
\label{suppsec:Ten}
\input{tensors}
\section{Numerical Simplification}
\label{suppsec:numsimpl}
\input{nsimplify}
\section{Examples}
\label{suppsec:examples}
\input{examples}
\section{SymPy Gamma}
\label{suppsec:sympy-gamma}
\input{gamma}
\section{Comparison with Mathematica}
\label{suppsec:comp-mma}
\input{comparison_with_mma}
\phantomsection
\bibliography{paper}
\end{document}