compiled-knowledge 4.0.0a22__cp312-cp312-macosx_11_0_arm64.whl → 4.0.0a24__cp312-cp312-macosx_11_0_arm64.whl

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-8d_gezt7/lib/python3.12/site-packages/numpy/_core/include"
+            "/private/var/folders/y6/nj790rtn62lfktb1sh__79hc0000gn/T/build-env-gdy6g4em/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,20 @@ 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]
+Condition.__doc__ = \
+    """
+    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 +50,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 +61,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 +86,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 +623,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

@@ -21,7 +21,11 @@ class RawProgram:
     A raw program is returned by a circuit compiler to provide execution of
     the function defined by a compiled circuit.
 
-    A `RawProgram` is a `Callable` with the signature:
+    A `RawProgram` is a `Callable`; given an array of input variable values,
+    return a numpy array of result values. Calling a RawProgram is not necessarily
+    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.
@@ -40,19 +44,33 @@ class RawProgram:
     number_of_results: int
     var_indices: Sequence[int]
 
-    def __call__(self, in_vars: NDArrayNumeric | Sequence[int | float]) -> NDArrayNumeric:
+    def __call__(self, var_values: NDArrayNumeric | Sequence[int | float] | int | float) -> NDArrayNumeric:
         """
-        Call the raw program as a function from an array to an array.
+        Call the raw program as a function. This method will allocate numpy arrays of type `self.dtype`
+        for input, temporary, and output values. If `var_values` is a numpy array of the needed
+        dtype then it will be used directly.
+
+        Args:
+            var_values: the input variable values. This can be a numpy array, a Python sequence of
+                floats or int, or a single float or int. The number of input values must equal
+                `self.number_of_vars`.
+
+        Returns:
+            a numpy array of result values with shape `(self.number_of_results,)`.
         """
         array_vars: NDArrayNumeric
         if isinstance(vars, np.ndarray):
-            array_vars = in_vars
+            if var_values.dtype != self.dtype:
+                array_vars = var_values.astype(self.dtype)
+            else:
+                array_vars = self.dtype
+        elif isinstance(vars, (int, float)):
+            array_vars = np.array([var_values], dtype=self.dtype)
         else:
-            array_vars = np.array(in_vars, dtype=self.dtype)
+            array_vars = np.array(var_values, dtype=self.dtype)
+
         if array_vars.shape != (self.number_of_vars,):
             raise ValueError(f'input array incorrect shape: got {array_vars.shape} expected ({self.number_of_vars},)')
-        if array_vars.dtype != self.dtype:
-            raise ValueError(f'input array incorrect dtype: got {array_vars.dtype} expected {self.dtype}')
 
         array_tmps: NDArrayNumeric = np.zeros(self.number_of_tmps, dtype=self.dtype)
         array_outs: NDArrayNumeric = np.zeros(self.number_of_results, dtype=self.dtype)
@@ -64,3 +82,18 @@ class RawProgram:
 
         self.function(c_array_vars, c_array_tmps, c_array_outs)
         return array_outs
+
+    def dump(self, *, prefix: str = '', indent: str = '  ') -> None:
+        """
+        Print a dump of the PGM.
+        This is intended for demonstration and debugging purposes.
+
+        Args:
+            prefix: optional prefix for indenting all lines.
+            indent: additional prefix to use for extra indentation.
+        """
+        print(f'{prefix}{self.__class__.__name__}')
+        print(f'{prefix}signature = [{self.number_of_vars}] -> [{self.number_of_results}]')
+        print(f'{prefix}temps = {self.number_of_tmps}')
+        print(f'{prefix}dtype = {self.dtype}')
+        print(f'{prefix}var_indices = {self.var_indices}')

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,13 @@ 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]
+YieldF.__doc__ = \
+    """
+    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_demos/ace/simple_ace_demo.py

@@ -0,0 +1,18 @@
+from ck import example
+from ck.pgm import RVMap
+from ck.pgm_circuit.wmc_program import WMCProgram
+from ck.pgm_compiler import NamedPGMCompiler
+
+# create the example "Cancer" Bayesian network
+pgm = example.Cancer()
+
+# compile the PGM and construct an object for probabilistic queries
+wmc = WMCProgram(NamedPGMCompiler.ACE(pgm))
+
+# provide easy access to the random variables - not needed but simplifies this demo
+rvs = RVMap(pgm)
+
+# get the probability of having cancer given that pollution is high
+pr = wmc.probability(rvs.cancer('True'), condition=rvs.pollution('high'))
+
+print('probability of having cancer given that pollution is high =', pr)

ck_demos/getting_started/simple_demo.py

@@ -0,0 +1,18 @@
+from ck import example
+from ck.pgm import RVMap
+from ck.pgm_circuit.wmc_program import WMCProgram
+from ck.pgm_compiler import DEFAULT_PGM_COMPILER
+
+# create the example "Cancer" Bayesian network
+pgm = example.Cancer()
+
+# compile the PGM and construct an object for probabilistic queries
+wmc = WMCProgram(DEFAULT_PGM_COMPILER(pgm))
+
+# provide easy access to the random variables - not needed but simplifies this demo
+rvs = RVMap(pgm)
+
+# get the probability of having cancer given that pollution is high
+pr = wmc.probability(rvs.cancer('True'), condition=rvs.pollution('high'))
+
+print('probability of having cancer given that pollution is high =', pr)

ck_demos/programs/demo_raw_program_dump.py

@@ -0,0 +1,17 @@
+from ck.circuit import Circuit
+from ck.circuit_compiler import NamedCircuitCompiler
+
+
+def main() -> None:
+    cct = Circuit()
+    a, b, c, d = cct.new_vars(4)
+    top = a * b + c * d + 56.23
+
+    for compiler in NamedCircuitCompiler:
+        raw_program = compiler(top)
+        raw_program.dump()
+        print()
+
+
+if __name__ == '__main__':
+    main()

{compiled_knowledge-4.0.0a22.dist-info → compiled_knowledge-4.0.0a24.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: compiled-knowledge
-Version: 4.0.0a22
+Version: 4.0.0a24
 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.0a22.dist-info → compiled_knowledge-4.0.0a24.dist-info}/RECORD

@@ -16,6 +16,7 @@ ck_demos/utils/compare.py,sha256=bJ8WTLJ0DRe7k9B7E2KD75IlWWBf6aSq7VRhYQjSmb0,496
 ck_demos/programs/demo_program_none.py,sha256=Qjrk_gzRi4TtBlszqgaDwn0q5Kd9eZnbOY7MKImLEDs,461
 ck_demos/programs/demo_program_buffer.py,sha256=DxlzFVuE7U2XJeb5LtFmDW3kix3I1a1dowvT-XfjAm4,626
 ck_demos/programs/demo_program_multi.py,sha256=iWqhN6g9Yfinkb6m9pHuh-sN4pJlCUcb93TPdTJJfN8,600
+ck_demos/programs/demo_raw_program_dump.py,sha256=Zx3LH84IndSSnvoMH0VnCbpwjCvukpKSlSjtaC6XLQ0,353
 ck_demos/programs/demo_raw_program_llvm.py,sha256=ktUUMi5_wEWdrWf6Sz9U2JpmHPVijX-eiyS5hl-W9gM,502
 ck_demos/programs/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/programs/demo_raw_program_interpreted.py,sha256=__zHAcaxCJ_EFqgfa8C0gatvjzH-clKGMwdN9KbyNxQ,507
@@ -38,6 +39,7 @@ ck_demos/circuit_compiler/show_llvm_program.py,sha256=tlL3TRScb_Mqc-Mbj0M2-WCSPS
 ck_demos/ace/demo_ace.py,sha256=wsWETo1r2GG86Mzo2VD4J1TZiVlvYjVC5A-WMs-zcsw,1409
 ck_demos/ace/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/ace/copy_ace_to_ck.py,sha256=t0Wg1-8_f9YPlEbBp-YGJ0N3u7a3ZIqcI70MOeV5Kgo,288
+ck_demos/ace/simple_ace_demo.py,sha256=VqvudQfvlYqgLZTKGAfuhBQt5U_vkBuhKT7LuonEN3w,646
 ck_demos/pgm/show_examples.py,sha256=-35_E9psOX16VvqArZUr9uoUYD6_AmiE3nLEny9REes,436
 ck_demos/pgm/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/pgm/demo_pgm_dump_stress.py,sha256=urWeg4K7Fe718mPybN7gcWLbfcQt9XxgetwWUOmDmLc,267
@@ -48,12 +50,14 @@ ck_demos/pgm_inference/demo_inferencing_wmc_student.py,sha256=R2dajAh4-bb9YFWhQr
 ck_demos/pgm_inference/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 ck_demos/pgm_inference/demo_inferencing_mpe_cancer.py,sha256=hS9U2kyqjFgJ8jnVBtT3Tk6qCTkuknNiTlImMejV_6A,1554
 ck_demos/pgm_inference/demo_inferencing_wmc_and_mpe_sprinkler.py,sha256=-q4Z1Fzf7-BuwVFTFXdGRY-zUNrY-SAU7ooaov2o_lM,5128
-compiled_knowledge-4.0.0a22.dist-info/RECORD,,
-compiled_knowledge-4.0.0a22.dist-info/WHEEL,sha256=V1loQ6TpxABu1APUg0MoTRBOzSKT5xVc3skizX-ovCU,136
-compiled_knowledge-4.0.0a22.dist-info/top_level.txt,sha256=Cf8DAfd2vcnLiA7HlxoduOzV0Q-8surE3kzX8P9qdks,12
-compiled_knowledge-4.0.0a22.dist-info/METADATA,sha256=SBeD1euhwu4b1MT7eVLdrS9F3eEkOiCemxxTwthgkWc,1788
-compiled_knowledge-4.0.0a22.dist-info/licenses/LICENSE.txt,sha256=-LmkmqXKYojmS3zDxXAeTbsA82fnHA0KaRvpfIoEdjA,1068
-ck/pgm.py,sha256=T7ZXWEgn93uh8mf-FxOgkPY8RgabBCUg2lpKoQmhGMU,117226
+ck_demos/getting_started/simple_demo.py,sha256=hiYscNnfkEwHCQ3ymXAswAYO5jAKR7cseb36pjzuus8,650
+ck_demos/getting_started/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+compiled_knowledge-4.0.0a24.dist-info/RECORD,,
+compiled_knowledge-4.0.0a24.dist-info/WHEEL,sha256=V1loQ6TpxABu1APUg0MoTRBOzSKT5xVc3skizX-ovCU,136
+compiled_knowledge-4.0.0a24.dist-info/top_level.txt,sha256=Cf8DAfd2vcnLiA7HlxoduOzV0Q-8surE3kzX8P9qdks,12
+compiled_knowledge-4.0.0a24.dist-info/METADATA,sha256=L0xinlE8t7EAHnNAO-y3Tqjs3jq_H5l0R1RxUgmPpyU,1788
+compiled_knowledge-4.0.0a24.dist-info/licenses/LICENSE.txt,sha256=-LmkmqXKYojmS3zDxXAeTbsA82fnHA0KaRvpfIoEdjA,1068
+ck/pgm.py,sha256=px-eAq-2m3SJ6-eDcuVk9QY8rJE03ZGGWfGnbN-wn0s,117355
 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
@@ -65,10 +69,10 @@ ck/pgm_circuit/wmc_program.py,sha256=Btq7jUot-PodWXrgDFaE6zhUtr6GPUNF217CVLTaB70
 ck/pgm_circuit/pgm_circuit.py,sha256=VBgHk7uDNYiElesEQxdmlU2iRn0bfHYWik2Cb6t838g,3208
 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=f82dRyUoyusj0t4-H11mN8j0r2dN-5M6z5RV2SF0E-g,25544
+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
@@ -100,16 +104,16 @@ ck/example/sprinkler.py,sha256=t8RIiPorf3QXYyTXbxFkSrK1SsG5ALWmTfTsFUq2C_c,938
 ck/example/diamond_square.py,sha256=HqGqmInYTpAsCBuz3s8FuhT2Jnc11L3wGCTgJDmFLjw,2722
 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=q3PGZPxqinSb59a1oLG7vTCwlbkZ1fOz8Wj7oZkgGaI,1704940
-ck/circuit/_circuit_cy.pyx,sha256=PloIztVKt8Fj_2DlATqjm8ZcZar6ozCkLazEYsH4dHE,27005
+ck/circuit/_circuit_cy.c,sha256=Qc4AXKFu7Q89eQN-MT5_K2O7hmmRSayF4p5BII1QAvU,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=4pPHnkXFczk-ea2OeBSc_bLppMyprDkeeQMwp4MCrVo,27505
+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=u_tDmy8x35RUDePbmz4zNKH0zopS3CQlPKuXQWqaZd4,335344
+ck/circuit/_circuit_cy.cpython-312-darwin.so,sha256=VOnUYrgCohqYvrjsv1TYvl7gTaPzTqMu6DYCiU14yjo,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=ACOn4G2djon5Yna4nZw4J7xeTuPvBYW2Ucal3uf7pjA,9573
 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
@@ -128,10 +132,10 @@ 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
@@ -139,32 +143,32 @@ 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=QeAXx4qgQ8_xnkKarf84qZZiZ9ORsu6UGxhziZY0K3A,714044
-ck/pgm_compiler/support/circuit_table/_circuit_table_cy.cpython-312-darwin.so,sha256=bikTlfuRSrPYs1SNACe3d7oEddo9ZVGN6VEevsqSHhw,165096
+ck/pgm_compiler/support/circuit_table/_circuit_table_cy.c,sha256=gIlvTH2anpV8zXVpzsq7QRwYIR3uwyNip2MufCOxPmA,714044
+ck/pgm_compiler/support/circuit_table/_circuit_table_cy.cpython-312-darwin.so,sha256=2_H5WQZJYPuinW3bJkRgcWpuIHosnhljWzp8sG1Jaso,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=FtPzy1s20fb8bWqjTgw2ZaSHknZT5EDuO88O9zVePMs,2557
+ck/program/raw_program.py,sha256=aUYLEcK8mstDspz6M9wOE1W7TrnDNBmJjPtfIVA3CLw,4158
 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=3MylFp3MoJTNVbVfba4qES7WCVu2UYJ1_vBgO-F0EAE,7149
-ck/circuit_compiler/llvm_vm_compiler.py,sha256=-yZ2dPP8eOy0l5x-cVB-v2qpS7gWod2gXg1h44l0HPA,21327
-ck/circuit_compiler/cython_vm_compiler/cython_vm_compiler.py,sha256=mG7yweTxhl_Ez8sDQ9l032A5P3L7ojvAwp7V4vGhjJM,3945
+ck/circuit_compiler/interpret_compiler.py,sha256=tZirNkAOe7evvray4-wOqO-KdaI39qRFEI0xD6IRBY0,8531
+ck/circuit_compiler/llvm_vm_compiler.py,sha256=rM_6F5st3k9X5K1_MwzKJwDhQo1794vooPJ5yKrgSX8,21648
+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=uSyNMRd5h0yetA-vi6uA-8O6m_0hfU9w3PxKgM4RAl4,12845
-ck/circuit_compiler/cython_vm_compiler/_compiler.cpython-312-darwin.so,sha256=mgXHNZBaYWW6HSeIbxcdTxBe7hVTmRVq2dQiwbUgYHU,163488
-ck/circuit_compiler/cython_vm_compiler/_compiler.c,sha256=BA4BeR8fE5CGgJiZPYWTDZK2QbKZ5WvI0Mz0vwXgmeg,857013
-ck/circuit_compiler/support/llvm_ir_function.py,sha256=MolcEsjoZvD__r6MvaThrjworzidgIigEG9TiyTTUdI,7545
+ck/circuit_compiler/cython_vm_compiler/_compiler.pyx,sha256=RssdkoAcB3Ahes8xisqFy0PQyOPmC3GLEC2xR-miQaE,12898
+ck/circuit_compiler/cython_vm_compiler/_compiler.cpython-312-darwin.so,sha256=grjng7xlL4OZueLJhLPDb5rulL6Z1_mhlTWIeeN4Fo4,163488
+ck/circuit_compiler/cython_vm_compiler/_compiler.c,sha256=ptwISKYMPYqlHc4zcNqODMqsqPN1Yg61eo8-qeHIISc,857789
+ck/circuit_compiler/support/llvm_ir_function.py,sha256=1uC4gAu2g1nl9lycMN2sM7FMI_h4iJG_ufZ3Gc3rMA8,8361
 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=z4eMgb_hYHkt4mbCMH4-boGDITdXgc9vdvvv-ftfUDw,104936
-ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.c,sha256=2PtgIVnDZBxqOtZOsNjWZA8-ZJudE79qbvuAdbiMCpk,438223
+ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.cpython-312-darwin.so,sha256=cGsF78tTLe9do8I4OnuA3g7w_eg039CViDCLhDf9u7k,104936
+ck/circuit_compiler/support/circuit_analyser/_circuit_analyser_cy.c,sha256=i5ULOzxs7fT4JUyeAX8sQG2jNd_wil_34imoByTuiQw,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