gap-automata-1.13-lp151.2.1.noarch.rpm


Advertisement

Description

gap-automata - GAP: A package on automata

Property Value
Distribution openSUSE Leap 15.1
Repository openSUSE Oss all
Package filename gap-automata-1.13-lp151.2.1.noarch.rpm
Package name gap-automata
Package version 1.13
Package release lp151.2.1
Package architecture noarch
Package type rpm
Category Productivity/Scientific/Math
Homepage http://cmup.fc.up.pt/cmup/mdelgado/automata/
License GPL-2.0+
Maintainer -
Download size 402.38 KB
Installed size 1.44 MB
The features of this package include
- computing a rational expression for the language recognized by a
finite automaton;
- compute an automaton for the language given by a rational
expression;
- minimalize a finite automaton;
- has some features (using the external program GraphViz) to
visualize automata;

Alternatives

Package Version Architecture Repository
gap-automata - - -

Requires

Name Value
gap-core >= 4.4
graphviz -

Provides

Name Value
gap-automata = 1.13-lp151.2.1

Download

Type URL
Mirror widehat.opensuse.org
Binary Package gap-automata-1.13-lp151.2.1.noarch.rpm
Source Package gap-automata-1.13-lp151.2.1.src.rpm

Install Howto

Install gap-automata rpm package:

# zypper install gap-automata

Files

Path
/usr/share/gap/
/usr/share/gap/pkg/
/usr/share/gap/pkg/automata/CHANGES
/usr/share/gap/pkg/automata/EXAMPLES
/usr/share/gap/pkg/automata/LICENSE
/usr/share/gap/pkg/automata/PackageInfo.g
/usr/share/gap/pkg/automata/README
/usr/share/gap/pkg/automata/init.g
/usr/share/gap/pkg/automata/read.g
/usr/share/gap/pkg/automata/version
/usr/share/gap/pkg/automata/doc/AutMan.aux
/usr/share/gap/pkg/automata/doc/AutMan.bbl
/usr/share/gap/pkg/automata/doc/AutMan.bib
/usr/share/gap/pkg/automata/doc/AutMan.blg
/usr/share/gap/pkg/automata/doc/AutMan.brf
/usr/share/gap/pkg/automata/doc/AutMan.idx
/usr/share/gap/pkg/automata/doc/AutMan.ilg
/usr/share/gap/pkg/automata/doc/AutMan.ind
/usr/share/gap/pkg/automata/doc/AutMan.log
/usr/share/gap/pkg/automata/doc/AutMan.out
/usr/share/gap/pkg/automata/doc/AutMan.pnr
/usr/share/gap/pkg/automata/doc/AutMan.tex
/usr/share/gap/pkg/automata/doc/AutMan.toc
/usr/share/gap/pkg/automata/doc/AutMan.xml
/usr/share/gap/pkg/automata/doc/LER
/usr/share/gap/pkg/automata/doc/aut-func.xml
/usr/share/gap/pkg/automata/doc/aut-vs-rat.xml
/usr/share/gap/pkg/automata/doc/aut1.eps
/usr/share/gap/pkg/automata/doc/aut1.gif
/usr/share/gap/pkg/automata/doc/aut1.jpg
/usr/share/gap/pkg/automata/doc/aut1.pdf
/usr/share/gap/pkg/automata/doc/aut1.ps
/usr/share/gap/pkg/automata/doc/aut1.ps2
/usr/share/gap/pkg/automata/doc/aut2.eps
/usr/share/gap/pkg/automata/doc/aut2.gif
/usr/share/gap/pkg/automata/doc/aut2.jpg
/usr/share/gap/pkg/automata/doc/aut2.pdf
/usr/share/gap/pkg/automata/doc/aut2_1.jpg
/usr/share/gap/pkg/automata/doc/aut2_2.jpg
/usr/share/gap/pkg/automata/doc/automata.xml
/usr/share/gap/pkg/automata/doc/chap0.html
/usr/share/gap/pkg/automata/doc/chap0.txt
/usr/share/gap/pkg/automata/doc/chap1.html
/usr/share/gap/pkg/automata/doc/chap1.txt
/usr/share/gap/pkg/automata/doc/chap2.html
/usr/share/gap/pkg/automata/doc/chap2.txt
/usr/share/gap/pkg/automata/doc/chap3.html
/usr/share/gap/pkg/automata/doc/chap3.txt
/usr/share/gap/pkg/automata/doc/chap4.html
/usr/share/gap/pkg/automata/doc/chap4.txt
/usr/share/gap/pkg/automata/doc/chap5.html
/usr/share/gap/pkg/automata/doc/chap5.txt
/usr/share/gap/pkg/automata/doc/chap6.html
/usr/share/gap/pkg/automata/doc/chap6.txt
/usr/share/gap/pkg/automata/doc/chap7.html
/usr/share/gap/pkg/automata/doc/chap7.txt
/usr/share/gap/pkg/automata/doc/chap8.html
/usr/share/gap/pkg/automata/doc/chap8.txt
/usr/share/gap/pkg/automata/doc/chap9.html
/usr/share/gap/pkg/automata/doc/chap9.txt
/usr/share/gap/pkg/automata/doc/chapA.html
/usr/share/gap/pkg/automata/doc/chapA.txt
/usr/share/gap/pkg/automata/doc/chapB.html
/usr/share/gap/pkg/automata/doc/chapB.txt
/usr/share/gap/pkg/automata/doc/chapBib.html
/usr/share/gap/pkg/automata/doc/chapBib.txt
/usr/share/gap/pkg/automata/doc/chapC.html
/usr/share/gap/pkg/automata/doc/chapC.txt
/usr/share/gap/pkg/automata/doc/chapD.html
/usr/share/gap/pkg/automata/doc/chapD.txt
/usr/share/gap/pkg/automata/doc/chapE.html
/usr/share/gap/pkg/automata/doc/chapE.txt
/usr/share/gap/pkg/automata/doc/chapInd.html
/usr/share/gap/pkg/automata/doc/chapInd.txt
/usr/share/gap/pkg/automata/doc/drawing.xml
/usr/share/gap/pkg/automata/doc/finitelang.xml
/usr/share/gap/pkg/automata/doc/foldings.xml
/usr/share/gap/pkg/automata/doc/gapdoc.css
/usr/share/gap/pkg/automata/doc/gapdoc.dtd
/usr/share/gap/pkg/automata/doc/graph.eps
/usr/share/gap/pkg/automata/doc/graph.gif
/usr/share/gap/pkg/automata/doc/graph.pdf
/usr/share/gap/pkg/automata/doc/graphs.xml
/usr/share/gap/pkg/automata/doc/introduction.xml
/usr/share/gap/pkg/automata/doc/lefttoc.css
/usr/share/gap/pkg/automata/doc/main.g.txt
/usr/share/gap/pkg/automata/doc/manual.css
/usr/share/gap/pkg/automata/doc/manual.js
/usr/share/gap/pkg/automata/doc/manual.pdf
/usr/share/gap/pkg/automata/doc/manual.six
/usr/share/gap/pkg/automata/doc/nocolorprompt.css
/usr/share/gap/pkg/automata/doc/ragged.css
/usr/share/gap/pkg/automata/doc/rainbow.js
/usr/share/gap/pkg/automata/doc/rational.xml
/usr/share/gap/pkg/automata/doc/times.css
/usr/share/gap/pkg/automata/doc/toggless.css
/usr/share/gap/pkg/automata/doc/toggless.js
/usr/share/gap/pkg/automata/gap/aut-basics.gd
/usr/share/gap/pkg/automata/gap/aut-basics.gi
/usr/share/gap/pkg/automata/gap/aut-def.gd
/usr/share/gap/pkg/automata/gap/aut-def.gi
/usr/share/gap/pkg/automata/gap/aut-func.gd
/usr/share/gap/pkg/automata/gap/aut-func.gi
/usr/share/gap/pkg/automata/gap/aut-rat.gd
/usr/share/gap/pkg/automata/gap/aut-rat.gi
/usr/share/gap/pkg/automata/gap/digraphs.gd
/usr/share/gap/pkg/automata/gap/digraphs.gi
/usr/share/gap/pkg/automata/gap/drawgraph.gd
/usr/share/gap/pkg/automata/gap/drawgraph.gi
/usr/share/gap/pkg/automata/gap/finitelang.gd
/usr/share/gap/pkg/automata/gap/finitelang.gi
/usr/share/gap/pkg/automata/gap/foldings.gd
/usr/share/gap/pkg/automata/gap/foldings.gi
/usr/share/gap/pkg/automata/gap/hello
/usr/share/gap/pkg/automata/gap/miscelaneous.gd
/usr/share/gap/pkg/automata/gap/miscelaneous.gi
/usr/share/gap/pkg/automata/gap/rat-def.gd
/usr/share/gap/pkg/automata/gap/rat-def.gi
/usr/share/gap/pkg/automata/gap/rat-func.gd
/usr/share/gap/pkg/automata/gap/rat-func.gi
/usr/share/gap/pkg/automata/gap/sgpslinks.gd
/usr/share/gap/pkg/automata/gap/sgpslinks.gi

Changelog

2013-05-10 - jengelh@inai.de
- Split automata (version 1.13) off the gap RPM package

See Also

Package Description
gap-automgrp-1.3-lp151.2.1.noarch.rpm GAP: Automata groups
gap-autpgrp-1.8-lp151.2.1.noarch.rpm GAP: Computing the Automorphism Group of a p-Group
gap-browse-1.8.7-lp151.2.2.x86_64.rpm GAP: ncurses interface and browsing applications
gap-cap-2017.09.25-lp151.2.1.noarch.rpm GAP: Categories, Algorithms and Programming
gap-circle-1.6.1-lp151.2.1.noarch.rpm GAP: Adjoint groups of finite rings
gap-cohomolo-1.6.4-lp151.2.3.x86_64.rpm GAP: Cohomology groups of finite groups on finite modules
gap-congruence-1.2.1-lp151.2.1.noarch.rpm GAP: Congruence subgroups of SL(2,Z)
gap-convex-2013.12.05-lp151.2.1.noarch.rpm GAP: A package for fan combinatorics
gap-core-4.8.10-lp151.2.3.x86_64.rpm Runtime for GAP (System for Computational Discrete Algebra)
gap-corelg-1.20-lp151.2.1.noarch.rpm GAP: computation with real Lie groups
gap-crime-1.4-lp151.2.1.noarch.rpm GAP: Calculate group cohomology and Massey products
gap-crisp-1.4.4-lp151.2.1.noarch.rpm GAP: Computing with Radicals, Injectors, Schunck classes and Projectors
gap-cryst-4.1.13-lp151.2.1.noarch.rpm GAP: Computing with crystallographic groups
gap-crystcat-1.1.6-lp151.2.1.noarch.rpm GAP: The crystallographic groups catalog
gap-ctbllib-1.2.2-lp151.2.1.noarch.rpm GAP Character Table Library
Advertisement
Advertisement