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 
> <markus.w...@gmail.com <javascript:>> 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 name space? Do we have such a one? 
> > 
> > 
> > We do indeed. It is an IPython feature. You can use 
> > 
> > sage: *poly*? 
> > 
> > which is equivalent to 
> > 
> > sage: %psearch *poly* 
> > 
> > The psearch magic also has options such as case-insensitivity 
> > 
> > sage: %psearch -i *poly* 
>
> given that iPython features came after search_src(), it'd be prudent 
> to move to be using them. 
>

They accomplish different things: one searches the global name space and 
the other searches the source code.

Example: can Sage compute any fundamental groups?

sage: %psearch *fundamental_group*


sage: search_def("fundamental_group")
schemes/curves/zariski_vankampen.py:380:def fundamental_group(f, simplified=
True, projective=False):
schemes/curves/projective_curve.py:1599:    def fundamental_group(self):
schemes/curves/affine_curve.py:1610:    def fundamental_group(self):
combinat/root_system/extended_affine_weyl_group.py:757:    def 
fundamental_group(self):
combinat/root_system/extended_affine_weyl_group.py:1387:            def 
to_fundamental_group(self):
combinat/root_system/extended_affine_weyl_group.py:2263:        def 
to_fundamental_group(self):
combinat/root_system/extended_affine_weyl_group.py:2432:        def 
to_fundamental_group(self):
knots/link.py:446:    def fundamental_group(self, presentation='wirtinger'):
categories/simplicial_sets.py:262:            def fundamental_group(self, 
simplify=True):
homology/simplicial_complex.py:3936:    def fundamental_group(self, 
base_point=None, simplify=True):


 

>
> > 
> > 
> > As for SageMathCell, I seem to recall that tab completion used to work 
> there as usual, but currently it does not work for me either. 
> > 
> > -- 
> > You received this message because you are subscribed to the Google 
> Groups "sage-devel" group. 
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-...@googlegroups.com <javascript:>. 
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/f0b327fc-eb76-43ca-9233-7cec554ab6bc%40googlegroups.com.
>  
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/d269e398-2917-4405-a177-44355851c4c6%40googlegroups.com.

Reply via email to