GNU MPR

GNU MPFR
GNU MPR
Mpfr.svg
GNOME Calculator 41.1.png
버전 41.1을 기준으로 MPFR을 사용하는 GNOME 계산기
개발자GNU 프로젝트(INRIA 등)
초기 릴리즈2000년 2월 4일; 22년(2000-02-04)
안정적 해제
4.1.0 / 2020년 7월 10일; 21개월(2020-07-10)
리포지토리
기록 위치C
운영 체제크로스 플랫폼
유형수학적 소프트웨어
면허증LGPL
웹사이트www.mpfr.org

GNU 다중정밀 부동소수점 신뢰 라이브러리(GNU MPFR)는 GNU 다중정밀 라이브러리를 기반으로 정확한 반올림으로 임의정밀 이진 부동소수점 계산을 위한 GNU 휴대용 C 라이브러리다.[1][2]

도서관

MPFR의 계산은 효율적이며 잘 정의된 의미론을 가지고 있다. 즉, 함수는 가능한 모든 피연산자에 완전히 지정되어 있고 결과는 플랫폼에 의존하지 않는다.[3]고정밀 부동 소수점 산술(특히 정확한 반올림과 예외)에 대한 ANSI/IEEE-754 표준의 아이디어를 베끼는 방식으로 진행된다.좀 더 정확히 말하면, 이것의 주요 특징은 다음과 같다.

  • 특수 번호 지원: 서명된 0(+0 및 -0), infinitynot-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 옥타브.

참조

  1. ^ 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.
  2. ^ Higham, Nick (October 8, 2015). "The Rise of Mixed Precision Arithmetic". Retrieved May 23, 2020.
  3. ^ "Frequently asked questions about MPFR: 1. What are the differences between MPF from GMP and MPFR?".
  4. ^ https://arblib.org/
  5. ^ https://gitlab.inria.fr/mpfi/mpfi/
  6. ^ http://irram.uni-trier.de/
  7. ^ "GCC 4.3 Release Series: Changes, New Features, and Fixes". 2012-11-02. Retrieved September 25, 2013.

외부 링크