o
    jg>                     @   sD   d dl mZmZ d dlmZ d dlmZ dd Zdd Zdd	 Z	d
S )    )RecurrenceOperatorsRecurrenceOperator)symbols)QQc                  C   s8  t ddd} tt| d\}}||  | d | ksJ || d  | d d d|   | ks0J |d | d  | d d|   d |d  ksHJ |d | d  ||   d }| d d|   d |d  d| d  d	| d   d
|   d |d   | d d| d   d| d   d|   d |d   }||ksJ d S )NnTintegerSn               9   4      u   iD     )r   r   r   old_poly_ring)r   Rr	   pq r   ]/var/www/html/zoom/venv/lib/python3.10/site-packages/sympy/holonomic/tests/test_recurrence.pytest_RecurrenceOperator   s    (0X
r   c                  C   sn   t ddd} tt| d\}}t| d ddg|}t| d d| g|}||kr*J |jd }||kr5J d S )Nr   Tr   r	   r   r   r
   )r   r   r   r   r   
listofpoly)r   r   r	   rrrr2d2r   r   r   test_RecurrenceOperatorEqPoly   s   
r   c                  C   sn   t ddd} tt| d\}}t| d ddg|}t|jjg|}tdD ]}||| ks0J ||9 }q&d S )Nr   Tr   r	   r   r   
   )r   r   r   r   r   baseonerange)r   r   _r   amr   r   r   test_RecurrenceOperatorPow"   s   
r'   N)
sympy.holonomic.recurrencer   r   sympy.core.symbolr   !sympy.polys.domains.rationalfieldr   r   r   r'   r   r   r   r   <module>   s    