def test_is_log_deriv_k_t_radical():
DE = DifferentialExtension(extension={
'D': [Poly(1, x)],
'exts': [None],
'extargs': [None]
})
assert is_log_deriv_k_t_radical(Poly(2 * x, x), Poly(1, x), DE) is None
DE = DifferentialExtension(
extension={
'D': [Poly(1, x), Poly(2 * t1, t1),
Poly(1 / x, t2)],
'exts': [None, 'exp', 'log'],
'extargs': [None, 2 * x, x]
})
assert is_log_deriv_k_t_radical(Poly(x + t2/2, t2), Poly(1, t2), DE) == \
([(t1, 1), (x, 1)], t1*x, 2, 0)
# TODO: Add more tests
DE = DifferentialExtension(
extension={
'D': [Poly(1, x), Poly(t0, t0),
Poly(1 / x, t)],
'exts': [None, 'exp', 'log'],
'extargs': [None, x, x]
})
assert is_log_deriv_k_t_radical(Poly(x + t/2 + 3, t), Poly(1, t), DE) == \
([(t0, 2), (x, 1)], x*t0**2, 2, 3)
def test_is_log_deriv_k_t_radical():
DE = DifferentialExtension(extension={"D": [Poly(1, x)], "E_K": [], "L_K": [], "E_args": [], "L_args": []})
assert is_log_deriv_k_t_radical(Poly(2 * x, x), Poly(1, x), DE) is None
DE = DifferentialExtension(
extension={
"D": [Poly(1, x), Poly(2 * t1, t1), Poly(1 / x, t2)],
"L_K": [2],
"E_K": [1],
"L_args": [x],
"E_args": [2 * x],
}
)
assert is_log_deriv_k_t_radical(Poly(x + t2 / 2, t2), Poly(1, t2), DE) == ([(t1, 1), (x, 1)], t1 * x, 2, 0)
# TODO: Add more tests
DE = DifferentialExtension(
extension={
"D": [Poly(1, x), Poly(t0, t0), Poly(1 / x, t)],
"L_K": [2],
"E_K": [1],
"L_args": [x],
"E_args": [x],
}
)
assert is_log_deriv_k_t_radical(Poly(x + t / 2 + 3, t), Poly(1, t), DE) == ([(t0, 2), (x, 1)], x * t0 ** 2, 2, 3)
def test_is_log_deriv_k_t_radical():
DE = DifferentialExtension(extension={
'D': [Poly(1, x)],
'E_K': [],
'L_K': [],
'E_args': [],
'L_args': []
})
assert is_log_deriv_k_t_radical(Poly(2 * x, x), Poly(1, x), DE) is None
DE = DifferentialExtension(
extension={
'D': [Poly(1, x), Poly(2 * t1, t1),
Poly(1 / x, t2)],
'L_K': [2],
'E_K': [1],
'L_args': [x],
'E_args': [2 * x]
})
assert is_log_deriv_k_t_radical(Poly(x + t2/2, t2), Poly(1, t2), DE) == \
([(t1, 1), (x, 1)], t1*x, 2, 0)
# TODO: Add more tests
DE = DifferentialExtension(
extension={
'D': [Poly(1, x), Poly(t0, t0),
Poly(1 / x, t)],
'L_K': [2],
'E_K': [1],
'L_args': [x],
'E_args': [x]
})
assert is_log_deriv_k_t_radical(Poly(x + t/2 + 3, t), Poly(1, t), DE) == \
([(t0, 2), (x, 1)], x*t0**2, 2, 3)
def test_is_log_deriv_k_t_radical():
DE = DifferentialExtension(
extension={"D": [Poly(1, x)], "exts": [None], "extargs": [None]}
)
assert is_log_deriv_k_t_radical(Poly(2 * x, x), Poly(1, x), DE) is None
DE = DifferentialExtension(
extension={
"D": [Poly(1, x), Poly(2 * t1, t1), Poly(1 / x, t2)],
"exts": [None, "exp", "log"],
"extargs": [None, 2 * x, x],
}
)
assert is_log_deriv_k_t_radical(Poly(x + t2 / 2, t2), Poly(1, t2), DE) == (
[(t1, 1), (x, 1)],
t1 * x,
2,
0,
)
# TODO: Add more tests
DE = DifferentialExtension(
extension={
"D": [Poly(1, x), Poly(t0, t0), Poly(1 / x, t)],
"exts": [None, "exp", "log"],
"extargs": [None, x, x],
}
)
assert is_log_deriv_k_t_radical(Poly(x + t / 2 + 3, t), Poly(1, t), DE) == (
[(t0, 2), (x, 1)],
x * t0 ** 2,
2,
3,
)
def test_is_log_deriv_k_t_radical():
DE = DifferentialExtension(extension={'D': [Poly(1, x)], 'exts': [None],
'extargs': [None]})
assert is_log_deriv_k_t_radical(Poly(2*x, x), Poly(1, x), DE) is None
DE = DifferentialExtension(extension={'D': [Poly(1, x), Poly(2*t1, t1), Poly(1/x, t2)],
'exts': [None, 'exp', 'log'], 'extargs': [None, 2*x, x]})
assert is_log_deriv_k_t_radical(Poly(x + t2/2, t2), Poly(1, t2), DE) == \
([(t1, 1), (x, 1)], t1*x, 2, 0)
# TODO: Add more tests
DE = DifferentialExtension(extension={'D': [Poly(1, x), Poly(t0, t0), Poly(1/x, t)],
'exts': [None, 'exp', 'log'], 'extargs': [None, x, x]})
assert is_log_deriv_k_t_radical(Poly(x + t/2 + 3, t), Poly(1, t), DE) == \
([(t0, 2), (x, 1)], x*t0**2, 2, 3)
