Real conjugate exponents
p.is_conjugate_exponent q registers the fact that the real numbers
> 1 and
1/p + 1/q = 1. This property shows up often in analysis, especially when dealing with
We make several basic facts available through dot notation in this situation.
We also introduce
p / (p-1). When
p > 1, it is conjugate to