Some tools show no output and when a tool sometimes fails, the only way to see why it is failing is to change a local version of sage. I suggest that each tool should check a global variable that signals that tools should print extra debug messages.
Some tools show no output and when a tool sometimes fails, the only way to see why it is failing is to change a local version of sage.
I suggest that each tool should check a global variable that signals that tools should print extra debug messages.