Current File : //opt/alt/python37/lib64/python3.7/site-packages/guppy/etc/__pycache__/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�.)Zdelim)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 r4 )�s0r5 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 )Nr4 r5 )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" �itemsr3 r: �ranger7 r �FiniteAutomatonZadd_transitionrH r
�FunctionrG rJ �Kb�Functor�K)r r r Zfollowsr r/ ZtgtbZIR�l�rr. �ir= rA ZbtermZxibr@ r; ZubrF rS r )rJ r, rD rE 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 )Nr4 r5 r6 )r7 r r% r r$ )r9 )r r r r$ � s z/LeftKanExtension.make_catalogue.<locals>.targetc s, �� | �r(��| � � �| � �| � n d S )N)rH r )r9 )rJ �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 )rI )r rC )r r r r r � s )rM r rL r r r% r" r# r$ r
rR rN �valuesrJ rS rT rU )
r rZ r r Zoblockr9 �tgtrS �src�tabr )rJ r rY 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 )rI )r r )r r r r r s zQLeftKanExtension.make_natural_transformation.<locals>.get_nat.<locals>.<listcomp>)r r% rU r rM r
rR )r r] r\ r^ )� get_nat_memor )r r �get_nat s z=LeftKanExtension.make_natural_transformation.<locals>.get_nat)r
rR r rL �nat)r ra r )r` r r r s
z,LeftKanExtension.make_natural_transformationc s | j � d�� fdd�|D ��S )Nr0 c s g | ]}|d kr� |��qS )� r )r r9 )�otsr r r s z.LeftKanExtension.make_word.<locals>.<listcomp>)�
obj_to_str�join)r r r )rd 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 �KeyErrorr8 r r7 �AssertionError�strr )r r Zotn�nr r r re 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 r2 rI )r r Ztxr r r rH 0 s
z LeftKanExtension.irreduciblec C s | j �| �|��}| �|�S )N)r2 rI r r: )r r �wr r r rI 4 s zLeftKanExtension.reducec s" | j � t� fdd�|�d�D ��S )Nc s g | ]}|r� | �qS r r )r rC )�stor r r : s z.LeftKanExtension.make_term.<locals>.<listcomp>r0 )r r �split)r Zwordr )rn r r: 8 s zLeftKanExtension.make_termN)�__name__�
__module__� __qualname__r r r r r r r_ r r re rl rH rI r: r r r r r s ,cB
r c @ s e Zd Zdd� Zdd� ZdS )rG c C sJ |� |�}|�|�}||�| _||�| _|| _|| _|| _|| _|| _d S )N) r# r$ r] r\ r r* �targetofrH rI ) r r rJ r rs rH rI 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))rs r* � TypeErrorr rH rI )r rC r r r �__call__I s
zKanAction.__call__N)rp rq rr r ru r r r r rG = s rG c @ sR e Zd ZdZdd� Zdd� Zdd� Zdd � Zd
d � Zd d
� Z e
e d�Z dd� Z dS )r? r5 c C s
|| _ d S )N)�re)r rv 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)rx )r r r r r � __getitem__c s zRegularSet.__getitem__c C s
t | j�S )N)r7 rx )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>)rv �limited�sequni)r �coverage�Nr �xsr r r �get_xs_coveredi s zRegularSet.get_xs_coveredc C s | � � | j�� S )N)�simplifyrv r} )r r r r � get_uniformo s zRegularSet.get_uniform)�fgetc C s | j s| j�� | _d| _ d S )Nr4 )�
is_simplifiedrv Z
simplified)r r r r r� u s zRegularSet.simplifyN)
rp rq rr r� r ry rz r{ r� r� �propertyrx 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 )r5 r4 Nr )r rB )�cmapr r r � s z<ObjectTester.get_python_test_source_code.<locals>.<listcomp>)rf 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% r9 )r� r� r& r% �exec)r r� r� r9 �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� r5 r� r4 r� zPredicate failedr� ze[%r] != e[%r]zInvalid code: %r)r� r& r% r� r' )
r r� r9 r& r% rB r �dst�arr] �obZnaZnbr r r � intercode� s"
zObjectTester.intercodec C s
| � |�S )N)r� )r r� r r r �test� s zObjectTester.testN)
rp rq rr 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 )rf )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 )Nr6 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 )Nr6 r� )r� r% r] r� �graphr$ r )r r� Zmlr� 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 )Nr6 r� )r� r )r� r� r� )r� r� r � teval_arrowr r r� � s
z;CategoryTester.get_test_relations_code.<locals>.teval_arrowr5 r6 r� ) r� r� r& rM � relationsr r� r# r$ ri r )r r� r� r� r& r r r] Zarr�valr\ ZaraZarbZvaZvbr )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) rp rq rr 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)�_parentr1 )r r r r �_get_KnuthBendix- � z _GLUECLAMP_._get_KnuthBendixc C s
| j jjS )N)r� ZFSArQ )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_.lker5 r4 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 )Nr4 r )r r r r rK B r� z(_GLUECLAMP_.arrows_map.<locals>.<lambda>c S s dd� S )Nc S s | S )Nr )r! r r r rK B r� z:_GLUECLAMP_.arrows_map.<locals>.<lambda>.<locals>.<lambda>r )r r r r rK B r� c S s | S )Nr )r r r r rK C r� c S s g S )Nr )r r r r rK 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� r4 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 )rU r% rv Z rempretup�reversedrj �
startswith�intZget_words_memorP �extendZget_words_of_lengthr| r} )r� rv �maxlenr� r� rX )r~ � from_objects�ker� r r �
get_arrowsH s
z*_GLUECLAMP_.arrows_map.<locals>.get_arrows)r] r\ ) Zget_dualr
�Graphr� rL r� rT r� rR rU 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 )Nr4 r )r! r r r rK e r� z9_GLUECLAMP_.category_tester.<locals>.fo.<locals>.<lambda>r )r r r r r% e r� z'_GLUECLAMP_.category_tester.<locals>.for4 )r� r~ )r8 r r
rT 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 )Nr5 r4 )r5 r4 )r� r� )r
r� rR rT �colimit)
r ZS0ZS1Zf0�f1rL 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 )Nr5 c S s dS )Nr5 r )r r r r rK � r� z%_GLUECLAMP_.colimit.<locals>.<lambda>c S s dS )Nr r )r r r r rK � r� c S s g | ] }|d �qS )r5 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 )r5 r )r r �kr r r r � s z2_GLUECLAMP_.colimit.<locals>.<listcomp>.<listcomp>)r
rR rM rN rO r] )r r Zcof)r� r r r r � s ) r
r� rT r� rJ rb rM rN rO )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)r5 r4 )Nr4 )
rp rq rr r� r� r� r� r� r� r� r� r� r� r r r r r� * s
&
*!r� N)r rG r? r� r� r� r r r r �<module> s >&9v
Mini Shell