<s> from mpmath import * <EOL> def test_pslq ( ) : <EOL> mp . dps = <NUM_LIT:15> <EOL> assert pslq ( [ <NUM_LIT:3> * pi + <NUM_LIT:4> * e / <NUM_LIT:7> , pi , e , log ( <NUM_LIT:2> ) ] ) == [ <NUM_LIT:7> , - <NUM_LIT> , - <NUM_LIT:4> , <NUM_LIT:0> ] <EOL> assert pslq ( [ <NUM_LIT> , <NUM_LIT:1> ] ) == [ <NUM_LIT:1> , - <NUM_LIT:5> ] <EOL> assert pslq ( [ <NUM_LIT:2> , <NUM_LIT:1> ] ) == [ <NUM_LIT:1> , - <NUM_LIT:2> ] <EOL> def test_identify ( ) : <EOL> mp . dps = <NUM_LIT:20> <EOL> assert identify ( zeta ( <NUM_LIT:4> ) , [ '<STR_LIT>' , '<STR_LIT>' ] ) == '<STR_LIT>' <EOL> mp . dps = <NUM_LIT:15> <EOL> assert identify ( exp ( <NUM_LIT:5> ) ) == '<STR_LIT>' <EOL> assert identify ( exp ( <NUM_LIT:4> ) ) == '<STR_LIT>' <EOL> assert identify ( log ( <NUM_LIT:5> ) ) == '<STR_LIT>' <EOL> assert identify ( exp ( <NUM_LIT:3> * pi ) , [ '<STR_LIT>' ] ) == '<STR_LIT>' <EOL> assert identify ( <NUM_LIT:3> , full = True ) == [ '<STR_LIT:3>' , '<STR_LIT:3>' , '<STR_LIT>' , '<STR_LIT>' , <EOL> '<STR_LIT>' , '<STR_LIT>' , '<STR_LIT>' ] <EOL> assert identify ( pi + <NUM_LIT:1> , { '<STR_LIT:a>' : + pi } ) == '<STR_LIT>' </s>
