def _minpoly_rootof(ex, x):
    p = ex.expr
    p = p.subs({ex.poly.gens[0]:x})
    _, factors = factor_list(p, x)
    result = _choose_factor(factors, x, ex)
    return result
JRPC test: services.leop.unknown.add
dataset/ETHPy150Open sympy/sympy/sympy/polys/numberfields.py/_minpoly_rootof--crossover with--dataset/ETHPy150Open satnet-project/server/services/leop/tests/test_jrpc.py/TestLaunchViews.test_add_unknown