If I’m reading a paper and I want to try to rewrite the content in a math programming language like Sage, I’d like to search from within Sage for objects they have corresponding to a certain name, like “homological invariant”. It would be cool if objects were like Python libraries - they had internal functions and attributes, but also a natural language help doc explaining what they were.
Is there any way to search inside Sage for a certain object they might have?
The functions
search_src,search_def,search_doc,browse_sage_docmight help.Getting the Sage sources and using
git grepis another way one can explore the code base.Examples of using Sage functions:
Examples of using
git grep(in a terminal, from the Sage root directory):(the first one searches everywhere, the second one only in
src/sage/schemes).