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)
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))