2010-01-11 17:20:51 -07:00
|
|
|
// Copyright 2009-2010 The Go Authors. All rights reserved.
|
2008-03-28 14:56:47 -06:00
|
|
|
// Use of this source code is governed by a BSD-style
|
|
|
|
// license that can be found in the LICENSE file.
|
|
|
|
|
2008-06-27 18:06:23 -06:00
|
|
|
package math
|
2008-03-28 14:56:47 -06:00
|
|
|
|
|
|
|
/*
|
2010-01-11 17:20:51 -07:00
|
|
|
Floating-point mod function.
|
2010-01-11 13:38:31 -07:00
|
|
|
*/
|
2008-03-28 14:56:47 -06:00
|
|
|
|
2011-09-29 10:54:20 -06:00
|
|
|
// Mod returns the floating-point remainder of x/y.
|
2010-01-11 17:20:51 -07:00
|
|
|
// The magnitude of the result is less than y and its
|
|
|
|
// sign agrees with that of x.
|
|
|
|
//
|
|
|
|
// Special cases are:
|
2011-12-08 15:07:13 -07:00
|
|
|
// Mod(±Inf, y) = NaN
|
|
|
|
// Mod(NaN, y) = NaN
|
|
|
|
// Mod(x, 0) = NaN
|
|
|
|
// Mod(x, ±Inf) = x
|
|
|
|
// Mod(x, NaN) = NaN
|
2011-09-29 10:54:20 -06:00
|
|
|
func Mod(x, y float64) float64 {
|
2010-01-11 17:20:51 -07:00
|
|
|
// TODO(rsc): Remove manual inlining of IsNaN, IsInf
|
|
|
|
// when compiler does it for us.
|
|
|
|
if y == 0 || x > MaxFloat64 || x < -MaxFloat64 || x != x || y != y { // y == 0 || IsInf(x, 0) || IsNaN(x) || IsNan(y)
|
|
|
|
return NaN()
|
2008-03-28 14:56:47 -06:00
|
|
|
}
|
|
|
|
if y < 0 {
|
2009-11-09 13:07:39 -07:00
|
|
|
y = -y
|
2008-03-28 14:56:47 -06:00
|
|
|
}
|
|
|
|
|
2009-12-15 16:35:38 -07:00
|
|
|
yfr, yexp := Frexp(y)
|
|
|
|
sign := false
|
|
|
|
r := x
|
2008-03-28 14:56:47 -06:00
|
|
|
if x < 0 {
|
2009-12-15 16:35:38 -07:00
|
|
|
r = -x
|
|
|
|
sign = true
|
2008-03-28 14:56:47 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
for r >= y {
|
2009-12-15 16:35:38 -07:00
|
|
|
rfr, rexp := Frexp(r)
|
2008-03-28 14:56:47 -06:00
|
|
|
if rfr < yfr {
|
2009-11-09 22:23:52 -07:00
|
|
|
rexp = rexp - 1
|
2008-03-28 14:56:47 -06:00
|
|
|
}
|
2009-12-15 16:35:38 -07:00
|
|
|
r = r - Ldexp(y, rexp-yexp)
|
2008-03-28 14:56:47 -06:00
|
|
|
}
|
|
|
|
if sign {
|
2009-11-09 13:07:39 -07:00
|
|
|
r = -r
|
2008-03-28 14:56:47 -06:00
|
|
|
}
|
2009-12-15 16:35:38 -07:00
|
|
|
return r
|
2008-03-28 14:56:47 -06:00
|
|
|
}
|