blob: 183313b18b79e7fc06fc0913bdae2ce2f68c5ca5 (
plain)
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
|
\usepackage{libertine}
\usepackage{listings}
\usepackage{algorithmic}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{bussproofs}
\usepackage{tikz}
\usepackage{tikz-qtree,tikz-qtree-compat,circuitikz}
\usepackage{translations}
\usepackage{float}
\usepackage{csquotes}
\usepackage{stmaryrd}
\usepackage{cancel}
\usepackage{array}
\usetikzlibrary{positioning}
\newcolumntype{L}{>{$}l<{$}}
\newcolumntype{C}{>{$}c<{$}}
\DeclareTranslation{English}{float-algorithm}{Algorithm}
\DeclareTranslation{German}{float-algorithm}{Algorithmus}
\floatstyle{ruled}
\newfloat{algorithm}{tbp}{lop}
\floatname{algorithm}{\GetTranslation{float-algorithm}}
\lstset{
frame=tb,
numbers=left,
numberstyle=\tiny,
breaklines=true,
postbreak=\raisebox{0ex}[0ex][0ex]{\ensuremath{\color{red}\hookrightarrow\space}},
extendedchars=true,
inputencoding=utf8,
keywordstyle=
}
\DeclareMathOperator{\Hom}{Hom}
%\DeclareMathOperator{\P}{\frak{P}}
%\DeclareMathOperator{\exp}{exp}
%\DeclareMathOperator{\ln}{ln}
\providecommand{\N}{\ensuremath{\mathbb{N}}}
\providecommand{\lequiv}{\ensuremath{\Leftrightarrow}}
\providecommand{\limplies}{\ensuremath{\Rightarrow}}
\providecommand{\seq}{\ensuremath{\Longrightarrow}}
\DeclareTranslation{English}{thm-definition}{Definition}
\DeclareTranslation{German}{thm-definition}{Definition}
\DeclareTranslation{English}{thm-theorem}{Theorem}
\DeclareTranslation{German}{thm-theorem}{Satz}
\DeclareTranslation{English}{thm-example}{Example}
\DeclareTranslation{German}{thm-example}{Beispiel}
\DeclareTranslation{English}{thm-remark}{Remark}
\DeclareTranslation{German}{thm-remark}{Anmerkung}
\DeclareTranslation{English}{thm-lemma}{Lemma}
\DeclareTranslation{German}{thm-lemma}{Lemma}
\DeclareTranslation{English}{thm-proofsketch}{Proof Sketch}
\DeclareTranslation{German}{thm-proofsketch}{Beweisskizze}
\DeclareTranslation{English}{thm-show}{To show}
\DeclareTranslation{German}{thm-show}{Zu Zeigen}
\makeatletter
\newtheoremstyle{definition.indented}
{3pt}% space before
{3pt}% space after
{\addtolength{\@totalleftmargin}{2.5em}
\addtolength{\linewidth}{-2.5em}
\parshape 1 2.5em \linewidth}% body font
{}% indent
{\bfseries}% header font
{.}% punctuation
{.5em}% after theorem header
{}% header specification (empty for default)
\newtheoremstyle{plain.indented}
{3pt}% space before
{3pt}% space after
{\addtolength{\@totalleftmargin}{2.5em}
\addtolength{\linewidth}{-2.5em}
\parshape 1 2.5em \linewidth
\itshape}% body font
{}% indent
{\bfseries}% header font
{.}% punctuation
{.5em}% after theorem header
{}% header specification (empty for default)
\newtheoremstyle{remark.indented}
{3pt}% space before
{3pt}% space after
{\addtolength{\@totalleftmargin}{2.5em}
\addtolength{\linewidth}{-2.5em}
\parshape 1 2.5em \linewidth}% body font
{}% indent
{\itshape}% header font
{.}% punctuation
{.5em}% after theorem header
{}% header specification (empty for default)
\makeatother
\theoremstyle{definition.indented}
\newtheorem{defn}{\GetTranslation{thm-definition}}
\newtheorem*{defn*}{\GetTranslation{thm-definition}}
\theoremstyle{plain.indented}
\newtheorem{thm}{\GetTranslation{thm-theorem}}
\newtheorem*{thm*}{\GetTranslation{thm-theorem}}
\newtheorem{lem}[thm]{\GetTranslation{thm-lemma}}
\newtheorem*{lem*}{\GetTranslation{thm-lemma}}
\theoremstyle{remark.indented}
\newtheorem{rem}{\GetTranslation{thm-remark}}
\newtheorem*{rem*}{\GetTranslation{thm-remark}}
\newtheorem{eg}[rem]{\GetTranslation{thm-example}}
\newtheorem*{eg*}{\GetTranslation{thm-example}}
\newtheorem*{sketch}{\GetTranslation{thm-proofsketch}}
\newtheorem*{tshow}{\GetTranslation{thm-show}}
\newcommand\restr[2]{{% we make the whole thing an ordinary symbol
\left.\kern-\nulldelimiterspace % automatically resize the bar with \right
#1 % the function
\vphantom{\big|} % pretend it's a little taller at normal size
\right|_{#2} % this is the delimiter
}}
|
