コード例 #1
0
ファイル: test_logic.py プロジェクト: jrising/understand
 def test_simple(self):
     env = logic.understand("logic.py")
     self.assertTrue(env.frame[simple.types.IsLocalFilePath])
     env = logic.understand("3.14159")
     self.assertEqual(env.frame['numeric'], 3.14159)
     env = logic.understand("1,2,3,6,11,23,47,106,235")
     seqid = '%I A000055 M0791 N0299'
     self.assertEqual(env.frame[oeis.IntegerSequenceEncyclopedia][0][0:len(seqid)], seqid)
コード例 #2
0
ファイル: main.py プロジェクト: jrising/understand
import sys
import logic

print "Let's understand something!"

if len(sys.argv) > 1:
    something = sys.argv[1:]
else:
    something = raw_input("Input: ")

logic.understand(something)

# Old code:
file_type = types.IsLocalFilePath.verbose_check(env, something)

is_numseq = types.IsNumericalSequence(env)
numseq_property = is_numseq.check(something)
is_numseq.describe(numseq_property)

if numseq_property == int:
    oeis = IntegerSequenceEncyclopedia(env)
    sequences = oeis.check(env["intseq"])
    oeis.describe(sequences)

is_numerical = types.IsNumerical(env)
is_numerical.describe(is_numerical.check(something))