#14248: Add case sensitive to global options
------------------------------------+---------------------------------------
       Reporter:  tscrim            |         Owner:  sage-combinat
           Type:  enhancement       |        Status:  needs_review 
       Priority:  major             |     Milestone:  sage-5.9     
      Component:  misc              |    Resolution:               
       Keywords:  global options    |   Work issues:               
Report Upstream:  N/A               |     Reviewers:               
        Authors:  Travis Scrimshaw  |     Merged in:               
   Dependencies:  #13605            |      Stopgaps:               
------------------------------------+---------------------------------------

Comment (by andrew.mathas):

 Hi Travis,

 Sorry, have been meaning to review this for a while as well...

 I just looked over the code and '''values_case''' doesn't seem very
 meaningful to me. I think that it would be better to have optional
 argument '''case_sensitive''' which is either True or False, with whatever
 default you think reasonable.

 I guess with your patch you allow the options to be forced to be either
 upper case, lower case, or to be case sensitive. Perhaps this is better
 than simply case sensitive or insensitive. Given that I was happy to
 always enforce lower case I am perhaps not the best person to comment on
 what is best here!

 Will be happy to finalise a review once some one else comments on this.

 Andrew

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14248#comment:4>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to