Type container for exponents with ratio different than 1
<mp-units/framework/symbolic_expression.h>
template<
    /* implementation-defined */ F,
    int Num,
    int Den...>
requires (detail::valid_ratio<Num, Den...> && detail::positive_ratio<Num, Den...> && !detail::ratio_one<Num, Den...>)
struct power final
| Name | 
|---|
| _factor_ | 
| Name | 
|---|
| _exponent_ | 
Ratio must be mathematically valid and non-negative. Negative exponents are passed to per<...> with inverted sign (as positive exponents).
Den is an optional parameter to shorten the types presented to the user in the case when Den equals 1.
| Name | Description | 
|---|---|
| F | factor to be raised to specified power | 
| Num | Power ratio numerator | 
| Den | [optional]Power ration denominator |