#9877: Add is_sturmian_factor, is_tangent methods for finite words
-------------------------------+--------------------------------------------
   Reporter:  tmonteil         |       Owner:  tmonteil  
       Type:  enhancement      |      Status:  needs_info
   Priority:  major            |   Milestone:  sage-4.6.2
  Component:  combinatorics    |    Keywords:            
     Author:  Thierry Monteil  |    Upstream:  N/A       
   Reviewer:                   |      Merged:            
Work_issues:                   |  
-------------------------------+--------------------------------------------
Changes (by slabbe):

  * status:  needs_review => needs_info


Comment:

 Salut Thierry,

 1.

 > Since the `is_tangent()` method can now be applied to a word with more
 than 2 letters, i added a protection in the `FiniteWordPath_all` class
 into the file `paths.py` so that `is_tangent()` could not be applied for
 such word paths. Indeed, there is an extended definition for them, which
 is not yet written (see the paper).

 Why? Can you explain more? I don't think the protection is needed.

 2.

 The patch is having the following lines::

 {{{
 w_isolated = W(l_isolated,datatype='letter') #the word associated to the
 isolated letter
 w_running = W(l_running,datatype='letter') #the word associated to the
 running letter
 }}}

 I remember I suggested you to use datatype = 'letter'. But I realized
 today that this was supported only for the old sage words objects saved in
 the pickle jar. So, by introducing it now in this patch, we would have to
 keep it. So we need to make a decision if we keep it or not. If we don't
 keep it, you can do the following instead:

 {{{
 w_isolated = W([l_isolated]) #the word associated to the isolated letter
 w_running = W([l_running]) #the word associated to the running letter
 }}}

 3. I think we should redefine the function alphabet for finite words and
 return the letter occuring in the word and caching the result (I can post
 a patch for this). And so, the function `is_tangent` could look if this
 method return a two letter alphabet when the parent don't.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9877#comment:16>
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.

Reply via email to