Ubuntu
sollya package

sollya 8.0+ds-2build1 source package in Ubuntu

Changelog

sollya (8.0+ds-2build1) lunar; urgency=medium

  * No-change rebuild against libfplll8

 -- Steve Langasek <email address hidden>  Wed, 25 Jan 2023 05:49:13 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Lunar
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Mantic release universe misc
Lunar release universe misc

Downloads

File Size SHA-256 Checksum
sollya_8.0+ds.orig.tar.xz 1.5 MiB 49a5e17a98b3139609132c21d09f3b68eb492292534d0b3470791f106fba41ad
sollya_8.0+ds-2build1.debian.tar.xz 24.3 KiB 0779fdacb0a68683cdd96c278fddad714e750691b1fa53c7025b658e0b06e816
sollya_8.0+ds-2build1.dsc 2.3 KiB eacde76bdb99d2b4be20869a900ea406e971a5c5f24c3480d256a070b6b62a66

View changes file

Binary packages built by this source

libsollya-dev: library for safe floating-point code development -- libdev

 Sollya is both a tool environment and a library for safe floating-point code
 development. It offers a convenient way to perform computations with multiple
 precision interval arithmetic. It is particularly targeted to the automated
 implementation of mathematical floating-point libraries.
 .
 Initially, Sollya was intended more specifically for people implementing
 numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
 Since then, the tool has evolved and has now become interesting not only to
 developers of mathematical libraries, but also to everyone who needs to
 perform numerical experiments in an environment that is safe with respect to
 round-off errors.
 .
 This package provides the static library, symbolic links, and headers needed
 for development.

libsollya8: library for safe floating-point code development -- lib

 Sollya is both a tool environment and a library for safe floating-point code
 development. It offers a convenient way to perform computations with multiple
 precision interval arithmetic. It is particularly targeted to the automated
 implementation of mathematical floating-point libraries.
 .
 Initially, Sollya was intended more specifically for people implementing
 numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
 Since then, the tool has evolved and has now become interesting not only to
 developers of mathematical libraries, but also to everyone who needs to
 perform numerical experiments in an environment that is safe with respect to
 round-off errors.
 .
 This package provides the dynamic library.

libsollya8-dbgsym: debug symbols for libsollya8
sollya: library for safe floating-point code development -- tool

 Sollya is both a tool environment and a library for safe floating-point code
 development. It offers a convenient way to perform computations with multiple
 precision interval arithmetic. It is particularly targeted to the automated
 implementation of mathematical floating-point libraries.
 .
 Initially, Sollya was intended more specifically for people implementing
 numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
 Since then, the tool has evolved and has now become interesting not only to
 developers of mathematical libraries, but also to everyone who needs to
 perform numerical experiments in an environment that is safe with respect to
 round-off errors.
 .
 This package provides the command-line tool sollya.

sollya-dbgsym: debug symbols for sollya
sollya-doc: library for safe floating-point code development -- doc

 Sollya is both a tool environment and a library for safe floating-point code
 development. It offers a convenient way to perform computations with multiple
 precision interval arithmetic. It is particularly targeted to the automated
 implementation of mathematical floating-point libraries.
 .
 Initially, Sollya was intended more specifically for people implementing
 numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
 Since then, the tool has evolved and has now become interesting not only to
 developers of mathematical libraries, but also to everyone who needs to
 perform numerical experiments in an environment that is safe with respect to
 round-off errors.
 .
 This package provides the user manual.