@classmethod
def postprocess(cls, options):
    if (('extension' in options) and (options['extension'] is not True)):
        options['domain'] = sympy.polys.domains.QQ.algebraic_field(*options['extension'])
@classmethod
def postprocess(cls, options):
    if (('extension' in options) and (options['extension'] is not True)):
        options['domain'] = sympy.polys.domains.QQ.algebraic_field(*options['extension'])