A form.set generator.
This is a small script to generate a configuration file form.set of
FORM for your machine.
The script suggests adequate static buffer sizes for tform from
the number of CPUs and physical memory available on the computer.
pip install formtools-formsetYou can also pick up the main script file formset.py manually.
formset # prints a set of adequate setup parameters
formset -o # writes a set of adequate setup parameters to "form.set"Note that this script considers only static buffers, allocated
at the start-up of FORM.
If your FORM program uses much bigger dynamical buffers than usual
(for example, you need to handle complicated rational functions
or you want to optimize very huge polynomials)
then you need to adjust the initial memory usage by
the --percentage N (or -p N) option:
formset -p 50If your program requires a non-default MaxTermSize (or other parameters),
then you need to specify it:
formset MaxTermSize=200KOther command-line options can be found in the help message:
formset --help