o
    *ήc                      @   s<   d dl mZmZ d dlmZ d dlm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   L/tmp/pip-target-vg8gfxp4/lib/python/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   N)	sympy.holonomic.recurrencer   r   sympy.core.symbolr   !sympy.polys.domains.rationalfieldr   r   r   r   r   r   r   <module>   s
    