|
|
|
|
|
|
 |
 |
|
Symbolica Package--Beta Version
|
|
|
|
|
|
| Organization: | Willamette University |
|
|
|
|
|
|
0205-209
|
|
|
|
|
|
1998-08-10
|
|
|
|
|
|
Symbolica.m is a package for computer experiments in symbolic dynamics. Directed labeled and unlabeled graphs are the primitive objects and they are used to represent shift spaces. Implemented functions include direct products, fibre products, labeled products, the subset construction and state splitting. There are also implementations of Boolean functions (e.g. IrreducibleQ, ResolvingQ, EssentialQ) and invariants for shift spaces (e.g. the Zeta function).
|
|
|
|
|
|
|
|
|
|
|
|
Graphs, Labeled Graphs, State splitting, subset construction, Zeta functions for shift spaces, fibre products, directed graphs
|
|
|
 |
|
|
| Symbolica.m (29.3 KB) - Mathematica package |
|
|
|
|
|
|
|
| | | | | |
|
For the newest resources, visit Wolfram Repositories and Archives »
