o ij@s@dZddlmZddlmZddlmZeGdddeZdS)z2Implementation of :class:`CompositeDomain` class. )Domain)GeneratorsError)publicc@sfeZdZdZdZdgd\ZZZZddZ ddZ d d Z e d d Z d dZe ddZddZdS)CompositeDomainz5Base class for composite domains, e.g. ZZ[x], ZZ(X). TNcGs<t|jt|@s||j|j||jStd|j|f)z%Inject generators into this domain. zcommon generators in %s and %s)setsymbols __class__domainorderr)selfrr r/var/www/html/eduruby.in/lip-sync/lip-sync-env/lib/python3.10/site-packages/sympy/polys/domains/compositedomain.pyinjectszCompositeDomain.injectcsDt|tfdd|jD}|jj|}|s|S||||jS)z"Drop generators from this domain. c3s|] }|vr|VqdSNr ).0sZsymsetr r sz'CompositeDomain.drop..)rtuplerr dropr r )r rZnewsymsr r rrrs  zCompositeDomain.dropcCs|||j|jS)z&Set the ground domain of this domain. )r rr )r r r r r set_domain"szCompositeDomain.set_domaincC|jjS)z*Returns ``True`` if this domain is exact. )r is_Exactr r r rr&szCompositeDomain.is_ExactcCs||jS)z)Returns an exact version of this domain. )rr get_exactrr r rr+szCompositeDomain.get_exactcCrr)r has_CharacteristicZerorr r rr/sz&CompositeDomain.has_CharacteristicZerocCs |jSr)r characteristicrr r rr3s zCompositeDomain.characteristic)__name__ __module__ __qualname____doc__Z is_CompositeZgensZngensrr rrrpropertyrrrrr r r rr s    rN)r!Zsympy.polys.domains.domainrZsympy.polys.polyerrorsrZsympy.utilitiesrrr r r rs