infnorm_triangular_colmajor.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_INFNORM_TR_COLMAJOR_HH
#define TLAPACK_INFNORM_TR_COLMAJOR_HH
 
#include "tlapack/base/utils.hpp"
 
namespace tlapack {
 
template <class T,
          TLAPACK_UPLO uplo_t,
          TLAPACK_DIAG diag_t,
          TLAPACK_MATRIX matrix_t>
constexpr WorkInfo infnorm_triangular_colmajor_worksize(uplo_t uplo,
                                                        diag_t diag,
                                                        const matrix_t& A)
{
    return WorkInfo(nrows(A));
}
 
template <TLAPACK_UPLO uplo_t,
          TLAPACK_DIAG diag_t,
          TLAPACK_MATRIX matrix_t,
          TLAPACK_WORKSPACE work_t>
auto infnorm_triangular_colmajor_work(uplo_t uplo,
                                      diag_t diag,
                                      const matrix_t& A,
                                      work_t& work)
{
    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>;
 
    // check arguments
    tlapack_check_false(uplo != Uplo::Lower && uplo != Uplo::Upper);
    tlapack_check_false(diag != Diag::NonUnit && diag != Diag::Unit);
 
    // constants
    const idx_t m = nrows(A);
    const idx_t n = ncols(A);
 
    // quick return
    if (m == 0 || n == 0) return real_t(0);
 
    // Vector w
    auto [w, work1] = reshape(work, m);
 
    // Norm value
    real_t norm(0);
 
    for (idx_t i = 0; i < n; ++i)
        w[i] = T(0);
 
    if (uplo == Uplo::Upper) {
        if (diag == Diag::NonUnit) {
            for (idx_t i = 0; i < m; ++i)
                w[i] = real_t(0);
 
            for (idx_t j = 0; j < n; ++j)
                for (idx_t i = 0; i <= min(j, m - 1); ++i)
                    w[i] += abs(A(i, j));
        }
        else {
            for (idx_t i = 0; i < m; ++i)
                w[i] = real_t(1);
 
            for (idx_t j = 1; j < n; ++j) {
                for (idx_t i = 0; i < min(j, m); ++i)
                    w[i] += abs(A(i, j));
            }
        }
    }
    else {
        if (diag == Diag::NonUnit) {
            for (idx_t i = 0; i < m; ++i)
                w[i] = real_t(0);
 
            for (idx_t j = 0; j < n; ++j)
                for (idx_t i = j; i < m; ++i)
                    w[i] += abs(A(i, j));
        }
        else {
            for (idx_t i = 0; i < min(m, n); ++i)
                w[i] = real_t(1);
            for (idx_t i = n; i < m; ++i)
                w[i] = real_t(0);
 
            for (idx_t j = 1; j < n; ++j) {
                for (idx_t i = j + 1; i < m; ++i)
                    w[i] += abs(A(i, j));
            }
        }
    }
 
    for (idx_t i = 0; i < m; ++i) {
        real_t temp = w[i];
 
        if (temp > norm)
            norm = temp;
        else {
            if (isnan(temp)) return temp;
        }
    }
 
    return norm;
}
 
template <TLAPACK_UPLO uplo_t, TLAPACK_DIAG diag_t, TLAPACK_MATRIX matrix_t>
auto infnorm_triangular_colmajor(uplo_t uplo, diag_t diag, const matrix_t& A)
{
    using T = type_t<matrix_t>;
    using real_t = real_type<T>;
    using idx_t = size_type<matrix_t>;
 
    // check arguments
    tlapack_check_false(uplo != Uplo::Lower && uplo != Uplo::Upper);
    tlapack_check_false(diag != Diag::NonUnit && diag != Diag::Unit);
 
    // constants
    const idx_t m = nrows(A);
    const idx_t n = ncols(A);
 
    // quick return
    if (m == 0 || n == 0) return real_t(0);
 
    // Allocates workspace
    WorkInfo workinfo = infnorm_triangular_colmajor_worksize<T>(uplo, A);
    std::vector<T> work_;
    auto work = new_matrix(work_, workinfo.m, workinfo.n);
 
    return infnorm_triangular_colmajor_work(uplo, A, work);
}
 
}  // namespace tlapack
 
#endif  // TLAPACK_INFNORM_TR_COLMAJOR_HH