On 20.04.2017 21:18, Timon Gehr wrote:
> On 20.04.2017 21:11, Timon Gehr wrote:
>>> Update: QRat now supports ^^. :-) Integral exponents only, of course.  I
>>> also implemented negative exponents, because QRat supports division and
>>> the same algorithm can be easily reused for that purpose.
>>> ...
>>
>> Nice! :)
>
> It does not work with BigInt-based QRats (T(1) does not work, as 1 does
> not implicitly convert to BigInt.)

I guess the best fix is to templatize the QRat constructor such that it accepts all argument types that can be used to construct the coefficients.