compiled-knowledge 4.0.0a23__cp312-cp312-macosx_11_0_arm64.whl → 4.0.0a25__cp312-cp312-macosx_11_0_arm64.whl

ck/pgm_circuit/pgm_circuit.py

@@ -16,33 +16,42 @@ class PGMCircuit:
     holds the values of the parameters. Specifically, given parameter id `param_id`, then
     `parameter_values[slot_map[param_id] - number_of_indicators]` is the value of the
     identified parameter as it was in the PGM.
-
-    Fields:
-        rvs: holds the random variables from the PGM as it was compiled, in order.
-
-        conditions: any conditions on `rvs` that were compiled into the circuit.
-
-        number_of_indicators: is the number of indicators in `rvs` which is
-            `sum(len(rv) for rv in rvs`. Specifically, `circuit.vars[i]` is the circuit variable
-            corresponding to the ith indicator, where `circuit` is `circuit_top.circuit` and
-            indicators are ordered as per `rvs`.
-
-        number_of_parameters: is the number of parameters from the PGM that are
-            represented as circuit variables. This may be zero if parameters from the PGM
-            were compiled as constants.
-
-        slot_map[x]: gives the index of the circuit variable corresponding to x,
-            where x is either a random variable indicator (Indicator) or a parameter id (ParamId).
-
     """
 
     rvs: Sequence[RandomVariable]
+    """holds the random variables from the PGM as it was compiled, in order."""
+
     conditions: Sequence[Indicator]
+    """any conditions on `rvs` that were compiled into the circuit."""
+
     circuit_top: CircuitNode
+    """the top circuit node defining the network function."""
+
     number_of_indicators: int
+    """
+    the number of indicators in `rvs` which is
+    `sum(len(rv) for rv in rvs`. Specifically, `circuit.vars[i]` is the circuit variable
+    corresponding to the ith indicator, where `circuit` is `circuit_top.circuit` and
+    indicators are ordered as per `rvs`.
+    """
+
     number_of_parameters: int
+    """
+    the number of parameters from the PGM that are
+    represented as circuit variables. This may be zero if parameters from the PGM
+    were compiled as constants.
+    """
+
     slot_map: SlotMap
+    """
+    gives the index of the circuit variable corresponding to x,
+    where x is either a random variable indicator (Indicator) or a parameter id (ParamId).
+    """
+
     parameter_values: NDArray
+    """
+    parameter values, co-indexed with the circuit variables, counting beyond `number_of_indicators`.
+    """
 
     def dump(self, *, prefix: str = '', indent: str = '    ') -> None:
         """

ck/pgm_circuit/program_with_slotmap.py

@@ -114,7 +114,10 @@ class ProgramWithSlotmap:
 
     def compute_conditioned(self, *condition: Condition) -> NDArrayNumeric:
         """
-        Equivalent to:
+        Compute the program value, after setting the given condition.
+
+        Equivalent to::
+
             self.set_condition(*condition)
             return self.compute()
         """

ck/pgm_compiler/pgm_compiler.py

@@ -7,7 +7,7 @@ from ck.pgm_circuit import PGMCircuit
 class PGMCompiler(Protocol):
     def __call__(self, pgm: PGM, *, const_parameters: bool = True) -> PGMCircuit:
         """
-        A PGM compiler is a function with this signature.
+        A PGM compiler compiles a PGM to an arithmetic circuit.
 
         Args:
             pgm: The PGM to compile.

ck/pgm_compiler/support/circuit_table/_circuit_table_cy.c

@@ -15,7 +15,7 @@
             "-O3"
         ],
         "include_dirs": [
-            "/private/var/folders/y6/nj790rtn62lfktb1sh__79hc0000gn/T/build-env-x_3zb_va/lib/python3.12/site-packages/numpy/_core/include"
+            "/private/var/folders/y6/nj790rtn62lfktb1sh__79hc0000gn/T/build-env-q2xes9a1/lib/python3.12/site-packages/numpy/_core/include"
         ],
         "name": "ck.pgm_compiler.support.circuit_table._circuit_table_cy",
         "sources": [

ck/pgm_compiler/support/join_tree.py

@@ -192,7 +192,7 @@ def _make_spanning_tree_small_root(cost: NDArrayFloat64, clusters: List[Set[int]
     Returns:
         (spanning_tree, root_index)
 
-        spanning_tree: is a spanning tree represented as a list of nodes, the list is coindexed with
+        spanning_tree: is a spanning tree represented as a list of nodes, the list is co-indexed with
         the given cost matrix, each node is a list of children, each child being
         represented as an index into the list of nodes.
 
@@ -219,7 +219,7 @@ def _make_spanning_tree_arbitrary_root(cost: NDArrayFloat64) -> Tuple[List[List[
     Returns:
         (spanning_tree, root_index)
 
-        spanning_tree: is a spanning tree represented as a list of nodes, the list is coindexed with
+        spanning_tree: is a spanning tree represented as a list of nodes, the list is co-indexed with
         the given cost matrix, each node is a list of children, each child being
         represented as an index into the list of nodes.
 
@@ -243,7 +243,7 @@ def _make_spanning_tree_at_root(
         root_custer_index: a nominated root cluster to be the root of the tree.
 
     Returns:
-        a spanning tree represented as a list of nodes, the list is coindexed with
+        a spanning tree represented as a list of nodes, the list is co-indexed with
         the given cost matrix, each node is a list of children, each child being
         represented as an index into the list of nodes. The root node is the
         index `root_custer_index` as passed to this function.

ck/probability/empirical_probability_space.py

@@ -1,4 +1,4 @@
-from typing import Sequence, Iterable, Tuple, Dict, List
+from typing import Sequence, Iterable, Tuple, Dict
 
 from ck.pgm import RandomVariable, Indicator, Instance
 from ck.probability.probability_space import ProbabilitySpace, Condition, check_condition
@@ -10,6 +10,8 @@ class EmpiricalProbabilitySpace(ProbabilitySpace):
         Enable probabilistic queries over a sample from a sample space.
         Note that this is not necessarily an efficient approach to calculating probabilities and statistics.
 
+        This probability space treats each of the samples as equally weighted.
+
         Assumes:
             len(sample) == len(rvs), for each sample in samples.
             0 <= sample[i] < len(rvs[i]), for each sample in samples, for i in range(len(rvs)).
@@ -19,7 +21,7 @@ class EmpiricalProbabilitySpace(ProbabilitySpace):
             samples: instances (state indexes) that are samples from the given rvs.
         """
         self._rvs: Sequence[RandomVariable] = tuple(rvs)
-        self._samples: List[Instance] = list(samples)
+        self._samples: Sequence[Instance] = tuple(samples)
         self._rv_idx_to_sample_idx: Dict[int, int] = {
             rv.idx: i
             for i, rv in enumerate(self._rvs)
@@ -47,4 +49,3 @@ class EmpiricalProbabilitySpace(ProbabilitySpace):
     @property
     def z(self) -> float:
         return len(self._samples)
-

ck/probability/pgm_probability_space.py

@@ -1,6 +1,6 @@
-from typing import Sequence, Iterable, Tuple, Dict, List
+from typing import Sequence, Tuple
 
-from ck.pgm import RandomVariable, Indicator, Instance, PGM
+from ck.pgm import RandomVariable, Indicator, PGM
 from ck.probability.probability_space import ProbabilitySpace, Condition, check_condition
 
 
@@ -12,6 +12,11 @@ class PGMProbabilitySpace(ProbabilitySpace):
 
         Args:
             pgm: The PGM to query.
+
+        Warning:
+            The resulting probability space assumes that the value of the partition
+            function, `z`, remains constant for the lifetime of the PGM. If the value
+            changes, then probabilities and statistics will be incorrect.
         """
         self._pgm = pgm
         self._z = None
@@ -29,4 +34,3 @@ class PGMProbabilitySpace(ProbabilitySpace):
         if self._z is None:
             self._z = self._pgm.value_product_indicators()
         return self._z
-

ck/probability/probability_space.py

@@ -1,10 +1,7 @@
-"""
-An abstract class for object providing probabilities.
-"""
 import math
 from abc import ABC, abstractmethod
 from itertools import chain
-from typing import Sequence, Tuple, Iterable, Callable
+from typing import Sequence, Tuple, Iterable, Callable, TypeAlias
 
 import numpy as np
 
@@ -13,8 +10,19 @@ from ck.utils.iter_extras import combos as _combos
 from ck.utils.map_set import MapSet
 from ck.utils.np_extras import dtype_for_number_of_states, NDArrayFloat64, DTypeStates, NDArrayNumeric
 
-# Type defining a condition.
-Condition = None | Indicator | Iterable[Indicator]
+Condition: TypeAlias = None | Indicator | Iterable[Indicator]
+"""
+Type defining a condition. A condition is logically a set of
+indicators, each indicator representing a random variable being in some state.
+
+If multiple indicators of the same random variable appear in
+a condition, then they are interpreted as
+a disjunction, otherwise indicators are interpreted as
+a conjunction. E.g.,  the condition (X=0, Y=1, Y=3) means
+X=0 and (Y=1 or Y=3).
+"""
+
+_NAN: float = np.nan  # Not-a-number (i.e., the result of an invalid calculation).
 
 
 class ProbabilitySpace(ABC):
@@ -41,13 +49,9 @@ class ProbabilitySpace(ABC):
         """
         Return the weight of instances matching the given condition.
 
-        If multiple indicators of the same random variable appear in
-        the parameter 'indicators' then they are interpreted as
-        a disjunction, otherwise indicators are interpreted as
-        a conjunction. E.g.:  X=0, Y=1, Y=3  means X=0 and (Y=1 or Y=3)
-
         Args:
-            condition: zero or more indicators that specify a condition.
+            condition: a condition restricting the instances that are
+                considered in the result.
         """
 
     @property
@@ -56,6 +60,7 @@ class ProbabilitySpace(ABC):
         """
         Return the summed weight of all instances.
         This is equivalent to self.wmc(), with no arguments.
+        This is also known as the "partition function".
         """
 
     def probability(self, *indicators: Indicator, condition: Condition = ()) -> float:
@@ -80,11 +85,11 @@ class ProbabilitySpace(ABC):
         if len(condition) == 0:
             z = self.z
             if z <= 0:
-                return np.nan
+                return _NAN
         else:
             z = self.wmc(*condition)
             if z <= 0:
-                return np.nan
+                return _NAN
 
             # Combine the indicators with the condition
             # If a variable is mentioned in both the indicators and condition, then
@@ -617,6 +622,6 @@ def _normalise_marginal(distribution: NDArrayFloat64) -> None:
     """
     total = np.sum(distribution)
     if total <= 0:
-        distribution[:] = np.nan
+        distribution[:] = _NAN
     elif total != 1:
         distribution /= total

ck/program/raw_program.py

@@ -1,5 +1,5 @@
 from dataclasses import dataclass
-from typing import Callable, Sequence
+from typing import Callable, Sequence, TypeAlias
 
 import numpy as np
 import ctypes as ct
@@ -7,12 +7,14 @@ import ctypes as ct
 
 from ck.utils.np_extras import NDArrayNumeric, DTypeNumeric
 
-# RawProgramFunction is a function of three ctypes arrays, returning nothing.
-# Args:
-#     [0]: input  values,
-#     [1]: temporary working memory,
-#     [2]: output values.
-RawProgramFunction = Callable[[ct.POINTER, ct.POINTER, ct.POINTER], None]
+RawProgramFunction: TypeAlias = Callable[[ct.POINTER, ct.POINTER, ct.POINTER], None]
+"""
+RawProgramFunction is a function of three ctypes arrays, returning nothing.
+Args:
+    [0]: input  values,
+    [1]: temporary working memory,
+    [2]: output values.
+"""
 
 
 @dataclass
@@ -26,23 +28,28 @@ class RawProgram:
     an efficient method for executing a program as buffers are reallocated for
     each call. Alternatively, a `RawProgram` can be wrapped in a `ProgramBuffer`
     for computationally efficient memory buffer reuse.
-
-    Fields:
-        function: is a function of three ctypes arrays, returning nothing.
-        dtype: the numpy data type of  the array values.
-        number_of_vars: the number of input values (first function argument).
-        number_of_tmps: the number of working memory values (second function argument).
-        number_of_results: the number of result values (third function argument).
-        var_indices: maps the index of inputs (from 0 to self.number_of_vars - 1) to the index
-            of the corresponding circuit var.
     """
 
     function: RawProgramFunction
+    """a function of three ctypes arrays, returning nothing."""
+
     dtype: DTypeNumeric
+    """the numpy data type of  the array values."""
+
     number_of_vars: int
+    """the number of input values (first function argument)."""
+
     number_of_tmps: int
+    """the number of working memory values (second function argument)."""
+
     number_of_results: int
+    """the number of result values (third function argument)."""
+
     var_indices: Sequence[int]
+    """
+    a map from the index of inputs (from 0 to self.number_of_vars - 1) to the index
+    of the corresponding circuit var.
+    """
 
     def __call__(self, var_values: NDArrayNumeric | Sequence[int | float] | int | float) -> NDArrayNumeric:
         """

ck/sampling/sampler_support.py

@@ -1,6 +1,6 @@
 from dataclasses import dataclass
 from itertools import count
-from typing import Callable, Sequence, Optional, Set, Tuple, Dict, Collection
+from typing import Callable, Sequence, Optional, Set, Tuple, Dict, Collection, TypeAlias
 
 from ck.pgm import Instance, RandomVariable, Indicator
 from ck.pgm_circuit.program_with_slotmap import ProgramWithSlotmap
@@ -10,10 +10,12 @@ from ck.utils.map_set import MapSet
 from ck.utils.np_extras import NDArrayStates, NDArrayNumeric
 from ck.utils.random_extras import Random
 
-# Type of a yield function. Support for a sampler.
-# A yield function may be used to implement a sampler's iterator, thus
-# it provides an Instance or single state index.
-YieldF = Callable[[NDArrayStates], int] | Callable[[NDArrayStates], Instance]
+YieldF: TypeAlias = Callable[[NDArrayStates], int] | Callable[[NDArrayStates], Instance]
+"""
+Type of a yield function. Support for a sampler.
+A yield function may be used to implement a sampler's iterator, thus
+it provides an Instance or single state index.
+"""
 
 
 @dataclass

ck/utils/iter_extras.py

@@ -33,11 +33,12 @@ def combos(list_of_lists: Sequence[Sequence[_T]], flip=False) -> Iterable[Tuple[
     Iterate over all combinations of taking one element from each of the lists.
 
     The order of results has the first element changing most rapidly.
-    For example, given [[1,2,3],[4,5],[6,7]], combos yields the following:
+    For example, given [[1,2,3],[4,5],[6,7]], combos yields the following::
+
         (1,4,6), (2,4,6), (3,4,6), (1,5,6), (2,5,6), (3,5,6),
         (1,4,7), (2,4,7), (3,4,7), (1,5,7), (2,5,7), (3,5,7).
 
-    If flip, then the last changes most rapidly.
+    If `flip` is true, then the last changes most rapidly.
     """
     num = len(list_of_lists)
     if num == 0:

ck/utils/local_config.py

@@ -12,10 +12,13 @@ other getter methods wrap `get`.
 
 The `get` method will search for a value for a requested variable
 using the following steps.
+
 1) Check the `programmatic config` which is a dictionary that
-   can be directly updated.
+can be directly updated.
+
 2) Check the PYTHONPATH for a module called `config` (i.e., a
-   `config.py` file) for global variables defined in that module.
+`config.py` file) for global variables defined in that module.
+
 3) Check the system environment variables (`os.environ`).
 
 Variable names must be a valid Python identifier. Only valid
@@ -171,8 +174,9 @@ def get_params(
     are returned as a single string with `delim` as the delimiter. If
     `delim` is not None then the default value for `sep` is '='.
 
-    For example, assume config.py contains: ABC = 123 and DEF = 456,
-    then:
+    For example, assume `config.py` contains: `ABC = 123` and `DEF = 456`,
+    then::
+
         get_params('ABC') -> ('ABC', 123)
         get_params('ABC', 'DEF') -> ('ABC', 123), ('DEF', 456)
         get_params('ABC', sep='=') = 'ABC=123'
@@ -180,10 +184,14 @@ def get_params(
         get_params('ABC;DEF', delim=';') = 'ABC=123;DEF=456'
         get_params('ABC;DEF', sep='==', delim=';') = 'ABC==123;DEF==456'
 
-    :param keys: the names of variables to access.
-    :param sep: the separator character between {variable} and {value}.
-    :param delim: the delimiter character between key-value pairs.
-    :param config: a Config instance to update. Default is the global config.
+    Args:
+        keys: the names of variables to access.
+        sep: the separator character between {variable} and {value}.
+        delim: the delimiter character between key-value pairs.
+        config: a Config instance to update. Default is the global config.
+
+    Returns:
+        the requested parameter values.
     """
     if delim is not None:
         keys = flatten(key.split(delim) for key in keys)

{compiled_knowledge-4.0.0a23.dist-info → compiled_knowledge-4.0.0a25.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: compiled-knowledge
-Version: 4.0.0a23
+Version: 4.0.0a25
 Summary: A Python package for compiling and querying discrete probabilistic graphical models.
 Author-email: Barry Drake <barry@compiledknowledge.org>
 License-Expression: MIT

{compiled_knowledge-4.0.0a23.dist-info → compiled_knowledge-4.0.0a25.dist-info}/RECORD

@@ -1,8 +1,3 @@
-compiled_knowledge-4.0.0a23.dist-info/RECORD,,
-compiled_knowledge-4.0.0a23.dist-info/WHEEL,sha256=V1loQ6TpxABu1APUg0MoTRBOzSKT5xVc3skizX-ovCU,136
-compiled_knowledge-4.0.0a23.dist-info/top_level.txt,sha256=Cf8DAfd2vcnLiA7HlxoduOzV0Q-8surE3kzX8P9qdks,12
-compiled_knowledge-4.0.0a23.dist-info/METADATA,sha256=gDe8xbB6tGtwczawUBO3R8EHKau7yc8dzdDEpZXfPTk,1788
-compiled_knowledge-4.0.0a23.dist-info/licenses/LICENSE.txt,sha256=-LmkmqXKYojmS3zDxXAeTbsA82fnHA0KaRvpfIoEdjA,1068
 ck_demos/all_demos.py,sha256=tqnMFbW6t1F4ksErf6QYTz9XtvbfayWl35lD3Bjm47E,2468
 ck_demos/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/circuit/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -57,22 +52,27 @@ ck_demos/pgm_inference/demo_inferencing_mpe_cancer.py,sha256=hS9U2kyqjFgJ8jnVBtT
 ck_demos/pgm_inference/demo_inferencing_wmc_and_mpe_sprinkler.py,sha256=-q4Z1Fzf7-BuwVFTFXdGRY-zUNrY-SAU7ooaov2o_lM,5128
 ck_demos/getting_started/simple_demo.py,sha256=hiYscNnfkEwHCQ3ymXAswAYO5jAKR7cseb36pjzuus8,650
 ck_demos/getting_started/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-ck/pgm.py,sha256=T7ZXWEgn93uh8mf-FxOgkPY8RgabBCUg2lpKoQmhGMU,117226
+compiled_knowledge-4.0.0a25.dist-info/RECORD,,
+compiled_knowledge-4.0.0a25.dist-info/WHEEL,sha256=V1loQ6TpxABu1APUg0MoTRBOzSKT5xVc3skizX-ovCU,136
+compiled_knowledge-4.0.0a25.dist-info/top_level.txt,sha256=Cf8DAfd2vcnLiA7HlxoduOzV0Q-8surE3kzX8P9qdks,12
+compiled_knowledge-4.0.0a25.dist-info/METADATA,sha256=3UADMUodWIyLwYZohmV72rNQzjNVc3nOIoD8iqOkZDU,1788
+compiled_knowledge-4.0.0a25.dist-info/licenses/LICENSE.txt,sha256=-LmkmqXKYojmS3zDxXAeTbsA82fnHA0KaRvpfIoEdjA,1068
+ck/pgm.py,sha256=xKDGCG4Qo4slnKB-EsdBk1ob2k8NXYt45Lpjmo9TsO4,117505
 ck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck/pgm_circuit/target_marginals_program.py,sha256=qWz9FkAFzt8YHLZJzPkpRnvDH76BXm-dcEWhoqCkrOw,3665
 ck/pgm_circuit/slot_map.py,sha256=pqN0t5ElmUjR7SzvzldQwnO-jjRIz1rNZHH1PzE-V88,822
-ck/pgm_circuit/mpe_program.py,sha256=haYfD7pw9nP7biqNfmWRS3LkbvZcJfDNe5rZpkWMQoA,10008
-ck/pgm_circuit/program_with_slotmap.py,sha256=HQNxLTYdxb1noAjyzvX3LknI9vT2RPk5UmYF__fn9Jg,8723
+ck/pgm_circuit/mpe_program.py,sha256=uDOykbBIbvvDQtxXOgBj6gzoehq1AfaQzZIWW3rMZnY,9990
+ck/pgm_circuit/program_with_slotmap.py,sha256=5ktYdAAEn_dku91D5lSb_MV2I6oPcGbPT8W1ZK-a8FY,8796
 ck/pgm_circuit/__init__.py,sha256=FctIFEYdL1pwxFMMEEu5Rwgq3kjPar-vJTqAmgIqb-I,36
 ck/pgm_circuit/marginals_program.py,sha256=E-L-4Rc2YLs3ndXIfXpTxUYGEFJG1_BkaZVDBs9gcgQ,14434
 ck/pgm_circuit/wmc_program.py,sha256=Btq7jUot-PodWXrgDFaE6zhUtr6GPUNF217CVLTaB70,12376
-ck/pgm_circuit/pgm_circuit.py,sha256=VBgHk7uDNYiElesEQxdmlU2iRn0bfHYWik2Cb6t838g,3208
+ck/pgm_circuit/pgm_circuit.py,sha256=XBXANPREwp5Cl8P0x5XuG9besOJV5DjVxtNkqyt2DK8,3287
 ck/pgm_circuit/support/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck/pgm_circuit/support/compile_circuit.py,sha256=56KsI01Ww3gSHnqoTt81kzdHgbFTmHwVeB3jEajipHs,3179
-ck/probability/probability_space.py,sha256=gjH8la8ZGegWTYetpY16XdbwqEniqy-CiqoDFWRLzkM,25260
-ck/probability/pgm_probability_space.py,sha256=o-IVo-PfM-Qu1BZ8xatpFhmaa7SZztnck569FHSdTNo,1002
+ck/probability/probability_space.py,sha256=TTNSe6z40hs94kLBR_YHNjjRvBGVI86tza-CU2FKd9M,25482
+ck/probability/pgm_probability_space.py,sha256=9al9sZk2LGvnTITvxS8x_ntabHKhaliUW-6JUeAEEl4,1231
 ck/probability/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-ck/probability/empirical_probability_space.py,sha256=839eEJi9AW4U9KGzAo-_K-4Ae2M5tdijzMvbYPCO9c0,1900
+ck/probability/empirical_probability_space.py,sha256=ojEMLKVy9Qf-Vi803B9KWARCySIWwf4rt23--mpAxD0,1978
 ck/example/survey.py,sha256=ubjM8EP7aQMQbx7XFMaXvSYBOPuUDHeyG6wZIlRDqD8,1565
 ck/example/pathfinder.py,sha256=rQckvasnbzBYYESxngE_xbhyXxoJlELeiYc6Ghh7iFk,2257125
 ck/example/run.py,sha256=nYfC_prwCRBN0uawLvrRVsl5IFag9VrQ5x_hhWmr-18,964
@@ -81,7 +81,7 @@ ck/example/asia.py,sha256=vS81n-qyhHscW8yG__9TQvDHLI-s6y6gaDetfOKMvFw,1267
 ck/example/clique.py,sha256=c3bATknqkD3QJztHQffgyL6_WzupWUpLSnI-EIEndqg,1055
 ck/example/mildew.py,sha256=Hfn_nQUhZVK6wFzNgxjD8HgzxgGxU1TWTZcWUrN3tDU,1792796
 ck/example/chain.py,sha256=aPlqMtqWO2BOz1WLXFtVwT3uPKN2E2Z7a7TSPvtloQU,1313
-ck/example/truss.py,sha256=7SM16u6rJVrWIPKRWVTJve13XNnb_CKta4_iIv_sXzY,1925
+ck/example/truss.py,sha256=KgYka1OwoZ_9wRvtCPzI2SkiB22crch_wpZzAYQiRNc,1928
 ck/example/insurance.py,sha256=XRycrk8YBLxv5cQXWd4uIWW5fHhD1_Le9XKdNz_yJA4,31204
 ck/example/sachs.py,sha256=X-2stEbTlnV9hGuo2u6z19jqxJ2mFcIvDQfQnWGuKvc,5678
 ck/example/empty.py,sha256=RU3kjIrWSCBoqK_XZqk82GhI-0blu1dzM32UtGe5Y0Q,172
@@ -99,21 +99,21 @@ ck/example/munin.py,sha256=IZvZrVXDi2Zeu0M-nWIpIbzQu-U0cv0Be6dz960L5lo,1657227
 ck/example/child.py,sha256=qb3cOJms_Bzdfgk0aDrHwfFjjBojCfAYQnorv3p3rQM,7612
 ck/example/hailfinder.py,sha256=7M-J0XqFeNxK-TsdbOYu-GX581oM7wY1INEvTTSwqfs,38866
 ck/example/student.py,sha256=WayCWuMCrE0YSXez-a8TuptS53R6PBG2argyCsas7mc,1290
-ck/example/triangle_square.py,sha256=4JpB-p9hBfCz3Jn1sOKb5qlp5W04Kqm0rdHk2KuZ4lQ,2094
+ck/example/triangle_square.py,sha256=mzl04AqaTkLNo0NU0dZYAh-sBMZbNqpOcdi_Dd1ZgMM,2097
 ck/example/sprinkler.py,sha256=t8RIiPorf3QXYyTXbxFkSrK1SsG5ALWmTfTsFUq2C_c,938
-ck/example/diamond_square.py,sha256=HqGqmInYTpAsCBuz3s8FuhT2Jnc11L3wGCTgJDmFLjw,2722
+ck/example/diamond_square.py,sha256=ic8adEomQHMFlGQ3gMYGEja0LxEla8KEQKhET0XpULs,2725
 ck/example/rain.py,sha256=kLTU_9f_-_yy0ymPnS9-cbFVT6fYyCanDgszk3vQOgc,1187
 ck/example/cancer.py,sha256=-FnLbfb9yxriLl97N5BDZ0VrDZ5UnOWlT-Ep_tzO6QI,1698
-ck/circuit/_circuit_cy.c,sha256=kermLDIHi6yS0k1TOUJyem1DpI8xsldsRnzsMsYU-Tw,1704292
+ck/circuit/_circuit_cy.c,sha256=fvJ3vmBfUEy0qlO5tvNe4BxHNQ39BZa04Na_RThFMoY,1704292
 ck/circuit/_circuit_cy.pyx,sha256=mER1HK5yyf4UAj9ibn7fUQNyXwoxwxp7PClULPhY9B4,26995
 ck/circuit/__init__.py,sha256=B1jwDE_Xb6hOQE8DecjaTVotOnDxJaT7jsvPfGDXqCU,401
 ck/circuit/_circuit_cy.pxd,sha256=ZcW8xjw4oGQqD5gwz73GXc1H8NxpdAswFWzc2CUWWcA,1025
 ck/circuit/_circuit_py.py,sha256=hADjCFDC1LJKUdyiKZzNLFt7ZkUNJ0IYwEYRj594K4g,27495
-ck/circuit/tmp_const.py,sha256=wgi4P3xrTRLPXNMmWYpYaJWlm-lekQOdxg4rkXZC3Wk,2298
-ck/circuit/_circuit_cy.cpython-312-darwin.so,sha256=7-UJeNOgci0GpUay5i5nO4cs9xO7rgbTv1EyTxOSdeA,335296
+ck/circuit/tmp_const.py,sha256=q01bkIvTEg1l-qFcfl2B8NrSzKlqcWU7McNm4HKv7bU,2300
+ck/circuit/_circuit_cy.cpython-312-darwin.so,sha256=g3lVq7Z0zUurgUdyrvRGGCkQfNSXZwlh8uvSz1DpOGk,335296
 ck/sampling/wmc_metropolis_sampler.py,sha256=jfXb-MG0jAoMyepgq9zel2amqK-gmYrCtKuxJStl8VY,6305
 ck/sampling/wmc_direct_sampler.py,sha256=Pkv-u4GjN3npBrcQ92raoTrEIel1vpiDoE8LrlcfYJE,7094
-ck/sampling/sampler_support.py,sha256=SQytIhr3qlIcNjYu9cF7sAxhjiXFLlCwPlsMIOJVH1c,9510
+ck/sampling/sampler_support.py,sha256=AD47QPXlXSTiy7Jm-adD6US3cYeSwBimOY2jB5b2qn4,9534
 ck/sampling/wmc_rejection_sampler.py,sha256=Kk7hDvfnI37CQhFlAW2-UoxtoSbQBoMesghMlwrX6_Y,4782
 ck/sampling/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck/sampling/marginals_direct_sampler.py,sha256=S4kfmvgPfh_dyn-D2WumrH6SMvLc6sFF7fRswGOS1gA,4353
@@ -125,17 +125,17 @@ ck/utils/random_extras.py,sha256=l9CfQM6k-b6KGESJXw9zF--Hqp4yadw2IU9uSoklai0,179
 ck/utils/map_set.py,sha256=T5E3j4Lz08vg8eviRBc-4F10xz1-CKIg6KiHVoGhdts,3681
 ck/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck/utils/tmp_dir.py,sha256=Emln4TIyO-cFrhgcpoH10awakJoRgoDCVgwFKmt1-So,2574
-ck/utils/iter_extras.py,sha256=9BQpCKltbM_hcMIPFfJhqvWSvY2Mz3vzXdoSbfezR5k,4316
+ck/utils/iter_extras.py,sha256=61I4xnFfZD9biC8VAqYRCdh4B2q5BRI6xDQ9jjpQv4E,4328
 ck/utils/np_extras.py,sha256=3wqIJ8Lc4CCpcKmzDiIOtzslW_IFw9HYUC2QaYYN-mM,1701
-ck/utils/local_config.py,sha256=RsP1QwIINw3F7KFVeJEML0Zul3Pm4YEkadVENfqHE6I,9265
+ck/utils/local_config.py,sha256=9b7KAA1-HIjOORa6Z-L90dCKWg0-ZGBmsjYtr1cBwQU,9322
 ck/utils/map_list.py,sha256=0UkTDg-ZlWkuxiM-1OhaUYh5MRgMz0rAppDtE2RryEY,3719
 ck/pgm_compiler/__init__.py,sha256=Ga0dTOetOovHwNN4WS-o4fyyh7255xL0bUTdK29p2LY,110
 ck/pgm_compiler/recursive_conditioning.py,sha256=vdDSrMO1yPQHNlLQha5ybg3a7l1SiygsmniI_pQhU-Q,7705
 ck/pgm_compiler/named_pgm_compilers.py,sha256=TIgr2aqNYTzwlNqQJ3wgWDiW0gLplU24tpKgmWR7XuE,3316
-ck/pgm_compiler/pgm_compiler.py,sha256=VRGxWcnXgyXd1Twusw8tm1Yqv1VFPmb2LBsOu4UZv8k,597
+ck/pgm_compiler/pgm_compiler.py,sha256=gI2fhV6GcCP9oPYz2o7qMRtG4AaS8b7lQLRJKmdclFw,603
 ck/pgm_compiler/factor_elimination.py,sha256=A6pwSJZ3tBNXqrYcp8WXNn86nbwTkOiAzlx6STcqqqI,13412
 ck/pgm_compiler/variable_elimination.py,sha256=R3dV9Mbw8u2rf7wJ2upGiy1QKjc65gFAOEYCDaD3sZ8,3456
-ck/pgm_compiler/support/join_tree.py,sha256=_rNmjp2OjP6aa-IBr4sMwOSnY0tZC1zleHdql4bhn1Q,12562
+ck/pgm_compiler/support/join_tree.py,sha256=vla1lKQ3WM2LxTiuCR0LNm82qVfqPcz8q3j6UvBLyQc,12565
 ck/pgm_compiler/support/factor_tables.py,sha256=0EKJC0YU8h9J8oFpd6JSjDDooNCaNmIwiQQs7ovrGWY,15150
 ck/pgm_compiler/support/clusters.py,sha256=r1Z8b4IvXMfY5xeyg5AHoU3TxUI0yNDvh3Xkvj8FDF8,20932
 ck/pgm_compiler/support/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -143,16 +143,16 @@ ck/pgm_compiler/support/named_compiler_maker.py,sha256=Qz8a9gwY46Q3dtRCZEZ2czq5z
 ck/pgm_compiler/support/circuit_table/__init__.py,sha256=1kWjAZR5Rj6PYNdbCEbuyE2VtIDQU4Qf-3HPFzBlezs,562
 ck/pgm_compiler/support/circuit_table/_circuit_table_cy.pyx,sha256=Fsjw8P9clKQioqlLyr1JirUK5oYkeotpDMy5sMo7Khk,11683
 ck/pgm_compiler/support/circuit_table/_circuit_table_py.py,sha256=OZJC-JGX3ovCSv7nJtNYq7735KZ2eb4TQOlZdZbhPmk,10983
-ck/pgm_compiler/support/circuit_table/_circuit_table_cy.c,sha256=I99NbkY8OWiHNG978hQgxQW75qVEXHNyUlglOcccFJA,714044
-ck/pgm_compiler/support/circuit_table/_circuit_table_cy.cpython-312-darwin.so,sha256=I_voa6GdQ_Quk96PoYhOJt1sbjuvXeKCcFmHeHxEAh4,165096
+ck/pgm_compiler/support/circuit_table/_circuit_table_cy.c,sha256=YQZjLxxViwc3UR7g_b8toemdlrquFx1UZuf1ITSKhk0,714044
+ck/pgm_compiler/support/circuit_table/_circuit_table_cy.cpython-312-darwin.so,sha256=BSjoYXVlCvrOoFihv6nVJ8jQ1ssCtSnRa9M9kD3G1Oc,165096
 ck/pgm_compiler/ace/ace.py,sha256=An83dHxE_gQFcEs6H5qgm0PlNFnJSGGuvLJNC2H3hGU,10098
 ck/pgm_compiler/ace/__init__.py,sha256=5HWep-yL1Mr6z5VWEaIYpLumCdeso85J-l_-hQaVusM,96
-ck/program/raw_program.py,sha256=aUYLEcK8mstDspz6M9wOE1W7TrnDNBmJjPtfIVA3CLw,4158
+ck/program/raw_program.py,sha256=U7kLBCSLtP1CfG09RrzmGo7E3sZdNr7wr2V1qkTfVGc,4106
 ck/program/program_buffer.py,sha256=IHwAHTKIaUlhcbNFTuSxPWKyExIsOxxX6ffUn4KfheU,5485
 ck/program/__init__.py,sha256=Rifdxk-l6cCjXLpwc6Q0pVXNDsllAwaFlRqRx3cURho,107
 ck/program/program.py,sha256=ohsnE0CEy8O4q8uGB_YEjoJKAPhY1Mz_a08Z7fy7TLw,4047
 ck/circuit_compiler/llvm_compiler.py,sha256=SFhfrthrDuAYUjH_DYRD7FBU8eg2db5T4QGBGfoewnw,13635
-ck/circuit_compiler/circuit_compiler.py,sha256=bb-SG8xrcp4y2nCNB0GIWcgOufEsR2Nb52qtrLMHTVs,992
+ck/circuit_compiler/circuit_compiler.py,sha256=Sl7FS42GXrDL6eG_WNKILcSQl7Wlccgs5Dd1l0EZMsU,1121
 ck/circuit_compiler/__init__.py,sha256=eRN6chBEt64PK5e6EFGyBNZBn6BXhXb6R3m12zPA1Qg,130
 ck/circuit_compiler/named_circuit_compilers.py,sha256=paKyG876tdG_bdSHJU6KW5HxQrutmV_T80GPpz8A65s,2227
 ck/circuit_compiler/interpret_compiler.py,sha256=tZirNkAOe7evvray4-wOqO-KdaI39qRFEI0xD6IRBY0,8531
@@ -160,20 +160,20 @@ ck/circuit_compiler/llvm_vm_compiler.py,sha256=rM_6F5st3k9X5K1_MwzKJwDhQo1794voo
 ck/circuit_compiler/cython_vm_compiler/cython_vm_compiler.py,sha256=GdtBkipud8vylXYArOJvZ-10U9L_PL0oJrkyrnFGH2Q,4345
 ck/circuit_compiler/cython_vm_compiler/__init__.py,sha256=ks0sISOJ-XHIHgHnESyFsheNWvcSJQkbsrj1wVlnzTE,48
 ck/circuit_compiler/cython_vm_compiler/_compiler.pyx,sha256=RssdkoAcB3Ahes8xisqFy0PQyOPmC3GLEC2xR-miQaE,12898
-ck/circuit_compiler/cython_vm_compiler/_compiler.cpython-312-darwin.so,sha256=vZH0jjcVIutMnWnJn3895m4ord0Gragcz_TxJvxN2VQ,163488
-ck/circuit_compiler/cython_vm_compiler/_compiler.c,sha256=npJssDTeghG-2xRm_yIOA_-O4fWNMmJQsYyFbLuYYKs,857789
-ck/circuit_compiler/support/llvm_ir_function.py,sha256=1uC4gAu2g1nl9lycMN2sM7FMI_h4iJG_ufZ3Gc3rMA8,8361
+ck/circuit_compiler/cython_vm_compiler/_compiler.cpython-312-darwin.so,sha256=8WLjKps3LQn1i7rONAlZNmG0aUkimVgNm1iUnX5VbCs,163488
+ck/circuit_compiler/cython_vm_compiler/_compiler.c,sha256=NRPVxlw7Ay-ZQiCg7Pzue-T9Oj837Klt4CjXW7U74nA,857789
+ck/circuit_compiler/support/llvm_ir_function.py,sha256=sMLKfwz90YcsrVyxsuY0Ymo1ibFOcul4Qiwdake-VkI,8321
 ck/circuit_compiler/support/input_vars.py,sha256=EZrvyhD9XVtf5GuDBluFNWhAOVixP7-_ETxAHLTpBcs,4664
 ck/circuit_compiler/support/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.pyx,sha256=a0fKmkwRNscJmy6qoO2AOqJYmHYptrQmkRSrDg3G-wg,3233
 ck/circuit_compiler/support/circuit_analyser/__init__.py,sha256=WhNwfg7GHVeI4k_m7owPGWxX0MyZg_wtcp2MA07qbWg,523
-ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.cpython-312-darwin.so,sha256=8LZvLB-ijTyXMb1TS6OYFR1fzCfAFlAbZyF2bDBsJSI,104936
-ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.c,sha256=zI2h572_2OGeEE-6Wtuj8RCUw_a6lUEjUPegh_YUb20,438223
+ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.cpython-312-darwin.so,sha256=ogFiwfH_pKuVwLas5jfEIMlG_YZ7HU0VtOL1Ox-RtC4,104936
+ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.c,sha256=lwzEGaGx7L5VgoT5H6-1QCWkuI85lkCM7ujYqhwARNc,438223
 ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_py.py,sha256=CMdXV6Rot5CCoK1UsurQdGK0UOx_09B6V7mCc_6-gfI,2993
 ck/in_out/render_net.py,sha256=VePvN6aYWuzEkW-Hv-qGT9QneOvsnrBMmS_KYueuj2I,4970
 ck/in_out/render_bugs.py,sha256=c39KbaD4gEiauFsZq2KUhDEEa-3cuY5kuvz97pEWVpw,3272
-ck/in_out/parse_net.py,sha256=AtgSkLFI6HDcVnmxZ5CP0C5Q4GZL9lcySDIK9uSvY_c,13822
-ck/in_out/parser_utils.py,sha256=HV9cYw_-zxHN7fUBs4wG2A4Zl5P4YEAuSLGQRFNWV9c,5255
+ck/in_out/parse_net.py,sha256=ITTI_nG8W8ZR2Y578BkcWYEx4tAQPHd_TaFe6AP8SAQ,13825
+ck/in_out/parser_utils.py,sha256=tWMiytVeKO8_48hzvt9Lq0TnN0yOB2rtRTjXZQAEmi8,5378
 ck/in_out/__init__.py,sha256=3sLg8hHG_AWEJ7Kn06ZziFbVBUybKVTUPZCyqhr2qAw,109
 ck/in_out/parse_ace_lmap.py,sha256=UqZpkW1yNXNpdLEcMeXlve6tataaFuKP7caoKysQ8pE,7675
 ck/in_out/render_pomegranate.py,sha256=tU7iDHkLWTJyFrxPa2LbZnD06qia8mG2FGi0aZAKuk0,5580