On 9/13/08, Oliver Kullmann <O.Kullmann at swansea.ac.uk> wrote:
> (%i1) batch("Batch.mac");
> batching /home/csoliver/SAT-Algorithmen/OKplatform/Batch.mac
> (%i2) for x in [1,2,3] do print(x)
> 1
> 2
> 3
>
> Evaluation took 0.0000 seconds (0.0005 elapsed) using 4.250 KB.
> (%o2) done
> 0
> (%i3) 10!;
> Incorrect syntax: 10 is not an infix operator
> 0\n10!
Well, you entered just 0 not an entire input 0; or 0$ so
the parser thinks you mean 0 10! as an input, which is invalid.
What happens if you enter 0; after running the batch file?
Robert