How to Install and Uninstall sollya-doc Package on Ubuntu 20.10 (Groovy Gorilla)

Last updated: May 10,2024

1. Install "sollya-doc" package

This is a short guide on how to install sollya-doc on Ubuntu 20.10 (Groovy Gorilla)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                sollya-doc
            
                    
    
    Copied

2. Uninstall "sollya-doc" package

Here is a brief guide to show you how to uninstall sollya-doc on Ubuntu 20.10 (Groovy Gorilla):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                sollya-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the sollya-doc package on Ubuntu 20.10 (Groovy Gorilla)

Package: sollya-doc
Architecture: all
Version: 7.0+ds-3build1
Multi-Arch: foreign
Priority: optional
Section: universe/doc
Source: sollya
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Science Maintainers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1212
Suggests: pdf-viewer
Breaks: sollya (<< 6.0+ds-5)
Enhances: libsollya-dev (= 7.0+ds-3build1), sollya (= 7.0+ds-3build1)
Filename: pool/universe/s/sollya/sollya-doc_7.0+ds-3build1_all.deb
Size: 1184500
MD5sum: 0bb556d69a65dd9d6e9a0386d3b285db
SHA1: 2ee97f9d4b677b5ea64dc780a706d409adf51cac
SHA256: 7c02719fe5048718d418f9a5924f3086d47e9aba543ae68600cb3cf6867fac36
SHA512: 1b5a3507442c3e7da853c3d54ee1dfaf50ab688edf3f2443440d35f676f183a4ba8ae4f177120f66b39a4060f3fd5d76665a06ca1a2cb7c60f14f6f00050751c
Homepage: http://sollya.gforge.inria.fr/
Description-en: 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.
Description-md5: 1a297a9c586ba943cf29ab067d6081cf