diff options
Diffstat (limited to 'src/armadillo/include/armadillo_bits/fn_sylvester.hpp')
-rw-r--r-- | src/armadillo/include/armadillo_bits/fn_sylvester.hpp | 137 |
1 files changed, 137 insertions, 0 deletions
diff --git a/src/armadillo/include/armadillo_bits/fn_sylvester.hpp b/src/armadillo/include/armadillo_bits/fn_sylvester.hpp new file mode 100644 index 0000000..a5b8165 --- /dev/null +++ b/src/armadillo/include/armadillo_bits/fn_sylvester.hpp @@ -0,0 +1,137 @@ +// SPDX-License-Identifier: Apache-2.0 +// +// Copyright 2008-2016 Conrad Sanderson (http://conradsanderson.id.au) +// Copyright 2008-2016 National ICT Australia (NICTA) +// +// Licensed under the Apache License, Version 2.0 (the "License"); +// you may not use this file except in compliance with the License. +// You may obtain a copy of the License at +// http://www.apache.org/licenses/LICENSE-2.0 +// +// Unless required by applicable law or agreed to in writing, software +// distributed under the License is distributed on an "AS IS" BASIS, +// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +// See the License for the specific language governing permissions and +// limitations under the License. +// ------------------------------------------------------------------------ + + +//! \addtogroup fn_syl_lyap +//! @{ + + +//! find the solution of the Sylvester equation AX + XB = C +template<typename T1, typename T2, typename T3> +inline +bool +syl + ( + Mat <typename T1::elem_type> & out, + const Base<typename T1::elem_type,T1>& in_A, + const Base<typename T1::elem_type,T2>& in_B, + const Base<typename T1::elem_type,T3>& in_C, + const typename arma_blas_type_only<typename T1::elem_type>::result* junk = nullptr + ) + { + arma_extra_debug_sigprint(); + arma_ignore(junk); + + typedef typename T1::elem_type eT; + + const unwrap_check<T1> tmp_A(in_A.get_ref(), out); + const unwrap_check<T2> tmp_B(in_B.get_ref(), out); + const unwrap_check<T3> tmp_C(in_C.get_ref(), out); + + const Mat<eT>& A = tmp_A.M; + const Mat<eT>& B = tmp_B.M; + const Mat<eT>& C = tmp_C.M; + + const bool status = auxlib::syl(out, A, B, C); + + if(status == false) + { + out.soft_reset(); + arma_debug_warn_level(3, "syl(): solution not found"); + } + + return status; + } + + + +template<typename T1, typename T2, typename T3> +inline +bool +sylvester + ( + Mat <typename T1::elem_type> & out, + const Base<typename T1::elem_type,T1>& in_A, + const Base<typename T1::elem_type,T2>& in_B, + const Base<typename T1::elem_type,T3>& in_C, + const typename arma_blas_type_only<typename T1::elem_type>::result* junk = nullptr + ) + { + arma_ignore(junk); + return syl(out, in_A, in_B, in_C); + } + + + +template<typename T1, typename T2, typename T3> +arma_warn_unused +inline +Mat<typename T1::elem_type> +syl + ( + const Base<typename T1::elem_type,T1>& in_A, + const Base<typename T1::elem_type,T2>& in_B, + const Base<typename T1::elem_type,T3>& in_C, + const typename arma_blas_type_only<typename T1::elem_type>::result* junk = nullptr + ) + { + arma_extra_debug_sigprint(); + arma_ignore(junk); + + typedef typename T1::elem_type eT; + + const unwrap<T1> tmp_A( in_A.get_ref() ); + const unwrap<T2> tmp_B( in_B.get_ref() ); + const unwrap<T3> tmp_C( in_C.get_ref() ); + + const Mat<eT>& A = tmp_A.M; + const Mat<eT>& B = tmp_B.M; + const Mat<eT>& C = tmp_C.M; + + Mat<eT> out; + + const bool status = auxlib::syl(out, A, B, C); + + if(status == false) + { + out.soft_reset(); + arma_stop_runtime_error("syl(): solution not found"); + } + + return out; + } + + + +template<typename T1, typename T2, typename T3> +arma_warn_unused +inline +Mat<typename T1::elem_type> +sylvester + ( + const Base<typename T1::elem_type,T1>& in_A, + const Base<typename T1::elem_type,T2>& in_B, + const Base<typename T1::elem_type,T3>& in_C, + const typename arma_blas_type_only<typename T1::elem_type>::result* junk = nullptr + ) + { + arma_ignore(junk); + return syl(in_A, in_B, in_C); + } + + +//! @} |