ph"SrSSKrSSKJrJrJrJr SSKJ r SSjr SSjrSr S r S r S rS rS rSrSrSrSrSrSrSrSrSrg)z# Methods for validating arguments. N) Directionconfigconvert exceptions)is_state_by_statec[R[R/nU(aUR[R5 X;a[ SR U55eg)zValidate that the given direction is one of the allowed constants. If ``allow_bi`` is ``True`` then ``Direction.BIDIRECTIONAL`` is acceptable. z`direction` must be one of {}T)rCAUSEEFFECTappend BIDIRECTIONAL ValueErrorformat) directionallow_bivalids H/home/james-whalen/.local/lib/python3.13/site-packages/pyphi/validate.pyrrsM __i.. /E Y,,-8??FGG cSn[R"U5nURSnURS:XaURSSU-:XaURSU:XdEURSURS:Xd%[ SR URU55eURSURS:XaU(a [ U5 g URUS-:XaQUR[S/U-U/-5:wa.[ SR URS/U-U/-X255eg [ SR U55e) zValidate a TPM. The TPM can be in * 2-dimensional state-by-state form, * 2-dimensional state-by-node form, or * multidimensional state-by-node form. zjSee the documentation on TPM conventions and the `pyphi.Network` object for more information on TPM forms.rrzInvalid shape for 2-D TPM: {} For a state-by-node TPM, there must be 2^N rows and N columns, where N is the number of nodes. State-by-state TPM must be square. {}z`Invalid shape for multidimensional state-by-node TPM: {} The shape should be {} for {} nodes. {}zAInvalid TPM: Must be either 2-dimensional or multidimensional. {}T)nparrayshapendimrrconditionally_independenttuple)tpmcheck_independence see_tpm_docsNs rrr!sI 4 ((3-C " A xx1}1A%#))A,!*;11-VCII|4 6 6 99Q<399Q< ',> %c *  a!e  99qcAgm, ,::@&IIaA3;AB B -   %' 'rcb[R"U5n[U5(a+[R"[R "U55nO*[R "[R"U55n[R "X- S5(d[R"S5eg)z3Validate that the TPM is conditionally independent.gzrTPM is not conditionally independent. See the conditional independence example in the documentation for more info.T) rrrrstate_by_node2state_by_statestate_by_state2state_by_nodeallcloserConditionallyDependentError)rthere_and_back_agains rrrIs ((3-C&CC  0 0 5 7 'CC  0 0 5 7 ;;2S 9 944   rc4URS:XagURS:wa [S5eURSURS:wa [S5e[R "[R "US:HUS:H55(d [S5eg)z'Validate the given connectivity matrix.rTrz*Connectivity matrix must be 2-dimensional.rz#Connectivity matrix must be square.z4Connectivity matrix must contain only binary values.)sizerrrrall logical_or)cms rconnectivity_matrixr-Zs ww!| ww!|EFF xx{bhhqk!>?? 66"--aq1 2 2#$ $ rc[U5[U5:wa[SRX55e[U5[[U55:wa[SRU55eg)z-Validate that there is a label for each node.z%Labels {0} must label every node {1}.zLabels {0} must be unique.N)lenrrset) node_labels node_indicess rr1r1isg ;3|,,@GG '( ( ;3s;/005<<[IJJ1rc[UR5 [UR5 URRSUR:wa [ S5eg)z?Validate a |Network|. Checks the TPM and connectivity matrix. rzOConnectivity matrix must be NxN, where N is the number of nodes in the network.T)rr-r,rr)r)ns rnetworkr5ssH Jttzz!};< < rcFSSKJn [X5(d [S5eg)z*Validate that the argument is a |Network|.r)Networkz@Input must be a Network (perhaps you passed a Subsystem instead?N)r7 isinstancer)r5r7s r is_networkr:s' g ' ' NP P (rcH[SU55(d [S5eg)z2Check that the state contains only zeros and ones.c3*# UH oS;v M g7f))rrN).0r4s r node_states..s*EqF{Esz:Invalid state: states must consist of only zeros and ones.N)r*r)states r node_statesrBs* *E* * * HJ J +rcj[U5U:wa$[SR[U5U55eg)z'Check that the state is the given size.zrInvalid state: there must be one entry per node in the network; this state has {} entries, but there are {} nodes.T)r/rr)rAr)s r state_lengthrDs7 5zT//5vc%j$/GI I rcJURSUR4nU[R"UR5- n[R "[R "SU:US:5RS55(d [R"UR5eg)zEReturn whether a state can be reached according to the network's TPM..rrN) rr2rr proper_stateany logical_andr*rStateUnreachableErrorrA) subsystemrtests rstate_reachablerLs} --Y333 4C )001 1D 66"..dD1H599"= > >..y?? ?rcXURU:wa[SRX55eg)z/Check that the cut is for only the given nodes.z,{} nodes are not equal to subsystem nodes {}N)indicesrr)cutr2s rrOrOs/ {{l"$fS79 9#rc[UR5 [URUR5 [R (a [ U5 g)z3Validate a |Subsystem|. Checks its state and cut. T)rBrArO cut_indicesrVALIDATE_SUBSYSTEM_STATESrL)ss rrJrJs6 q}} '' rcPUS::d[U[5(a [S5eg)z%Validate a macro temporal time scale.rz%time scale must be a positive integerN)r9floatr) time_scales rrVrVs&Q*Z77@AA8rc[5nUH<nUH3nX1;a[SRU55eURU5 M5 M> g)z>Df!%?./ / Jrct[[UR55UR:wa$[SR UR55e[ UR 5 UR HCn[ U5[ UR5-(aM+[SR U55e g)zValidate a macro blackboxing.z!Output indices {} must be orderedz0Every blackbox must have an output - {} does notN)rsortedoutput_indicesrrrYr0)blackboxr[s rrfrfs VH++ ,-1H1HH<CC  # #%& &h  !""4y3x66777BII #rc ^UcgURHyn[U5[UR5-mUc[T5S:a [ S5eU(dMJ[ U4SjUR55(aMp[ S5e g)zPValidate that a coarse-graining properly combines the outputs of a blackboxing. NrzCA blackboxing with multiple outputs per box must be coarse-grained.c3F># UHnTRU5v M g7f)N)issubset)r>r[outputss rr?,blackbox_and_coarse_grain..s'%I1G&-%5%5d%;%;1Gs!zgMultiple outputs from a blackbox must be partitioned into the same macro-element of the coarse-graining)rYr0rer/rrG)rfraboxrjs @rblackbox_and_coarse_grainrms!!c(S!8!899  CL1$4"# # L%I1=1G1G%I"I"I@A A"r)F)T)__doc__numpyrr8rrrrrrrrr-r1r5r:rBrDrLrOrJrVrYrarfrmr=rrrpst 44"  %P" K PJ @9 B  / Ar