2015-12-16 00:07:31 -05:00
|
|
|
# frozen_string_literal: false
|
2011-05-31 20:26:27 -04:00
|
|
|
#--
|
|
|
|
# $Release Version: 0.5 $
|
|
|
|
# $Revision: 1.1.1.1.4.1 $
|
|
|
|
|
2011-05-12 17:51:41 -04:00
|
|
|
##
|
|
|
|
# = mathn
|
1998-01-16 07:13:05 -05:00
|
|
|
#
|
2014-08-26 08:07:57 -04:00
|
|
|
# mathn serves to make mathematical operations more precise in Ruby
|
|
|
|
# and to integrate other mathematical standard libraries.
|
2011-05-22 20:08:30 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# Without mathn:
|
2011-05-22 20:08:30 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# 3 / 2 => 1 # Integer
|
2011-05-22 20:08:30 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# With mathn:
|
2011-05-22 20:08:30 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# 3 / 2 => 3/2 # Rational
|
1998-01-16 07:13:05 -05:00
|
|
|
#
|
2014-08-26 08:07:57 -04:00
|
|
|
# mathn keeps value in exact terms.
|
2011-05-12 17:51:41 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# Without mathn:
|
2011-05-12 17:51:41 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# 20 / 9 * 3 * 14 / 7 * 3 / 2 # => 18
|
2011-05-12 17:51:41 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# With mathn:
|
1998-01-16 07:13:05 -05:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# 20 / 9 * 3 * 14 / 7 * 3 / 2 # => 20
|
2009-03-05 22:56:38 -05:00
|
|
|
#
|
1998-01-16 07:13:05 -05:00
|
|
|
#
|
2011-08-26 18:22:37 -04:00
|
|
|
# When you require 'mathn', the libraries for Prime, CMath, Matrix and Vector
|
2011-05-31 20:26:27 -04:00
|
|
|
# are also loaded.
|
2011-05-12 17:51:41 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# == Copyright
|
2011-05-12 17:51:41 -04:00
|
|
|
#
|
2011-05-31 20:26:27 -04:00
|
|
|
# Author: Keiju ISHITSUKA (SHL Japan Inc.)
|
2011-05-22 20:08:30 -04:00
|
|
|
#--
|
2011-05-31 20:26:27 -04:00
|
|
|
# class Numeric follows to make this documentation findable in a reasonable
|
|
|
|
# location
|
|
|
|
|
2014-08-25 20:31:00 -04:00
|
|
|
warn('lib/mathn.rb is deprecated') if $VERBOSE
|
|
|
|
|
2011-05-31 20:26:27 -04:00
|
|
|
class Numeric; end
|
1998-01-16 07:13:05 -05:00
|
|
|
|
2008-09-19 09:55:52 -04:00
|
|
|
require "cmath.rb"
|
1998-01-16 07:13:05 -05:00
|
|
|
require "matrix.rb"
|
2008-09-03 09:57:21 -04:00
|
|
|
require "prime.rb"
|
1998-01-16 07:13:05 -05:00
|
|
|
|
2008-10-24 05:39:53 -04:00
|
|
|
require "mathn/rational"
|
|
|
|
require "mathn/complex"
|
|
|
|
|
2008-09-19 09:55:52 -04:00
|
|
|
unless defined?(Math.exp!)
|
|
|
|
Object.instance_eval{remove_const :Math}
|
2011-06-28 23:09:34 -04:00
|
|
|
Math = CMath # :nodoc:
|
2008-09-19 09:55:52 -04:00
|
|
|
end
|
|
|
|
|
2011-05-22 20:08:30 -04:00
|
|
|
##
|
2014-08-26 08:07:57 -04:00
|
|
|
# When mathn is required, Fixnum's division is enhanced to
|
2011-08-26 18:22:37 -04:00
|
|
|
# return more precise values from mathematical expressions.
|
2011-05-22 20:08:30 -04:00
|
|
|
#
|
|
|
|
# 2/3*3 # => 0
|
|
|
|
# require 'mathn'
|
|
|
|
# 2/3*3 # => 2
|
|
|
|
|
1998-01-16 07:13:05 -05:00
|
|
|
class Fixnum
|
2005-09-19 12:01:06 -04:00
|
|
|
remove_method :/
|
2011-05-22 20:08:30 -04:00
|
|
|
|
|
|
|
##
|
|
|
|
# +/+ defines the Rational division for Fixnum.
|
|
|
|
#
|
|
|
|
# 1/3 # => (1/3)
|
|
|
|
|
2003-01-23 01:22:50 -05:00
|
|
|
alias / quo
|
1998-01-16 07:13:05 -05:00
|
|
|
end
|
|
|
|
|
2011-05-22 20:08:30 -04:00
|
|
|
##
|
2014-08-26 08:07:57 -04:00
|
|
|
# When mathn is required Bignum's division is enhanced to
|
2011-08-26 18:22:37 -04:00
|
|
|
# return more precise values from mathematical expressions.
|
2014-08-26 08:07:57 -04:00
|
|
|
#
|
|
|
|
# (2**72) / ((2**70) * 3) # => 4/3
|
2011-05-22 20:08:30 -04:00
|
|
|
|
1998-01-16 07:13:05 -05:00
|
|
|
class Bignum
|
2005-09-19 12:01:06 -04:00
|
|
|
remove_method :/
|
2011-05-22 20:08:30 -04:00
|
|
|
|
|
|
|
##
|
|
|
|
# +/+ defines the Rational division for Bignum.
|
|
|
|
#
|
|
|
|
# (2**72) / ((2**70) * 3) # => 4/3
|
|
|
|
|
2003-01-23 01:22:50 -05:00
|
|
|
alias / quo
|
1998-01-16 07:13:05 -05:00
|
|
|
end
|
|
|
|
|
2011-05-22 20:08:30 -04:00
|
|
|
##
|
2011-08-26 18:22:37 -04:00
|
|
|
# When mathn is required, the Math module changes as follows:
|
2011-05-22 20:08:30 -04:00
|
|
|
#
|
|
|
|
# Standard Math module behaviour:
|
|
|
|
# Math.sqrt(4/9) # => 0.0
|
|
|
|
# Math.sqrt(4.0/9.0) # => 0.666666666666667
|
|
|
|
# Math.sqrt(- 4/9) # => Errno::EDOM: Numerical argument out of domain - sqrt
|
|
|
|
#
|
2011-08-26 18:22:37 -04:00
|
|
|
# After require 'mathn', this is changed to:
|
2011-05-22 20:08:30 -04:00
|
|
|
#
|
|
|
|
# require 'mathn'
|
|
|
|
# Math.sqrt(4/9) # => 2/3
|
|
|
|
# Math.sqrt(4.0/9.0) # => 0.666666666666667
|
|
|
|
# Math.sqrt(- 4/9) # => Complex(0, 2/3)
|
|
|
|
|
1998-01-16 07:13:05 -05:00
|
|
|
module Math
|
2004-10-04 21:37:46 -04:00
|
|
|
remove_method(:sqrt)
|
2011-05-12 17:51:41 -04:00
|
|
|
|
|
|
|
##
|
2011-05-22 20:08:30 -04:00
|
|
|
# Computes the square root of +a+. It makes use of Complex and
|
|
|
|
# Rational to have no rounding errors if possible.
|
|
|
|
#
|
|
|
|
# Math.sqrt(4/9) # => 2/3
|
|
|
|
# Math.sqrt(- 4/9) # => Complex(0, 2/3)
|
|
|
|
# Math.sqrt(4.0/9.0) # => 0.666666666666667
|
|
|
|
|
1998-01-16 07:13:05 -05:00
|
|
|
def sqrt(a)
|
|
|
|
if a.kind_of?(Complex)
|
2008-09-20 18:49:56 -04:00
|
|
|
abs = sqrt(a.real*a.real + a.imag*a.imag)
|
1998-01-16 07:13:05 -05:00
|
|
|
x = sqrt((a.real + abs)/Rational(2))
|
|
|
|
y = sqrt((-a.real + abs)/Rational(2))
|
2009-03-05 22:56:38 -05:00
|
|
|
if a.imag >= 0
|
2011-05-12 18:04:59 -04:00
|
|
|
Complex(x, y)
|
1998-01-16 07:13:05 -05:00
|
|
|
else
|
2011-05-12 18:04:59 -04:00
|
|
|
Complex(x, -y)
|
1998-01-16 07:13:05 -05:00
|
|
|
end
|
2008-12-23 01:48:42 -05:00
|
|
|
elsif a.respond_to?(:nan?) and a.nan?
|
|
|
|
a
|
1998-01-16 07:13:05 -05:00
|
|
|
elsif a >= 0
|
|
|
|
rsqrt(a)
|
|
|
|
else
|
|
|
|
Complex(0,rsqrt(-a))
|
|
|
|
end
|
|
|
|
end
|
2009-03-05 22:56:38 -05:00
|
|
|
|
2011-05-22 20:08:30 -04:00
|
|
|
##
|
|
|
|
# Compute square root of a non negative number. This method is
|
|
|
|
# internally used by +Math.sqrt+.
|
|
|
|
|
|
|
|
def rsqrt(a)
|
1998-01-16 07:13:05 -05:00
|
|
|
if a.kind_of?(Float)
|
|
|
|
sqrt!(a)
|
|
|
|
elsif a.kind_of?(Rational)
|
|
|
|
rsqrt(a.numerator)/rsqrt(a.denominator)
|
|
|
|
else
|
|
|
|
src = a
|
|
|
|
max = 2 ** 32
|
|
|
|
byte_a = [src & 0xffffffff]
|
|
|
|
# ruby's bug
|
|
|
|
while (src >= max) and (src >>= 32)
|
2011-05-12 18:04:59 -04:00
|
|
|
byte_a.unshift src & 0xffffffff
|
1998-01-16 07:13:05 -05:00
|
|
|
end
|
2009-03-05 22:56:38 -05:00
|
|
|
|
1998-01-16 07:13:05 -05:00
|
|
|
answer = 0
|
|
|
|
main = 0
|
|
|
|
side = 0
|
|
|
|
for elm in byte_a
|
2011-05-12 18:04:59 -04:00
|
|
|
main = (main << 32) + elm
|
|
|
|
side <<= 16
|
|
|
|
if answer != 0
|
|
|
|
if main * 4 < side * side
|
|
|
|
applo = main.div(side)
|
|
|
|
else
|
|
|
|
applo = ((sqrt!(side * side + 4 * main) - side)/2.0).to_i + 1
|
|
|
|
end
|
|
|
|
else
|
|
|
|
applo = sqrt!(main).to_i + 1
|
|
|
|
end
|
|
|
|
|
|
|
|
while (x = (side + applo) * applo) > main
|
|
|
|
applo -= 1
|
|
|
|
end
|
|
|
|
main -= x
|
|
|
|
answer = (answer << 16) + applo
|
|
|
|
side += applo * 2
|
1998-01-16 07:13:05 -05:00
|
|
|
end
|
|
|
|
if main == 0
|
2011-05-12 18:04:59 -04:00
|
|
|
answer
|
1998-01-16 07:13:05 -05:00
|
|
|
else
|
2011-05-12 18:04:59 -04:00
|
|
|
sqrt!(a)
|
1998-01-16 07:13:05 -05:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2010-01-25 17:08:29 -05:00
|
|
|
class << self
|
|
|
|
remove_method(:sqrt)
|
|
|
|
end
|
1998-01-16 07:13:05 -05:00
|
|
|
module_function :sqrt
|
|
|
|
module_function :rsqrt
|
|
|
|
end
|