updated version of the paper. added is_bent to .sage.