I really like the idea of working with formulas in small steps. But for this it is really important to read intermediate results. It would be good to have output of command-line programs with one term per line (in my case it's usually many tens of terms and I have to do this formatting half-manually, after each step). Also it would be good to have a possibility to print empty lines or any comments between formulas.
I really like the idea of working with formulas in small steps. But for this it is really important to read intermediate results. It would be good to have output of command-line programs with one term per line (in my case it's usually many tens of terms and I have to do this formatting half-manually, after each step). Also it would be good to have a possibility to print empty lines or any comments between formulas.