`k~t) G d d Z G d d Z G d d Z G d d Z G d d Z G d
d Zd S )
c b e Zd Zd Zd Zd Zd Zd Zd Zd Z d Z
d Z d
Z d Z
d Zd
Zd ZdS )LeftKanExtensionc L || _ |j | _ | j | | j | | j || || _ || _ d |D | _ || _ || _ | d S )Nc P g | ]#\ }}t | t | f$S tuple).0ghs j/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/guppy/etc/KanExtension.py
z-LeftKanExtension.__init__.. s- 7776Aq588U1XX&777 )
modCat check_graph check_rulesABRXFgeneral_procedure)selfr r r r r r s r __init__zLeftKanExtension.__init__ s 7
Q Q Q""" 77Q777 r c | | | | d S N)initialize_tablesmake_confluent_systemmake_automatonmake_natural_transformationr s r r z"LeftKanExtension.general_procedure$ sP ""$$$ ((*****r c J i | _ i | _ | d S r )obj_to_str_tablestr_to_obj_tablemake_initial_rulesr! s r r z"LeftKanExtension.initialize_tables* s* " " !!!!!r c
g fd} j j D ]~} j | } j | } j | } j | }t j | } j | } j | } |rx|}
|D ]T} j | } | |
k rt d| d| d|
j | }
U|
| k rt d|d|
d| n|| k rt d|d | |D ] }
|||
ff|z | ||
ff ! fd
j D } _ | _
|z _ d S ) Nc | } | }||k r ||f d S d S r ) make_wordappend)abawbwRer s r add_rulez5LeftKanExtension.make_initial_rules..add_rule5 sQ ""B ""BRxx 2r(##### xr zArrow [z] with source z does not compose with target zArrow z
with target z does not compose with zSource z does not match target c j g | ]/\ }} | | f0S r )r( )r xyr s r r
z7LeftKanExtension.make_initial_rules..U s:
J
J
J!Qt~~a $.."3"34
J
J
Jr )r arrowssourcetargetr fofar r r
ValueErrorr r. RkRinit)r r/ r* srcatgtaXAXaFaFsrcaFtgtatr+ srcbr1 r9 r. s ` @r r% z#LeftKanExtension.make_initial_rules/ s- $ $ $ $ $ $ > >A6==##D6==##D4 B1 Btvyy||$$BFIIdOOEFIIdOOE
O ) )A 6==++Dqyy (j[\[\[\^b^b^bdede f h h h
a((AA::$*NPbbRSRSRSUZUZ[] ] ] E>>$*@EuuMO O O
>
>4) *dBBqEE],<====
> K
J
J
J46
J
J
J"W
r c t | j | j d | _ | j j | _ d S )N.)delim)r KnuthBendixr: rs
reductionsRconfr! s r r z&LeftKanExtension.make_confluent_system[ s0 (&&tz&==W'
r c fdg j j D ]7} j | D ]} ||ff 8t d j j D }t j j D ]%\ }\ }}|| ||f &t fd j
D }i j
D ]G\ }} | }
t dt |
D ]} d|
d | < Hd} j | D ]#}
|
|vr | |
d |
$D ]z}
| |
D ]f\ }}|f}|
|z }|v r |
||| *|v r ||vr |
||| K||vr |
|| g{ j j D ]K}|| D ]@\ }}|f}|v r |||| %||vr ||| ALD ]o}|v r| | D ]V\ }}|f}||z }|v r |||| * | r ||| Wp fd} j | j j d j fd j j t( } _ | _ j | _ d S ) Nc t | dk rAt | d t r&j | d d S j | d S N )len
isinstancer r r6 r r5 er s r r5 z/LeftKanExtension.make_automaton..targetb sX 1vv{{z!A$ 6 6{vyy1a)))v}}QrU+++r c g | ]}|g fS r r r r s r r
z3LeftKanExtension.make_automaton..m s 888AB888r c j g | ]/\ }} | | f0S r ) make_term)r uvr s r r
z3LeftKanExtension.make_automaton..q sJ + + +q! NN1%%t~~a'8'89 + + +r rN )s0rO c v i }d|| < D ]1} j |d d | k rd||< 2
D ]} | | k rd||< D ]}|D ]}||vr n d||< | } j | }t
| S )NrN rO )r r6 get_compositesget_minimized_dfar SolveFSA
RegularSet)
BifinalsxirY csdfaregexpr= fsapplRr r5 s
r get_RSz/LeftKanExtension.make_automaton..get_RS s FF2J
#
#699RU1X&&",,!"F2J
"
"6!99?? !F1I''))
"
" " "A ' !"F1I''//CX&&s++F f%% %r c J t j | j j S r ) KanActionr irreduciblereduce)r* KBr r5 s r z1LeftKanExtension.make_automaton.. s% iAv $ 0$+? ? r )r objectsr r6 r) dictr listr3 itemsrJ rX rangerQ r FiniteAutomatonadd_transitionrm r Functionrl ro KbFunctorK)r r r1 followsr+ rC tgtbIRlrrB ir[ rc btermxibra rY ubrj ry ro r= rh ri r5 s ` @@@@@r r z LeftKanExtension.make_automaton_ sk , , , , , % %AVYYq\\
%
% Aq6)$$$$
% 88 88899 #DFM$7$7$9$9 : : , ,OA|d DM !T + + + +
+ + + + #z+ + + , , J DAqq!!A1c!ff%%
QrrU
h&&r** 2 2B||""2r!ub111 4 4B"66"::.
4
445j$;;&&r1c48888tmm2
&&r1eT::::]]&&r1d333
4 &. 4 4B"2;
4
44D==&&r1eT::::"__&&r1d333
4 3 3ABww"66!99-
3
34Y::&&q!R6666%%b)) 3&&q!T222
3 & & & & & & & & &* X
vtv~t
<
<
X
?
?
?
?
?
? FM
!!"b))r c
fd
fd}t d j j D
g j j D ]-} j | D ]} |||ff . rR }g |D ]I}
| } j j D ]/ j |k r || fz 0J Ri } j j D ]}
j }
j }t fd|D } j
| || | < ~ j
j j t
j
| j j t | }
_
| _ j
| _ d S )Nc t | dk r&j | d d S j | d S rM )rQ r r6 r r5 rS s r r5 z/LeftKanExtension.make_catalogue..target sF 1vv{{vyy1a)))v}}QrU+++r c | r; | | | d S d S r )rm r) )rT ro blockr r5 s r add_elementz4LeftKanExtension.make_catalogue..add_element sS ""
Q66!99
$$Q'''''r c g | ]}|g fS r r rV s r r
z3LeftKanExtension.make_catalogue.. s 333qAr7333r c F g | ] }| |fz f S r rn )r re r* r s r r
z3LeftKanExtension.make_catalogue.. s0 @@@qDKKQD 1 12@@@r )rr r rq r r r6 r3 r4 r5 r rx rs valuesro ry rz r{ )r r r r1 oblockrT tgtry srctabro r* r r5 s ` @@@@r make_cataloguez LeftKanExtension.make_catalogue sP , , , , , , 33DFN333
4
4 ' 'AVYYq\\
'
' aVI&&&&
' .FE
.
. fQii . .Av}}Q''3..# AH---. . 5 5ATV]]1%%&CTV]]1%%&C@@@@@C@@@AACH%%c344BqEE
X
r46>4 3D3D
E
E
X
r46=$ryy{{2C2C
D
D!!"b))r c p i fd} j | j j d _ d S )Nc < v r S j }j j }t fd|D }j ||| < S )Nc D g | ] }| |ff f S r r )r r1 r r s r r
zQLeftKanExtension.make_natural_transformation..get_nat.. s0 AAADKK!Q 2 23AAAr )r r6 r{ r rr r rx )r r r r get_nat_memor s ` r get_natz=LeftKanExtension.make_natural_transformation..get_nat s L #A&&))A,,C&))DFIIaLL))CAAAAASAAABBC "h / /S# > >LO ? "r )r rx r rq nat)r r r s ` @r r z,LeftKanExtension.make_natural_transformation sN # # # # # # 8$$WdfndCCr c T | j d fd|D S )NrE c 2 g | ]}|d k | S ) r )r rT otss r r
z.LeftKanExtension.make_word.. s& 666Aa2ggQgggr )
obj_to_strjoin)r r1 r s @r r( zLeftKanExtension.make_word s1 oxx6666666777r c | j } || S # t $ rZ t |t rt | dk rJ t t | }|||< || j |< |cY S w xY w)N )r# KeyErrorrR r rQ strr$ )r r1 otnns r r zLeftKanExtension.obj_to_str s # q6M "1e,, <Q!<CHH
A CF'(D !! $HHH s A!A54A5c | j | S r )r$ r r1 s r
str_to_objzLeftKanExtension.str_to_obj- s $Q''r c h | | }|| j | k S r )r( rH rn )r r1 txs r rm z LeftKanExtension.irreducible0 s,
^^A
TW^^B''''r c | j | | }| | S r )rH rn r( rX )r r1 ws r rn zLeftKanExtension.reduce4 s3 GNN4>>!,, - -~~a r c n | j t fd| d D S )Nc $ g | ] }||
S r r )r re stos r r
z.LeftKanExtension.make_term..: s" ;;;;c!f;;;r rE )r$ r split)r wordr s @r rX zLeftKanExtension.make_term8 s8 #;;;;djjoo;;;<< sf xx{{xx{{2d882d88
& r c x | | | j k r9t d|d| | d| j d| j d | | s1t d|d| | d| j d | || j fz S )Nz
Target of z (= z) does not match source of )z Argument z is reducible to z); and is thus not in the source set K.fo()r r; TypeErrorr* rm rn )r re s r __call__zKanAction.__call__I s == ty ( ()4==####TVVVTYYY 8 9 9
9 "" /)4;;q>>>>4999 . / /
/ {{1y=)))r N)r r r r r r r r rl rl = s2 * * * * *r rl c T e Zd ZdZd Zd Zd Zd Zd Zd Z e
e Z d Z d
S ) r` rO c || _ d S r )re)r r s r r zRegularSet.__init__] s
r c * t | j S r )iteruniformr! s r __iter__zRegularSet.__iter__` s DL!!!r c | j | S r )r r s r __getitem__zRegularSet.__getitem__c s |A r c * t | j S r )rQ r r! s r __len__zRegularSet.__len__f s 4< r c z |}| j | }| }d |D S )Nc , g | ]}t | S r r r r1 s r r
z-RegularSet.get_xs_covered..m s %%%Qa%%%r )r limitedsequni)r coverageNr xss r get_xs_coveredzRegularSet.get_xs_coveredi s; GOOH % %
XXZZ%%"%%%%r c \ | | j S r )simplifyr r r! s r get_uniformzRegularSet.get_uniformo s!
w~~ r )fgetc b | j s'| j | _ d| _ d S d S NrN )
is_simplifiedr
simplifiedr! s r r zRegularSet.simplifyu s: ! #g((**DG!"D # #r N)
r r r r r r r r r r propertyr r r r r r` r` U s M " " " ! ! !& & & hK(((G# # # # #r r` c 8 e Zd Zd Zd Zd Zd Zd Zd Zd Z dS ) ObjectTesterc H || _ |j | _ || _ || _ d S r )category_testerfunctorobjectcode)r r r r s r r zObjectTester.__init__| s& . &. r c 0 | j j | j S r )r r3 r r! s r get_all_arrowszObjectTester.get_all_arrows s #*4;77r c | j S r )r r! s r get_intermediate_test_codez'ObjectTester.get_intermediate_test_code s
yr c \ ddddd fd| j D S )Nzassert e[%r] == e[%r]ze[%r] = fa[%r](e[%r])zassert fo[%r](e[%r]))aseqevalfaasfo
c B g | ]}|d |dd z S )rO rN Nr )r rd cmaps r r
z. s. @@@$qt*qu,@@@r )r r )r r s @r get_python_test_source_codez(ObjectTester.get_python_test_source_code sC +-*
yy@@@@di@@@AAAr c | }d|i}| j j | j j |d}t || |S )Narg)r7 r6 rT )r r r7 r6 exec)r r r rT ds r execodezObjectTester.execode sM //11
CL>$*RRR%@AAA " !jqq!:;;; < .eval_arrow s DyyAw3B3B2B&&q))D *R..C LL(D"c2 3 3 3DG OOQI & & &Kr )r r7 r3 )
r r argnamer7 r r r r r
r s
` @@@@r get_eval_arrows_codez#CategoryTester.get_eval_arrows_code s
\_DzJ< +f% B JrNNNNh r c N | | }t | || S r )get_test_object_coder )r r r s r get_object_testerz CategoryTester.get_object_tester s' ((00D&$///r c g }| j j j }|D ]L\ }}|}|r%| j j |d }|||v r| d||f M|S )NrP r )r r6 r r graphr5 r) )r r mlr r arrowvaluer s r get_test_inclusion_codez&CategoryTester.get_test_inclusion_code sz lo! 2 2LE5B
6X^**5955{bCii fb% 0111 r c d}| || \ }}| || }| || }||z |z S )Nr )r
get_test_relations_coder )r r r evalcodesr relcodesincodess r r z#CategoryTester.get_test_object_code s[ " 7 7 H H 8//AA..vx@@!'))r c g j } j j }t | fd|j D ]\ }}t | }t | }|j |d }|D ]v\ }} |r!|j |d }
n|}
||
k rF||z } ||z } | | k r6 | }
| }|
|k sJ d|
|f wS )Nc | v r| S | d d } | } d|| d |f || < |S r r )r r r r r
r teval_arrows r r z;CategoryTester.get_test_relations_code..teval_arrow sl TzzBx RW%%B&&r**D LL(D"R&"5 6 6 6DHKr rO rP r )
r r r7 rr relationsr r r4 r5 r) )r r r r r7 r* r+ r arrvalr araarbvavbr r
r s ` @@@r r z&CategoryTester.get_test_relations_code sD h
\_H~~ M 7 7DAqaAaA)""1Q4((C &
7
7
c ! )**3r733CC C#:: 'C 'Cczz ([ - - ([ - - !Rxxxx fb"%5666
7 r c Z | | }| | |S r )r r )r r r testers r test_objectzCategoryTester.test_object s, ''// E
r c p | || t d # t $ r Y d S w xY w)NzException excepted)r( Exception)r r r s r test_object_failz CategoryTester.test_object_fail! sR 2 VU + + + 011 1 DD s '
55r ) r r r r r r
r r r r r( r+ r r r r r s 1 1 1 1 60 0 0
* * *% % %N
2 2 2 2 2r r c N e Zd Zd Zd Zd Zd Zd ZddZdd
Z d Z
d Z d
Z d S ) _GLUECLAMP_c $ | j j j S r )_parentrG r! s r _get_KnuthBendixz _GLUECLAMP_._get_KnuthBendix- s t|'?'K Kr c $ | j j j S r )r/ FSArv r! s r _get_FiniteAutomatonz _GLUECLAMP_._get_FiniteAutomaton. s 4<+;+K$Kr c $ | j j j S r )r/ REr_ r! s r
_get_SolveFSAz_GLUECLAMP_._get_SolveFSA/ s DLO$< .B s s r c d S )Nc | S r r r2 s r rp z:_GLUECLAMP_.arrows_map....B s r r r= s r rp z(_GLUECLAMP_.arrows_map..B s kk r c | S r r r= s r rp z(_GLUECLAMP_.arrows_map..C q r c g S r r r= s r rp z(_GLUECLAMP_.arrows_map..C B r c B | v r | S j j | j }r| }t d rvt dd }g }| }t d|dz D ]4}|
d | | D 5n5| }|
}d |D }| | < |S )Nlength rN c , g | ]}t | S r r r s r r
z>_GLUECLAMP_.arrows_map..get_arrows..S s K K KAuQxx K K Kr c , g | ]}t | S r r r s r r
z>_GLUECLAMP_.arrows_map..get_arrows..W s +++1eAhh+++r )r{ r6 r rempretupreversedr
startswithintget_words_memoru extendget_words_of_lengthr r )
r r maxlenr r r r from_objectsker
s
r
get_arrowsz*_GLUECLAMP_.arrows_map..get_arrowsH s& ~~F|# #--//B
#[[]]8}}''11
, Xabb\**&&(( q&(++ M MAII K K1G1G1J1J K K KLLLLM ZZ))YY[[+++++ DLIr )r r ) get_dualr Graphr rq r rz r: rx r{ r6 r ) r r rR r r r r r r rT rS r
s `` @@r
arrows_mapz_GLUECLAMP_.arrows_map; s !,,..C HNN39,b 1 1 I M H ]],A,A B B H [[,, 7 7
XXaAq!
$
$ & x !
r Nc t |t r'|\ }}}|d }| j ||| }| | |j d| }t
| || S )Nc d S )Nc dS r r r@ s r rp z9_GLUECLAMP_.category_tester..fo..e s A r r r= s r r6 z'_GLUECLAMP_.category_tester..foe s ++-r rN )rR r )rR r r rz rW r r )r r r3 r r6 r7 r s r r z_GLUECLAMP_.category_testera s gu % % 4!KBCz---h&&r2s33G >__ !h % @ @F dGV444r c F ddg}ddd}| j || }| j ||d|||g }| j ||d|||g } | j || }
| ||
\ } } | d S )NrO rN rO rN )r r )r rV rx rz colimit)
r S0S1f0f1rq r3 r Xor> r colimit_objectcolimit_functionss
r coequalizerz_GLUECLAMP_.coequalizerl s > a& f-- HNN7F + +
X
2"~~wR
A
A
X
b 3 3Vb"X
F
F H R $ $,0LLA,>,>)) ##r c l j dgi }g } j d d } ||||| }|j d |j }d D t
fdt | D }|fS )NrO c dS )NrO r r= s r rp z%_GLUECLAMP_.colimit.. rB r c dS )Nr r r= s r rp z%_GLUECLAMP_.colimit.. rD r c g | ]
}|d S rO r r s r r
z'_GLUECLAMP_.colimit.. s 7771!A$777r c g | ]^\ }}|j t d t | D |j f_S )c ( g | ]\ }}||d fS rj r )r r* ks r r
z2_GLUECLAMP_.colimit... s4 7 7 7 1a !A$i 7 7 7r )r rx rr rs rt r )r r cofrc r s r r
z'_GLUECLAMP_.colimit.. s "= "= "= C !! 7 7$($5$57 7 7 8 8
"= "= "=r ) r rV rz r: ro r rr rs rt ) r r r r r r lkard rc s ` @r r] z_GLUECLAMP_.colimit s
HNNA3 # # H [[,, 7 7hhq!Q1%% G 87777 "= "= "= "= "= !!2!8!8!:!: ; ;"= "= "= > > 000r c X | | }| || S r )r r( )r r r r r' s r test_arrowsz_GLUECLAMP_.test_arrows s- %%g..!!&%000r r\ r )
r r r r0 r3 r6 r8 r: rW r re r] rq r r r r- r- * s LKKKKK<<<///
5 5 5 $
$
$
$
L 5 5 5 5($ ($ ($T 1 1 1B1 1 1 1 1r r- N)r rl r` r r r- r r r rr s y= y= y= y= y= y= y= y=x * * * * * * * *0## ## ## ## ## ## ## ##L6# 6# 6# 6# 6# 6# 6# 6#rs2 s2 s2 s2 s2 s2 s2 s2lR1 R1 R1 R1 R1 R1 R1 R1 R1 R1r