o
    8Va                     @   s4   d dl mZmZ d dlmZ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ZintegerSn               9   4      u   iD     )r   r   r   old_poly_ring)r   Rr   pq r   G/usr/lib/python3/dist-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   Z
listofpoly)r   r   r   ZrrZrr2Zd2r   r   r   test_RecurrenceOperatorEqPoly   s   
r   N)Zsympy.holonomic.recurrencer   r   Zsympyr   r   r   r   r   r   r   r   <module>   s    