NeronSeveriBound.py 文件源码

def verify_batch(start = 0, limitN = 7000, verbose = False):
    from lmfdb import getDBconnection
    import pymongo
    C = getDBconnection()
    i = 0
    bound = 0;
    label = None
    for curve in C.genus2_curves.curves.find().sort([("cond", pymongo.ASCENDING), ("label", pymongo.ASCENDING)]).limit(limitN).skip(start):
        label = curve['label']
        Lhash = curve['Lhash'];
        q, rendo, reuler = verify_curve_lmfdb(label, Lhash)
        if not q:
            print "FAILED at label = %s" % label
        if verbose:
            print label, q
        i+=1
        if int(100.0*i/limitN) >= bound:
            print "%s%%\t %s / 66158\t at label = %s" %(int(100.0*i/limitN), start + i, label)
            bound+=1
    print "Done from %s to %s / 66158\t at label = %s" %(start + 1, start + i, label)