modifiedMixedInvariants.hh

/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
/*                                                                             */
/*   This file is part of the C++-library RFFGen.                              */
/*   Copyright 2015 Lars Lubkoll                                               */
/*                                                                             */
/*   RFFGen is free software: you can redistribute it and/or modify            */
/*   it under the terms of the GNU General Public License as published by      */
/*   the Free Software Foundation, either version 3 of the License, or         */
/*   (at your option) any later version.                                       */
/*                                                                             */
/*   RFFGen is distributed in the hope that it will be useful,                 */
/*   but WITHOUT ANY WARRANTY; without even the implied warranty of            */
/*   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the             */
/*   GNU General Public License for more details.                              */
/*                                                                             */
/*   You should have received a copy of the GNU General Public License         */
/*   along with RFFGen.  If not, see <http://www.gnu.org/licenses/>.           */
/*                                                                             */
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */

#ifndef RFFGEN_LINEAR_ALGEBRA_MODIFIED_MIXED_INVARIANTS_HH
#define RFFGEN_LINEAR_ALGEBRA_MODIFIED_MIXED_INVARIANTS_HH

#include <tuple>

#include "../constant.hh"
#include "mixedInvariants.hh"
#include "shiftedInvariant.hh"
#include "../Util/modifyInvariants.hh"

namespace RFFGen
{
  namespace Concepts { template <class> struct SymmetricMatrixConceptCheck; }
  namespace LinearAlgebra
  {
    template <class Matrix, class = Concepts::SymmetricMatrixConceptCheck<Matrix> >
    struct FirstModifiedMixedInvariant
        : ModifyFirstPrincipalInvariant<Matrix,FirstMixedInvariant<Matrix> >
    {
      FirstModifiedMixedInvariant() = default;

      FirstModifiedMixedInvariant(const Matrix& A, const Constant<Matrix>& M)
        : ModifyFirstPrincipalInvariant<Matrix,FirstMixedInvariant<Matrix> > ( A , FirstMixedInvariant<Matrix>(A,M) )
      {}
    };

    template <class Matrix, class = Concepts::SymmetricMatrixConceptCheck<Matrix>>
    struct SecondModifiedMixedInvariant
        : ModifySecondPrincipalInvariant<Matrix,SecondMixedInvariant<Matrix> >
    {
      SecondModifiedMixedInvariant() = default;

      SecondModifiedMixedInvariant(const Matrix& A, const Constant<Matrix>& M)
        : ModifySecondPrincipalInvariant<Matrix,SecondMixedInvariant<Matrix> > ( A , SecondMixedInvariant<Matrix>(A,M) )
      {}
    };

    template <class Matrix, class = Concepts::SymmetricMatrixConceptCheck<Matrix> >
    struct ThirdModifiedMixedInvariant
        : ModifyFirstPrincipalInvariant<Matrix,ThirdMixedInvariant<Matrix> >
    {
      ThirdModifiedMixedInvariant() = default;

      ThirdModifiedMixedInvariant(const Matrix& A, const Constant<Matrix>& M)
        : ModifyFirstPrincipalInvariant<Matrix,ThirdMixedInvariant<Matrix> > ( A , ThirdMixedInvariant<Matrix>(A,M) )
      {}
    };

    template <class Matrix>
    using ShiftedFirstModifiedMixedInvariant  = ShiftedInvariant< FirstModifiedMixedInvariant<Matrix>  , 1 >;

    template <class Matrix>
    using ShiftedSecondModifiedMixedInvariant = ShiftedInvariant< SecondModifiedMixedInvariant<Matrix> , 1 >;

    template <class Matrix>
    using ShiftedThirdModifiedMixedInvariant = ShiftedInvariant< ThirdModifiedMixedInvariant<Matrix>   , 1 >;
  }
}

#endif // RFFGEN_LINEAR_ALGEBRA_MODIFIED_MIXED_INVARIANTS_HH