Beta-adic tools

[Paul Mercat]

This is a big set of tools to manipulate beta-expansions described by automata. Automata are completely re-implemented in C language and with very efficient functions. It is the continuation of #16723 with adaptations to make it work on linux and with sage 7.2. Now it is merged with sage 8.6.rc1

[git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

​b5a7107	Add __hash__ and __cmp__ functions to FastAutomaton, correct the test of equality, improve is_all_connected of BetaAdicMonoid, replace spaces by tabs for indentation and correct some bugs.
​e4c6241	Forget to add file src/sage/combinat/words/automataC.c
​ae245aa	Add a tool to compute relations automata with translation and change a lot of little things.
​8c1bf8a	Add a function move2() that compute the translate ( replace move() ), and correct some problems.
​a45bb65	Add a function zero_complete() for FastAutomaton, a function shift for BetaAdicMonoid (not well tested) and correct some little things.
​effde91	Add a function add_edge() to FastAutomaton and correct some bugs.
​2a2c283	Add functions shiftOP and unshift, and suppress shift.
​ce64048	Correct unshift.
​42b95c5	Add functions rec_word() and find_word() to FastAutomaton, and modify function is_empty().
​e604a10	Merge branch 'u/mercatp/beta-adic' of git://trac.sagemath.org/sage into b-adic

[git]

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

​c218b66

Debug equalsLangages().

[Samuel Lelièvre]

Fix typos in ticket description.

[Jeroen Demeyer]

What does the "for linux" in the description mean?

[git]

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

​b77e46e

Add a function EmptyProduct and intersect. Improve the determinisation. Correct some little things.

[git]

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

​9b561bf

Improve function FastAutomaton.included() and correct a little problem.

[git]

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

​ba12db3

Correct function intersect().

[git]

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

​644a123

Add a function BetaAdicMonoid.user_draw() that permit to construct graphically a g-beta-expansion (i.e. an automaton associated to a beta-adic monoid)

[git]

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

​0d3e396

Add a function BetaAdicMonoid.compute_substitution() to compute a substitution describing a g-beta-expansion. Improve a little bit the selection of piece in user_draw().

[git]

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

​f06b392

Correct little things.

[git]

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

​9bbf3e2

Add a function that compute differently a list of translations for the pieces exchange, and correct some little things.

[git]

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

​15fc3f4

Correct compute_morceaux2() and equals_langages(), and improve little things.

[git]

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

​7d5ecbe

Add function zero_complete2() and zero_inv().

[git]

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

​b5864c7

Improve a lot of little things. Replace .svg by .png for displaying automata, in order to avoid a bug in most of browers.

[git]

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

​1c1e557

Merge branch 'master' (sage 7.3) into t/21072/b-adic. Change SDL to SDL2 in order to make it works on macOSX 10.11.

[git]

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

​9340125

Add a function proj to FastAutomaton and improves littles things.

[git]

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

​38e6cca

Add a function DrawZoom() to BetaAdicMonoid in order to zoom efficiently in a fractal.

[git]

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

​48453d2

improve DrawZoom and Draw (add an argument coeff which permits to choose the density of points, and corrects little things).

[git]

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

​224453a

Avoid a little bug in SubAutomaton(), add a function FastAutomaton.unshiftl() and correct a little problem with Draw() (used by BetaAdicMonoid.plot2() and draw_zoom()).

[git]

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

​f9c0255

Add functions copyn() and concat() to FastAutomaton. Add a function emonde_inf2() (ineficient for the moment). Add various function in NFastAutomaton.

[git]

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

​f2ed778

Add a function word_drawn() in BetaAdicMonoid that permits to get the word corresponding to one point previously drawn. Add functions add_edge() and add_path() to NFastAutomaton.

[git]

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

​b6e1416

Add epsilon-transitions to NFastAutomaton. Use it in DeterminiseN and plot.

[git]

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

​c9116c6

Add a function find_shortest_word() to FastAutomaton.

[git]

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

​9375bb2

Add a C-function rec_word, and make some improvements

[git]

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

​be01387

Improve concat in order to allow different alphabets. Improve also included in the same way (to be tested).

[git]

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

​36b4aa3

Improve shortest_word(), add a function shortest_words(), improve strongly_connected_components() (to avoid trivials components), improve drawing in BetaAdicMonoid.

[git]

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

​2b1d793

Add functions giving co-accessibles and accessibles states of a FastAutomaton. Allow to change the periodic point chosen in WordMorphism.rauzy_fractal_beta_adic_monoid.

[git]

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

​13e4fd3

Corrects some bugs, add the possibility to plot labels of states in html, ...

[git]

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

​eb238bd

Correct problems with move2.

[git]

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

​7726829

Add a new way to compute a domain exchange on a given g-beta-set (function compute_morceaux3), and a new way to compute a substitution from a g-beta-set (function compute_substitution2). Add Proj().

[git]

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

​8a47d91

Correct some bugs in Proj and unshift.

[git]

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

​2f4ca87	Merge branch 't/21072/b-adic' into essai
​26cf069	Remove old files.
​e0f4924	Correct problems of the merge into sage-8.1

[git]

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

​954b752

Delete an unusefull file.

[git]

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

​0455a0d

doc generated

[git]

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

​55a5818

doc testsi p

[git]

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

​ed482b3

p

[git]

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

​0f96f02

Add something to test UserDraw.

[Travis Scrimshaw]

While it might be more work, it seems from a quick glance through the code that the automata should be split off as a separate project and be included in Sage as a spkg. Same comment for the drawing. I guess in large part, I am asking how integrated is this into the web of Sage versus a standalone component?

---

New commits:

​5d8582a	wip
​7c46b55	Merge branch 'u/mercatp/b-adic' of git://trac.sagemath.org/sage into t/21072/b-adic
​5e6eeb1	Merge branch 'u/mercatp/b-adic' of git://trac.sagemath.org/sage into t/21072/b-adic
​4bb3613	failure

[git]

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

​959d8b0

small c

[git]

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

​cf13d96

pep8

[git]

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

​c5bbce7

pep8

[git]

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

​4b4fbc3

Forgot to add files...

[git]

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

​bdcb284

Change the way we plot for BetaAdicMonoid (plot2 and plot3).

[git]

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

​fa43b2a

doc test

[git]

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

​b2bf5cd

doc string example

[git]

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

​22bad46

doc

[git]

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

​8782bbb

correctt

[git]

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

​7fb660c

correctt

[git]

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

​f29da70

doc

[git]

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

​5819679

doc doc

[git]

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

​86ba244

doc encore

[git]

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

​53efad8	+
​7dc0c2d	initial states
​aaf01ba	save
​34a995c	test passed

[git]

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

​44e501f

doc

[git]

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

​1e4dc95

doc automaton

[git]

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

​765e989

Correct the problem of file added.

[git]

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

​6afdc4f

Improve the doc.

[git]

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

​dc1c01e

Replace minimise() by minimize() in cautomata.pyx and replace n_states() by n_states in BetaAdicMonoid.

[git]

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

​7e20c6e

Replace minimise() by minimize() in BetaAdicMonoid

[git]

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

​299013b

Correct the tests in cautomata.pyx and desactivate BetaAdicMonoid.

[git]

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

​f49cb22

pep8

[git]

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

​3079661

pep8 print

[git]

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

​26b96af

Get the last version of cautomata and re-active BetaAdic (doesn't work for the moment).

[Dominique Benielli]

Last 10 new commits:

​3720c9c	Merge branch 'develop' into public/implement_efficient_automata_and_regular_languages
​525e275	Add automaton generators in class DetAutomatonGenerators.
​8b3e83b	Merge branch 'public/implement_efficient_automata_and_regular_languages' of git://trac.sagemath.org/sage into t/25041/implement_efficient_automata_and_regular_languages
​dd95397	Add non-inductive versions of some functions in automataC.c.
​2360457	Add a non-inductive version of StronglyConnectedComponents and add prototypes.
​89a0430	Merge branch 'public/implement_efficient_automata_and_regular_languages' of git://trac.sagemath.org/sage into public/implement_efficient_automata_and_regular_languages
​ab48b31	add sig_on
​5de8639	add sig
​3cb0917	bool_c
​4a3fa3f	code from badic ticket

[git]

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

​11d29a5

b-adic to work with new DetAutomaton

[git]

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

​93bd53e

correct bug

[git]

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

​81d1f5c

wIP

[git]

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

​1677d27

WIP

[git]

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

​d3d1a44

PB depassement de pile

[git]

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

​d4a2013

one bug

[git]

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

​b4c3138

WIP

[git]

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

​7a42b2b	Move beta_adic into arith, and remove some old unuseful things.
​51cffed	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​79b7c33

Reorganize the files for beta_adic. Add another possibility to display pictures in cautomata.pyx (commented).

[git]

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

​541be1b

merge done

[git]

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

​8313aa4

all

[git]

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

​c72d984	Change little things (doc and image conversion).
​c30bb43	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic
​89f0787	Change the definition and a a lot of thing in arith/beta_adic.

[git]

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

​8151f5e

Change the representation function of BetaAdicMonoid (add _).

[git]

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

​9a488fc

Change many things in BetaAdicMonoid, and also little things in Automaton.h

[git]

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

​d640080

Correct a bug with drawing functions in BetaAdicMonoid.

[git]

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

​89d91d0

Add functions that permits to Draw in a SDL_Surface and in a numpy array rather than in an ad hoc structure Surface.

[git]

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

​6c92926

Correct a problem due to a bug of the compiler when the function moyUint32 is inline.

[git]

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

​ce03e27

Correct a problem of display of the drawing in BetaAdicMonoid.

[git]

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

​43b3987

Change surface_to_img() and change the formulae to compute the number of iterations for the drawing.

[git]

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

​556160f

Re-change the computation of the number of iterations for the drawing, change the initialization in order to convert b in a NumberField as soon as b is in QQbar, and improve the doc of plot.

[git]

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

​eeaded5

Add a function DumontThomas() to WordMorphism, change the doc of BetaAdicMonoid.plot

[git]

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

​7601a44

remove wrapper

[git]

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

​ff946b8

doc test WIP

[git]

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

​017837a

WIP

[git]

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

​d9260c6	Modify things in cautomata.pyx, and also in beta_adic_monoid.pyx.
​37b3ad2	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​2559e2a	WIP
​7818bf7	merge

[git]

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

​e0955f1

WIP doc test

[git]

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

​03f2d74	Make the function BetaAdicMonoid.relations_automaton() works, correct a bug in NumberField.abs_val().
​b871a15	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​e475b8d	advance in test
​565235f	merge

[git]

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

​0b11973

correct bug on relationautomaton

[git]

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

​cdb0c88	Try to make plot_list() work, but it's not finished...
​68a97ca	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​49dc62c	somme bug
​349a1d5	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​47e0bbe	WIP doc

[git]

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

​1f16c59	Change the computation of the number of iterations, and correct the function plot_list.
​6565246	Correct get_la(), plot_list(), relations_automaton(), reduced_words_automaton() and critical_exponent_free(), and re-change the computation of the number of iterations in order to have something correct in draw_zoom().
​c7d049f	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​f891bee

some bug

[git]

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

​ba73993	Correct relations_automaton(), intersection(), intersection_words(), examples in plot().
​91046f1	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​4c09076

Make some cleaning, change the function complexity(), improve the doc.

[git]

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

​a3de09d

Modify many things in BetaAdicMonoid.

[git]

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

​7148019

Correct many thing in cautomata.pyx.

[git]

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

​3e0419e

Clean the C drawing functions. Improve the computation of the spectral radius of a DetAutomaton. Correct examples.

[git]

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

​fd76159

Correct the computation of the critical exponent for non-conformal examples. Change the initialization of DetAutomaton in order to allow to set the alphabet when the first argument is None.

[git]

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

​1e3eafa

Allow to initialize a BetaAdicMonoid with an iterable in place of the automaton. Correct, rename and improve some functions in BetaAdicMonoid.

[git]

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

​519f809

Merge branch 'develop' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​5157614

Add nprec to plot_list (and DrawList). Set nprec to 4 by default. Correct reduced_words_automaton(). Correct examples.

[git]

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

​756b650

Correct a bug in getAutomate(), add functions getDetAutomaton, is_included, union, unshift, diff to BetaAdicMonoid. Rename equals_langages to equal_languages.

[git]

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

​bef56b1

Add BetaAdicMonoid.intersection(), improve getBetaAdic2 in order to allow more types for elements of the list la in plot_list(). Rename getAutomate() to getAutomaton().

[git]

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

​e44dde3

Add the includes of SDL2 and SDL2_image in order to try to compile even if the corresponding librairies are not installed.

[git]

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

​c44d26e

Add some comments.

[git]

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

​bb284d7

Add the possibility to obtain the automaton of the Dumont-Thomas numeration without projecting it. And modify little things.

[git]

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

​7af686a	wip
​51131a2	w
​f26bfb1	w

[git]

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

​673515b	Add a function plot_Cadic that draw a Rauzy fractal for the C-adic system of Julien Cassaigne given by his algorithm.
​349da1d	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​5547c5d

Improve plot_Cadic() (add color and improve the computation of the number of iterations). Correct problems with the previous change of name BetaAdicMonoid -> BetaAdicSet.

[git]

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

​610bae3

Improve plot_Cadic() (convert to float in order to compute efficiently)

[git]

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

​cf318ac	import BetaAdicSet
​8e59763	merge

[git]

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

​ac14db0	Add the possibility to get a ndarray rather than an image in plot_Cadic().
​99b63c4	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​2100ad2

Start to rewrite compute_translations() and compute_domain_exchange(). Finish the merge.

[git]

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

​219536c	cosmetic
​65b9a73	merge

[git]

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

​7fa66e0	Wrote the beggining of compute_translations(), add a function is_Pisot(), and start to add a function points().
​70af155	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​bb2138b

merge

[git]

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

​433813e

Change log functions to C ones. Add a function points() and a function zero_ball(). Correct little problems (missing zero completion, doc).

[git]

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

​cccd68c

Finish the function compute_translations() (but need more tests).

[git]

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

​d5ddfb5

Add functions copy(), is_equal(), is_empty() to BetaAdicSet. Finish the function compute_domain_exchange() (need more tests). Add the possibility to define the alphabet in generators.

[git]

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

​1099792

Improve domain_exchange(), add functions diameter(), translations_diff_iterator(). Rename compute_domain_exchange() domain_exchange() and compute_translations() to translations(). Add functions string() to DetAutomaton and to BetaAdicSet that permits to get a string that can be evaluated to recover the object. Add the possibility to choose the algo for relations_automaton in proj.

[git]

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

​105b554

Improve user_draw, remove old code. Change a little bit of doc.

[git]

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

​bb6b8c2

Start to write the function substitution() that will replace compute_substitution(). Add functions shift() and shift_op() to BetaAdicSet.

[git]

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

​387f586	doc
​5b9e174	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​b2f4d63	doc in progress
​06f055e	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​97d2551	doc
​ae68e28	small change

[git]

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

​a306a66

small typo doc

[git]

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

​206b213	Improve the doc, translate from french to english, continue substitution(), add the possibility to choose the number of iterations for the computation of the diameter in domain_exchange().
​fea1278	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​cbf7d2c	doc
​cf21728	merge

[git]

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

​141c52f	Improve the doc, continue substitution() (but there is still a lot a lot of work for this function).
​5248444	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​42773dc

Make the function substitution() works, by using the old compute_substitution2. Comment the other functions that compute a substitution (they are deprecated). Improve a little bit of doc.

[git]

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

​aefe237

Add a function complementary() and improve user_draw() (rewrite the function FindTr()).

[git]

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

​c9a862a

Correct a bug in equal_langages(), correct functions string() of DetAutomaton and BetaAdicSet.

[git]

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

​5bed325

Avoid the side-effect of equalsLanguages(), add examples in substitution(). Modify the result of substitution() in order to have something more readable. Improve the doc.

[git]

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

​637f725

Correct the function mahler(), correct the function relations_automaton() for algos 1 and 3, add and correct many examples and tests, correct the init of BetaAdicSet and the init of DetAutomaton. Add the possibility to choose the algo for relations_automaton in domain_exchange().

[git]

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

​a34c4c4

Correct translations_iterator() and translations_diff_iterator(). Add doc, correct a lot of doc. Change the mahler function. The functions critical_exponent... need to be modified.

[git]

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

​b4731f3	test doc
​7fcfeac	merge

[git]

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

​235be90	Change back the mahler function.
​3dd030c	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic
​a159242	Correct the mahler() function and critical_exponent functions. Correct all tests in beta_adic. Debug equal_languages().

[git]

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

​d28d538	cooection
​7f5b549	merge

[git]

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

​655c463

Improve the doc. Put back find_word() in the previous correct state.

[git]

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

​d149ab9

Add the possibility to choose the algorithm used for the computation of the relations automaton in critical_exponent(), reduced() and reduced_words_automaton(). Add an example in cautomata.pyx

[git]

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

​68d04a7

Correct the tests in morphism.py

[git]

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

​583cf96	no change
​e236da1	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​b82380a	add beta_adic_set.rst

[git]

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

​f0bb1b9

NFastAutomaton to CAutomaton

[git]

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

​4fb656c	Remove the librairy SDLMain in module_list.py. Add a function PrintImageError() in order to display the error when SDL_image load an image. Add doc and correct the class ImageIn. Correct a little bug in critical_exponent. Add examples. Add a function interior(), but commented because will be really added later.
​5581f62	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​adde9db	bug in all
​e2638fc	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic

[git]

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

​346af98

WIP

[git]

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

​d276921

WIP

[git]

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

​733472f	Debug the test of equality of DetAutomata. Add a function are_equal(). Change NFastAutomaton to CAutomaton in all.py
​1b50230	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​fc8c5b1

Add and correct doc of BetaAdicSet. Remove critical_exponent_aprox(), modify ImageIn.

[git]

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

​015f858

Correct the function complexity(). Add and correct doc in BetaAdicSet.

[git]

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

​f53ff88	wip
​b4d6d20	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​338b0ed	doc inp
​989c14c	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​f8023b5	doc in P

[git]

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

​73593b8	Add some doc, improve existing doc, remove old commented code, comment some duplicate code.
​0997e57	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​f06b508

Change ImageIn in order to avoid the dependency with the library SDL2_image. Remove the library SDL2_image.

[git]

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

​1422acf	Merge branch 'develop' into t/21072/public/b-adic
​7542a96	Improve the mahler function. Avoid a bug of QQbar in critical_exponent_free().

[git]

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

​25a80fc

Improve the doc of beta_adic. Remove the include SDL2_image.h from draw.c

[git]

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

​0992c26

Remove old commented code. Translate some comments from french. Improve the doc.

[git]

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

​3e08093

Remove old commented code. Translate from french to english.

[git]

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

​e3f25ea	doc
​899a116	doc ip
​aa53374	merge
​156621b	docip
​83075af	docip
​e98d562	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​39d833d	add
​23f5738	dd
​d263ec0	merge

[git]

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

​1275807	Add examples and improve the doc of cautomata. Rename add_edge() to add_transition().
​5b1da9c	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​152eabd	doc update
​b6cca0d	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic

[git]

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

​adc90a5	Improve the doc in cautomata.pyx
​b614d8f	Correct a test.
​18d745d	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​b98b2fc

Corrects little bugs in the thematic tutorial.

[git]

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

​aa7f905

Improve the doc in beta_adic and in cautomata.

[git]

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

​a6d53ba	save
​d7b1cea	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​6d0e4b2	plot

[git]

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

​9422a37

wip doc beta adic

[git]

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

​cf6d39e	Improve the doc mainly in cautomata.pyx. Change function names, add examples, etc...
​e92fe70	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​4ed7674	colorbug
​e224cc1	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic

[git]

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

​0cf65ec	Add doc for DetAutomatonGenerators. Check the alphabet in the initialization of DetAutomaton and CAutomaton.
​f85f301	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​536c1eb	rond- round
​845ca34	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic

[git]

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

​f5dcbee	Improve the doc in cautomata.pyx
​cdd541b	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​7c50b05	integration of doc
​b9e2731	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic

[git]

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

​74e0efd

all test pass automaton

[git]

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

​8281f4b

more example in doc

[git]

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

​cc6fe71	Improve the doc in cautomata and in beta_adic. Correct many problems in cautomata.
​e8d51c5	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​eb4ea7b

Translate comments and printed messages from french to english in substitution().

[git]

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

​102006d

Add doc in cautomata, change function names and places, add tests, correct little problems.

[git]

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

​13cec0a	Modify a little thing in doc
​7ef8740	Add examples and tests in cautomata.pyx. Rename shiftOP to shift_op.

[git]

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

​3832ceb

Remove function unshift1 and modify unshift to take letters rather than indices. Add examples and tests.

[git]

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

​8b9dc7f

Add examples in cautomata.pyx, rename has_equal_langage() to has_equal_language()

[git]

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

​35adcc4

Add examples in cautomata. Rename function equal_languages() to has_same_language_as(). Correct little problems.

[git]

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

​f4f26b8

Improve examples in cautomata.pyx

[git]

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

​6fcb6fc

Add and improve doc in cautomata.pyx. Correct a little bug with shortest_word().

[git]

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

​9feb2f4

Improve the doc of cautomata.pyx (add examples and tests, rename variables). Remove function rec_word2 (do the same as rec_word but less efficiently).

[git]

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

​f64f4ec

Finish to improve the doc in cautomata.pyx. Delete the function is_empty(), add a second algorithm to compute prefix().

[git]

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

​30a61a7

link correction

[git]

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

​95b9327	Improve the doc of BetaAdic in the thematic tutorial.
​868a386	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​b9ad989

automaton doc update

[git]

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

​ca9819b	doc fail
​85a6ce5	link ok

[git]

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

​e582064

last fix for pdf generation

[git]

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

​bb0d2fb	Improve the beta_adic_set.rst in the thematic tutorial.
​151fc61	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​46a45d7

Add doc in the thematic tutorial about Automtat and regular languages.

[git]

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

​c21c045

Correct the thematic tutorial about automata and regular languages, and correct a little bug with DetAutomaton.plot().

[git]

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

​18e8588	scale
​79d2c3c	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into public/b-adic
​6d6356c	sdl .h librairy

[git]

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

​fcc83da	Remove the use of the library SDL2. The functions user_draw() and draw_zoom() raise now an NotImplementedError.
​f8b0d3d	Merge branch 'public/b-adic' of git://trac.sagemath.org/sage into t/21072/public/b-adic

[git]

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

​ec412b7

Merge branch 'develop' into t/21072/public/b-adic

[git]

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

​5a768b4

Try to compile taking care of if SDL2 is installed or not (unsuccessfull).

[git]

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

​9255a60

Correct sig_on() usage in order to avoid crashes.

[git]

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

​21ca1c0

Merge branch 'develop' into t/21072/public/b-adic

[git]

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

​a873fa6

Display the automaton correctly in terminal/notebook using sage.repl.image.Image

[git]

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

​064ca91

display correctly images produced by beta_adic in terminal/notebook

[Sébastien Labbé]

I wonder what is the status of this code? Is there a more recent package available somewhere implementing the same? Related for instance to ​http://arxiv.org/abs/2201.01268 ?

[Samuel Lelièvre]

Development happens at

• ​https://gitlab.com/mercatp/badic/