added naive implementation of finite field