Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/sgpviz/doc/   (Office von Apache Version 25.8.3.2©)  Datei vom 30.7.2024 mit Größe 1 kB image not shown  

Quelle  introduction.xml   Sprache: XML

 
<?xml version="1.0" encoding="UTF-8"?>
  <!-- $Id: basics.xml,v 0.998  Exp $ -->
  <Chapter>
    <Heading>
      Introduction
    </Heading>

The aim of this package is to turn 
<Package> GAP </Package> more user-friendly, at least for semigroup theorists.
It requires the usage of external programs as is the case of 
<C>graphviz</C> <Cite Key="KoutsofiosNorth:2002"/>, a software for drawing graphs developed at A
    <Alt Only="LaTeX">
      \&
    </Alt>
    <Alt Not="LaTeX">
      <Alt Only="HTML">
        &amp;
      </Alt>
      <Alt Not="HTML">
        &
      </Alt>
    </Alt>
    T Labs, that can be obtained at
    <URL>https://www.graphviz.org/</URL>.
It is used not only to draw right Cayley graphs of finite semigroups and Schüzenberger graphs of finite inverse semigroups but also to visualise in the usual way the egg-box picture of a D-classe of a finite semigroup. 

<Alt Only="LaTeX">
\ \\
\ \\
    </Alt>
<Alt Only="HTML">
<br><br>
</Alt>
<B>Important note</B>: The version of <C>graphviz</C> to install must be
greater or equal to 1.16.
<Alt Only="LaTeX">
\ \\
\ \\
    </Alt>
<Alt Only="HTML">
<br><br>
</Alt>

Tcl/Tk should also be available in order to run the graphical interfaces
  <P/>
XAutomaton and XSemigroup
  <Br/>
used to specify automata and semigroups.
<P/>
<Alt Only="LaTeX">
\ \\
\ \\
    </Alt>
<Alt Only="HTML">
<br><br>
</Alt>
<B>Warning</B>: the use of XAutomaton and XSemigroup is intended only for simple examples. After its use one may have to start another GAP session.
<Alt Only="LaTeX">
\ \\
\ \\
    </Alt>
<Alt Only="HTML">
<br><br>
</Alt>

  </Chapter>

100%


¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.