Edit File: KanExtension.cpython-37.pyc
B �]�R � @ sX G d d� d�Z G dd� d�ZG dd� d�ZG dd� d�ZG dd � d �ZG d d � d �Zd S ) c @ s| e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dd� Z dd� Z dd� Z dd� Zdd� Zdd � Zd S ) �LeftKanExtensionc C sh || _ |j| _| j�|� | j�|� | j�||� || _|| _dd� |D �| _|| _|| _| � � d S )Nc S s g | ]\}}t |�t |�f�qS � )�tuple)�.0�g�hr r �I/opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/KanExtension.py� <listcomp> s z-LeftKanExtension.__init__.<locals>.<listcomp>) �mod�CatZ check_graphZ check_rules�A�B�R�X�F�general_procedure)�selfr r r r r r r r r �__init__ s zLeftKanExtension.__init__c C s$ | � � | �� | �� | �� d S )N)�initialize_tables�make_confluent_system�make_automaton�make_natural_transformation)r r r r r $ s z"LeftKanExtension.general_procedurec C s i | _ i | _| �� d S )N)�obj_to_str_table�str_to_obj_table�make_initial_rules)r r r r r * s z"LeftKanExtension.initialize_tablesc sV g � � �fdd�}�x�j jD �]}�j �|�}�j �|�}�j�|�}�j�|�}t�j�|��}�j�|�}�j�|�} |r�|} x>|D ]6} �j �| �} | | kr�t d| | | f ���j �| �} q�W | | kr�t d|| | f ��n|| kr�t d|| f ��x*|D ]"} ||| ff| ||| �ff� q�W q W �fdd��j D �}� �_ |�_ � | �_d S )Nc s. �� | �}�� |�}||kr*� �||f� d S )N)� make_word�append)�a�bZawZbw)�Rer r r �add_rule5 s z5LeftKanExtension.make_initial_rules.<locals>.add_rulez9Arrow [%s] with source %s does not compose with target %sz0Arrow %s with target %s does not compose with %sz"Source %s does not match target %sc s$ g | ] \}}� � |�� � |�f�qS r )r )r �x�y)r r r r U s z7LeftKanExtension.make_initial_rules.<locals>.<listcomp>)r �arrows�source�targetr �fo�far r r � ValueErrorr r �Rk�Rinit)r r r �srca�tgta�XA�XaZFaZFsrcaZFtgta�tr �srcbr r( r )r r r r / s< &z#LeftKanExtension.make_initial_rulesc C s" | j j| jdd�| _| jj| _d S )N�.)�delim)r � KnuthBendixr) �rsZ reductions�Rconf)r r r r r [ s z&LeftKanExtension.make_confluent_systemc s �fdd��g �x6�j jD ]*}x$�j�|�D ]}��||ff� q,W qW tdd� �jjD ��}x2t�jj� � �D ] \}\}}|| �||f� qpW t�fdd��j D ��}i �xD�j D ]:\}} �� |�} x&t dt | ��D ]} d�| d | � < q�W q�W d} �j�| ��x*�D ]"} | |k�r ��| | d | � �q W x��D ]�} x�|�| � D ]r\}}|f}| | }|�k�rz��| |||� n>|�k�r�||k�r���| |||� n||k�rH��| ||� �qHW �q6W xd�jjD ]X}xP|| D ]D\}}|f}|�k�r��||||� n||k�r܈�|||� �q�W �q�W x|�D ]t}|�k�rB�q0x^|�|� D ]N\}}|f}|| }|�k�r���||||� n��|��rP��|||� �qPW �q0W �����fd d �}�j�|�jjd �� �j�� ��fd d ��jjt�}� �_|�_�j�� |��_d S ) Nc sB t | �dkr.t| d t�r.� j�| d d �S � j�| d �S d S )N� � ���)�len� isinstancer r r% r r$ )�e)r r r r$ b s z/LeftKanExtension.make_automaton.<locals>.targetc S s g | ] }|g f�qS r r )r r r r r r m s z3LeftKanExtension.make_automaton.<locals>.<listcomp>c s$ g | ] \}}� � |�� � |�f�qS r )� make_term)r �u�v)r r r r q s r5 )�s0r6 c s� i }d|| < x,� D ]$}�j �|d d �| krd||< qW x �D ]}�|�| kr@d||< q@W x0��� D ]$}x |D ]}||krpP qpW d||< qfW ��|�}�j�|�}t|�S )Nr5 r6 )r r% Zget_compositesZget_minimized_dfar �SolveFSA� RegularSet)�BiZfinals�xir< �c�sZdfaZregexp)r, �fsa�pplRr r$ r r �get_RS� s z/LeftKanExtension.make_automaton.<locals>.get_RSc s t �j� | ��j�j�S )N)� KanActionr � irreducible�reduce)r )�KBr r$ r r �<lambda>� s z1LeftKanExtension.make_automaton.<locals>.<lambda>)r �objectsr r% r �dictr �listr" �itemsr4 r; �ranger8 r �FiniteAutomaton�add_transitionrI r �FunctionrH rK �Kb�Functor�K)r r r Zfollowsr r/ ZtgtbZIR�l�rr. �ir> rB ZbtermZxibrA r< ZubrG rU r )rK r, rE rF r r$ r r _ sp z LeftKanExtension.make_automatonc s� �fdd��� ���fdd�}t dd� �jjD ��� g �x4�jjD ](}x"�j�|�D ]}|||ff� qTW qBW xV�rĈ}g �xD|D ]<}�|�}x.�jjD ]"��j���|kr�||�f � q�W q�W qpW i }x\�jjD ]P�� �j��� }� �j��� }t ��fdd�|D ��} �j � | ||�|�< q�W �j � � �jjt � � � ��� �j � |�jjt |� � ��}� �_ |�_�j �� |��_d S )Nc s4 t | �dkr � j�| d d �S � j�| d �S d S )Nr5 r6 r7 )r8 r r% r r$ )r: )r r r r$ � s z/LeftKanExtension.make_catalogue.<locals>.targetc s, �� | �r(��| � � �| � �| � n d S )N)rI r )r: )rK �blockr r$ r r � add_element� s z4LeftKanExtension.make_catalogue.<locals>.add_elementc S s g | ] }|g f�qS r r )r r r r r r � s z3LeftKanExtension.make_catalogue.<locals>.<listcomp>c s g | ]}|�� |� f �f�qS r )rJ )r rD )r r r r r � s )rN r rM r r r% r" r# r$ r rT rO �valuesrK rU rV rW ) r r\ r r Zoblockr: �tgtrU �src�tabr )rK r r[ r r$ r �make_catalogue� s4 z LeftKanExtension.make_cataloguec s, i � � �fdd�}�j �|�jjd ��_d S )Nc sd � �kr�� S �j �� �}�j��j�� ��}t� �fdd�|D ��}�j�|||��� < �� S )Nc s g | ]}|�� � |ff�f�qS r )rJ )r r )r r r r r s zQLeftKanExtension.make_natural_transformation.<locals>.get_nat.<locals>.<listcomp>)r r% rW r rN r rT )r r_ r^ r` )� get_nat_memor )r r �get_nat s z=LeftKanExtension.make_natural_transformation.<locals>.get_nat)r rT r rM �nat)r rc r )rb r r r s z,LeftKanExtension.make_natural_transformationc s | j � d�� fdd�|D ��S )Nr0 c s g | ]}|d kr� |��qS )� r )r r: )�otsr r r s z.LeftKanExtension.make_word.<locals>.<listcomp>)� obj_to_str�join)r r r )rf r r s zLeftKanExtension.make_wordc C s` | j }y|| S tk rZ t|t�r8t|�dkr8t�tt|��}|||< || j|< |S X d S )N� )r �KeyErrorr9 r r8 �AssertionError�strr )r r Zotn�nr r r rg s zLeftKanExtension.obj_to_strc C s | j | S )N)r )r r r r r � str_to_obj- s zLeftKanExtension.str_to_objc C s | � |�}|| j�|�kS )N)r r3 rJ )r r Ztxr r r rI 0 s z LeftKanExtension.irreduciblec C s | j �| �|��}| �|�S )N)r3 rJ r r; )r r �wr r r rJ 4 s zLeftKanExtension.reducec s" | j � t� fdd�|�d�D ��S )Nc s g | ]}|r� | �qS r r )r rD )�stor r r : s z.LeftKanExtension.make_term.<locals>.<listcomp>r0 )r r �split)r �wordr )rp r r; 8 s zLeftKanExtension.make_termN)�__name__� __module__� __qualname__r r r r r r ra r r rg rn rI rJ r; r r r r r s ,cB r c @ s e Zd Zdd� Zdd� ZdS )rH c C sJ |� |�}|�|�}||�| _||�| _|| _|| _|| _|| _|| _d S )N) r# r$ r_ r^ r r* �targetofrI rJ ) r r rK r rv rI rJ r* r+ r r r r > s zKanAction.__init__c C sd | � |�| jkr.td|| � |�| j| jf ��| �|�sRtd|| �|�| jf ��| �|| jf �S )Nz6Target of %r (= %r) does not match source of %r (= %r)zJArgument %r is reducible to %r; and is thus not in the source set K.fo(%r))rv r* � TypeErrorr rI rJ )r rD r r r �__call__I s zKanAction.__call__N)rs rt ru r rx r r r r rH = s rH c @ sR e Zd ZdZdd� Zdd� Zdd� Zdd � Zd d � Zd d � Z e e d�Z dd� Z dS )r@ r6 c C s || _ d S )N)�re)r ry r r r r ] s zRegularSet.__init__c C s t | j�S )N)�iter�uniform)r r r r �__iter__` s zRegularSet.__iter__c C s | j | S )N)r{ )r r r r r � __getitem__c s zRegularSet.__getitem__c C s t | j�S )N)r8 r{ )r r r r �__len__f s zRegularSet.__len__c C s& |}| j �|�}|�� }dd� |D �S )Nc S s g | ] }t |��qS r )r )r r r r r r m s z-RegularSet.get_xs_covered.<locals>.<listcomp>)ry �limited�sequni)r �coverage�Nr �xsr r r �get_xs_coveredi s zRegularSet.get_xs_coveredc C s | � � | j�� S )N)�simplifyry r� )r r r r � get_uniformo s zRegularSet.get_uniform)�fgetc C s | j s| j�� | _d| _ d S )Nr5 )� is_simplifiedry Z simplified)r r r r r� u s zRegularSet.simplifyN) rs rt ru r� r r| r} r~ r� r� �propertyr{ r� r r r r r@ U s r@ c @ sD e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dS )� ObjectTesterc C s || _ |j| _|| _|| _d S )N)�category_tester�functor�object�code)r r� r� r� r r r r | s zObjectTester.__init__c C s | j j| j S )N)r� r" r� )r r r r �get_all_arrows� s zObjectTester.get_all_arrowsc C s | j S )N)r� )r r r r �get_intermediate_test_code� s z'ObjectTester.get_intermediate_test_codec s& dddd�� d� � fdd�| jD ��S )Nzassert e[%r] == e[%r]ze[%r] = fa[%r](e[%r])zassert fo[%r](e[%r]))�aseq�evalfa�asfo� c s$ g | ] }� |d |dd� �qS )r6 r5 Nr )r rC )�cmapr r r � s z<ObjectTester.get_python_test_source_code.<locals>.<listcomp>)rh r� )r r )r� r �get_python_test_source_code� s z(ObjectTester.get_python_test_source_codec C s2 | � � }d|i}| jj| jj|d�}t||� |S )N�arg)r& r% r: )r� r� r& r% �exec)r r� r� r: �dr r r �execode� s zObjectTester.execodec C s� d|i}| j j}| j j}x�| jD ]�}|d }|dkr\|dd � \}}} || || �||< q |dkr�|dd � \} } || || �s�td��q |dkr�|dd � \} } || || kr�td| | f ��q td |f ��q W d S ) Nr� r6 r� r5 r� zPredicate failedr� ze[%r] != e[%r]zInvalid code: %r)r� r& r% r� r' ) r r� r: r& r% rC r �dst�arr_ �obZna�nbr r r � intercode� s" zObjectTester.intercodec C s | � |�S )N)r� )r r� r r r �test� s zObjectTester.testN) rs rt ru r r� r� r� r� r� r� r r r r r� { s r� c @ sV e Zd Zddd�Zdd� Zdd� Zdd � Zd d � Zd d � Zdd� Z dd� Z dd� Z dS )�CategoryTesterNc C s, || _ |j| _|| _|| _|d k r(|| _d S )N)r r_ �catr� r" �get_arrow_name)r r r� r" r� r r r r � s zCategoryTester.__init__c C s d� |�S )Nr0 )rh )r r r r r r� � s z CategoryTester.get_arrow_namec sZ �j j}|}d|i�d|fg�g � � ����fdd��x�j| D ] }�|� qBW � �fS )Nr c sb | �kr�| S | d d� }| d }�� | �}�|�}� �d|||f� |�| < ��| |f� |S )Nr7 r� )r� r )r �a0�a1�nameZna0)�codes� eval_arrow�memo�memolistr r r r� � s z7CategoryTester.get_eval_arrows_code.<locals>.eval_arrow)r� r& r" )r r� �argnamer& r� r� r )r� r� r� r� r r �get_eval_arrows_code� s z#CategoryTester.get_eval_arrows_codec C s | � |�}t| ||�S )N)�get_test_object_coder� )r r� r� r r r �get_object_tester� s z CategoryTester.get_object_testerc C s^ g }| j jj}xJ|D ]B\}}|}|r6| jj�|d �}|d ksF||kr|�d||f� qW |S )Nr7 r� )r� r% r_ r� �graphr$ r )r r� �mlr� r_ Zarrow�valuer� r r r �get_test_inclusion_code� s z&CategoryTester.get_test_inclusion_codec C s8 d}| � ||�\}}| �||�}| �||�}|| | S )Nr� )r� �get_test_relations_coder� )r r� r� Z evalcodesr� ZrelcodesZincodesr r r r� � s z#CategoryTester.get_test_object_codec s� g � �j }�jj}t|��� ���fdd��x�|jD ]�\}}t|�}t|�}|j�|d �}xv|D ]n\}} |r�|j�|d �} n|} || krb|| } || } | | krb�| �} �| �}| |ks�t �� � d| |f� qbW q4W � S )Nc sL | �kr�| S �| d d� �}�� | �}� �d|| d |f� |�| < |S )Nr7 r� )r� r )r� r� r� )r� r� r � teval_arrowr r r� � s z;CategoryTester.get_test_relations_code.<locals>.teval_arrowr6 r7 r� ) r� r� r& rN � relationsr r� r# r$ rk r )r r� r� r� r& r r r_ Zarr�valr^ ZaraZarb�vaZvbr )r� r� r r� r r� � s, z&CategoryTester.get_test_relations_codec C s | � |�}|�|� |S )N)r� r� )r r� r� �testerr r r � test_object s zCategoryTester.test_objectc C s2 y| � ||� W n tk r$ Y n X td��d S )NzException excepted)r� � Exception)r r� r� r r r �test_object_fail! s z CategoryTester.test_object_fail)N) rs rt ru r r� r� r� r� r� r� r� r� r r r r r� � s 'r� c @ s` e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zdd d�Zddd�Z dd� Z dd� Z dd� Z dS )� _GLUECLAMP_c C s | j jjS )N)�_parentr2 )r r r r �_get_KnuthBendix- � z _GLUECLAMP_._get_KnuthBendixc C s | j jjS )N)r� ZFSArR )r r r r �_get_FiniteAutomaton. r� z _GLUECLAMP_._get_FiniteAutomatonc C s | j jjS )N)r� ZREr? )r r r r � _get_SolveFSA/ r� z_GLUECLAMP_._get_SolveFSAc C s | j jS )N)r� r )r r r r �_get_Cat0 r� z_GLUECLAMP_._get_Catc C s t | |||||�S )N)r )r r r r r r r r r �lke5 s z_GLUECLAMP_.lker6 r5 c s� �r |� � }| j�|jjg �}|j}|j}| j�dd� dd� �}| j�dd� dd� �}| �|||||��i �� ���fdd�} | jj| �j j j d d�S ) Nc S s dgS )Nr5 r )r r r r rL B r� z(_GLUECLAMP_.arrows_map.<locals>.<lambda>c S s dd� S )Nc S s | S )Nr )r! r r r rL B r� z:_GLUECLAMP_.arrows_map.<locals>.<lambda>.<locals>.<lambda>r )r r r r rL B r� c S s | S )Nr )r r r r rL C r� c S s g S )Nr )r r r r rL C r� c s� | �kr�| S �j j| j�� }�r.|�� }t� ��d�r�t� dd � �}g }|�� }xRt d|d �D ] }|� dd� |� |�D �� qhW n |� � �}|� � }dd� |D �}|�| < |S )N�length� r5 c S s g | ] }t |��qS r )r )r r r r r r S s z>_GLUECLAMP_.arrows_map.<locals>.get_arrows.<locals>.<listcomp>c S s g | ] }t |��qS r )r )r r r r r r W s )rW r% ry Z rempretup�reversedrl � startswith�intZget_words_memorQ �extendZget_words_of_lengthr r� )r� ry �maxlenr� r� rZ )r� � from_objects�ker� r r � get_arrowsH s z*_GLUECLAMP_.arrows_map.<locals>.get_arrows)r_ r^ ) Zget_dualr �Graphr� rM r� rV r� rT rW r% r_ ) r r� r� r� r r r r r r� r )r� r� r� r� r � arrows_map; s z_GLUECLAMP_.arrows_mapNc C sZ t |t�r4|\}}}|d kr$dd� }| j�|||�}|d krN| j|jd|d�}t| ||�S )Nc S s dd� S )Nc S s dS )Nr5 r )r! r r r rL e r� z9_GLUECLAMP_.category_tester.<locals>.fo.<locals>.<lambda>r )r r r r r% e r� z'_GLUECLAMP_.category_tester.<locals>.for5 )r� r� )r9 r r rV r� r_ r� )r r� r" r� r% r& r_ r r r r� a s z_GLUECLAMP_.category_testerc C sz ddg}ddd�}| j �||�}| j �||d�|||g�}| j �||d�|||g�} | j �|| �} | �|| �\} } | d S )Nr6 r5 )r6 r5 )r� r� )r r� rT rV �colimit) r ZS0ZS1Zf0�f1rM r" r ZXor- r �colimit_object�colimit_functionsr r r � coequalizerl s z_GLUECLAMP_.coequalizerc s� �j �dgi �}g }�j �dd� dd� �}��|||||�}|jd � |j}dd� � D �� t� �fdd�t|�� �D ��}� |fS )Nr6 c S s dS )Nr6 r )r r r r rL � r� z%_GLUECLAMP_.colimit.<locals>.<lambda>c S s dS )Nr r )r r r r rL � r� c S s g | ] }|d �qS )r6 r )r r r r r r � s z'_GLUECLAMP_.colimit.<locals>.<listcomp>c s< g | ]4\}}|�j �td d� t|�� �D ��|j� �f�qS )c S s g | ]\}}||d f�qS )r6 r )r r �kr r r r � s z2_GLUECLAMP_.colimit.<locals>.<listcomp>.<listcomp>)r rT rN rO rP r_ )r r Zcof)r� r r r r � s ) r r� rV r� rK rd rN rO rP )r r r r r r Zlkar� r )r� r r r� � s z_GLUECLAMP_.colimitc C s | � |�}|�||�S )N)r� r� )r r� r� r� r� r r r � test_arrows� s z_GLUECLAMP_.test_arrows)r6 r5 )Nr5 ) rs rt ru r� r� r� r� r� r� r� r� r� r� r r r r r� * s & *!r� N)r rH r@ r� r� r� r r r r �<module> s >&9v