Concept definition

template<typename T>

concept Aleph::ModularMatrixBackend = DenseMatrix<T> or SparseMatrix<T>

Aleph::DenseMatrix

Expresses requirements for dense matrix backends like Array<Array<uint64_t>>.

Definition modular_linalg.H:76

Aleph::ModularMatrixBackend

Union of supported matrix backends for modular operations.

Definition modular_linalg.H:82

Aleph::SparseMatrix

Expresses requirements for sparse matrix backends like DynMatrix.

Definition modular_linalg.H:62

Aleph::divide_and_conquer_partition_dp

Divide_Conquer_DP_Result< Cost > divide_and_conquer_partition_dp(const size_t groups, const size_t n, Transition_Cost_Fn transition_cost, const Cost inf=dp_optimization_detail::default_inf< Cost >())

Optimize partition DP using divide-and-conquer optimization.

Definition DP_Optimizations.H:133

Detailed Description

Union of supported matrix backends for modular operations.

Definition at line 82 of file modular_linalg.H.