@classmethod
def postprocess(cls, options):
    if ('modulus' in options):
        modulus = options['modulus']
        symmetric = options.get('symmetric', True)
        options['domain'] = sympy.polys.domains.FF(modulus, symmetric)
@classmethod
def postprocess(cls, options):
    if ('modulus' in options):
        modulus = options['modulus']
        symmetric = options.get('symmetric', True)
        options['domain'] = sympy.polys.domains.FF(modulus, symmetric)