#9877: Add is_sturmian_factor, is_tangent methods for finite words
-----------------------------+----------------------------------------------
   Reporter:  tmonteil       |       Owner:  tmonteil  
       Type:  enhancement    |      Status:  needs_work
   Priority:  major          |   Milestone:  sage-4.6  
  Component:  combinatorics  |    Keywords:            
     Author:                 |    Upstream:  N/A       
   Reviewer:                 |      Merged:            
Work_issues:                 |  
-----------------------------+----------------------------------------------

Comment(by tmonteil):

 Replying to [comment:2 abmasse]:
 >  2. As I told you when you were in Montreal, I think I prefer the name
 `is_finite_sturmian` (or just `is_sturmian`) over the name
 `is_sturmian_factor`. I feel that the last one implies an argument like in
 `w.is_sturmian_factor(u)` and it seems to be used in many articles (just
 googling it, you find a big list).

 Actually, those words are the balanced one, but the method `is_balanced`
 already exists with a slower (quadratic complexity) implementation (that
 implements the definition of the balanced word). The first name of my
 method was `is_factor_of_a_sturmian_word`, which describes precisely the
 method but is too long.

 I do not really like `is_finite_sturmian`, and i am completely opposed to
 the name `is_sturmian` because the word Sturmian is reserved for infinite
 words (and this is not the role of sage to change historical notations).
 Also `is_finite_sturmian` will not be well positioned in the automatic
 completion.

 Another possibility could be to add a parameter `algorithm` with values
 `default`, `desubstitution` or `definition` and merge this method into the
 existing slow method `is_balanced` (with the `desubstitution` algorithm
 only applying for 1-balanced words).

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