Exponent for fractional and/or numeric type classe(s)

[sherpal]

@rjolly

I don’t understand. Why not just Numeric pow and Fractional override pow for the negative case ?

I might be wrong but I don’t think it’s a good idea to override methods for type classes. Because you could be caught off guard by using your methods, thinking you have a fractional in scope, whereas you only have a numeric in scope. But maybe I have too much concern.

@rjolly

It has wrong precedence, same as * . In addition, we need a right associative operator. In my project https://github/com/rjolly/scas I use a \: symbol. The project GitHub - PoslavskySV/rings: Rings: efficient JVM library for polynomial rings is happy with the literal method x.pow(y).

Indeed, it’s a pity… I’m also not against having to write x.pow(y). \: seems really weird to me

@rjolly

In that case you do need two distinct methods for numeric/integral and fractional, so adding a default method in the type classes sounds better.

I agree.