|
Size: 1676
Comment:
|
Size: 2132
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 2: | Line 2: |
| * ideas for improving to the code (Stream for infinite words?) (Vincent Delecroix) * discussions regarding the trac #5002 * finish and post words_new_fct_sl.patch to trac #5037 * create a Lyndon word class * trac #4954: Words_over_Alphabet should check the type of input alphabet * Add Generalized Thue-Morse words to words.[TAB] * Add Random Word and Random Testing * Add Notes about words library * '''Word Paths''' -- Final improvements to word paths, get the patch posted to trac #5038 and reviewed. Discussion about getting Christoffel Words inherits from Word Paths. (Sébastien Labbé). * '''Dyck Word''' -- Discussions about getting Dyck Words inherits from Word Paths. Comparisons of efficiency. (Sébastien Labbé). * '''Word Morphism''' -- Word Morphism actually herits from SageObject and it should be a more general Morphism class. (Sébastien Labbé). * '''Language''' -- Create a Language class. (Sébastien Labbé, Vincent Delecroix). * Discussion about the content-datastructure-as-subobject (anti?)design pattern * '''Fixed points of word morphisms''' -- Create of a new class derived from InfinteWord for fixed point of a WordMorphism. It's necessary to consider those words as very special infinite words because most of the 'infinite objects' associated (language, complexity, ...) can be computed. (Vincent Delecroix). * '''Geometrization of WordMorphism''' -- following the work of G. Rauzy, A. Siegel, P. Arnoux, ... (Vincent Delecroix) * Class for biinfinite words, and words indexed by anything (Z^2^, Z^n^, graphs, ...). (Vincent Delecroix) |
* New implementation for words: * faster [some caching will be implemented] * space efficient * special class for words over an alphabet of at most two letters (each letter takes one bit) * '''Franco''': consider using Streams and (Lazy)Familys here. [Streams doesn't exactly do what we need, but the ideas are interesting (caching)] * discussion about the content-datastructure-as-subobject (anti?)design pattern * DONE '''Franco''': allow for words over arbitrary alphabets? (example, the alphabet of the elements of a group) [Franco can implement any CombinatorialClass as an alphabet] * New classes: * '''Sebastien, Vincent''': Language * '''Vincent''': FixedPointOfMorphism (things like the language, complexity, ..., can be computed). * Lyndon word class * Dyck Word, discussions about getting DyckWord to inherit from Language, comparisons of efficiency. * bi-infinite words, or more generally, words indexed by objects other than integers * bi-infinite alphabets (like integers) * New words: * Generalized Thue-Morse words to words.[TAB] * [needs fixing] Add Random Word (combine arguments m and alphabet) * fix random_element for Words * Random Testing (how do we do this?) * Geometrization: * '''Vincent, Sebasiten, Franco''': WordMorphism, following the work of G. Rauzy, A. Siegel, P. Arnoux, ... * '''Sebastien''': Word Paths, via words as paths in a lattice * Miscellaneous: * add notes about words library * trac #4954: Words_over_Alphabet should check the type of input alphabet (related to allowing CombinatorialClass as alphabets) * finish and post words_new_fct_sl.patch to trac #5037 * [DONE: Franco implemented an alphabet of integers, ordered naturally] discussions regarding the trac #5002 * look through the algorithms for finite words, and identify the ones that need improvement (some are really slow, like ''is_subword_of'') * WordMorphism, inherits from SageObject and it should be a more general Morphism class. |
Words Sprint (FrancoSaliola, Sébastien Labbé, Vincent Delecroix)
- New implementation for words:
- faster [some caching will be implemented]
- space efficient
- special class for words over an alphabet of at most two letters (each letter takes one bit)
Franco: consider using Streams and (Lazy)Familys here. [Streams doesn't exactly do what we need, but the ideas are interesting (caching)]
- discussion about the content-datastructure-as-subobject (anti?)design pattern
DONE Franco: allow for words over arbitrary alphabets? (example, the alphabet of the elements of a group) [Franco can implement any CombinatorialClass as an alphabet]
- New classes:
Sebastien, Vincent: Language
Vincent: FixedPointOfMorphism (things like the language, complexity, ..., can be computed).
- Lyndon word class
Dyck Word, discussions about getting DyckWord to inherit from Language, comparisons of efficiency.
- bi-infinite words, or more generally, words indexed by objects other than integers
- bi-infinite alphabets (like integers)
- New words:
- Generalized Thue-Morse words to words.[TAB]
- [needs fixing] Add Random Word (combine arguments m and alphabet)
- fix random_element for Words
- Random Testing (how do we do this?)
- Geometrization:
Vincent, Sebasiten, Franco: WordMorphism, following the work of G. Rauzy, A. Siegel, P. Arnoux, ...
Sebastien: Word Paths, via words as paths in a lattice
- Miscellaneous:
- add notes about words library
trac #4954: Words_over_Alphabet should check the type of input alphabet (related to allowing CombinatorialClass as alphabets)
- finish and post words_new_fct_sl.patch to trac #5037
- [DONE: Franco implemented an alphabet of integers, ordered naturally] discussions regarding the trac #5002
look through the algorithms for finite words, and identify the ones that need improvement (some are really slow, like is_subword_of)
WordMorphism, inherits from SageObject and it should be a more general Morphism class.