Révision 222 pobysoPythonSage/src/pobyso.py
pobyso.py (revision 222) | ||
---|---|---|
1231 | 1231 |
else: |
1232 | 1232 |
if debug: |
1233 | 1233 |
print "Exit with the last before last polynomial." |
1234 |
print "Precision of highest degree monomial:", itpSa |
|
1235 |
print "Precision of constant term :", ftpSa |
|
1234 | 1236 |
sollya_lib_clear_obj(resPolySo) |
1235 | 1237 |
sollya_lib_clear_obj(infNormSo) |
1236 | 1238 |
return (lastResPolySo, lastInfNormSo) |
... | ... | |
1248 | 1250 |
sollya_lib_clear_obj(lastResPolySo) |
1249 | 1251 |
if not lastInfNormSo is None: |
1250 | 1252 |
sollya_lib_clear_obj(lastInfNormSo) |
1253 |
if debug: |
|
1254 |
print "Exit because can't shrink anymore (numerically)." |
|
1255 |
print "Precision of highest degree monomial:", itpSa |
|
1256 |
print "Precision of constant term :", ftpSa |
|
1251 | 1257 |
return (resPolySo, infNormSo) |
1252 | 1258 |
## Can't shrink (not enough precision left) |
1253 | 1259 |
if ntpSa <= itpSa: |
... | ... | |
1255 | 1261 |
sollya_lib_clear_obj(lastResPolySo) |
1256 | 1262 |
if not lastInfNormSo is None: |
1257 | 1263 |
sollya_lib_clear_obj(lastInfNormSo) |
1264 |
print "Exit because can't shrink anymore (no bits left)." |
|
1265 |
print "Precision of highest degree monomial:", itpSa |
|
1266 |
print "Precision of constant term :", ftpSa |
|
1258 | 1267 |
return (resPolySo, infNormSo) |
1259 | 1268 |
ftpSa = ntpSa |
1260 | 1269 |
if not lastResPolySo is None: |
... | ... | |
1269 | 1278 |
sollya_lib_clear_obj(lastResPolySo) |
1270 | 1279 |
if not lastInfNormSo is None: |
1271 | 1280 |
sollya_lib_clear_obj(lastInfNormSo) |
1281 |
if debug: |
|
1282 |
print "Exit normally." |
|
1283 |
print "Precision of highest degree monomial:", itpSa |
|
1284 |
print "Precision of constant term :", ftpSa |
|
1272 | 1285 |
return (resPolySo, infNormSo) |
1273 | 1286 |
# End wile True |
1274 | 1287 |
return None |
Formats disponibles : Unified diff