#7320: search_src and friends are case-sensitive
-----------------------------------+----------------------------------------
Reporter: jhpalmieri | Owner: jhpalmieri
Type: defect | Status: positive_review
Priority: minor | Milestone: sage-4.2.1
Component: misc | Keywords:
Work_issues: | Author: John Palmieri
Reviewer: Karl-Dieter Crisman | Merged:
-----------------------------------+----------------------------------------
Comment(by jhpalmieri):
Replying to [comment:2 kcrisman]:
> Just out of curiosity, is it possible to change the behavior? Obviously
that would be a different ticket. That could be useful (or not). Maybe a
function that is, and another one that isn't...
I think so: I think we can add a flag to the regular expression search to
make it case-insensitive. We could add a flag (like
{{{ignore_case=False}}}) to the search functions so people could toggle
this. Of course, I haven't actually tried this, but the documentation for
regular expression searches in Python suggests that it should be
possible...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7320#comment:3>
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
-~----------~----~----~----~------~----~------~--~---
