Python log_to_atanの例

コード例 #1

ファイル: test_rationaltools.py プロジェクト: AdrianPotter/sympy

def test_log_to_atan():
    f, g = (Poly(x + S(1)/2, x, domain='QQ'), Poly(sqrt(3)/2, x, domain='EX'))
    fg_ans = 2*atan(2*sqrt(3)*x/3 + sqrt(3)/3)
    assert log_to_atan(f, g) == fg_ans
    assert log_to_atan(g, f) == -fg_ans

コード例 #2

ファイル: test_rationaltools.py プロジェクト: ca954bj/StructuralSymbolicSolver

def test_log_to_atan():
    f, g = (Poly(x + S(1) / 2, x,
                 domain='QQ'), Poly(sqrt(3) / 2, x, domain='EX'))
    fg_ans = 2 * atan(2 * sqrt(3) * x / 3 + sqrt(3) / 3)
    assert log_to_atan(f, g) == fg_ans
    assert log_to_atan(g, f) == -fg_ans

コード例 #3

ファイル: test_rationaltools.py プロジェクト: msgoff/sympy

def test_log_to_atan():
    f, g = (Poly(x + S.Half, x, domain="QQ"), Poly(sqrt(3) / 2, x, domain="EX"))
    fg_ans = 2 * atan(2 * sqrt(3) * x / 3 + sqrt(3) / 3)
    assert log_to_atan(f, g) == fg_ans
    assert log_to_atan(g, f) == -fg_ans