From 66ee636bfa069bce0b4e6946e2d38ed9d099c781 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 4 May 2008 16:13:46 +0200 Subject: [PATCH] doc: document more --summation methods for barvinok_summate --- doc/applications.tex | 8 ++++++-- doc/implementation.tex | 1 + 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/doc/applications.tex b/doc/applications.tex index dd09c75..a4db1f2 100644 --- a/doc/applications.tex +++ b/doc/applications.tex @@ -437,9 +437,13 @@ print parsed piecewise quasi-polynomial \ai[\tt]{--summation} & & specifies which summation method to use; \ai[\tt]{box} refers to the method of -\shortciteN[Section~4.5.4]{Verdoolaege2005PhD}, while +\shortciteN[Section~4.5.4]{Verdoolaege2005PhD}, +\ai[\tt]{bernoulli} refers to the method of +\autoref{s:nested:exact}, \ai[\tt]{euler} refers to the method of -\autoref{s:euler} +\autoref{s:euler}, +and \ai[\tt]{laurent} refers to the method of +\autoref{s:laurent}. \end{tabular} \subsection{\texorpdfstring{\protect\ai[\tt]{barvinok\_bound}} diff --git a/doc/implementation.tex b/doc/implementation.tex index 094dadd..8bddc1c 100644 --- a/doc/implementation.tex +++ b/doc/implementation.tex @@ -3427,6 +3427,7 @@ the integer points of $P(n)$} \end{example} \subsection{Summation through exponential substitution and Laurent expansions} +\label{s:laurent} This section was inspired by \shortciteN{Baldoni2008}. -- 2.11.4.GIT