power

Stream: new members

[Ashvni Narayanan]

I have a field K, and an element x : K. I want to define x^n for n:\Z. But this gives me an error. There is no problem with n:\N.
Is there a way I can resolve it? Any help is appreciated. Thank you!

[Bryan Gin-ge Chen]

import algebra.field_power should work.

[Ashvni Narayanan]

Yes, that works. Thank you!