Stream: new members
Ashvni Narayanan (Jun 30 2020 at 23:20):
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 (Jun 30 2020 at 23:21):
import algebra.field_power should work.
Ashvni Narayanan (Jun 30 2020 at 23:22):
Yes, that works. Thank you!
Last updated: May 14 2021 at 02:15 UTC