## Miscellaneous

This page contains several programs, themes or other stuff that I've created throughout the past years.

### Some Scripts

Here is a bunch of Sage and Gap scripts that I wrote.

- sperner.sage - provides functions to import noncrossing partition lattices to Sage, and some test routines revolving around the Sperner property.
- print_nc.gap - provides functions to print the cover relations in a noncrossing partition lattice associated with any irreducible well-generated complex reflection group.
- m_tamari_decomposition.sage - provides functions to perform the strip decomposition of m-Dyck paths, and some test routines revolving around a conjecture that the m-Tamari lattice of parameter n is isomorphic to a modification of the poset of strip-decomposed m-Dyck paths under componentwise rotation order.

- real reflection groups of rank at most 8,
- irreducible well-generated exceptional non-real complex reflection groups,
- the groups G(d,d,n) for 3 ≤ d ≤ 8 and 3 ≤ n ≤ 6, as well as 3 ≤ d ≤ 6 and n=7.

### Some Beamer Themes

I created four customized beamer themes, one for each season. They are based on the standard themes and mainly add different color schemes:

- Meadow - spring
- ShallowCoast - summer
- Swampland - fall
- EternalIce - winter

Just extract the zip-file into the beamer folder of your LaTeX-distribution or copy these files into the folder containing the desired .tex-file.

### Lins - The Labeling Inspector

In order to prove the EL-shellability of noncrossing partition lattices associated with well-generated complex reflection groups, I developed this little tool that infers an EL-labeling for these lattices. It relies on Gap 3.

Lins itself is a command-line tool that should be self-explanatory. The Gap script is included in the archive, but can be downloaded separately from here. Run Lins from a command-line terminal via

`java -jar lins.jar`

### Core - The Contextual Role Editor

In my diploma thesis I dealt with the topic of describing role-oriented software models in terms of Formal Concept Analysis.

I've written two papers on this topic and eventually developed a little tool that shall assist the development process. I called it Core, as an abbreviation for Contextual Role Editor.

Core can be downloaded from here. Note that Core requires the Eclipse Modeling Tools. See the included manual for a quick introduction on how to get started.

As a starting example, you might want to use the following files:

If you have questions, remarks or want to report some bugs, simply drop me a mail. If you want to extend or customize the role model editor of Core, you can find the sources here. Simply import the folders into Eclipse. Note that you need GMF installed, which is guaranteed if you already have the Eclipse Modeling Tools. Check the manual for some elementary troubleshooting.