def make_cond_key(D): D1 = ZZ(D) if D1 < 1: D1 = ZZ.one() D1 = int(D1.log(10)) return '%04d%s' % (D1, str(D))
def make_cond_key(D): D1=ZZ(D) if D1<1: D1=ZZ(1) D1 = int(D1.log(10)) return '%04d%s'%(D1,str(D))