#![cfg(feature = "arbitrary")]

use std::cmp;
use na::{DVector, DMatrix};

quickcheck! {
    /*
     *
     * Symmetric operators.
     *
     */
    fn gemv_symm(n: usize, alpha: f64, beta: f64) -> bool {
        let n = cmp::max(1, cmp::min(n, 50));
        let a = DMatrix::<f64>::new_random(n, n);
        let a = &a * a.transpose();

        let x = DVector::new_random(n);
        let mut y1 = DVector::new_random(n);
        let mut y2 = y1.clone();

        y1.gemv(alpha, &a, &x, beta);
        y2.gemv_symm(alpha, &a.lower_triangle(), &x, beta);

        if !relative_eq!(y1, y2, epsilon = 1.0e-10) {
            return false;
        }

        y1.gemv(alpha, &a, &x, 0.0);
        y2.gemv_symm(alpha, &a.lower_triangle(), &x, 0.0);

        relative_eq!(y1, y2, epsilon = 1.0e-10)
    }

    fn gemv_tr(n: usize, alpha: f64, beta: f64) -> bool {
        let n = cmp::max(1, cmp::min(n, 50));
        let a = DMatrix::<f64>::new_random(n, n);
        let x = DVector::new_random(n);
        let mut y1 = DVector::new_random(n);
        let mut y2 = y1.clone();

        y1.gemv(alpha, &a, &x, beta);
        y2.gemv_tr(alpha, &a.transpose(), &x, beta);

        if !relative_eq!(y1, y2, epsilon = 1.0e-10) {
            return false;
        }

        y1.gemv(alpha, &a, &x, 0.0);
        y2.gemv_tr(alpha, &a.transpose(), &x, 0.0);

        relative_eq!(y1, y2, epsilon = 1.0e-10)
    }

    fn ger_symm(n: usize, alpha: f64, beta: f64) -> bool {
        let n = cmp::max(1, cmp::min(n, 50));
        let a = DMatrix::<f64>::new_random(n, n);
        let mut a1 = &a * a.transpose();
        let mut a2 = a1.lower_triangle();

        let x = DVector::new_random(n);
        let y = DVector::new_random(n);

        a1.ger(alpha, &x, &y, beta);
        a2.ger_symm(alpha, &x, &y, beta);

        if !relative_eq!(a1.lower_triangle(), a2) {
            return false;
        }

        a1.ger(alpha, &x, &y, 0.0);
        a2.ger_symm(alpha, &x, &y, 0.0);

        relative_eq!(a1.lower_triangle(), a2)
    }

    fn quadform(n: usize, alpha: f64, beta: f64) -> bool {
        let n       = cmp::max(1, cmp::min(n, 50));
        let rhs     = DMatrix::<f64>::new_random(6, n);
        let mid     = DMatrix::<f64>::new_random(6, 6);
        let mut res = DMatrix::new_random(n, n);

        let expected = &res * beta + rhs.transpose() * &mid * &rhs * alpha;

        res.quadform(alpha, &mid, &rhs, beta);

        println!("{}{}", res, expected);

        relative_eq!(res, expected, epsilon = 1.0e-7)
    }

    fn quadform_tr(n: usize, alpha: f64, beta: f64) -> bool {
        let n       = cmp::max(1, cmp::min(n, 50));
        let lhs     = DMatrix::<f64>::new_random(6, n);
        let mid     = DMatrix::<f64>::new_random(n, n);
        let mut res = DMatrix::new_random(6, 6);

        let expected = &res * beta + &lhs * &mid * lhs.transpose() * alpha;

        res.quadform_tr(alpha, &lhs, &mid , beta);

        println!("{}{}", res, expected);

        relative_eq!(res, expected, epsilon = 1.0e-7)
    }
}