Skip to content
Snippets Groups Projects
Commit 7f9c9a9c authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

bla

parent bfaf2f46
No related branches found
No related tags found
No related merge requests found
No preview for this file type
......@@ -96,18 +96,16 @@ definitions and theorems. For instance, when establishing results, \cite{covers-
In the second example, the situation is a bit more complex, since the import of the
terminology and definitions is not direct, but involves a choice.
\begin{example}\label{ex:mnets}
\cite{mnets-orig} studies the properties of multinets. In the preliminaries section they
are introduced with the following definition:
\begin{labeledquote}\sf
\textbf{Definition 2.1} The union of all completely reducible fibers (with a fixed
partition into fibers, also called blocks) of a Ceva pencil of degree $d$ is called a
$(k, d)-\mathit{multinet}$ where $k$ is the number of the blocks. The base $X$ of the
pencil is determined by the multinet structure and called the base of the multinet.
\end{labeledquote}
Later in that section some properties of multinets are introduced with the phrase
``\textsf{Several important properties of multinets are listed below which have been
collected from [4,10,12].}''. The referenced papers all use slightly different
\begin{example}\label{ex:mnets} \cite{mnets-orig} studies the properties of multinets. In
the preliminaries section they are introduced with the following definition:
\begin{labeledquote}\sf \textbf{Definition 2.1} The union of all completely reducible
fibers (with a fixed partition into fibers, also called blocks) of a Ceva pencil of degree
$d$ is called a $(k, d)-\mathit{multinet}$ where $k$ is the number of the blocks. The base
$X$ of the pencil is determined by the multinet structure and called the base of the
multinet.
\end{labeledquote} Later in that section some properties of multinets are introduced
with the phrase ``\textsf{Several important properties of multinets are listed below which
have been collected from [4,10,12].}''. The referenced papers all use slightly different
definitions of multinets but they are assumed to be equivalent so that the properties
hold. In fact, in this paper (\cite{mnets-orig}) the assumption is made explicit --
although not proved -- from the start: ``\textsf{There are several equivalent ways to
......
No preview for this file type
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment