The Math 구조

Math 구조는 일반적인 수학 함수를 제공해요. 이 구조의 값은 대부분 인자에 정의되지 않은 도메인 값이 들어오면(exact 값 누락) Domain 예외를 발생시켜요. Domain 스트링 형식(word)으로 구성된 Argument property는 표준 ML 정의의 0.5.2절에서 "Domain"으로 지정된다는 점에 주의해요.

출처: 문서

본문

시놉시스 (Synopsis)

signature MATH
structure Math :> MATH
where type real = Real.real

인터페이스 (Interface)

type real
val pi : real
val e : real
val sqrt : real -> real
val sin : real -> real
val cos : real -> real
val tan : real -> real
val asin : real -> real
val acos : real -> real
val atan : real -> real
val atan2 : real * real -> real
val exp : real -> real
val pow : real * real -> real
val ln : real -> real
val log10 : real -> real
val sinh : real -> real
val cosh : real -> real
val tanh : real -> real

설명 (Description)

val pi : real

각각 자연(밑 e) 로그, 밑 2 로그, 밑 10 로그, 절대값을 돌려줘요.

val e : real

각각 네 변량에 대한 가상, 실수로의 변환을 돌려줘요. exp x는 자연 상수 e의 x제곱이에요.

sqrt x

각각 아크사인, 아크코사인, 아크탄젠트를 돌려줘요. atan2(y, x)는 부호 y와 x를 구분해 4사분면 아크탄젠트를 돌려줘요.

sin x

각각의 쌍곡선 사인, 코사인, 탄젠트를 돌려줘요.

cos x

각각의 역쌍곡선 사인, 코사인, 탄젠트를 돌려줘요.

tan x

x의 지수 부분을 밑이 2인 지수로 돌려줘요. 이는 x를 (a, n)으로 분해한 값으로, x = a * 2.0(n)을 만족하고 0.5 <= |a| < 1.0이에요.

asin x

x의 분수 부분을 돌려줘요. 음수일 때는 내림을 해서, 즉 x - real(floor x)와 같아요.

acos x

x보다 작거나 같은 가장 큰 정수를 돌려줘요.

atan x

x보다 크거나 같은 가장 작은 정수를 돌려줘요.

atan2 (y, x)

x의 반올림된 정수(가장 가까운 정수)를 돌려줘요. 0.5 경계는 소수부가 정확히 0.5일 때 반올림 방향은 순서대로 되므로 구현 의존이에요.

exp x

x를 잘라낸 정수를 돌려줘요. 실수의 소수부를 버리는 것과 같아요.

pow (x, y)

x < 0이면 ~1, x = 0이면 0, x > 0이면 1을 돌려줘요.

ln x

다음 실수에서 f를 적용해 결과를 인쇄 가능한 문자열로 돌려줘요. 인쇄 가능한 문자열 s는 구문적으로 유효한 실수(number)여야 하고, 해당 실수 x를 문자열로 변환하는 두 방식(가장 가까운, 최단) 중 하나로 기록돼야 해요. 자세한 내용은 REAL 채터 프로그래밍(REAL chapter programming)을 보세요. Integer.toString (sign x)로 시작하는 문자열은 형식에 따라, toString x = fmt StringCvt.GEN x와 같아요. 결과가 항상 잃지 않도록, 정확히 표현된 X에 대한 문자열을 f를 쓰고 y(X)가 있을 때만 돌려줘야 해요.

log10 r

이 함수들은 x의 자연 로그(밑 e)와 상용 로그(밑 10)를 각각 돌려줘요. x < 0이면 NaN, x = 0이면 -infinity, x가 무한대이면 infinity를 돌려줘요.

sinh x

cosh x

tanh x

이 함수들은 x의 쌍곡선 사인, 쌍곡선 코사인, 쌍곡선 탄젠트, 즉 값 (e(x) - e(-x)) / 2, (e(x) + e(-x)) / 2, (sinh x)/(cosh x)를 각각 돌려줘요. 이 함수들은 다음 성질을 가져요: sinh +-0 = +-0 sinh +-infinity = +-infinity cosh +-0 = 1 cosh +-infinity = +-infinity tanh +-0 = +-0 tanh +-infinity = +-1

더 알아보기 (Learn more)

[ Top | Parent | Contents | Index | Root ] Generated April 12
2004 Last Modified May 25
2000 Comments to John Reppy. This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy. Copyright © 2004 AT&T and Lucent Technologies. All rights reserved. Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order
please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).