1
0
mirror of https://github.com/vlang/v.git synced 2023-08-10 21:13:21 +03:00
v/vlib/math/fractions/fraction.v

284 lines
7.1 KiB
V
Raw Normal View History

// Copyright (c) 2019-2021 Alexander Medvednikov. All rights reserved.
2019-07-03 13:12:36 +03:00
// Use of this source code is governed by an MIT license
// that can be found in the LICENSE file.
2019-07-15 22:16:41 +03:00
module fractions
import math
2020-05-08 15:39:23 +03:00
import math.bits
2019-07-03 13:12:36 +03:00
// Fraction Struct
// ---------------
// A Fraction has a numerator (n) and a denominator (d). If the user uses
// the helper functions in this module, then the following are guaranteed:
// 1. If the user provides n and d with gcd(n, d) > 1, the fraction will
// not be reduced automatically.
// 2. d cannot be set to zero. The factory function will panic.
// 3. If provided d is negative, it will be made positive. n will change as well.
2019-07-03 13:12:36 +03:00
struct Fraction {
n i64
d i64
pub:
is_reduced bool
2019-07-03 13:12:36 +03:00
}
// A factory function for creating a Fraction, adds a boundary condition
// to ensure that the denominator is non-zero. It automatically converts
// the negative denominator to positive and adjusts the numerator.
// NOTE: Fractions created are not reduced by default.
pub fn fraction(n i64, d i64) Fraction {
if d == 0 {
2019-07-03 13:12:36 +03:00
panic('Denominator cannot be zero')
}
// The denominator is always guaranteed to be positive (and non-zero).
if d < 0 {
return fraction(-n, -d)
}
return Fraction{
n: n
d: d
is_reduced: math.gcd(n, d) == 1
}
2019-07-03 13:12:36 +03:00
}
// To String method
pub fn (f Fraction) str() string {
return '$f.n/$f.d'
2019-07-03 13:12:36 +03:00
}
//
// + ---------------------+
// | Arithmetic functions.|
// + ---------------------+
//
// These are implemented from Knuth, TAOCP Vol 2. Section 4.5
//
// Returns a correctly reduced result for both addition and subtraction
// NOTE: requires reduced inputs
fn general_addition_result(f1 Fraction, f2 Fraction, addition bool) Fraction {
d1 := math.gcd(f1.d, f2.d)
2021-01-28 11:02:41 +03:00
// d1 happens to be 1 around 600/(pi)^2 or 61 percent of the time (Theorem 4.5.2D)
if d1 == 1 {
num1n2d := f1.n * f2.d
num1d2n := f1.d * f2.n
n := if addition { num1n2d + num1d2n } else { num1n2d - num1d2n }
return Fraction{
n: n
d: f1.d * f2.d
is_reduced: true
}
2019-07-03 13:12:36 +03:00
}
// Here d1 > 1.
f1den := f1.d / d1
f2den := f2.d / d1
term1 := f1.n * f2den
term2 := f2.n * f1den
t := if addition { term1 + term2 } else { term1 - term2 }
d2 := math.gcd(t, d1)
return Fraction{
n: t / d2
d: f1den * (f2.d / d2)
is_reduced: true
2019-07-03 13:12:36 +03:00
}
}
// Fraction add using operator overloading
pub fn (f1 Fraction) +(f2 Fraction) Fraction {
return general_addition_result(f1.reduce(), f2.reduce(), true)
}
2019-07-12 21:45:56 +03:00
// Fraction subtract using operator overloading
pub fn (f1 Fraction) -(f2 Fraction) Fraction {
return general_addition_result(f1.reduce(), f2.reduce(), false)
}
// Returns a correctly reduced result for both multiplication and division
// NOTE: requires reduced inputs
fn general_multiplication_result(f1 Fraction, f2 Fraction, multiplication bool) Fraction {
// * Theorem: If f1 and f2 are reduced i.e. gcd(f1.n, f1.d) == 1 and gcd(f2.n, f2.d) == 1,
// then gcd(f1.n * f2.n, f1.d * f2.d) == gcd(f1.n, f2.d) * gcd(f1.d, f2.n)
// * Knuth poses this an exercise for 4.5.1. - Exercise 2
// * Also, note that:
// The terms are flipped for multiplication and division, so the gcds must be calculated carefully
// We do multiple divisions in order to prevent any possible overflows.
// * One more thing:
// if d = gcd(a, b) for example, then d divides both a and b
if multiplication {
d1 := math.gcd(f1.n, f2.d)
d2 := math.gcd(f1.d, f2.n)
return Fraction{
n: (f1.n / d1) * (f2.n / d2)
d: (f2.d / d1) * (f1.d / d2)
is_reduced: true
}
} else {
d1 := math.gcd(f1.n, f2.n)
d2 := math.gcd(f1.d, f2.d)
return Fraction{
n: (f1.n / d1) * (f2.d / d2)
d: (f2.n / d1) * (f1.d / d2)
is_reduced: true
}
2019-07-03 13:12:36 +03:00
}
}
// Fraction multiply using operator overloading
pub fn (f1 Fraction) *(f2 Fraction) Fraction {
return general_multiplication_result(f1.reduce(), f2.reduce(), true)
}
2019-07-03 13:12:36 +03:00
// Fraction divide using operator overloading
pub fn (f1 Fraction) /(f2 Fraction) Fraction {
if f2.n == 0 {
panic('Cannot divide by zero')
}
// If the second fraction is negative, it will
// mess up the sign. We need positive denominator
if f2.n < 0 {
return f1.negate() / f2.negate()
}
return general_multiplication_result(f1.reduce(), f2.reduce(), false)
}
2019-07-03 13:12:36 +03:00
// Fraction add method. Deprecated. Use the operator instead.
[deprecated]
2019-07-03 13:12:36 +03:00
pub fn (f1 Fraction) add(f2 Fraction) Fraction {
return f1 + f2
}
// Fraction subtract method. Deprecated. Use the operator instead.
[deprecated]
pub fn (f1 Fraction) subtract(f2 Fraction) Fraction {
2019-07-03 13:12:36 +03:00
return f1 - f2
}
// Fraction multiply method. Deprecated. Use the operator instead.
[deprecated]
2019-07-03 13:12:36 +03:00
pub fn (f1 Fraction) multiply(f2 Fraction) Fraction {
return f1 * f2
2019-07-03 13:12:36 +03:00
}
// Fraction divide method. Deprecated. Use the operator instead.
[deprecated]
2019-07-03 13:12:36 +03:00
pub fn (f1 Fraction) divide(f2 Fraction) Fraction {
return f1 / f2
2019-07-03 13:12:36 +03:00
}
// Fraction negate method
2020-05-13 19:39:19 +03:00
pub fn (f Fraction) negate() Fraction {
return Fraction{
2020-05-13 19:39:19 +03:00
n: -f.n
d: f.d
is_reduced: f.is_reduced
}
2019-07-03 13:12:36 +03:00
}
// Fraction reciprocal method
2020-05-13 19:39:19 +03:00
pub fn (f Fraction) reciprocal() Fraction {
if f.n == 0 {
panic('Denominator cannot be zero')
}
return Fraction{
2020-05-13 19:39:19 +03:00
n: f.d
d: f.n
is_reduced: f.is_reduced
}
2019-07-03 13:12:36 +03:00
}
// Fraction method which reduces the fraction
2020-05-13 19:39:19 +03:00
pub fn (f Fraction) reduce() Fraction {
if f.is_reduced {
return f
}
2020-05-13 19:39:19 +03:00
cf := math.gcd(f.n, f.d)
return Fraction{
2020-05-13 19:39:19 +03:00
n: f.n / cf
d: f.d / cf
is_reduced: true
}
2019-07-03 13:12:36 +03:00
}
// f64 converts the Fraction to 64-bit floating point
2020-05-13 19:39:19 +03:00
pub fn (f Fraction) f64() f64 {
return f64(f.n) / f64(f.d)
2019-07-03 13:12:36 +03:00
}
//
// + ------------------+
// | Utility functions.|
// + ------------------+
//
2020-05-08 15:39:23 +03:00
// Returns the absolute value of an i64
fn abs(num i64) i64 {
if num < 0 {
return -num
} else {
return num
}
}
// cmp_i64s compares the two arguments, returns 0 when equal, 1 when the first is bigger, -1 otherwise
fn cmp_i64s(a i64, b i64) int {
if a == b {
return 0
} else if a > b {
return 1
} else {
return -1
}
}
// cmp_f64s compares the two arguments, returns 0 when equal, 1 when the first is bigger, -1 otherwise
fn cmp_f64s(a f64, b f64) int {
// V uses epsilon comparison internally
if a == b {
return 0
} else if a > b {
return 1
} else {
return -1
}
}
2020-05-08 15:39:23 +03:00
// Two integers are safe to multiply when their bit lengths
// sum up to less than 64 (conservative estimate).
fn safe_to_multiply(a i64, b i64) bool {
return (bits.len_64(u64(abs(a))) + bits.len_64(u64(abs(b)))) < 64
2020-05-08 15:39:23 +03:00
}
// cmp compares the two arguments, returns 0 when equal, 1 when the first is bigger, -1 otherwise
fn cmp(f1 Fraction, f2 Fraction) int {
2020-05-08 15:39:23 +03:00
if safe_to_multiply(f1.n, f2.d) && safe_to_multiply(f2.n, f1.d) {
return cmp_i64s(f1.n * f2.d, f2.n * f1.d)
} else {
return cmp_f64s(f1.f64(), f2.f64())
2020-05-08 15:39:23 +03:00
}
}
// +-----------------------------+
// | Public comparison functions |
// +-----------------------------+
// equals returns true if both the Fractions are equal
pub fn (f1 Fraction) equals(f2 Fraction) bool {
return cmp(f1, f2) == 0
}
// ge returns true if f1 >= f2
pub fn (f1 Fraction) ge(f2 Fraction) bool {
return cmp(f1, f2) >= 0
}
// gt returns true if f1 > f2
pub fn (f1 Fraction) gt(f2 Fraction) bool {
return cmp(f1, f2) > 0
}
// le returns true if f1 <= f2
pub fn (f1 Fraction) le(f2 Fraction) bool {
return cmp(f1, f2) <= 0
}
// lt returns true if f1 < f2
pub fn (f1 Fraction) lt(f2 Fraction) bool {
return cmp(f1, f2) < 0
}