#8431: Substitutions over unit cube faces (Rauzy fractals)
--------------------------------------------------------------------------------+
Reporter: vdelecroix
| Owner: tjolivet
Type: task
| Status: needs_work
Priority: major
| Milestone: sage-4.6
Component: combinatorics
| Keywords: word morphism unit face generalized substitution rauzy fractal
Author: Vincent Delecroix, Timo Jolivet, Franco Saliola, Stepan Starosta
| Upstream: N/A
Reviewer:
| Merged:
Work_issues:
|
--------------------------------------------------------------------------------+
Comment(by tjolivet):
Thanks for you answer and hello!
Replying to [comment:26 abmasse]:
> I disagree. If I'm not mistaken, the integer meaning of 1, 2, 3 is never
used in the construction of patches and discrete plane. I mean, we could
use a,b,c and everything would work the same, there is no gain from
encoding it with integers, since no additive group structure is used
(correct me if I'm wrong, though, that could be a good argument). In fact,
I think it's quite the opposite. It would be better to allow the user to
have any alphabet, so that he can use any structure he wants (additive
group, for instance, or any other operation that might encode interesting
discrete plane construction).
Yes, the types are just names, so anything else could be used. But I'm not
sure that it would be very useful, it's not comparable to allowing any
choice of letters for words, for example. If you (or anybody else) want to
implement it, it's OK, but please make sure that if integer faces are
given, it works as in the current patch by default (to make it "easy-
usable").
> What I propose you is that either Sébastien or I work on the improvement
of the construction of `WordMorphism` in order to offer something like `
sigma = WordMorphism('1->12,2->13,3->1', type='integer') ` Does that seem
reasonable? P.S. I'm following your discussion and I see the progress...
Keep the good work!
This a good idea, even with respect to
[http://trac.sagemath.org/sage_trac/search/opensearch?q=wiki%3AWordMorphism
WordMorphism] only. I'm just a bit saddened that we will have to add
"`type='integer'`") when specifying a substitution to work with the
default integers, but I can live with it!
---
I think that apart from the possible option to leave the choice of the
alphabet, and the "`type='integer'`" feature to be added to
[http://trac.sagemath.org/sage_trac/search/opensearch?q=wiki%3AWordMorphism
WordMorphism], the work on this patch is over. Do you agree? I leave these
two last points up to you.
Thanks for all your help, work and comments on this (it's my first patch,
as you know), I'm learning a lot. And I'm ready to work more if there is
something more that I forgot!
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8431#comment:27>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
