Die Seite „Beispiel-Datenbank“ ist eine Unterseite einer Veranstaltung, zu der wiederum weitere Unterseiten gehören. Sie ermöglicht Nutzer*innen die Suche nach konkreten Beispielen. Dazu geben Nutzer*innen an, welche Eigenschaften erfüllt und verletzt sein sollen. Als Suchergebnis werden Beispiele oder ein Beweis, dass ein solches Objekt nicht existieren kann, ausgegeben.
Um auf die Beispieldatenbank zuzugreifen, öffnet man zunächst eine Veranstaltungsseite. Dazu klickt man auf das Logo oben links in der Navigationsleiste, um auf die persönliche Startseite zu gelangen. Dort wählt man die gewünschte Veranstaltung aus. Auf der Veranstaltungsseite klickt man dann auf den Eintrag „Beispiel-Datenbank“ in der Seitenleiste auf der linken Seite.
Die Seite „Beispiel-Datenbank“ gliedert sich in vier Teilbereiche: die eigentliche Seite „Beispiel-Datenbank“, die Navigationsleiste, die Seitenleiste zur Navigation innerhalb einer Veranstaltung und den Footer. Die Bereiche sind exemplarisch in den folgenden Screenshots einer Seite „Lektionen“ eingezeichnet. Dieser Artikel widmet sich der eigentlichen Seite.
Eigentliche Seite
Navigationsleiste
Seitenleiste
Footer
Bedienelemente der und mögliche Aktionen auf Unterseiten
Die Beispieldatenbank besteht aus den Unterseiten „Startseite“, „Beispielsuche“, „Suchergebnis“, „Struktur“, „Eigenschaft“, und „Beispiel“. Die Bedienelemente aller dieser Seiten werden nun beschrieben. Das folgende Schaubild zeigt die Navigationsmöglichkeiten zwischen den Unterseiten der Beispieldatenbank.
Führe eine Suche mit den ausgewählten Anforderungen an das Beispiel durch.
bzw. Aktiviere bzw. deaktiviere die globale Suche.
(in der Box „Erfüllt“ oder „Verletzt“, z.B. ) Wähle eine Eigenschaft aus, die das Beispiel (nicht) aufweisen soll. Hier kann höchstens eine Eigenschaft ausgewählt werden.
(in der Box „Eigenschaft von Struktur“ unter „Verknüpfte Begriffe“, z.B. in der Box „Eigenschaft ‚faktoriell‘ von kommutativer Ring mit Eins“) Gehe auf die Seite des Begriffs.
(in der Box „Beispiele (Eigenschaft erfüllt)“ bzw. „Beispiele (Eigenschaft verletzt)“, z.B. ) Wechsel auf die Seite des Beispiels.
Damit die Beispieldatenbank in der Seitenleiste einer Veranstaltung angezeigt wird, muss sie zuvor auf der Seite „Veranstaltung bearbeiten“ freigeschaltet werden. Dort kann auch festgelegt werden, welche Strukturen verfügbar sein sollen.
