Searched refs:inf (Results 1 – 2 of 2) sorted by relevance
204 def __init__(self, inf, lexemes): argument208 data = inf.read()344 inf = open(args.input, 'r') if args.input else sys.stdin350 p = Parse(inf, lexemes)
689 ![lim,n->inf((1/n)sum,i,0->n(ctz(i)+1)) = sum,i,0->inf(1/2^i) = 2][ctz-formula1]
