U Zʹj@sUdZddlmZddlmZddlZddlmZddlm Z ddl m Z ddl m Z dd lmZe Gd d d ee ZiZd ed <ddZdS)z1Implementation of :class:`ModularInteger` class. ) annotations)AnyN)PicklableWithSlots)CoercionFailed) DomainElement)public)sympy_deprecation_warningc@s0eZdZdZd\ZZZZdZddZ ddZ dd Z d d Z d d Z ddZddZddZddZddZeddZddZddZddZd d!Zd"d#Zd$d%Zd&d'Zd(d)Zd*d+Zd,d-Zd.d/Zd0d1Z d2d3Z!d4d5Z"d6d7Z#d8d9Z$d:d;Z%dd?Z'd@dAZ(edBdCZ)dDdEZ*dFS)GModularIntegerz(A class representing a modular integer. )NNNN)valcCs|jSN)_parentselfra/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/polys/domains/modularinteger.pyparentszModularInteger.parentcCs4t||jr|j|j|_n|j||j|_dSr ) isinstance __class__r moddomconvert)rr rrr__init__s zModularInteger.__init__cCs|jSr )rr rrrmodulus szModularInteger.moduluscCst|j|jfSr )hashr rr rrr__hash__#szModularInteger.__hash__cCsd|jj|jfS)Nz%s(%s))r__name__r r rrr__repr__&szModularInteger.__repr__cCsd|j|jfS)Nz %s mod %s)r rr rrr__str__)szModularInteger.__str__cCs t|jSr )intr r rrr__int__,szModularInteger.__int__cCsBtdddd|jr8|j|jdkr*|jS|j|jSn|jSdS)NzModularInteger.to_int() is deprecated. Use int(a) or K = GF(p) and K.to_int(a) instead of a.to_int(). 1.13zmodularinteger-to-int)deprecated_since_versionactive_deprecations_target)rsymr rr rrrto_int/s zModularInteger.to_intcCs|Sr rr rrr__pos__BszModularInteger.__pos__cCs||j Sr )rr r rrr__neg__EszModularInteger.__neg__cCs:t||r|jSz|j|WStk r4YdSXdSr )rr rrr)clsotherrrr_get_valHs  zModularInteger._get_valcCs*||}|dk r"||j|StSdSr r*rr NotImplementedrr)r rrr__add__Rs zModularInteger.__add__cCs ||Sr r.rr)rrr__radd__ZszModularInteger.__radd__cCs*||}|dk r"||j|StSdSr r+r-rrr__sub__]s zModularInteger.__sub__cCs | |Sr r/r0rrr__rsub__eszModularInteger.__rsub__cCs*||}|dk r"||j|StSdSr r+r-rrr__mul__hs zModularInteger.__mul__cCs ||Sr )r4r0rrr__rmul__pszModularInteger.__rmul__cCs0||}|dk r(||j||StSdSr )r*rr _invertr,r-rrr __truediv__ss zModularInteger.__truediv__cCs||Sr )invertr4r0rrr __rtruediv__{szModularInteger.__rtruediv__cCs*||}|dk r"||j|StSdSr r+r-rrr__mod__~s zModularInteger.__mod__cCs*||}|dk r"|||jStSdSr r+r-rrr__rmod__s zModularInteger.__rmod__cCsL|s||jjS|dkr.|j| }}n|j}|t|t||jS)Nr)rroner8r powrr)rexpr rrr__pow__s zModularInteger.__pow__cCs(||}|dkrtS||j||jSr )r*r,r rrr)opr rrr_compares zModularInteger._comparecCs8||}|dkrtStddddd||j||jS)Nz~Ordered comparisons with modular integers are deprecated. Use e.g. int(a) < int(b) instead of a < b. r zmodularinteger-compare)r!r" stacklevel)r*r,rr rr@rrr_compare_deprecateds  z"ModularInteger._compare_deprecatedcCs||tjSr )rBoperatoreqr0rrr__eq__szModularInteger.__eq__cCs||tjSr )rBrFner0rrr__ne__szModularInteger.__ne__cCs||tjSr )rErFltr0rrr__lt__szModularInteger.__lt__cCs||tjSr )rErFler0rrr__le__szModularInteger.__le__cCs||tjSr )rErFgtr0rrr__gt__szModularInteger.__gt__cCs||tjSr )rErFger0rrr__ge__szModularInteger.__ge__cCs t|jSr )boolr r rrr__bool__szModularInteger.__bool__cCs|j||jSr )rr8r)r(valuerrrr6szModularInteger._invertcCs|||jSr )rr6r r rrrr8szModularInteger.invertN)+r __module__ __qualname____doc__rrr$r __slots__rrrrrrrr%r&r' classmethodr*r.r1r2r3r4r5r7r9r:r;r?rBrErHrJrLrNrPrRrTr6r8rrrrr sL    r z0dict[tuple[Any, Any, Any], type[ModularInteger]]_modular_integer_cachecszWntk r&d}YnXd}|r8dkrDtdf}z t|}WnPtk rGfdddt}rd|_n d|_|t|<YnX|S) z1Create custom class for specific integer modulus.FTz*modulus must be a positive integer, got %scs eZdZZZZZdS)z"ModularIntegerFactory..clsN)rrVrWrrr$r r_dom_mod_symrrrr(sr(zSymmetricModularIntegerMod%szModularIntegerMod%s)rr ValueErrorr[KeyErrorr r)r_r^r`rokkeyr(rr]rModularIntegerFactorys"       re)rX __future__rtypingrrFZsympy.polys.polyutilsrZsympy.polys.polyerrorsrZ!sympy.polys.domains.domainelementrZsympy.utilitiesrZsympy.utilities.exceptionsrr r[__annotations__rerrrrs       @