Commit b92ec5ab authored by Michael Kohlhase's avatar Michael Kohlhase

more_debugging

parent 553746cd
......@@ -3,7 +3,6 @@
\symdef{euleriannumbersecondkind}[2]{\left\langle \!\! \left\langle {#1 \atop #2} \right\rangle \!\! \right\rangle}
\symtest{euleriannumbersecondkind}{\euleriannumbersecondkind{n}{k}}
\symii{Eulerian}{number}
\end{modsig}
%%% Local Variables:
......
\begin{mhmodnl}[creators=cdemirkiran,contributors=miko]{tuttlepolynomial}{en}
\begin{definition}[id=tuttepolynomial.def]
For an \trefii[graph]{undirected}{graph} $G=\mvstructure{V,E}$,
\defii{Tutte}{polynomial} is defined as $\tuttepolynomial{G}xy =
\SumInColl{A}{\sseteq{A}E}{\atimes{\power{x-1}{k(A) - k(E)},\power{y-1}{k(A)+ \card{A} -
\card{V}}}}$ where $k(G)$ denotes the number of \term{connected components} of $G$.
\end{definition}
\begin{omtext}[type=elaboration,for=tuttepolynomial.def]
The \trefii{Tutte}{polynomial} contains information about how the \term{graph} is
connected.
\end{omtext}
\end{mhmodnl}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\begin{modsig}[creators=cdemirkiran,contributors=miko]{tuttlepolynomial}
\gimport[smglom/mv]{structure}
\gimport[smglom/arithmetics]{sum}
\gimport[smglom/sets]{finite-cardinality}
\symdef{tuttepolynomial}[3]{T_{#1}(#2,#3)}
\symii{Tutte}{polynomial}
\end{modsig}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment