João Veiga

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...