sollya1

Usage

Overview

sollya is both a tool environment and a library for safe floating-point code development. It is particularly targeted to the automated implementation of mathematical floating-point libraries (libm). Amongst other features, it offers a certified infinity (supremum) norm and a fast Remez algorithm.

Options

--args

transmit the following arguments verbatim to the interpreter

--donotmodifystacksize

do not attempt to set the maximal stack size to the maximum size allowed on the system

--flush

flush standard output and standard error after each command

--help

print this help text

--nocolor

do not color the output using ANSI escape sequences

--noprompt

do not print a prompt symbol

--oldautoprint

print commas between autoprinted elements separated by commas

--oldexternalprocprint

print the signature of an external procedure when autoprinting

--oldrlwrapcompatible

achieve some compatibility with old rlwrap versions by emitting wrong ANSI sequences (deprecated)

--version

print the version of Sollya, plus the copyright, the list of authors and the no warranty notice

--warninfile[append] <file>

print warning messages into a file instead on the standard output

--warnonstderr

print warning messages on error output instead on the standard output

For help on sollya commands type "help;" on the sollya prompt. A complete documentation on sollya is available on the sollya website <http://sollya.org/>.