|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
Linear functional U : F → T with NTTP-typed coefficients. Carries the objective as type parameters so argmax can call the NTTP-driven implementation detail::maximize_set directly without smuggling the values through function parameters. More...
Public Types | |
| using | scalar_type = T |
Public Member Functions | |
| constexpr T | operator() (const dedekind::linear_algebra::Vec2V< T > &p) const |
Static Public Attributes | |
| static constexpr T | cx = cx_ |
| static constexpr T | cy = cy_ |
Linear functional U : F → T with NTTP-typed coefficients. Carries the objective as type parameters so argmax can call the NTTP-driven implementation detail::maximize_set directly without smuggling the values through function parameters.