{ "cells": [ { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "## Prehistory\n", "\n", "### 1994-2000: Computational Invariant theory of permutation groups\n", "\n", "- Needed:\n", " - Group theory: GAP\n", " - Computer Algebra: MuPAD\n", " - Gröbner bases: FGb\n", "\n", "- PerMuVAR in MuPAD\n", "- Ugly homegrown C++ permutation group library (GLIP) + low level interface\n", "- Text interface to FGb\n", "- Student project: Lyx as notebook interface" ] }, { "cell_type": "markdown", "metadata": { "slideshow": { "slide_type": "slide" } }, "source": [ "### 2000-2008: MuPAD-Combinat for Algebraic Combinatorics\n", "Was MuPAD the right choice?\n", "