<T>LAPACK 0.1.1
C++ Template Linear Algebra PACKage
Loading...
Searching...
No Matches
gerqf.hpp
Go to the documentation of this file.
1
5//
6// Copyright (c) 2021-2023, University of Colorado Denver. All rights reserved.
7//
8// This file is part of <T>LAPACK.
9// <T>LAPACK is free software: you can redistribute it and/or modify it under
10// the terms of the BSD 3-Clause license. See the accompanying LICENSE file.
11
12#ifndef TLAPACK_GERQF_HH
13#define TLAPACK_GERQF_HH
14
19
20namespace tlapack {
24struct GerqfOpts {
25 size_t nb = 32;
26};
27
40template <class T, TLAPACK_SMATRIX A_t, TLAPACK_SVECTOR tau_t>
41constexpr WorkInfo gerqf_worksize(const A_t& A,
42 const tau_t& tau,
43 const GerqfOpts& opts = {})
44{
45 using idx_t = size_type<A_t>;
46 using range = pair<idx_t, idx_t>;
47 using work_t = matrix_type<A_t, tau_t>;
48
49 // constants
50 const idx_t m = nrows(A);
51 const idx_t n = ncols(A);
52 const idx_t k = min(m, n);
53 const idx_t nb = min((idx_t)opts.nb, k);
54
55 auto&& A11 = rows(A, range(0, nb));
56 auto&& tauw1 = slice(tau, range(0, nb));
57 WorkInfo workinfo = gerq2_worksize<T>(A11, tauw1);
58
59 if (m > nb) {
60 auto&& TT1 = slice(A, range(0, nb), range(0, nb));
61 auto&& A12 = slice(A, range(nb, m), range(0, n));
62 workinfo.minMax(larfb_worksize<T>(RIGHT_SIDE, NO_TRANS, BACKWARD,
63 ROWWISE_STORAGE, A11, TT1, A12));
64 if constexpr (is_same_v<T, type_t<work_t>>)
65 workinfo += WorkInfo(nb, nb);
66 }
67
68 return workinfo;
69}
70
79template <TLAPACK_SMATRIX A_t, TLAPACK_SVECTOR tau_t, TLAPACK_WORKSPACE work_t>
81{
82 using idx_t = size_type<A_t>;
83 using range = pair<idx_t, idx_t>;
84
85 // constants
86 const idx_t m = nrows(A);
87 const idx_t n = ncols(A);
88 const idx_t k = min(m, n);
89 const idx_t nb = min((idx_t)opts.nb, k);
90
91 // check arguments
92 tlapack_check((idx_t)size(tau) >= k);
93
94 // Matrix TT
95 auto [TT, work2] = (m > nb) ? reshape(work, nb, nb) : reshape(work, 0, 0);
96
97 // Main computational loop
98 for (idx_t j2 = 0; j2 < k; j2 += nb) {
99 const idx_t ib = min(nb, k - j2);
100 const idx_t j = m - j2 - ib;
101
102 // Compute the RQ factorization of the current block A(j:j+ib,0:n-j2)
103 auto A11 = slice(A, range(j, j + ib), range(0, n - j2));
104 auto tauw1 = slice(tau, range(k - j2 - ib, k - j2));
105
106 gerq2_work(A11, tauw1, work);
107
108 if (j > 0) {
109 // Form the triangular factor of the block reflector
110 auto TT1 = slice(TT, range(0, ib), range(0, ib));
111 larft(BACKWARD, ROWWISE_STORAGE, A11, tauw1, TT1);
112
113 // Apply H to A(0:j,0:n-j2) from the right
114 auto A12 = slice(A, range(0, j), range(0, n - j2));
115 larfb_work(RIGHT_SIDE, NO_TRANS, BACKWARD, ROWWISE_STORAGE, A11,
116 TT1, A12, work2);
117 }
118 }
119
120 return 0;
121}
122
159template <TLAPACK_SMATRIX A_t, TLAPACK_SVECTOR tau_t>
160int gerqf(A_t& A, tau_t& tau, const GerqfOpts& opts = {})
161{
162 using work_t = matrix_type<A_t, tau_t>;
163 using T = type_t<work_t>;
164 Create<work_t> new_matrix;
165
166 // Allocate or get workspace
167 WorkInfo workinfo = gerqf_worksize<T>(A, tau, opts);
168 std::vector<T> work_;
169 auto work = new_matrix(work_, workinfo.m, workinfo.n);
170
171 return gerqf_work(A, tau, work, opts);
172}
173} // namespace tlapack
174#endif // TLAPACK_GERQF_HH
int gerqf(A_t &A, tau_t &tau, const GerqfOpts &opts={})
Computes an RQ factorization of an m-by-n matrix A using a blocked algorithm.
Definition gerqf.hpp:160
int larfb_work(side_t side, trans_t trans, direction_t direction, storage_t storeMode, const matrixV_t &V, const matrixT_t &Tmatrix, matrixC_t &C, work_t &work)
Applies a block reflector or its conjugate transpose to a m-by-n matrix C, from either the left or ...
Definition larfb.hpp:111
int larft(direction_t direction, storage_t storeMode, const matrixV_t &V, const vector_t &tau, matrixT_t &T)
Forms the triangular factor T of a block reflector H of order n, which is defined as a product of k e...
Definition larft.hpp:92
int gerq2_work(matrix_t &A, vector_t &tau, work_t &work)
Computes an RQ factorization of a matrix A. Workspace is provided as an argument.
Definition gerq2.hpp:60
int gerqf_work(A_t &A, tau_t &tau, work_t &work, const GerqfOpts &opts={})
Computes an RQ factorization of an m-by-n matrix A using a blocked algorithm. Workspace is provided...
Definition gerqf.hpp:80
#define tlapack_check(cond)
Throw an error if cond is false.
Definition exceptionHandling.hpp:98
constexpr WorkInfo gerqf_worksize(const A_t &A, const tau_t &tau, const GerqfOpts &opts={})
Worspace query of gerqf()
Definition gerqf.hpp:41
Applies a Householder block reflector to a matrix.
Forms the triangular factor T of a block reflector.
typename traits::real_type_traits< Types..., int >::type real_type
The common real type of the list of types.
Definition scalar_type_traits.hpp:113
Options struct for gerqf.
Definition gerqf.hpp:24
size_t nb
Block size.
Definition gerqf.hpp:25
Output information in the workspace query.
Definition workspace.hpp:16