On Friday, May 8, 2020 at 2:17:25 PM UTC-7, Michael Orlitzky wrote:
>
> There are some duplicates in there (I've wasted enough time on it), but
> it matches things that a regex never will. That function is implemented
> by the following code, which belongs in a third-party library and not
>
On 5/8/20 4:12 PM, Nils Bruin wrote:
> On Thursday, April 30, 2020 at 9:20:00 AM UTC-7, Michael Orlitzky wrote:
>
> I feel the same way about functions like search_src() that badly
> reimplement grep (even if they still work).
>
>
> I'm definitely in favour of keeping search_src and
On Thursday, April 30, 2020 at 9:20:00 AM UTC-7, Michael Orlitzky wrote:
>
> I feel the same way about functions like search_src() that badly
> reimplement grep (even if they still work).
>
I'm definitely in favour of keeping search_src and search_def. I find it
*super* convenient to not have
On 5/8/20 12:59 PM, John H Palmieri wrote:
>
> As a topologist, I would have to say that the best results are the ones
> for simplicial complexes and simplicial sets, actually.
>
Good news: those are also in my top five results. Bad news (?): Google
probably knows enough about you to put them in
On Friday, May 8, 2020 at 9:51:34 AM UTC-7, Michael Orlitzky wrote:
>
> On 5/8/20 12:11 PM, John H Palmieri wrote:
> >
> > They accomplish different things: one searches the global name space and
> > the other searches the source code.
> >
> > Example: can Sage compute any fundamental
On 5/8/20 12:11 PM, John H Palmieri wrote:
>
> They accomplish different things: one searches the global name space and
> the other searches the source code.
>
> Example: can Sage compute any fundamental groups?
>
Neither approach returns the best result. Putting
site:doc.sagemath.org
On Friday, May 8, 2020 at 3:08:21 AM UTC-7, Dima Pasechnik wrote:
>
> On Fri, May 8, 2020 at 10:37 AM Markus Wageringel
> > wrote:
> >
> > Am Freitag, 8. Mai 2020 09:03:08 UTC+2 schrieb Sebastian Oehms:
> >>
> >> But if we talk about users who are not interested in code and strings,
>
On Friday, May 8, 2020 at 11:37:03 AM UTC+2, Markus Wageringel wrote:
>
> Am Freitag, 8. Mai 2020 09:03:08 UTC+2 schrieb Sebastian Oehms:
>>
>> But if we talk about users who are not interested in code and strings,
>> wouldn't it be more useful for them to have a function that searches
>>
On Fri, May 8, 2020 at 10:37 AM Markus Wageringel
wrote:
>
> Am Freitag, 8. Mai 2020 09:03:08 UTC+2 schrieb Sebastian Oehms:
>>
>> But if we talk about users who are not interested in code and strings,
>> wouldn't it be more useful for them to have a function that searches through
>> the global
Am Freitag, 8. Mai 2020 09:03:08 UTC+2 schrieb Sebastian Oehms:
>
> But if we talk about users who are not interested in code and strings,
> wouldn't it be more useful for them to have a function that searches
> through the global name space? Do we have such a one?
>
We do indeed. It is an
On Thursday, May 7, 2020 at 2:45:51 PM UTC+2, kcrisman wrote:
> ... and again many users may not even know there is a directory structure
> at all. This is not a "highly peculiar set of disabilities" - rather, the
> skill set of people on sage-devel is a "highly peculiar set of abilities",
11 matches
Mail list logo
