Singular

Dear Research group of Singular.

I would like to know if there are some special command to write into a file the results of Singular but in the same format as the standard output.
When I simply use the write command, I obtain something like this:

x4,y8+3556x2

but, I would like to have something like this:

_[1]=x4
_[2]=y8+3556x2

Is that possible?

The solution is provided by the monitor command.

This command writes a copy of the input (or of the output or of both) into a file (with name specified when calling monitor): for instance the Singular session



creates a file prot.txt with the content



Similarly,



creates a file prot2.txt with the content



The writing to a file is terminated when is entered.

See also: http://www.singular.uni-kl.de/Manual/3-0-0/sing_238.htm

Christoph Lossen
(Singular Team)

One can simply make use of Operating System redirection commands.
e.g. One can use
$ > Singular < myfile.sing > Output.txt
at your command prompt.

If you dont want Singular Headers use -q option.

I am not sure whether this command will work on Windows/Mac? But I guess there should be similar redirection commands.

Regards

Vinay