Summary
MPFI is intended to be a portable library written in C for arbitrary precision interval arithmetic with intervals represented using MPFR reliable floating-point numbers. It is based on the GNU MP library and on the MPFR library. The purpose of an arbitrary precision interval arithmetic is on the one hand to get guaranteed results, thanks to interval computation, and on the other hand to obtain accurate results, thanks to multiple precision arithmetic. The MPFI library is built upon MPFR in order to benefit from the correct roundings provided by MPFR. Further advantages of using MPFR are its portability and compliance with the IEEE 754 standard for floating-point arithmetic.
Versions
v1.5.4_p20220401 :: 0 :: gentoo
- Modified
- License
- GPL-3 LGPL-3 LGPL-2.1+
- Keywords
- amd64 ~amd64-linux ~arm ~arm64 ~hppa ~loong ~mips ~ppc ~ppc64 ~riscv ~s390 ~sparc ~x86 ~x86-linux
v1.5.4 :: 0 :: gentoo
- Modified
- License
- GPL-3 LGPL-3 LGPL-2.1+
- Keywords
- amd64 ~amd64-linux ~arm64 ~x86 ~x86-linux
Dependencies
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
dev-libs / mpfr : Library for multiple-precision floating-point computations with exact rounding
Runtime Dependencies
dev-libs / gmp : Library for arbitrary-precision arithmetic on different type of numbers
dev-libs / mpfr : Library for multiple-precision floating-point computations with exact rounding
Depending packages
app-text / texlive-core : A complete TeX distribution
sci-mathematics / giac : A free C++ Computer Algebra System library and its interfaces
Bugs
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - WANG Xuerui · gentoo
sci-libs/mpfi: keyword 1.5.4_p20220401 for ~loong
Signed-off-by: WANG Xuerui <xen0n@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/mpfi: Keyword 1.5.4_p20220401 hppa, #945957
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/mpfi: update HOMEPAGE
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-libs/mpfi: Keyword 1.5.4_p20220401 sparc, #945957
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-libs/mpfi: Keyword 1.5.4_p20220401 s390, #945957
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/mpfi: Keyword 1.5.4_p20220401 mips, #945957
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/mpfi: Keyword 1.5.4_p20220401 arm, #945957
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
sci-libs/mpfi: Keyword 1.5.4_p20220401 ppc, #945957
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
sci-libs/mpfi: Keyword 1.5.4_p20220401 ppc64, #945957
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/mpfi: Stabilize 1.5.4_p20220401 amd64, #942626
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/mpfi: add 1.5.4_p20220401
Since the tarball names are different, we can call this a "patch release" having otherwise the same version components. The test suite is part of the tarball now, and of course, it fails. I emailed the authors about this but haven't heard back yet. I think it's more a case of the test suite being unfinished than of there being real problems in the code. I've done my best to patch up the (3) failers. Closes: https://bugs.gentoo.org/921351 Closes: https://github.com/gentoo/gentoo/pull/36024 Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/mpfi: use https for HOMEPAGE
Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michael Orlitzky · gentoo
sci-libs/mpfi: update LICENSE
Signed-off-by: Michael Orlitzky <mjo@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
sci-libs/mpfi: destabilize for ~x86
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolic · gentoo
sci-libs/mpfi: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/mpfi: Stabilize 1.5.4 x86, #763864
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
sci-libs/mpfi: Stabilize 1.5.4 amd64, #763864
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolic · gentoo
sci-libs/mpfi: bump to 1.5.4
Closes: https://bugs.gentoo.org/742560 Closes: https://github.com/gentoo/gentoo/pull/18327 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
sci-libs/mpfi: arm64 keyworded (bug #734822)
Package-Manager: Portage-3.0.4, Repoman-3.0.1 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
sci-libs/mpfi: Remove old 1.5.1
Package-Manager: Portage-2.3.85, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
sci-libs/mpfi: amd64 stable wrt bug #703114
Package-Manager: Portage-2.3.79, Repoman-2.3.16 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Agostino Sarubbo · gentoo
sci-libs/mpfi: x86 stable wrt bug #703114
Package-Manager: Portage-2.3.79, Repoman-2.3.16 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
sci-libs/mpfi: Remove USE="static-libs"
Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
sci-libs/mpfi: Version bump to 1.5.3
Closes: https://bugs.gentoo.org/659168 Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: David Seifert <soap@gentoo.org> - Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> - Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed