Tools to manipulate and compute finite automaton, beta-adic monoids and Rauzy fractals

[c165f187-4f33-4a54-8b5c-49666d3fe91f]

I create tools to manipulate finite automaton : minimize, determinize, etc... I create tools to manipulate beta-adic monoids (with eventually a subshift of finite type). And you can compute finite automata from a beta-adic monoid (with or without subshift) : see http://www.latp.univ-mrs.fr/~paul.mercat/Publis/Semi-groupes%20fortement%20automatiques.pdf for more details. You can use these tools to compute some data about some Rauzy fractals, as the Hausdorff dimension of the boundary.

Component: combinatorics

Branch/Commit: u/mercatp/ticket/15883 @ 1f36217

Issue created by migration from https://trac.sagemath.org/ticket/15883

[c165f187-4f33-4a54-8b5c-49666d3fe91f]

Branch: u/mercatp/ticket/15883

[c165f187-4f33-4a54-8b5c-49666d3fe91f]

Commit: 8be52e6

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 8be52e6 to 92a9bce

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

92a9bce

Tools to manipulate beta-adic monoids with subshifts, with doc.

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

993085f

Get the right files c_graph and polynomial_quotient_ring_element.

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 92a9bce to 993085f

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 993085f to da9af96

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

da9af96

I corrected a bug in the doc of plot().

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

d7648df

Adds a function complexity to BetaAdicMonoid and correct some bugs of documentation

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from da9af96 to d7648df

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from d7648df to f759c8f

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

f759c8f

Correct a bug introduced in the previous commit.

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from f759c8f to 6ccfbd3

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

6ccfbd3

Add some doc, and a limit in BetaAdicMonoid.reduced_words_automaton(), and change little things in relations_automaton()

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

6ea2f1b

Improve verbose of reduced_words_automaton()

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 6ccfbd3 to 6ea2f1b

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

e99d542

Improve verbose of BetaAdicMonoid.relations_automaton()

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 6ea2f1b to e99d542

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from e99d542 to cf8e9c8

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

cf8e9c8

Add a non-recursive version of BetaAdicMonoid.relations_automaton and correct some bugs.

[dkrenn]

comment:12

Maybe sage.combinat.finite_state_machine.Automaton is of interest for this implementation.

[c165f187-4f33-4a54-8b5c-49666d3fe91f]

comment:13

Replying to @dkrenn:

Maybe sage.combinat.finite_state_machine.Automaton is of interest for this implementation.

Yes, thank you. I developped that before the existence of this class Automaton I think. But there are better things with my implementation : the determinisation works better and I can determinise and take the complementary I one step that is better for what I do. But I agree, I should use the class Automaton now.

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from cf8e9c8 to 43b1ee6

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

43b1ee6

Add a non-recursive version of combinat/words/Automaton/determinize

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 43b1ee6 to 3875bbf

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

3875bbf

Add a tool to simplify the intersection of two beta-adic monoids.

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 3875bbf to 15a5820

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

15a5820

Correct some small bugs.

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from 15a5820 to afd3e72

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

afd3e72

Improve things in sage.combinat.words.automata (add new functions, correct some problems and improve some things) and in sage.monoids.beta_adic_monoids

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

de0136c

Avoid a bug of sage.combinat.words.automata.product2 when the dictionnary passed has not all the possible keys.

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from afd3e72 to de0136c

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Changed commit from de0136c to 1f36217

[7ed8c4ca-6d56-4ae9-953a-41e42b4ed313]

Branch pushed to git repo; I updated commit sha1. New commits:

1f36217

Improve emonde0_simplify() from sage.combinat.words.automata.