lansy.hpp

Go to the documentation of this file.

 
//
// Copyright (c) 2025, University of Colorado Denver. All rights reserved.
//
// This file is part of <T>LAPACK.
// <T>LAPACK is free software: you can redistribute it and/or modify it under
// the terms of the BSD 3-Clause license. See the accompanying LICENSE file.
 
#ifndef TLAPACK_LANSY_HH
#define TLAPACK_LANSY_HH
 
#include "tlapack/lapack/lassq.hpp"
 
namespace tlapack {
 
template <TLAPACK_NORM norm_t, TLAPACK_UPLO uplo_t, TLAPACK_SMATRIX matrix_t>
auto lansy(norm_t normType, uplo_t uplo, const matrix_t& A)
{
    using T = type_t<matrix_t>;
    using real_t = real_type<T>;
    using idx_t = size_type<matrix_t>;
    using range = pair<idx_t, idx_t>;
 
    // constants
    const idx_t n = nrows(A);
 
    // check arguments
    tlapack_check_false(normType != Norm::Fro && normType != Norm::Inf &&
                        normType != Norm::Max && normType != Norm::One);
    tlapack_check_false(uplo != Uplo::Lower && uplo != Uplo::Upper);
 
    // quick return
    if (n <= 0) return real_t(0);
 
    // Norm value
    real_t norm(0);
 
    if (normType == Norm::Max) {
        if (uplo == Uplo::Upper) {
            for (idx_t j = 0; j < n; ++j) {
                for (idx_t i = 0; i <= j; ++i) {
                    real_t temp = abs(A(i, j));
 
                    if (temp > norm)
                        norm = temp;
                    else {
                        if (isnan(temp)) return temp;
                    }
                }
            }
        }
        else {
            for (idx_t j = 0; j < n; ++j) {
                for (idx_t i = j; i < n; ++i) {
                    real_t temp = abs(A(i, j));
 
                    if (temp > norm)
                        norm = temp;
                    else {
                        if (isnan(temp)) return temp;
                    }
                }
            }
        }
    }
    else if (normType == Norm::One || normType == Norm::Inf) {
        if (uplo == Uplo::Upper) {
            for (idx_t j = 0; j < n; ++j) {
                real_t temp(0);
 
                for (idx_t i = 0; i <= j; ++i)
                    temp += abs(A(i, j));
 
                for (idx_t i = j + 1; i < n; ++i)
                    temp += abs(A(j, i));
 
                if (temp > norm)
                    norm = temp;
                else {
                    if (isnan(temp)) return temp;
                }
            }
        }
        else {
            for (idx_t j = 0; j < n; ++j) {
                real_t temp(0);
 
                for (idx_t i = 0; i <= j; ++i)
                    temp += abs(A(j, i));
 
                for (idx_t i = j + 1; i < n; ++i)
                    temp += abs(A(i, j));
 
                if (temp > norm)
                    norm = temp;
                else {
                    if (isnan(temp)) return temp;
                }
            }
        }
    }
    else {
        // Scaled ssq
        real_t scale(0), ssq(1);
 
        // Sum off-diagonals
        if (uplo == Uplo::Upper) {
            for (idx_t j = 1; j < n; ++j)
                lassq(slice(A, range{0, j}, j), scale, ssq);
        }
        else {
            for (idx_t j = 0; j < n - 1; ++j)
                lassq(slice(A, range{j + 1, n}, j), scale, ssq);
        }
        ssq *= real_t(2);
 
        // Sum diagonal
        lassq(diag(A, 0), scale, ssq);
 
        // Compute the scaled square root
        norm = scale * sqrt(ssq);
    }
 
    return norm;
}
 
}  // namespace tlapack
 
#endif  // TLAPACK_LANSY_HH