use num::complex::Complex;
use polylog::Li4;
mod common;
#[test]
fn special_values() {
use num::Zero;
let eps = 1e-15_f64;
let z4 = 1.082323233711138_f64;
let zero = Complex::zero();
assert_eq_complex!(zero.li4(), zero, eps);
assert_eq_complex!(Complex::<f64>::new(1.0_f64, 0.0_f64).li4(),
Complex::<f64>::new(z4, 0.0_f64), eps);
assert_eq_complex!(Complex::<f64>::new(-1.0_f64, 0.0_f64).li4(),
Complex::<f64>::new(-7.0_f64/8.0_f64*z4, 0.0_f64), eps);
assert_eq_complex!(Complex::<f64>::new(0.5_f64, 0.0_f64).li4(),
Complex::<f64>::new(0.5174790616738994_f64, 0.0_f64), eps);
assert!(!Complex::new(1e300_f64, 1.0_f64).li4().is_infinite());
assert!(!Complex::new(1.0_f64, 1e300_f64).li4().is_infinite());
assert_eq_complex!(Complex::new(1e300_f64, 1.0_f64).li4(), Complex::new(-9.4863817894708364e9_f64, 1.725875455850714e8_f64), eps);
assert_eq_complex!(Complex::new(1.0_f64, 1e300_f64).li4(), Complex::new(-9.4872648206269765e9_f64, 8.62951114411071e7_f64), eps);
}
#[test]
fn test_values() {
let eps = 1e-14_f64;
let values = common::read_data_file("Li4.txt").unwrap();
for &(v, li4) in values.iter() {
assert_eq_complex!(v.li4(), li4, eps);
if v.im == 0.0_f64 {
assert_eq_float!(v.re.li4(), li4.re, eps);
}
}
}
#[test]
fn test_signed_zero() {
let pz64 = 0.0_f64;
let nz64 = -0.0_f64;
assert!(pz64.li4().is_sign_positive());
assert!(nz64.li4().is_sign_negative());
assert!(Complex::new(pz64, pz64).li4().re.is_sign_positive());
assert!(Complex::new(pz64, pz64).li4().im.is_sign_positive());
assert!(Complex::new(pz64, nz64).li4().re.is_sign_positive());
assert!(Complex::new(pz64, nz64).li4().im.is_sign_negative());
assert!(Complex::new(nz64, pz64).li4().re.is_sign_negative());
assert!(Complex::new(nz64, pz64).li4().im.is_sign_positive());
assert!(Complex::new(nz64, nz64).li4().re.is_sign_negative());
assert!(Complex::new(nz64, nz64).li4().im.is_sign_negative());
}