Commits · master · Symbolic Dynamics / Symbolic Dynamics · GitLab

Jul 17, 2019
- .build.yml: continuous integration for SourceHut · 5857f238
  Andrew Miloradovsky authored Jul 17, 2019
  
  5857f238
Jul 05, 2019
- Topological: uniform structure on topological groups · 960accf8
  Andrew Miloradovsky authored Jun 30, 2019
  
  960accf8
Jun 29, 2019
- Dynamical: discrete-time topological dynamical systems · c05bff34
  Andrew Miloradovsky authored Jun 29, 2019
  c05bff34
- Pattern_Sets, Concatenation: separate modules from Patterns · 96978032
  Andrew Miloradovsky authored Jun 29, 2019
  
  96978032
- Metric_Space: separate module for some metric properties · 4ae8b8a6
  Andrew Miloradovsky authored Jun 29, 2019
  
  4ae8b8a6
- Decidable: module for dealing with e.g. the finiteness · 7f532999
  Andrew Miloradovsky authored Jun 29, 2019
  
  7f532999
Jun 28, 2019
- Language: separate module for languages as pattern-sets · aae15a33
  Andrew Miloradovsky authored Jun 28, 2019
  
  aae15a33
- Patterns_US: module for the uniform structure on patterns · 09314135
  Andrew Miloradovsky authored Jun 28, 2019
  
  09314135
- Local_Rule: separate module for the anchored local rule · bc2e59d6
  Andrew Miloradovsky authored Jun 28, 2019
  
  bc2e59d6
- Prodiscrete: separete module for the topology-related stuff · c86029eb
  Andrew Miloradovsky authored Jun 28, 2019
  
  c86029eb
- Patterns: extended the equivalence proof (LR = UC) to subsets · 2c036834
  Andrew Miloradovsky authored Jun 21, 2019
  
  2c036834
- adapted roadmap · 55af6384
  Pierre Guillon authored Jun 25, 2019 and Andrew Miloradovsky committed Jun 28, 2019
  
  55af6384
- Patterns: generalized the definition of entourage a little · 57f36534
  Andrew Miloradovsky authored Jun 23, 2019
  
  57f36534
- Patterns: optimized the local rule and uniformity definitions · 825886a1
  Andrew Miloradovsky authored Jun 28, 2019
  825886a1
- Patterns: optimized the definition of an anchored pattern · 63e27b26
  Andrew Miloradovsky authored Jun 22, 2019
  
  63e27b26
- Patterns: proved that the finite supports are decidable · ad059e76
  Andrew Miloradovsky authored Jun 18, 2019
  
  ad059e76
- Patterns: the local rule is equivalent to uniform continuity* · 8ce1dd9c
  Andrew Miloradovsky authored Jun 28, 2019
  8ce1dd9c
- Uniform: fixed / clarified the definition of uniform continuity · de806eab
  Andrew Miloradovsky authored Jun 11, 2019
  
  de806eab
Jun 11, 2019
- Added a copying information (LGPL 2.1); improved .gitignore · 274885d9
  Andrew Miloradovsky authored Jun 11, 2019
  274885d9
- Patterns: broke up the uniformity proof into multiple lemmas · 4c5c1303
  Andrew Miloradovsky authored Jun 11, 2019
  
  4c5c1303
- Patterns: uniform structure for the full shift space · f388736b
  Andrew Miloradovsky authored Jun 07, 2019
  f388736b
Jun 07, 2019
- Patterns: added a definition of the local rule · 45747ed6
  Andrew Miloradovsky authored Jun 07, 2019
  
  45747ed6
Jun 06, 2019
- Patterns: characterization of full shift space via patterns · 0a7e074a
  Andrew Miloradovsky authored Jun 06, 2019
  
  0a7e074a
- Patterns: some rearrangement & cleanup of the code blocks · 1a1f0812
  Andrew Miloradovsky authored Jun 06, 2019
  
  1a1f0812
- Patterns: made the use of disjoint unions explicit · 55d34105
  Andrew Miloradovsky authored Jun 06, 2019
  55d34105
- Patterns: replaced equal_af with a couple of equal_f_dep · d7894cea
  Andrew Miloradovsky authored Jun 06, 2019
  
  d7894cea
- Patterns: moved the custom tactics to a separate module · 85f1565a
  Andrew Miloradovsky authored Jun 06, 2019
  
  85f1565a
Jun 01, 2019
- Patterns: sketch of a continuous map between symbolic spaces · 72a273ec
  Andrew Miloradovsky authored Jun 01, 2019
  
  72a273ec
- Patterns: augmented the admitted property, turned it into a lemma · 225590cb
  Andrew Miloradovsky authored Jun 01, 2019
  
  225590cb
- Patterns, Shifts: all pure/mere topology is now in Patterns · c2e22730
  Andrew Miloradovsky authored Jun 01, 2019
  c2e22730
May 28, 2019
- roadmap · 052d3633
  Pierre Guillon authored May 28, 2019
  
  052d3633
May 27, 2019
- Shifts: the sub-shift space is also compact, b.c. closed · c1b46352
  Andrew Miloradovsky authored May 27, 2019
  
  c1b46352
- Shifts: the (full shift) space is compact · 1ab2db5a
  Andrew Miloradovsky authored May 27, 2019
  1ab2db5a
May 26, 2019
- Shift-N: clean up the moved stuff · a0c67ce2
  Andrew Miloradovsky authored May 26, 2019
  
  a0c67ce2
- Shifts: generalized continuity to the shifts with any magma · e97dde23
  Andrew Miloradovsky authored May 26, 2019
  
  e97dde23
May 24, 2019
- Shifts-N: rudiments of the shift space compactness proof · d73c9b92
  Andrew Miloradovsky authored May 24, 2019
  
  d73c9b92
- Shifts-N: cleaned up and optimized the continuity proof · e2a50448
  Andrew Miloradovsky authored May 24, 2019
  
  e2a50448
May 23, 2019
- Shifts-N: proved the continuity of the shift map, finally · 7412da1f
  Andrew Miloradovsky authored May 23, 2019
  
  7412da1f
- Shifts: (incomplete) draft of a proof of the continuity · e1e1ee2b
  Andrew Miloradovsky authored May 23, 2019
  e1e1ee2b
May 22, 2019
- Patterns: a bit more definitions for the languages, still dirty · 16243fc5
  Andrew Miloradovsky authored May 22, 2019
  
  16243fc5