Ubuntu
sollya package

sollya 8.0+ds-2build2 source package in Ubuntu

Changelog

sollya (8.0+ds-2build2) noble; urgency=medium

  * No-change rebuild against libfplll8t64

 -- Steve Langasek <email address hidden>  Tue, 19 Mar 2024 05:56:41 +0000

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
sollya_8.0+ds.orig.tar.xz 1.5 MiB 49a5e17a98b3139609132c21d09f3b68eb492292534d0b3470791f106fba41ad
sollya_8.0+ds-2build2.debian.tar.xz 24.3 KiB 54ccd274d8ac11927d42538ce655fb6698b26d35d93836fd9e034ace300ab4bf
sollya_8.0+ds-2build2.dsc 2.3 KiB f0c9791e23559fae441db0baf3e389283f87d4e3b1c64263cc0bc7246fc1d692

Available diffs

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.