library for finite field computation