20 lines
692 B
Python
20 lines
692 B
Python
|
from mpmath import *
|
||
|
|
|
||
|
|
def test_pslq():
|
||
|
|
mp.dps = 15
|
||
|
|
assert pslq([3*pi+4*e/7, pi, e, log(2)]) == [7, -21, -4, 0]
|
||
|
|
assert pslq([4.9999999999999991, 1]) == [1, -5]
|
||
|
|
assert pslq([2,1]) == [1, -2]
|
||
|
|
|
||
|
|
def test_identify():
|
||
|
|
mp.dps = 20
|
||
|
|
assert identify(zeta(4), ['log(2)', 'pi**4']) == '((1/90)*pi**4)'
|
||
|
|
mp.dps = 15
|
||
|
|
assert identify(exp(5)) == 'exp(5)'
|
||
|
|
assert identify(exp(4)) == 'exp(4)'
|
||
|
|
assert identify(log(5)) == 'log(5)'
|
||
|
|
assert identify(exp(3*pi), ['pi']) == 'exp((3*pi))'
|
||
|
|
assert identify(3, full=True) == ['3', '3', '1/(1/3)', 'sqrt(9)',
|
||
|
|
'1/sqrt((1/9))', '(sqrt(12)/2)**2', '1/(sqrt(12)/6)**2']
|
||
|
|
assert identify(pi+1, {'a':+pi}) == '(1 + 1*a)'
|