[python] 파이썬 무한-어떤 경고?

파이썬의 구현 은 IEEE-754 표준을 잘 따르므로 지침으로 사용할 수 있지만 컴파일 된 기본 시스템에 의존하므로 플랫폼 차이 가 발생할 수 있습니다. 최근 ¹에는 “inf”뿐만 아니라 “무한” 을 허용하는 수정 사항이 적용 되었지만 여기서는 그다지 중요하지 않습니다.

다음 섹션은 IEEE 부동 소수점 산술을 올바르게 구현하는 모든 언어에 동일하게 적용되며 Python에만 국한되지는 않습니다.

불평등에 대한 비교

무한대보다 크 >거나 작은 <연산자를 다룰 때 다음과 같은 것이 중요합니다.

• 포함하는 숫자 +inf보다-inf
• 를 포함하여 어떤 수 -inf보다+inf
• +inf되는 둘 이상도 낮추지 보다+inf
• -inf 보다 높거나 낮지 않다 -inf
• 관련된 비교 NaN가 거짓입니다 ( inf보다 높거나 낮음 NaN).

평등 비교

지 어떤지를 비교, 때 +inf와 +inf동일한, 같은있다 -inf및 -inf. 이것은 논란의 여지가 많은 문제이며 논란의 여지가 있지만 IEEE 표준에 있으며 Python은 그와 같이 작동합니다.

물론 +inf같지 -inf않으며, NaN그 자체를 포함한 모든 것은 같지 않습니다 NaN.

무한한 계산

무한대를 사용한 대부분의 계산은 두 피연산자가 모두 무한대가 아닌 한, 연산 나누기 또는 모듈로 또는 0을 곱하는 경우 명심해야 할 몇 가지 특별한 규칙이 있습니다.

• 결과가 정의되지 않은 0을 곱하면 NaN
• 임의의 수 (무한대 제외)를 무한대로 나눌 때 0.0또는 -0.0².
• (모듈로 포함) 양 또는 음의 무한대를 양 또는 음의 무한대로 나눌 때 결과는 정의되지 않습니다 NaN.
• 빼면 결과는 놀랍지 만 일반적인 수학 감각을 따릅니다 .
  • 를 수행 inf - inf하면 결과가 정의되지 않습니다. NaN;
  • 수행 할 때 inf - -inf결과는 다음과 같습니다 inf.
  • 수행 할 때 -inf - inf결과는 다음과 같습니다 -inf.
  • 를 수행 -inf - -inf하면 결과가 정의되지 않습니다 NaN.
• 추가 할 때도 마찬가지로 놀랍습니다.
  • 수행 할 때 inf + inf결과는 다음과 같습니다 inf.
  • 를 수행 inf + -inf하면 결과가 정의되지 않습니다. NaN;
  • 를 수행 -inf + inf하면 결과가 정의되지 않습니다. NaN;
  • 할 때 -inf + -inf결과는 -inf입니다.
• 사용 math.pow, pow또는 것은 **예상대로이 작동하지 않는, 까다 롭습니다. 그것은 두 개의 실수와 결과는 (은 무한대를 반환해야합니다) 배정 밀도 부동 소수점에 맞게 너무 높은 오버 플로우 예외가 발생하지만, 입력되는 경우 inf또는 -inf, 올바르게 반환 중 하나와 동작 inf또는 0.0. 두 번째 인수가이면 첫 번째 인수가 아닌 한을 NaN반환합니다 . 더 이상 문제 가 있지만 문서에서 모두 다루지는 않습니다 .NaN1.0

• math.exp와 같은 문제가 발생합니다 math.pow. 오버플로로이를 해결하는 솔루션은 다음과 유사한 코드를 사용하는 것입니다.

  try:
      res = math.exp(420000)
  except OverflowError:
      res = float('inf')

노트

참고 1 : IEEE 표준에 정의 된대로 계산 결과가 오버플로 또는 오버플로 인 경우 결과는 언더 또는 오버플로 오류가 아니라 양수 또는 음의 무한대 : 1e308 * 10.0yields가 inf됩니다.

참고 2 :NaN 반환 NaN을 NaN포함한 계산과 NaN자체를 포함한 모든 계산이 포함 되므로이 함수를 false사용하여 math.isnan숫자가 실제로 있는지 확인해야합니다 NaN.

참고 3 : Python은 쓰기를 지원하지만 내부에 float('-NaN')부호가 없으므로 부호는 무시 NaN됩니다. 를 나누면 -inf / +inf결과는 NaN아닙니다 -NaN( 그렇지 않습니다 ).

참고 4 : Python은 컴파일 된 C 또는 Java 라이브러리에 의존하고 모든 기본 시스템이이 모든 동작을 올바르게 구현하지는 않으므로 위의 내용에주의해야합니다. 확실하게하려면 계산을 수행하기 전에 무한대를 테스트하십시오.

¹) 최근 버전 3.2 이후를 의미 합니다.
²) 부동 소수점은 양수와 음수 0을 지원하므로 x / float('inf')부호와 -1 / float('inf')수율 -0.0, 1 / float(-inf)수율 -0.0, 1 / float('inf')수율 0.0및 -1/ float(-inf)수율을 유지 0.0합니다. 또한 0.0 == -0.0is은true 원하지 않는 경우 수동으로 부호를 확인해야합니다.

답변

>>> from fractions import Fraction
>>> from math import inf
>>> 3 % inf
3.0
>>> 3.5 % inf
3.5
>>> Fraction('1/3') % inf
nan

>>> 1/1e-323
inf

>>> 1/1e-324
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ZeroDivisionError: float division by zero