o
    *ήc                     @   s   d dl mZmZmZmZmZmZmZ d dlm	Z	 d dl
mZ 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 )    )ObjectMorphismIdentityMorphismNamedMorphismCompositeMorphismDiagramCategory)Class)raises)DictTuple)EmptySet)	FiniteSetc                     s  t d t dt d} t d}t dj ksJ jks$J t dks.J t t}j ks=J j ksDJ t ksLJ |ksRJ t| djdks_J kseJ t| dksoJ t| dksyJ tksJ }|j ksJ |j| ksJ |jt	ksJ  |ksJ t|ksJ t  ksJ t| |d}| }|  }|| |ksJ | |ksJ t||ksJ |
d}t|tsJ |jdksJ |j ksJ |j|ksJ  ksJ | ksJ  ks"J tks+J ttfd	d
 ttfdd
 ttfdd
 ttfdd
 ttfdd
 ttfdd
 tt fdd
 tt fdd
 d S )NABCDfghuc                      s     S N r   )r   r   r   N/tmp/pip-target-vg8gfxp4/lib/python/sympy/categories/tests/test_baseclasses.py<lambda>J       z test_morphisms.<locals>.<lambda>c                      
     d S r   composer   r   r   r   r   L      
 c                      r   r   r   r   id_Ar   r   r   M   r    c                          d  S r   r   r   r   r   r   r   N   r   c                      r#   r   r   r   r!   r   r   r   O   r   c                      s   t  d dS )N   )r   r   r   r   r   r   Q       c                      s   t  dS N )r   r   r   r   r   r   r   S   r%   c                      s
   t  S r   )r   r   r(   r   r   r   T   r    )r   r   domaincodomainr   namer   r   
componentsr   flatten
isinstancer
   
ValueError	TypeErrorNotImplementedError)r   r   id_Bkr   pr   u2r   )r   r   r   r   r"   r   test_morphisms   sd   

r6   c                     sh  t d t d} t d}t | d}t| |d}t }t| }t}t|g}|jt | ks1J | | t||fks?J |  t||fksMJ || | t||fks[J |t||gkseJ |t||gksoJ t||g}| |d }	|jt | |ksJ || |j	 v sJ |	t|| ksJ t|g}
||
ksJ ||ksJ t
|t
|
ksJ t|di}
||
ksJ t||g|| dijt|| tdiksJ  |t|| t|| fksJ t||g|| g |t|| t|| fksJ t|ddg|dij||  tdks)J t|g|gjti ks:J t jti ksGJ jti ksQJ j|ksYJ tt|tdd|dij||  tdkstJ t|| g|jv sJ |jv sJ t||g|| dit|g}|sJ |rJ tt|  d	g|rJ |rJ t||g|| dd
gi}|rJ |rJ t|dit|di}|rJ |rJ t||g|d|| dit | }|t|g|diksJ tt fdd tt fdd d S )Nr   r   r   r   r   r   uniqueisomorphismzf'	somethingbloohbleeh
veryuniquec                      s    t tdS )Nr   )subdiagram_from_objectsr   r   r   r   dr   r   r      s    ztest_diagram.<locals>.<lambda>c                      s   t t diS )Nr7   )r   r   r   )r   r   r   r      s    )r   r   r   r   r   objectsr   hompremiseskeyshashconclusionsr   is_subdiagramr=   r
   r/   )r   r   r   r   r"   r2   emptyd1d2homACd11r   r>   r   test_diagramW   s~   

(*
rL   c            	      C   s   t d} t d}t d}t| |d}t||d}t||g}t|g}|j|jB }td|||gd}|jdks9J |jt|ksBJ |jt||ksLJ t	t
dd	  d S )
Nr   r   r   r   r   K)commutative_diagramsc                   S   s   t dS r&   )r   r   r   r   r   r      r   ztest_category.<locals>.<lambda>)r   r   r   r@   r   r+   r	   rN   r   r
   r/   )	r   r   r   r   r   rH   rI   r@   rM   r   r   r   test_category   s   
rO   N)sympy.categoriesr   r   r   r   r   r   r   sympy.categories.baseclassesr	   sympy.testing.pytestr
   sympy.core.containersr   r   
sympy.setsr   sympy.sets.setsr   r6   rL   rO   r   r   r   r   <module>   s   $ Lg