matrix-adapters.hpp

//
// libsemigroups - C++ library for semigroups and monoids
// Copyright (C) 2026 James D. Mitchell
//
// This program 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.
//
// This program 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 this program.  If not, see <http://www.gnu.org/licenses/>.
//
 
#ifndef LIBSEMIGROUPS_MATRIX_ADAPTERS_HPP_
#define LIBSEMIGROUPS_MATRIX_ADAPTERS_HPP_
 
#include <cstddef>      // for size_t
#include <type_traits>  // for enable_if_t
 
#include "adapters.hpp"   // for Complexity etc
#include "debug.hpp"      // for LIBSEMIGROUPS_ASSERT
#include "is-matrix.hpp"  // for IsMatrix
 
namespace libsemigroups {


  template <typename Mat>
  struct Complexity<Mat, std::enable_if_t<IsMatrix<Mat>>> {
    [[nodiscard]] constexpr size_t operator()(Mat const& x) const noexcept {
      return x.number_of_rows() * x.number_of_rows() * x.number_of_rows();
    }
  };

  template <typename Mat>
  struct Degree<Mat, std::enable_if_t<IsMatrix<Mat>>> {
    [[nodiscard]] constexpr size_t operator()(Mat const& x) const noexcept {
      return x.number_of_rows();
    }
  };

  template <typename Mat>
  struct Hash<Mat, std::enable_if_t<IsMatrix<Mat>>> {
    [[nodiscard]] constexpr size_t operator()(Mat const& x) const {
      return x.hash_value();
    }
  };

  template <typename Mat>
  struct IncreaseDegree<Mat, std::enable_if_t<IsMatrix<Mat>>> {
    constexpr void operator()(Mat&, size_t) const noexcept {
      // static_assert(false, "Cannot increase degree for Matrix");
      LIBSEMIGROUPS_ASSERT(false);
    }
  };

  template <typename Mat>
  struct One<Mat, std::enable_if_t<IsMatrix<Mat>>> {
    [[nodiscard]] inline Mat operator()(Mat const& x) const {
      return x.one();
    }
  };

  template <typename Mat>
  struct Product<Mat, std::enable_if_t<IsMatrix<Mat>>> {
    inline void
    operator()(Mat& xy, Mat const& x, Mat const& y, size_t = 0) const {
      xy.product_inplace_no_checks(x, y);
    }
  };
}  // namespace libsemigroups
#endif  // LIBSEMIGROUPS_MATRIX_ADAPTERS_HPP_