Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
Loading...
Searching...
No Matches
HasGroebnerBasis Concept Reference

Concept definition

template<typename MP>
concept HasGroebnerBasis = requires(const Array<MP> &gens)
{
{ MP::groebner_basis(gens) } -> std::same_as<Array<MP>>;
}
Aleph::Array
Simple dynamic array with automatic resizing and functional operations.
Definition tpl_array.H:139
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

Definition at line 31 of file multi_polynomial_test.cc.