ph>SrSSKrSSKrSSKJrJrJrJrJr SSK J r J r J r J r JrJrJrJr SSKJrJrJr SSKJr SS KJr SS KJr \R6"\5r"S S \5r\S!S j5rSr Sr!"SS\5r"S"Sjr#Sr$\RJ"S/S9\S55r&Sr'\RP"\&5S5r)Sr*"SS5r+S"Sjr,S"Sjr-"SS\R\5r/S r0g)#z5 Functions for computing subsystem-level properties. N) Directionconfig connectivitymemoryutils)CauseEffectStructureConceptCutKCutSystemIrreducibilityAnalysis _null_siacmpfmt)directed_bipartitiondirected_bipartition_of_onemip_partitions)time_annotated) ces_distance) MapReducecH\rSrSrSrSr\S5rSr\ S5r Sr Sr g ) ComputeCauseEffectStructurez.Engine for computing a |CauseEffectStructure|.zComputing conceptsc URS$)Nr)contextselfs Q/home/james-whalen/.local/lib/python3.13/site-packages/pyphi/compute/subsystem.py subsystem%ComputeCauseEffectStructure.subsystems||Ac/$N)rargss r empty_result(ComputeCauseEffectStructure.empty_result#s r"c8URUUUUS9nSUlU$)zUCompute a |Concept| for a mechanism, in this |Subsystem| with the provided purviews. )purviewscause_purviewseffect_purviewsN)conceptr ) mechanismr r*r+r,r-s rcompute#ComputeCauseEffectStructure.compute&s4 ##I-53A4C$E!r"cjURS:a"URUlURU5 U$)zKSave all concepts with non-zero |small_phi| to the |CauseEffectStructure|. r)phir append)r new_conceptconceptss rprocess_result*ComputeCauseEffectStructure.process_result6s- ??Q $(NNK ! OOK (r"r%N) __name__ __module__ __qualname____firstlineno____doc__ descriptionpropertyr r' staticmethodr/r6__static_attributes__r%r"rrrs<8'K   r"rcUSLa[R"URSS9n[XUX45n[ UR U=(d [ R5US9$)aReturn the conceptual structure of this subsystem, optionally restricted to concepts with the mechanisms and purviews given in keyword arguments. If you don't need the full |CauseEffectStructure|, restricting the possible mechanisms and purviews can make this function much faster. Args: subsystem (Subsystem): The subsystem for which to determine the |CauseEffectStructure|. Keyword Args: mechanisms (tuple[tuple[int]]): Restrict possible mechanisms to those in this list. purviews (tuple[tuple[int]]): Same as in |Subsystem.concept()|. cause_purviews (tuple[tuple[int]]): Same as in |Subsystem.concept()|. effect_purviews (tuple[tuple[int]]): Same as in |Subsystem.concept()|. parallel (bool): Whether to compute concepts in parallel. If ``True``, overrides :data:`config.PARALLEL_CONCEPT_EVALUATION`. Returns: CauseEffectStructure: A tuple of every |Concept| in the cause-effect structure. FT)nonemptyr )rpowerset node_indicesrr runrPARALLEL_CONCEPT_EVALUATION)r mechanismsr*r+r,parallelengines rcesrKAsc4U^^I$:$:TJ ()7JF  8,N+1+M+M!O*3 55r"cp[[U5[SUS95n[U[R 5$)zReturn the conceptual information for a |Subsystem|. This is the distance from the subsystem's |CauseEffectStructure| to the null concept. r%rC)rrKr roundr PRECISION)r cis rconceptual_inforPfs2 c)n*2C EB V%% &&r"c\[RSU5 URU5n[R(a UR nO+[ UR [UR5-5n[X45n[RSU5 [X%5n[UUUUUS9$)apCompute the system irreducibility for a given cut. Args: uncut_subsystem (Subsystem): The subsystem without the cut applied. cut (Cut): The cut to evaluate. unpartitioned_ces (CauseEffectStructure): The cause-effect structure of the uncut subsystem. Returns: SystemIrreducibilityAnalysis: The |SystemIrreducibilityAnalysis| for that cut. zEvaluating %s...zFinished evaluating %s.)r2rKpartitioned_cesr cut_subsystem) logdebug apply_cutr&ASSUME_CUTS_CANNOT_CREATE_NEW_CONCEPTSrHsetlistcut_mechanismsrKrr )uncut_subsystemcutunpartitioned_cesrSrHrRphi_s r evaluate_cutr_qsII #&#--c2M 44&11   ( ( -- . /0 -4OII'- ) ;D '  '!#  %%r"cj\rSrSrSrSR \R5rSr \ S5r Sr Sr g) ComputeSystemIrreducibilityz3Computation engine for system-level irreducibility.zEvaluating {} cutsc([U[S5S9$)zLBegin with a |SIA| with infinite |big_phi|; all actual SIAs will have less. infr2)rfloat)rr r]s rr'(ComputeSystemIrreducibility.empty_resultse 55r"c[XU5$)zEvaluate a cut.)r_)r\r r]s rr/#ComputeSystemIrreducibility.computesI,=>>r"cFURS:Xa SUlU$X:aU$U$)zECheck if the new SIA has smaller |big_phi| than the standing result. rT)r2done)rnew_siamin_sias rr6*ComputeSystemIrreducibility.process_results, ;;! DIN  Nr")rkN)r8r9r:r;r<formatrBIG_PHIr=r'r?r/r6r@r%r"rraras9='--ckk:K6 ?? r"rac[R(a [U5nO [USS9nUVs/sHn[ USUSU5PM sn$s snf)zReturn all |big_phi| cuts for the given nodes. This value changes based on :const:`config.CUT_ONE_APPROXIMATION`. Args: nodes (tuple[int]): The node indices to partition. Returns: list[Cut]: All unidirectional partitions. T) nontrivialrr)rCUT_ONE_APPROXIMATIONrrr )nodes node_labels bipartitions bipartitions rsia_bipartitionsrxs]##259 ,EdC  , -+   A A <+ -- -sAc2[U[RS9$)zParallelize the unpartitioned |CauseEffectStructure| if parallelizing cuts, since we have free processors because we're not computing any cuts yet. )rI)rKrPARALLEL_CUT_EVALUATIONrCs r_cesr{s y6#A#A BBr"r )ignorec[RSU5 U(d![RSU5 [U5$[R"UR UR 5(d![RSU5 [U5$[UR5S:XaUR UR UR (d![RSU5 [U5$[R(d![RSU5 [U5$[RS5 [U5nU(d [RS5 [U5$[RS 5 [UR5S:Xa-[URURUR5/nO [URUR5n[!X1U5nUR#[R$5n[R&(a%[RS 5 UR)5 [RS U5 U$) aOReturn the minimal information partition of a subsystem. Args: subsystem (Subsystem): The candidate set of nodes. Returns: SystemIrreducibilityAnalysis: A nested structure containing all the data from the intermediate calculations. The top level contains the basic irreducibility information for the given subsystem. z"Calculating big-phi data for %s...z6Subsystem %s is empty; returning null SIA immediately.z=%s is not strongly connected; returning null SIA immediately.rzXSingle micro nodes %s without selfloops cannot have phi; returning null SIA immediately.zUSingle micro nodes %s with selfloops cannot have phi; returning null SIA immediately.z-Finding unpartitioned CauseEffectStructure...zIEmpty unpartitioned CauseEffectStructure; returning null SIA immediately.z)Found unpartitioned CauseEffectStructure.zClearing subsystem caches.z)Finished calculating big-phi data for %s.)rTinforr is_strongcmrElen cut_indicesr*SINGLE_MICRO_NODES_WITH_SELFLOOPS_HAVE_PHIrUr{r cut_node_labelsrxrarFrz*CLEAR_SUBSYSTEM_CACHES_AFTER_COMPUTING_SIA clear_caches) cache_keyr r]cutsrJresults r_siarsHH 19=   !* ,##  ! !),, 0F0F G G  !* ,##  9 !Q&||I223I4J4JK HH<=F HY' 'BB HH<=F HY' 'II=>Y  $ %##II9: 9 !Q&I))9+@+@--/0 5 5 ) 9 9;) *,F ZZ66 7F 88 ./ HH 8)D Mr"c[U5[R[R[R[R [R [R[R4$)zThe cache key of the subsystem. This includes the native hash of the subsystem and all configuration values which change the results of ``sia``. ) hashrrWrsMEASURErNVALIDATE_SUBSYSTEM_STATESrPARTITION_TYPErCs r_sia_cache_keyr)sR Y55$$((99  r"cj[RS:Xa [U5$[[ U5U5$)N CONCEPT_STYLE)r SYSTEM_CUTSsia_concept_stylerrrCs rsiar?s- _, ++ y)9 55r"c,[U5R$)z*Return the |big_phi| value of a subsystem.)rr2rCs rr2r2Gs y>  r"ch\rSrSrSrS SjrSrSrSr\ S5r \ S 5r SS jr S r S rg)ConceptStyleSystemiLzSA functional replacement for ``Subsystem`` implementing concept-style system cuts. NcTXlX lX0lURU5Ulgr$)r directionr\rV cut_system)rr rr\s r__init__ConceptStyleSystem.__init__Qs#""#--c2r"cD[URURU5$r$)rr r)rr\s rrVConceptStyleSystem.apply_cutWs!$..$..#FFr"cdSUR;a[URU5$[U5e)z5Pass attribute access through to the basic subsystem.r )__dict__getattrr AttributeErrorrnames r __getattr__ConceptStyleSystem.__getattr__Zs, $-- '4>>40 0T""r"c,[UR5$r$)rr rs r__len__ConceptStyleSystem.__len__cs4>>""r"c[RUR[RUR0UR $r$)rCAUSErEFFECTr rrs r cause_systemConceptStyleSystem.cause_systemfs8 OOT__   dnn  .. r"c[RUR[RUR0UR $r$)rrr rrrrs r effect_system ConceptStyleSystem.effect_systemms8 OOT^^   doo  .. r"cURRX=(d US9nURRX=(d US9n[ XUUS9$)zJCompute a concept, using the appropriate system for each side of the cut. )r*)r.causeeffectr )rmicrmier )rr.r*r+r,rrs rr-ConceptStyleSystem.concepttsb !!%% !;8&>##'' !->??r")r\rrr r$)FFF)r8r9r:r;r<rrVrrr>rrr-rr@r%r"rrrLsY3 G##  AF % '@r"rc#L# [X5Hn[XU5v M g7f)z5Generator over all concept-syle cuts for these nodes.N)rr )rrEru partitions r concept_cutsrs"#L? 955@s"$cUc [U5n[X5n[XRUR5n[ XCU5nUR [R5$)zcCalculate a concept-style SystemIrreducibilityAnalysisCause or SystemIrreducibilityAnalysisEffect. ) r{rrrrurarFrrz)r rr]c_systemrrJs rdirectional_siars]  O!)7H  #7#79N9N OD) )+F ::f44 55r"cR\rSrSrSrSr\S5rSrSr S/r Sr S r S r S rg ) (SystemIrreducibilityAnalysisConceptStyleizBSystemIrreducibilityAnalysisConceptStyle.min_sia..s!%%r")key)minrrrs rrm0SystemIrreducibilityAnalysisConceptStyle.min_sias4>>4??HHr"cSUR;a&SUR;a[URU5$[U5e)z1Pass attribute access through to the minimal SIA.rr)rrrmrrs rr4SystemIrreducibilityAnalysisConceptStyle.__getattr__s5 4== (\T]]-J4<<. .T""r"c2[R"XS/5$)Nr2)r general_eq)rothers r__eq__/SystemIrreducibilityAnalysisConceptStyle.__eq__s~~dE733r"networkcDUR[UR5/$r$)r2rr rs rorder_by1SystemIrreducibilityAnalysisConceptStyle.order_bys#dnn-..r"c,[UR5$r$)reprrmrs r__repr__1SystemIrreducibilityAnalysisConceptStyle.__repr__sDLL!!r"c,[UR5$r$)strrmrs rr0SystemIrreducibilityAnalysisConceptStyle.__str__s4<<  r"rN)r8r9r:r;r<rr>rmrrunorderable_unless_eqrrrr@r%r"rrrsCF%II# 4'K/"!r"rc[U5n[U[RU5n[U[RU5n[ X#5$)z4Compute a concept-style SystemIrreducibilityAnalysis)r{rrrrr)r r]rrs rrrsEY 9?? 13I I,<,rs ==III))""!%)%PDI(-!5!5H'%%P)>-(Ck]#N$Nf, 66 7@7@t6 6$!s}}!B Kr"