�
;�Pc@s/
dfd
��YZdef
d��YZ
def
d��YZdfd��YZdfd	��YZd
fd��YZdfd
��YZdfd��YZdfd��YZdfd��YZ	ddl
mZ
ddlZddl
Z
dejf
d��YZdef
d��YZejed�
dS(tAAc
Bs#eZ
d�Zd
�Zd�ZRS(cCstd
||
�S(Ntop(
tBOAPP(tselftother((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt__mul__s
cCstd
||
�S(Ntop2(
R(RR((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt__add__s
cCstd
||
�S(Nteq(
R(RR((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt__eq__
s
(t__name__t
__module__RRR	(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRs
		tANAMEc
BseZ
d�Zd
�ZRS(cCs
|
|_dS(
N(
tname(RR
((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt__init__s
c


Cs|jS(
N(
R
(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt__str__s
(R
RRR(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR
s
	Rc
BseZ
d�Zd
�ZRS(cGs|
|_||_
dS(
N(tfuncnametargs(RRR((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRs
	
c
Cs6d
|jdj
g|jD]}
t|
�
^q�
fS(Ns%s(%s)t
,(RtjoinRtstr(Rt
x((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRs
(R
RRR(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRs
	tAlgebraicStructurec
BseZ
d�Zd
�ZRS(c
Os)
|
|_||_
g|_x�t|�
D]�\}}t|d
�rU|j
|krUnit|�
ss||
jjkr�i}d|kr�|d|d<n|
jj	|||�}n
t
d|�|jj|�

t|d||�
q(Wt
|j�
|_x*|j�D]\}}	t|||	�
q
WdS(Ntrangetidentitys%s is not a valid operationsop%d(tmodRtopst	enumeratethasattrtcallabletLEtbinary_operation_nametbinary_operationtnewt	TypeErrortappendtsetattrtlentnumopstitems(
RRRRtkwdst
iR
topkwdst
kt
v((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRs"
	
	
	












cGs5|
|kstSx|D]}||kstSqWt
S(
N(tFalsetTrue(RRt
ytmoret
m((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR3s






(R
RRR(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRs
	tBinaryOperationcBs)eZ
dddddd�Zd
�ZRS(c
Cs�|
|_d
|_
t|t�r:|}td|�
}	n!t|�
r[|}	t|	�
}n||_|	|_|dk	r�||_	n|dk	r�||_
n|dk	r�||_n|dk	r�||_n|dk	r�||_
n||_dS(Nislambda x,y: x %s y(Rtarityt
isinstanceRtevalRtopnamet__call__tNoneRtinverttzerostzerot
complementtop0(
RRR
RR9R:R;R<R6tfunc((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR=s*
	
	






	
	







cGs5|
|kstSx|D]}||kstSqWt
S(
N(R-R.(RRR/R0R1((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRYs






N(R
RR8RR(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR2<s
tBinaryAlgebraicStructureFamilyc
BseZ
d�Zd
�ZRS(cssi}x�
D]}t|�
||<q
Wt
||��t�t�sKt�
��
fd
�}|j|||f�S(Nc
sbi
|d
6}
ddj��
�f�i|d
6d�d6}
t
�|
��
��
fd�}|S(NR
slambda %s:%sRcSs
||
kS(
N((RR/((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt<lambda>osRcs0�
|
|�s,|jd
|
|f�f�
St
S(Nsnot %s in %s(tfailedR.(tenvRR/(texprt
f(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyttestfuncss


(RR5(tbinopt
dRE(t
ctnames(RCRDsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytgentestfuncis





(RR5R4RtAssertionErrortSet(RRItcondtdiR
RJ((RHRIsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR7bs





cCs/|
j\}}|j
|j||�
d
|�S(Ns	not in %s(targtforall_pairsR(Rt
at
bRBRDR
((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytc_test_contains|s


	
(R
RR7RS(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR?as
	tTernaryAlgebraicStructureFamilyc
BseZ
d�Zd
�ZRS(cssi}x�
D]}t|�
||<q
Wt
||��t�t�sKt�
��
fd
�}|j|||f�S(Nc
sbi
|d
6}
ddj��
�f�i|d
6d�d6}
t
�|
��
��
fd�}|S(NR
slambda %s:%sRcSs
||
kS(
N((RR/((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�sRcs6�
|
||�s2|jd
|
||f�f�
St
S(Nsnot %s in %s(RAR.(RBRR/t
z(RCRD(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRE�s

 
(RR5(RFRGRE(RHRI(RCRDsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRJ�s





(RR5R4RRKRL(RRIRMRNR
RJ((RHRIsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR7�s





cCs/|
j\}}|j
|j||�
d
|�S(Ns	not in %s(ROtforall_triplesR(RRQRRRBRDR
((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRS�s


	
(R
RR7RS(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRT�s
	t$DistributiveAlgebraicStructureFamilyc
BseZ
d�Zd
�ZRS(cssi}x�
D]}t|�
||<q
Wt
||��t�t�sKt�
��
fd
�}|j|||f�S(Ncspi|d
6|
d6}ddj��
�f�i|d
6|
d6d�d6}t
�|��
��
fd�}|S(NR
Rslambda %s:%sRcSs
||
kS(
N((RR/((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�sRcs6�
|
||�s2|jd
|
||f�f�
St
S(Nsnot %s in %s(RAR.(RBRR/RU(RCRD(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRE�s

 
(RR5(tbinop1tbinop2RGRE(RHRI(RCRDsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRJ�s





(RR5R4RRKRL(RRIRMRNR
RJ((RHRIsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR7�s





cCs�|
j\}}|\}}t
|t�rE|jjjj|�}nt
|t�ro|jjjj|�}n|j|jks�|jd
�
S|j	|j|||�d|�S(NsNot the same ranges	not in %s(
ROR4ttupletspecmodRR R!RRARV(RRQRRRBRDR
top1R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRS�s











(R
RR7RS(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRW�s
	t_GLUECLAMP_c
BsL
eZ
d�Zd
�Zd�Zd�Zd�Zd�Zd�Zd�Z	d�Z
d	�Zd
�Zd�Z
d�Zd
�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Zd�Z d�Z!d �Z"d!�Z#d"�Z$d#�Z%RS($c

Cs2|jj
|jj|j|jjd
|j�@�S(NR=(tSpect	adaptupletgroupR!tattrtcommutative(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_abelian_group�s
	
	
c

Cs|jd
d�S(Ntxyzsx * (y * z) == (x * y) * z(
tasuf(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_associative�s
cOs%|jj
|
�
}
t||
||�S(
N(R^tsetcastR(Rt
SRR(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt
algestruct�s

cCsmt|
�
d
kr'|j
|
|�}n-t|
�
dkrN|j|
|�}nt�
|jj|jj|�S(Nii(R%tBinaryAlgebraicStructuretTernaryAlgebraicStructuret
ValueErrorR^R_R R!(RRIRMR((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRe�s




c
s1�f
d
�}
�j}|j
|
|jd�
�S(NcsK�jj
|�
}t|
t�r;|
j|kr;|r;|
St||
|�S(
N(R^RgR4R2R(RhR>R((
R(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRF�s

%

s{(
	        attr('range', set) &
		attr('arity', equals(2)) &
		expset('''mapping(range, range, '->', range)''', 'range')
	)(R^R_texpset(RRFt
e((
RsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_binary_operation�s
	


c


Cs|jS(
N(
trelation(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_binary_relation�s
c

Cs
|jt
�
S(
N(tfamilyR?(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_BinaryAlgebraicStructure�s
c
s��f
d
�}
�j}|j
|
|jd|jj|jj@|jj@�|jd|jj|jj@|jj@�@|jd|jj�@|jd	|jj�@|jd
|jj	�@|jd|jj	�@�S(Ncst|dkrtd|�
}n�j
|�jj||
d|d|d|��jj||d|d|d|��S(	Nt
~t
-tnotslambda x: %s xRR;R<(RtRuRv(R5RiR R!(tsetR=R\R<tid0tid1(
R(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytboolalg�s




$
R=R\sop0.zerosop1.identitysop1.zerosop0.identity(R=R\(R\R=(sop0.zerosop1.identity(sop1.zerosop0.identity(
R^R_RaRRbtcomplementedtmonoidtdistributiveRR(RRzRn((
RsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_boolean_algebra�s
		

�
c
Csd
�}
|jj
|
d�S(NcsI�j}|j
�|�
�
j�|j�j��
��fd
�d�S(Ncs�j�
|
�|
�
���S(
N(
R(RBR/(R<RDRR;(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@
s
R{(R=R;R<tforallR(RBRR
((R<RDRR;sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt
p
s
	
	

	
!
R{(R^t	predicate(RR�((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_complemented
s	c

Cs|jd
d�S(Ntxysx * y == y * x(
Re(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_commutative
s
c

Cs
|jt
�
S(
N(RrRW(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt#_get_DistributiveAlgebraicStructure
s
c

Cs|j|j
@S(
N(tdistributive_1tdistributive_2(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_distributive"
s
c

Cs|jd
d�S(NRds x * (y + z) == (x * y) + (x * z)(
tDistributiveAlgebraicStructure(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_distributive_1%
s

c

Cs|jd
d�S(NRds (x + y) * z == (x * z) + (y * z)(
R�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_distributive_2)
s

c
sc|j�
|�d
d��
fd��Y}
�
j
|
�
jd�
jj��
jd�
jj�@�S(NtFieldcseZ
��
fd�ZRS(
csx|dkrtd|�
}n|
|_
�jj|
||||�|_�jj|
�
j|�
|||�|_dS(NRuRtRvslambda x: %s x(RuRtRv(R5RtringR!R`tequalstmulgroup(RRhtaddtmultnegR9R;tone(RRn(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR2
s


	
!
(R
RR((RRn(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR�1
s
R�R�((R^R_RaRR�t
abelian_group(RR�((RRnsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt
_get_field-
s
	
	


c
sG�f
d
�}
d�}�j}|j
|
�j�jj|d�@�S(Ncs;|dkrtd|�
}n�j
||
d|d|�S(NRuRtRvslambda x: %s xRR9(RuRtRv(R5Ri(RhR
R9R(
R(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytmkgroup@
s


csYy
�
j�Wnt
k
r-


|jd
�

n
X�
j�|j�
j��
�fd��S(Nsno invert functioncs4�
j��|
�
|
��|
�|
�
��
j
�S(
N(RR(RBR(RDt
gtinv(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@K
s
(R9tAttributeErrorRAR=RR(RBR�((RDR�R�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR�E
s






	
R`(R^R_R|R�(RR�R�Rn((
RsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt
_get_group?
s
			


c
Cs#d
dd��Y}
|jj
|
�
S(NtRelationSpecc
Bs#eZ
d�Zd
�Zd�ZRS(cSsH|
j|
j
|
j
f>|
jjjB}|
j|
jj|
jj||�S(
N(	tbooleantPyObjectRRRtcprodtsetcastableRptfuop(RRnRF((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_spec_quadrupleY
s



	
	

cSs.td
|
j
�td�
td�
td�
fS(NRRtGLBtLUB(RaRw(RRn((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_spec_structb
s

	
	
c	Ss�|\}}}}|
j|�
}|
j
jj|
j
j||ff�
}|
jjj||�}|
jjj||�}d
dd��Y}|�}||_||_	||_
||_|S(Nt
Cc
BseZ
RS((R
R(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR�o
s
((RgRptpaxat
fromuniversaltdefipairRR R!RRR�R�(	RRnt.2RhRR�R�R�RH((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytmap_quadruple_to_structi
s

'

	
	
	
	
	
(R
RR�R�R�(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR�W
s			((R^trepcat(RR�((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_latticeformT
s!c
Cs�|j}
d
�}|
j
|jjj|
jd�
|
jd|
jjj�@|
jd|
jj	�@|
jd|
jj	�@|
j
|d�@�S(NcsR��
fd
�}|��
fd��
jd�oQ|��
fd��
j
d�S(Ncs+���
�fd
�}�j�j
|�S(Ncs���
������
�o*����s>|jd
��
S��
��s\����r`t
S|j�j���
�fd��S(Ns	not an %scs,�|
��o�|
��p+�|
�
�S(
N((RBtlb2(t
RtlbRR/(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�
s

(RAR.RR(RBRR/(R�tlatR
R
(R�RR/sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyttestlb
s




(RPR(R�R
R
R�(RBR�(R�R
R
sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyttest~
s

cs�j�
j
||
f�S(
N(tcontainsR(RR/(RBR�(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�
sslower boundcs�j�
j
|
|f�S(
N(R�R(RR/(RBR�(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�
ssupper bound(R�R�(RBR�R�((RBR�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR�}
s

!
RRR�R�tlattice(R^tabstractsettlatticeformtstructR�RaRt
partial_orderR�R R�(RRnR�((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_latticez
s
		
Q
c

Cs|jj
|j|jj�S(
N(R^tLocalEnvt_Specification_tLocalEnvExpr(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_LE�
s
c
sPd
�}
�f
d�}�j}|j
||jd�j�|j|
d�@�S(Ncs:�j}|j
�|�
|j�j��
�fd
��S(Ncs%�j�
�|
��
|
��|
�S(
N(
R(RBR/(RnRDR(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�
s
(R=RRR(RBRR
((RnRDRsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR��
s
	
	

cs�j||
d
|�
S(NR(
Ri(RhR
R(
R(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytmkmonoid�
s
R=R|(R^R_RatassociativeR�(RR�R�Rn((
RsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_monoid�
s
		



c
sf�f
d
�}
�j}|j
|
|jd|jj�|jd|jj�@|jd|jj�@�S(Nc	s\|dkrtd|�
}n�j
|�jj||
d|d|��jj||��S(NRuRtRvslambda x: %s xRR9(RuRtRv(R5RiR R!(RhR�R�R�R;(
R(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytmkring�
s





R=R\(R\R=(R^R_RaRR�t	semigroupR}(RR�Rn((
RsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt	_get_ring�
s
	

+
c

Cs+|jj
|jj|jjd
|j��S(NR=(R^R_R R!RaR�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_semigroup�
s
c


Cs
|jj
S(
N(t_parentR^(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt	_get_Spec�
s
c

Cs
|jt
�
S(
N(RrRT(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_TernaryAlgebraicStructure�
s
csDd
��
jj
f��
fd��Y}�j|_�
jj|�
S(NR�cseZ
��
fd�ZRS(
c
sN�
jj
j||
|�

y
�j}Wntk
r9


nX|||
|�

dS(
N(R^t
SpecFamilyRR�(t	innerselfRR(tini(t
FR(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR�
s






(R
RR((R�R(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR��
s
(R^R�R
Rr(RR�R�((R�RsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyRr�
s
(	
cCs|j|j
j|
|��
S(
N(trelpropR^R�(Rt
sR
((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt
relpropred�
s
c

Cs|jd
�d�S(Ncs|j�j
�f
d
��S(Ncs;|j�|
|f�o-|j�||
f�p:|
|kS(
N(
R�(RBRR/(
R�(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�
s
1
(RPR(RBR�((
R�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�
s

santisymmetric wrt '==' op(
R�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_antisymmetric�
s
c

Cs|j|j
@|j@S(
N(t	reflexivet	symmetrict
transitive(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_equivalence_relation�
s

c

Cs|jd
�d�S(Ncs|j�j
�f
d
��S(Ncs|j�|
|
fd
�S(Ntirrreflexive(
ttest_contains_not(RBR(
R�(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�
s(RR(RBR�((
R�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�
s
R�(
R�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_irreflexive�
s

c

Cs|j|j
@|j@S(
N(R�t
antisymmetricR�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_partial_order�
s

c

Cs|j|j
@S(
N(R�ttotal_relation(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_total_order�
s
c

Cs|jd
�d�S(Ncs|j�j
�f
d
��S(Ncs.|j�|
|f�p-|j�||
f�S(
N(
R�(RBRR/(
R�(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s
(RPR(RBR�((
R�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s

s+total_relation: xRy or yRx for all x,y in A(
R�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_total_relation�
s
c

Cs|jd
�d�S(Ncs|j�j
�f
d
��S(Ncs|j�|
|
fd
�S(NR�(
t
test_contains(RBR(
R�(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s(RR(RBR�((
R�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s

R�(
R�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_reflexive
s

c

Cs|jd
�d�S(Ncs|j��f
d
��S(Ncs%|
\}}|j�||fd
�S(NR�(
R�(RBt.1RR/(
R�(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s	
(
R(RBR�((
R�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s

R�(
R�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_symmetrics

c

Cs|jd
�d�S(Ncs|j��f
d
��S(Ncs.|
\��
|j�j
���
fd
��S(Ncs2|j��|
f�p1|j
��
|
fd
�S(NR�(R�R�(RBRU(R�RR/(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s

(RR(RBR�RR/(
R�(RR/sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s	

(
R(RBR�((
R�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@s

R�(
R�(
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt_get_transitives

cCsN|j}|j
|jjj|
�S|j|jj|jd|jj	�|
@�S(NtdomainR(R�R(
R^R�RpR�R�R_R!RaRR(RR�Rn((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR�%s
	



	

(&R
RRcRfRiReRoRqRsR~R�R�R�R�R�R�R�R�R�R�R�R�R�R�R�R�RrR�R�R�R�R�R�R�R�R�R�R�(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR]�sH
										
								&	 																	R�cBsYeZ
dZd
�Zddd��YZdd	d��YZd�Zdd
d��YZRS(s@
        Specification of some general algebraic structures
    c,s�|}|j}|
j
}d
dddddgdd
ddddgddd
dddgdddd
ddgdddddd
gddddd
dgg�|j}|j|j|jf|jjdd
df|jjdd	f|jjd
ddf|j|j	f|j	t
d
ff|j	|jd�
dff|jt
d
ff|jt
dff|j
t
d
ff|j
t
dff|jt
d
ft
dfff|jt
d
ft
dfff|jt
d
ft
dfff|jt
d
ft
dfff|jt
d
ft
dfff|jt
d
ft
dfff|jt
d
ff|jtdff|jt
dff|jt
d
dff|jtdd
ff|jt
d
d
ff|jt
ddd
ff|jt
d
ddff|jt
ddd
ff|j|j@|jd
ddddd��f
d�d�d
ff|jt
dd
dd
ff|jtdd
dd
ft
d
d
dd
ft
dddd
ft
dd
dd
ft
dd
ddff|jtdd
dd�d	dff|jtdd
dd�d	dff|j|jtt�dddttft
dddd
df|jddd|j|jff|j|jtt�dddttf|jtt�dddttf|jtt�dddttf|jtt�dddttf|jtt�dddttf|jtt�dddttffg!}g}x�|D]�}	|	d
}
t|	d�
}t|
t�r�|}|
jd�
}
x&|
D]}
t||
�}q�Wn|
}|j ||f�

qAW|S(Nii
iiiii����g�gts1234%^sasdf*&(t
*t
+Rut
|cs�||
S(
N((RR/(
tS3(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@hsc

Ssd
dddddg|S(Nii
iiii((
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@isRtc

Ssd
|S(Ng�?((
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@qsg�?c

Ssd
|S(Ng@((
R((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@rstortandRvt
&t
.i����(!RRtTypeRwtemptytInttFloattStringtalgebraic_classR tintR�RbR�R}R�R�R�RR|R`R�R�tfieldtfloattboolean_algebraR-R.tlistR4tsplittgetattrR#(RttetobjRRRBR�tasexstexRQR
texsRRI((
R�sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytGetExamples6s�

	
	




	





























	






$
%
'

"!
!
!
!
!
*











R�cBseZ
djd
d�dURS(sw
if 1:
    binary_operation_name	<is> equals(
    	'+', '-', '*', '/', '%', '|', '&', '**', '<<', '>>')
    algebraic_class	<is>	(setof(Type.Tuple) &
    				 attr('new', callable))
    			

    relation_class	<is>	(setof(	setof(any*any) | 
				    	Type.Tuple))

    relational_operator_name <is>	equals(
    '<', '<=', '>', '>=', '==', '!=', 'in', 'not in', 'is', 'is not')
s<is>s = lambda IS: N(R
Rtreplace(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR��stGlueTypeExprcBseZ
djd
d�dURS(s�
if 1:
    abelian_group	<in>	 setof(AA.group)
    associative		<in>	setof(AA.binary_operation)
    binary_operation	<in>	 doc('''
A \emp{binary operation} $*$ on a set $S$ is a function $*: S \cross S \mapsto S$.
The element in $S$ assigned to $(x, y)$ is denoted $x*y$.
\citemh(p.21)
''') & LE.algebraic_class
    boolean_algebra	<in> 	LE.algebraic_class
    commutative		<in> 	LE.algebraic_class
    distributive	<in> 	setof(cprod(AA.binary_operation, AA.binary_operation))
    distributive_1	<in> 	setof(cprod(AA.binary_operation, AA.binary_operation))
    distributive_2	<in> 	setof(cprod(AA.binary_operation, AA.binary_operation))
    field		<in>	LE.algebraic_class
    group		<in>	(LE.algebraic_class & doc('''
'''	))
    monoid		<in>	LE.algebraic_class
    ring		<in>	(LE.algebraic_class,
    				attr('new', argnames('S', 'add', 'mul', 'neg', 'zero')))
    semigroup		<in>	LE.algebraic_class
    		      
s<in>s= lambda IN:N(R
RR�(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR��sc	s�|��j}|
j
�
�
jd
dd�}d�}�
f
d�}�f
d�}�
jd
f�j||d�f�j||d�f�j||d�f�j||d	�f�j||d�f�j||d
�f�j||d�f�j||d	�f�j||d	�f�j||d
�f�j	||d	�f�j	||d
�f�j
||d�f�j
||d	�f�j|||�f�j||d�f�j||d	�f�j|||�f�
j
jd
dddf�j|td	tt�f�j|td	dt�f�j|td	td
�f�j|td�dd
�f�j|td�td
�f�j|td�dt�f�jjtd	ttffg}|S(Nii
icSs||
@|kS(
N((RR/((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pytsubsetof�scs�jj
||
ffS(
N(RpR�(RhR
(
Rn(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt
D�s
c
s�jj
|fS(
N(R�t	quadruple(
R(
R(sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt
L�s
s==t
<s<=s!=iR�R�cSs||
@|kS(
N((RR/((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�scSs||
@|kS(
N((RR/((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�scSs||
@|kS(
N((RR/((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR@�s(RRtisoR�R�R�R�tirreflexiveR�R�tequivalence_relationR�ttotal_orderR�R�R�R�tmintmaxR
(	RR�R�RRhR
R

R
R�((RRnsN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR��sF

	
	

	





















!cBseZ
djd
d�dURS(sif 1:	
    reflexive		<in>	doc('x R x for every x in A',
    				AA.LE.relation_class)
    symmetric		<in>	doc('x R y implies y R x, for all x, y in A',
				AA.LE.relation_class)
    transitive		<in>	doc('x R y, y R z implies x R z, for all x, y, z in A',	
    				AA.LE.relation_class)
    irreflexive		<in>	doc('not (x R y), for all x in A',
    				AA.LE.relation_class)
    antisymmetric	<in>	doc('x R y, y R x implies x == y, for all x, y in A',
    				AA.LE.relation_class)
    total_relation	<in>	doc('x R y or y R x, for all x, y in A',
    				AA.LE.relation_class)
    equivalence_relation<in>	doc('Reflexive, symmetric and transitive',
				AA.LE.relation_class)
    partial_order	<in>	doc('Reflexive, antisymmetric and transitive',
				AA.LE.relation_class)
    total_order		<in>	doc('Partial order and x R y or y R x, for all x, y in A',
				AA.LE.relation_class)

    lattice		<in>	attr('quadruple', doc('''Tuples (S, R, V, A), where:
	S: 	set or convertible to set, i.e. 'setcastable'
	R:	relation operator on S
	V:	binary operator on S
	A:	binary operator on S

R, V and A are either operator symbols or functions.

(S, R) forms a partial order such that 
every pair x, y of elements in S have a greatest
lower bound GLB and a least upper bound LUB.

The GLB is given by V(x, y) or x V y depending on if V is
a function or operator symbol. Likewise, ULB is given
by A(x, y) or x A y.

For example, these are lattice specifications:

(int, '<=', min, max)
(int, lambda x, y: x & y == x, '&', '|')

''',				setof(tupleform(
			('S', 'R', 'V', 'A'),
			attr('S', SPLE.setcastable) &
			expset('''attr('R', AA.LE.relational_operator_name | boolean<<(S, S)) &
attr('V', AA.LE.binary_operation_name | setcast(S)<<(S, S)) &
attr('A', AA.LE.binary_operation_name | setcast(S)<<(S, S))
''',			 'S')
			))))
s<in>s=lambda IN:N(R
RR�(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR��s5((((R
Rt__doc__R�R�R�(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR�1s	[	5i����(
tsupportNtTestCasec
BseZ
RS((R
R(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR

+s
t	FirstCasec
BseZ
d�ZRS(
c
Cs5|jj
}
|
jt�
}|j|jjj�

dS(
N(theapyR^t	mkTestEnvR�R�tguppytAbstractAlgebra(RR^tTestEnv((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyttest_1/s

(R
RR
(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyR
.s
i
(RRRRR2R?RTRWR]R�tguppy.heapy.testR
tsystunittestR

R
trun_unittest(((sN/opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/AbstractAlgebra.pyt<module>s
 %!!*�e�