U t”í`¯ã@s\ddlTddlTddlTddd„Zddd„Zddd„Zdd d „Zdd d „ZGdd„dƒZdS)é)Ú*NcCst|tƒr|St||ƒSdS©N)Ú isinstanceÚRCFNum)ÚnumÚctx©rúsrc/api/python/z3/z3rcf.pyÚ _to_rcfnums r cCst |¡}tt| ¡ƒ|ƒSr)Úz3Úget_ctxrÚ Z3_rcf_mk_piÚref©rrrr ÚPis rcCst |¡}tt| ¡ƒ|ƒSr)r r rÚ Z3_rcf_mk_errrrr ÚEs rÚepscCst |¡}tt| ¡ƒ|ƒSr)r r rÚZ3_rcf_mk_infinitesimalr)Únamerrrr ÚMkInfinitesimal"s rc Cs–t |¡}t|ƒ}g}t|ƒ}t|ƒ}t|ƒD]&}t|||ƒ}| |¡|j||<q2t|  ¡|||ƒ}g} t|ƒD]}|  t |||ƒ¡qx| Sr) r r ÚlenÚ RCFNumObjÚranger ÚappendrÚZ3_rcf_mk_rootsrr) ÚprrZ_tmpZ_asZ_rsÚiZ_aÚnrÚrrrr ÚMkRoots)s       r c@sðeZdZd;dd„Zdd„Zdd„Zdd „Zd d „Zd d „Zdd„Z dd„Z dd„Z dd„Z dd„Z dd„Zdd„Zdd„Zdd„Zd d!„Zdr?rArErFrIrLrMrPrQrTrUrXrYr[r]rarrrr r:s8  r)N)N)N)rN)N) r Zz3coreZ z3printerr rrrr rrrrr Ú s