search

math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14 stars 6 forks source link

Sage ?? does not work for our functions #610

Closed yirkajk closed 3 years ago

yirkajk commented 5 years ago

Running some_command? returns just the docstring. This works for our functions. Running some_command?? returns both the docstring and the source code for functions. But, when I run, for example, is_two_connected??, Sage reports

File: /home/user/<string>
Unable to read source code (source code not available)
nvcleemp commented 5 years ago

The ?? is a IPython feature, and it is expected to not work with files loaded through the load command, because there is no source stored for them. I think I already commented in the ticket about switching to a Python module that one of the benefits would be that ?? then works.