GNU MPR
GNU MPFR개발자 | GNU 프로젝트(INRIA 등) |
---|---|
초기 릴리즈 | 2000년 2월 4일; | 전
안정적 해제 | 4.1.0 / 2020년 7월 10일; 전 |
리포지토리 | |
기록 위치 | C |
운영 체제 | 크로스 플랫폼 |
유형 | 수학적 소프트웨어 |
면허증 | LGPL |
웹사이트 | www |
GNU 다중정밀 부동소수점 신뢰 라이브러리(GNU MPFR)는 GNU 다중정밀 라이브러리를 기반으로 정확한 반올림으로 임의정밀 이진 부동소수점 계산을 위한 GNU 휴대용 C 라이브러리다.[1][2]
도서관
MPFR의 계산은 효율적이며 잘 정의된 의미론을 가지고 있다. 즉, 함수는 가능한 모든 피연산자에 완전히 지정되어 있고 결과는 플랫폼에 의존하지 않는다.[3]고정밀 부동 소수점 산술(특히 정확한 반올림과 예외)에 대한 ANSI/IEEE-754 표준의 아이디어를 베끼는 방식으로 진행된다.좀 더 정확히 말하면, 이것의 주요 특징은 다음과 같다.
- 특수 번호 지원: 서명된 0(+0 및 -0), infinity 및 not-number(단일 NaN이 지원됨)
- 각 숫자는 고유의 정밀도를 가지고 있다(MPFR은 radix 2를 사용하기 때문에 비트 단위).부동 소수점 결과는 지원되는 5가지 반올림 모드 중 하나(IEEE 754-1985의 4개 포함)에서 목표 변수의 정밀도로 정확하게 반올림된다.
- 지원되는 함수: MPFR은 C99 및 기타 일반적인 수학적 함수: 자연 베이스의 로그와 지수함수, 베이스 2 및 베이스 10, 로그(1+x) 및 exp(x)-1 함수를 모두 구현한다.
log1p
그리고expm1
)), 6개의 삼각함수와 쌍곡함수 및 그 반대함수, 감마, 제타 및 오차함수, 산술 평균, 검정력(xy)함수.그러한 모든 기능은 전체 범위에 걸쳐 정확하게 반올림된다. - 하위 표준은 지원되지 않지만 에뮬레이션될 수 있다.
mpfr_subnormalize
기능을 발휘하다
MPFR은 전체 프로그램이나 표현에서 숫자의 정확성을 추적할 수 없다; 이것은 그것의 목표가 아니다.MPFR을 기반으로 할 [6]수 있는 [4]Arb, MPFI,[5] iRRAM과 같은 Real RAM 구현과 같은 인터벌 산술 패키지는 사용자를 위해 그렇게 할 수 있다.
MPFR은 GNU 다중 정밀 산술 라이브러리(GMP)에 의존한다.
GNU 컴파일러 컬렉션(GCC)을 구축하려면 MPFR이 필요하다.[7]다른 소프트웨어들은 MPFR을 사용한다. ALGLIB, CGAL, PLINT, GNOME Calculator, 줄리아어 구현, 마그마 컴퓨터 대수 시스템, 메이플, GNU MPC, GNU 옥타브.
참조
- ^ Fousse, L.; Hanrot, G.; Lefèvre, V.; Pélissier, P.; Zimmermann, P. (2007). "MPFR: A multiple-precision binary floating-point library with correct rounding". ACM Transactions on Mathematical Software. 33 (2): 13:1–15. doi:10.1145/1236463.1236468. S2CID 9641003.
- ^ Higham, Nick (October 8, 2015). "The Rise of Mixed Precision Arithmetic". Retrieved May 23, 2020.
- ^ "Frequently asked questions about MPFR: 1. What are the differences between MPF from GMP and MPFR?".
- ^ https://arblib.org/
- ^ https://gitlab.inria.fr/mpfi/mpfi/
- ^ http://irram.uni-trier.de/
- ^ "GCC 4.3 Release Series: Changes, New Features, and Fixes". 2012-11-02. Retrieved September 25, 2013.