ó ¡¼™\c@ s¨dZddlmZmZddlmZmZddlmZddl m Z ddl m Z ddl mZddlmZed e ee fd „ƒYƒZd S( s3Implementation of :class:`ExpressionDomain` class. iÿÿÿÿ(tprint_functiontdivision(tsympifyt SympifyError(tCharacteristicZero(tField(t SimpleDomain(tPicklableWithSlots(tpublictExpressionDomaincB seZdZeZZdefd„ƒYZeZedƒZ edƒZ dZ e Z eZd„Zd„Zd„Zd „Zd „Zd „Zd „Zd „Zd„Zd„Zd„Zd„Zd„Zd„Zd„Zd„Zd„Zd„Z d„Z!d„Z"d„Z#RS(s#A class for arbitrary expressions. t ExpressioncB s eZdZdgZd„Zd„Zd„Zd„Zd„Zd„Z d„Z d „Z d „Z d „Z d „Zd „Zd„Zd„Zd„Zd„Zd„Zd„Zd„Zd„ZeZeZd„Zd„Zd„ZeZd„Zd„ZRS(sAn arbitrary expression. texcC s4t||jƒs$t|ƒ|_n |j|_dS(N(t isinstancet __class__RR (tselfR ((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__init__scC sdt|jƒS(NsEX(%s)(treprR (tf((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__repr__scC sdt|jƒS(NsEX(%s)(tstrR (R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__str__ scC st|jj|jfƒS(N(thashR t__name__R (R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__hash__#scC s|jS(N(R (R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytas_expr&scC s|j|jjƒdƒS(Ni(R R tas_numer_denom(R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytnumer)scC s|j|jjƒdƒS(Ni(R R R(R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytdenom,scC s|j|jƒƒS(N(R tcancel(RR ((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytsimplify/scC s|jt|jƒƒS(N(R tabsR (R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__abs__2scC s|j|j ƒS(N(R R (R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__neg__5scC s*y|j|ƒSWntk r%dSXdS(N(R RtNone(Rtg((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt_to_ex8s cC s:|j|ƒ}|dk r2|j|j|jƒStSdS(N(R#R!RR tNotImplemented(RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__add__>s cC s |j|j|ƒj|jƒS(N(RR R (RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__radd__FscC s:|j|ƒ}|dk r2|j|j|jƒStSdS(N(R#R!RR R$(RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__sub__Is cC s |j|j|ƒj|jƒS(N(RR R (RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__rsub__QscC s:|j|ƒ}|dk r2|j|j|jƒStSdS(N(R#R!RR R$(RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__mul__Ts cC s |j|j|ƒj|jƒS(N(RR R (RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__rmul__\scC s:|j|ƒ}|dk r2|j|j|jƒStSdS(N(R#R!RR R$(Rtn((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__pow___s cC s:|j|ƒ}|dk r2|j|j|jƒStSdS(N(R#R!RR R$(RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt __truediv__gs cC s |j|j|ƒj|jƒS(N(RR R (RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt __rtruediv__oscC s|j|j|ƒjkS(N(R R (RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__eq__uscC s ||k S(N((RR"((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt__ne__xscC s |jdkS(Ni(R (R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt __nonzero__{scC s5ddlm}|j||j|j|ƒjƒƒS(Niÿÿÿÿ(tgcd(t sympy.polysR2R R (RR"R2((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyR2€scC s5ddlm}|j||j|j|ƒjƒƒS(Niÿÿÿÿ(tlcm(R3R4R R (RR"R4((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyR4„s( Rt __module__t__doc__t __slots__RRRRRRRRRR R#R%R&R'R(R)R*R,R-R.t__div__t__rdiv__R/R0R1t__bool__R2R4(((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyR s<                         iitEXcC sdS(N((R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyR’scC s |jƒS(s!Convert ``a`` to a SymPy object. (R(Rta((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytto_sympy•scC s |j|ƒS(s)Convert SymPy's expression to ``dtype``. (tdtype(RR<((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt from_sympy™scC s||j|ƒƒS(s.Convert a Python ``int`` object to ``dtype``. (R=(tK1R<tK0((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytfrom_ZZ_pythonscC s||j|ƒƒS(s3Convert a Python ``Fraction`` object to ``dtype``. (R=(R@R<RA((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytfrom_QQ_python¡scC s||j|ƒƒS(s,Convert a GMPY ``mpz`` object to ``dtype``. (R=(R@R<RA((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt from_ZZ_gmpy¥scC s||j|ƒƒS(s,Convert a GMPY ``mpq`` object to ``dtype``. (R=(R@R<RA((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt from_QQ_gmpy©scC s||j|ƒƒS(s.Convert a mpmath ``mpf`` object to ``dtype``. (R=(R@R<RA((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytfrom_RealField­scC s||j|ƒƒS(s'Convert a ``DMP`` object to ``dtype``. (R=(R@R<RA((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytfrom_PolynomialRing±scC s||j|ƒƒS(s'Convert a ``DMF`` object to ``dtype``. (R=(R@R<RA((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytfrom_FractionFieldµscC s|S(s&Convert a ``EX`` object to ``dtype``. ((R@R<RA((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytfrom_ExpressionDomain¹scC s|S(s)Returns a ring associated with ``self``. ((R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pytget_ring½scC s|S(s*Returns a field associated with ``self``. ((R((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyt get_fieldÁscC s|jjƒdjS(s#Returns True if ``a`` is positive. i(R t as_coeff_mult is_positive(RR<((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyRMÅscC s|jjƒdjS(s#Returns True if ``a`` is negative. i(R RLt is_negative(RR<((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyRNÉscC s|jjƒdjS(s'Returns True if ``a`` is non-positive. i(R RLtis_nonpositive(RR<((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyROÍscC s|jjƒdjS(s'Returns True if ``a`` is non-negative. i(R RLtis_nonnegative(RR<((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyRPÑscC s |jƒS(sReturns numerator of ``a``. (R(RR<((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyRÕscC s |jƒS(sReturns denominator of ``a``. (R(RR<((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyRÙscC s |j|ƒS(N(R2(RR<tb((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyR2ÝscC s |j|ƒS(N(R4(RR<RQ((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyR4às($RR5R6tTruetis_SymbolicDomaintis_EXRR R>tzerotonetreptFalsethas_assoc_Ringthas_assoc_FieldRR=R?RBRCRDRERFRGRHRIRJRKRMRNRORPRRR2R4(((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyR s< v                      N(R6t __future__RRt sympy.coreRRt&sympy.polys.domains.characteristiczeroRtsympy.polys.domains.fieldRt sympy.polys.domains.simpledomainRtsympy.polys.polyutilsRtsympy.utilitiesRR (((sClib/python2.7/site-packages/sympy/polys/domains/expressiondomain.pyts