On 5/1/20 3:54 AM, John Cremona wrote: > I agree with David. I use grep 1000 times a day and I do know how to > use a computer (and do not appreciate being patronised)
I'm poking fun at the reasoning behind adding these functions to sage, not the people who use them. I've been on the wrong side of a spacebar heating[0] argument enough times to appreciate not wanting to change what works. But we should have had some faith in people and suggested grep from the start to avoid that problem. [0] https://xkcd.com/1172/ -- 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/824b0ba6-0743-cefe-3230-c2366ef02389%40orlitzky.com.
