compiled-knowledge 4.0.0a22__tar.gz → 4.0.0a24__tar.gz

{compiled_knowledge-4.0.0a22/src/compiled_knowledge.egg-info → compiled_knowledge-4.0.0a24}/PKG-INFO

@@ -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 → compiled_knowledge-4.0.0a24}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "compiled-knowledge"
-version = "4.0.0a22"
+version = "4.0.0a24"
 description = "A Python package for compiling and querying discrete probabilistic graphical models."
 readme = "README.md"
 license = "MIT"

{compiled_knowledge-4.0.0a22 → compiled_knowledge-4.0.0a24}/src/ck/circuit/_circuit_cy.c

@@ -1764,7 +1764,7 @@ struct __pyx_obj_2ck_7circuit_11_circuit_cy___pyx_scope_struct_6_dump {
 
 
 /* "ck/circuit/_circuit_cy.pyx":364
- *         for op in reversed(self.ops):
+ *         for op in self.ops:
  *             op_name = node_name[id(op)]
  *             args_str = ' '.join(node_name[id(arg)] for arg in op.args)             # <<<<<<<<<<<<<<
  *             print(f'{next_prefix}{op_name}: {args_str}')
@@ -3042,7 +3042,6 @@ static PyObject *__pyx_builtin_range;
 static PyObject *__pyx_builtin_print;
 static PyObject *__pyx_builtin_id;
 static PyObject *__pyx_builtin_enumerate;
-static PyObject *__pyx_builtin_reversed;
 static PyObject *__pyx_builtin_RuntimeError;
 static PyObject *__pyx_builtin_super;
 /* #### Code section: string_decls ### */
@@ -3181,7 +3180,6 @@ static const char __pyx_k_op_nodes[] = "op nodes: ";
 static const char __pyx_k_overload[] = "overload";
 static const char __pyx_k_pyx_type[] = "__pyx_type";
 static const char __pyx_k_qualname[] = "__qualname__";
-static const char __pyx_k_reversed[] = "reversed";
 static const char __pyx_k_set_name[] = "__set_name__";
 static const char __pyx_k_setstate[] = "__setstate__";
 static const char __pyx_k_var_name[] = "var_name";
@@ -3320,7 +3318,7 @@ static const char __pyx_k_T_a_G1F_a_vWA_q_t87_s_fG1_q_d_7[] = "\200\001\360\010\
 static const char __pyx_k_T_d_8_G4_SWWX_G1F_a_vWA_q_t_we3[] = "\200\001\360\010\000\005\016\210T\220\035\230d\320\"8\270\004\270G\3004\300|\320SW\320WX\330\004\014\210G\2201\220F\230,\240a\330\004\007\200v\210W\220A\330\010\022\220!\330\010\027\220q\340\010\027\220t\230<\240w\250e\2603\260d\320:O\310w\320V[\320[^\320^b\320bh\320ho\320ot\320tw\320w{\360\000\000|\001F\002\360\000\000F\002M\002\360\000\000M\002N\002\330\004\007\200q\330\010\017\320\017'\240t\2501\250G\260;\270g\300Q\340\010\017\320\017'\240t\2501\250G\260;\270a";
 static const char __pyx_k_T_fD_dRYY_G1F_a_vWA_q_t_2_c_QXX[] = "\200\001\360\010\000\005\016\210T\320\021)\250\024\250]\270$\270f\300D\310\006\310d\320RY\320Y]\320]^\330\004\014\210G\2201\220F\230,\240a\330\004\007\200v\210W\220A\330\010\022\220!\330\010\027\220q\340\010\027\220t\320\0332\260'\270\025\270c\300\024\300\\\320QX\320X]\320]`\320`d\320di\320ip\320pu\320ux\320x|\360\000\000}\001B\002\360\000\000B\002I\002\360\000\000I\002N\002\360\000\000N\002Q\002\360\000\000Q\002U\002\360\000\000U\002[\002\360\000\000[\002b\002\360\000\000b\002g\002\360\000\000g\002j\002\360\000\000j\002n\002\360\000\000n\002t\002\360\000\000t\002{\002\360\000\000{\002|\002\330\004\007\200q\330\010\017\320\017(\250\004\250A\250W\260K\270w\300a\340\010\017\320\017(\250\004\250A\250W\260K\270q";
 static const char __pyx_k_T_j_F_it1_G1F_a_vWA_q_t87_s_iwa[] = "\200\001\360\010\000\005\016\210T\220\031\230$\230j\250\004\250F\260$\260i\270t\3001\330\004\014\210G\2201\220F\230,\240a\330\004\007\200v\210W\220A\330\010\022\220!\330\010\027\220q\340\010\027\220t\2308\2407\250%\250s\260$\260i\270w\300a\330\004\007\200q\330\010\017\320\017(\250\004\250A\250W\260K\270w\300a\340\010\017\320\017(\250\004\250A\250W\260K\270q";
-static const char __pyx_k_A_Q_1_7_A_A_Qb_D_Qb_34q_Qb_0_A_Q[] = "\200A\360\006\000\025\033\230!\330\024\032\230!\330\027-\250Q\330\034#\2401\330\t\n\360\030\000\t\034\2307\240\"\240A\340\010$\240A\340\010\r\210Q\210b\220\004\320\024,\250D\260\001\330\010\r\210Q\210b\220\004\320\0243\2604\260q\330\010\r\210Q\210b\220\004\320\0240\260\004\260A\330\010\r\210Q\210b\220\004\320\0242\260$\260a\330\010\r\210Q\210b\220\004\320\024,\250D\260\001\340\010\r\210Q\210b\220\004\320\024'\240t\2501\330\010\014\210G\2204\220q\330\014\025\220Q\220b\230\001\230\030\240\022\2408\2503\250a\330\014\034\230F\240*\250C\250u\260C\260s\270%\270s\300#\300Q\320FV\320V_\320_`\320`c\320cd\330\014\017\210y\230\003\2301\330\020\023\2203\220i\230q\330\024\031\230\021\230\"\230D\320 1\260\023\260I\270\\\310\023\310F\320RS\340\024\031\230\021\230\"\230D\320 1\260\023\260I\270Q\330\021\024\220I\230Q\330\020\025\220Q\220b\230\004\320\034-\250S\260\t\270\023\270F\300!\340\010\013\2101\330\014\021\220\021\220\"\220D\320\030-\250T\260\021\330\014\020\220\t\230\024\230[\250\007\250q\330\020\025\220Q\220b\230\004\230M\250\025\250a\360\006\000\t\r\210I\220T\230\033\240G\2501\330\014\025\220Q\220b\230\001\230\032\2404\240q\250\005\250Q\360\006\000\t\r\210C\210v\220Y\230a\230t\2401\330\014\025\220Q\220b\230\001\230\027\240\002\240$\240b\250\007\250u\260A\340\010\r\210Q\330\014\016\210d\320\022$\240D\250\001\330\016\031\230\024\320\0355\260T\270\021\340\010\014\210F\220(\230!\2304\230q\330\014\026\220i\230q\240\002\240!\2401\330\014\027\220s\230%\230z\250\021\330\014\021\220\021\220\"\220D\230\r\240[\260\001";
+static const char __pyx_k_A_Q_1_7_A_A_Qb_D_Qb_34q_Qb_0_A_Q[] = "\200A\360\006\000\025\033\230!\330\024\032\230!\330\027-\250Q\330\034#\2401\330\t\n\360\030\000\t\034\2307\240\"\240A\340\010$\240A\340\010\r\210Q\210b\220\004\320\024,\250D\260\001\330\010\r\210Q\210b\220\004\320\0243\2604\260q\330\010\r\210Q\210b\220\004\320\0240\260\004\260A\330\010\r\210Q\210b\220\004\320\0242\260$\260a\330\010\r\210Q\210b\220\004\320\024,\250D\260\001\340\010\r\210Q\210b\220\004\320\024'\240t\2501\330\010\014\210G\2204\220q\330\014\025\220Q\220b\230\001\230\030\240\022\2408\2503\250a\330\014\034\230F\240*\250C\250u\260C\260s\270%\270s\300#\300Q\320FV\320V_\320_`\320`c\320cd\330\014\017\210y\230\003\2301\330\020\023\2203\220i\230q\330\024\031\230\021\230\"\230D\320 1\260\023\260I\270\\\310\023\310F\320RS\340\024\031\230\021\230\"\230D\320 1\260\023\260I\270Q\330\021\024\220I\230Q\330\020\025\220Q\220b\230\004\320\034-\250S\260\t\270\023\270F\300!\340\010\013\2101\330\014\021\220\021\220\"\220D\320\030-\250T\260\021\330\014\020\220\t\230\024\230[\250\007\250q\330\020\025\220Q\220b\230\004\230M\250\025\250a\360\006\000\t\r\210I\220T\230\033\240G\2501\330\014\025\220Q\220b\230\001\230\032\2404\240q\250\005\250Q\360\006\000\t\r\210C\210v\220Y\230a\230t\2401\330\014\025\220Q\220b\230\001\230\027\240\002\240$\240b\250\007\250u\260A\340\010\r\210Q\330\014\016\210d\320\022$\240D\250\001\330\016\031\230\024\320\0355\260T\270\021\340\010\014\210F\220$\220a\330\014\026\220i\230q\240\002\240!\2401\330\014\027\220s\230%\230z\250\021\330\014\021\220\021\220\"\220D\230\r\240[\260\001";
 static const char __pyx_k_Circuit_remove_derivatives_cache[] = "Circuit.remove_derivatives_cache";
 static const char __pyx_k_Circuit_remove_unreachable_op_no[] = "Circuit.remove_unreachable_op_nodes";
 static const char __pyx_k_Incompatible_checksums_0x_x_vs_0[] = "Incompatible checksums (0x%x vs (0x769839a, 0xe0847da, 0xcebc8c6) = (_Circuit__derivatives, _const_map, one, ops, vars, zero))";
@@ -3535,7 +3533,7 @@ typedef struct {
   __Pyx_CachedCFunction __pyx_umethod_PyDict_Type_pop;
   PyObject *__pyx_tuple[8];
   PyObject *__pyx_codeobj_tab[49];
-  PyObject *__pyx_string_tab[243];
+  PyObject *__pyx_string_tab[242];
   PyObject *__pyx_int_0;
   PyObject *__pyx_int_1;
   PyObject *__pyx_int_16976299;
@@ -3866,42 +3864,41 @@ static __pyx_mstatetype * const __pyx_mstate_global = &__pyx_mstate_global_stati
 #define __pyx_n_u_remove_unreachable_op_nodes __pyx_string_tab[204]
 #define __pyx_n_u_result __pyx_string_tab[205]
 #define __pyx_n_u_return __pyx_string_tab[206]
-#define __pyx_n_u_reversed __pyx_string_tab[207]
-#define __pyx_n_u_self __pyx_string_tab[208]
-#define __pyx_n_u_self_multiply __pyx_string_tab[209]
-#define __pyx_n_u_send __pyx_string_tab[210]
-#define __pyx_n_u_set_name __pyx_string_tab[211]
-#define __pyx_n_u_setstate __pyx_string_tab[212]
-#define __pyx_n_u_setstate_cython __pyx_string_tab[213]
-#define __pyx_n_u_single_result __pyx_string_tab[214]
-#define __pyx_kp_u_src_ck_circuit__circuit_cy_pyx __pyx_string_tab[215]
-#define __pyx_n_u_state __pyx_string_tab[216]
-#define __pyx_n_u_str __pyx_string_tab[217]
-#define __pyx_kp_u_stringsource __pyx_string_tab[218]
-#define __pyx_n_u_sum __pyx_string_tab[219]
-#define __pyx_n_u_super __pyx_string_tab[220]
-#define __pyx_n_u_symbol __pyx_string_tab[221]
-#define __pyx_n_u_test __pyx_string_tab[222]
-#define __pyx_n_u_throw __pyx_string_tab[223]
-#define __pyx_n_u_to_add __pyx_string_tab[224]
-#define __pyx_n_u_to_mul __pyx_string_tab[225]
-#define __pyx_n_u_typing __pyx_string_tab[226]
-#define __pyx_n_u_update __pyx_string_tab[227]
-#define __pyx_n_u_use_setstate __pyx_string_tab[228]
-#define __pyx_n_u_value __pyx_string_tab[229]
-#define __pyx_n_u_values __pyx_string_tab[230]
-#define __pyx_kp_u_var __pyx_string_tab[231]
-#define __pyx_n_u_var_2 __pyx_string_tab[232]
-#define __pyx_n_u_var_name __pyx_string_tab[233]
-#define __pyx_n_u_var_names __pyx_string_tab[234]
-#define __pyx_kp_u_var_nodes __pyx_string_tab[235]
-#define __pyx_n_u_x __pyx_string_tab[236]
-#define __pyx_n_u_xs __pyx_string_tab[237]
-#define __pyx_n_u_xs_list __pyx_string_tab[238]
-#define __pyx_n_u_y __pyx_string_tab[239]
-#define __pyx_n_u_ys __pyx_string_tab[240]
-#define __pyx_n_u_ys_list __pyx_string_tab[241]
-#define __pyx_n_u_zero __pyx_string_tab[242]
+#define __pyx_n_u_self __pyx_string_tab[207]
+#define __pyx_n_u_self_multiply __pyx_string_tab[208]
+#define __pyx_n_u_send __pyx_string_tab[209]
+#define __pyx_n_u_set_name __pyx_string_tab[210]
+#define __pyx_n_u_setstate __pyx_string_tab[211]
+#define __pyx_n_u_setstate_cython __pyx_string_tab[212]
+#define __pyx_n_u_single_result __pyx_string_tab[213]
+#define __pyx_kp_u_src_ck_circuit__circuit_cy_pyx __pyx_string_tab[214]
+#define __pyx_n_u_state __pyx_string_tab[215]
+#define __pyx_n_u_str __pyx_string_tab[216]
+#define __pyx_kp_u_stringsource __pyx_string_tab[217]
+#define __pyx_n_u_sum __pyx_string_tab[218]
+#define __pyx_n_u_super __pyx_string_tab[219]
+#define __pyx_n_u_symbol __pyx_string_tab[220]
+#define __pyx_n_u_test __pyx_string_tab[221]
+#define __pyx_n_u_throw __pyx_string_tab[222]
+#define __pyx_n_u_to_add __pyx_string_tab[223]
+#define __pyx_n_u_to_mul __pyx_string_tab[224]
+#define __pyx_n_u_typing __pyx_string_tab[225]
+#define __pyx_n_u_update __pyx_string_tab[226]
+#define __pyx_n_u_use_setstate __pyx_string_tab[227]
+#define __pyx_n_u_value __pyx_string_tab[228]
+#define __pyx_n_u_values __pyx_string_tab[229]
+#define __pyx_kp_u_var __pyx_string_tab[230]
+#define __pyx_n_u_var_2 __pyx_string_tab[231]
+#define __pyx_n_u_var_name __pyx_string_tab[232]
+#define __pyx_n_u_var_names __pyx_string_tab[233]
+#define __pyx_kp_u_var_nodes __pyx_string_tab[234]
+#define __pyx_n_u_x __pyx_string_tab[235]
+#define __pyx_n_u_xs __pyx_string_tab[236]
+#define __pyx_n_u_xs_list __pyx_string_tab[237]
+#define __pyx_n_u_y __pyx_string_tab[238]
+#define __pyx_n_u_ys __pyx_string_tab[239]
+#define __pyx_n_u_ys_list __pyx_string_tab[240]
+#define __pyx_n_u_zero __pyx_string_tab[241]
 /* #### Code section: module_state_clear ### */
 #if CYTHON_USE_MODULE_STATE
 static CYTHON_SMALL_CODE int __pyx_m_clear(PyObject *m) {
@@ -3962,7 +3959,7 @@ static CYTHON_SMALL_CODE int __pyx_m_clear(PyObject *m) {
   Py_CLEAR(clear_module_state->__pyx_type_2ck_7circuit_11_circuit_cy___pyx_scope_struct_10_genexpr);
   for (int i=0; i<8; ++i) { Py_CLEAR(clear_module_state->__pyx_tuple[i]); }
   for (int i=0; i<49; ++i) { Py_CLEAR(clear_module_state->__pyx_codeobj_tab[i]); }
-  for (int i=0; i<243; ++i) { Py_CLEAR(clear_module_state->__pyx_string_tab[i]); }
+  for (int i=0; i<242; ++i) { Py_CLEAR(clear_module_state->__pyx_string_tab[i]); }
   Py_CLEAR(clear_module_state->__pyx_int_0);
   Py_CLEAR(clear_module_state->__pyx_int_1);
   Py_CLEAR(clear_module_state->__pyx_int_16976299);
@@ -4049,7 +4046,7 @@ static CYTHON_SMALL_CODE int __pyx_m_traverse(PyObject *m, visitproc visit, void
   Py_VISIT(traverse_module_state->__pyx_type_2ck_7circuit_11_circuit_cy___pyx_scope_struct_10_genexpr);
   for (int i=0; i<8; ++i) { __Pyx_VISIT_CONST(traverse_module_state->__pyx_tuple[i]); }
   for (int i=0; i<49; ++i) { __Pyx_VISIT_CONST(traverse_module_state->__pyx_codeobj_tab[i]); }
-  for (int i=0; i<243; ++i) { __Pyx_VISIT_CONST(traverse_module_state->__pyx_string_tab[i]); }
+  for (int i=0; i<242; ++i) { __Pyx_VISIT_CONST(traverse_module_state->__pyx_string_tab[i]); }
   __Pyx_VISIT_CONST(traverse_module_state->__pyx_int_0);
   __Pyx_VISIT_CONST(traverse_module_state->__pyx_int_1);
   __Pyx_VISIT_CONST(traverse_module_state->__pyx_int_16976299);
@@ -8192,7 +8189,7 @@ PyObject *__pyx_args, PyObject *__pyx_kwds
 static PyObject *__pyx_gb_2ck_7circuit_11_circuit_cy_7Circuit_4dump_2generator5(__pyx_CoroutineObject *__pyx_generator, CYTHON_UNUSED PyThreadState *__pyx_tstate, PyObject *__pyx_sent_value); /* proto */
 
 /* "ck/circuit/_circuit_cy.pyx":364
- *         for op in reversed(self.ops):
+ *         for op in self.ops:
  *             op_name = node_name[id(op)]
  *             args_str = ' '.join(node_name[id(arg)] for arg in op.args)             # <<<<<<<<<<<<<<
  *             print(f'{next_prefix}{op_name}: {args_str}')
@@ -9271,7 +9268,7 @@ static PyObject *__pyx_pf_2ck_7circuit_11_circuit_cy_7Circuit_30dump(struct __py
  *             f'{prefix}op nodes: {self.number_of_op_nodes} '
  *             f'(arcs: {self.number_of_arcs}, ops: {self.number_of_operations})'             # <<<<<<<<<<<<<<
  *         )
- *         for op in reversed(self.ops):
+ *         for op in self.ops:
 */
   __pyx_t_13 = __Pyx_PyObject_GetAttrStr(((PyObject *)__pyx_v_self), __pyx_mstate_global->__pyx_n_u_number_of_arcs); if (unlikely(!__pyx_t_13)) __PYX_ERR(0, 360, __pyx_L1_error)
   __Pyx_GOTREF(__pyx_t_13);
@@ -9320,7 +9317,7 @@ static PyObject *__pyx_pf_2ck_7circuit_11_circuit_cy_7Circuit_30dump(struct __py
   /* "ck/circuit/_circuit_cy.pyx":362
  *             f'(arcs: {self.number_of_arcs}, ops: {self.number_of_operations})'
  *         )
- *         for op in reversed(self.ops):             # <<<<<<<<<<<<<<
+ *         for op in self.ops:             # <<<<<<<<<<<<<<
  *             op_name = node_name[id(op)]
  *             args_str = ' '.join(node_name[id(arg)] for arg in op.args)
 */
@@ -9329,13 +9326,8 @@ static PyObject *__pyx_pf_2ck_7circuit_11_circuit_cy_7Circuit_30dump(struct __py
     __PYX_ERR(0, 362, __pyx_L1_error)
   }
   __pyx_t_1 = __pyx_v_self->ops; __Pyx_INCREF(__pyx_t_1);
-  __pyx_t_8 = __Pyx_PyList_GET_SIZE(__pyx_t_1);
-  #if !CYTHON_ASSUME_SAFE_SIZE
-  if (unlikely((__pyx_t_8 < 0))) __PYX_ERR(0, 362, __pyx_L1_error)
-  #endif
-  --__pyx_t_8;
+  __pyx_t_8 = 0;
   for (;;) {
-    if (__pyx_t_8 < 0) break;
     {
       Py_ssize_t __pyx_temp = __Pyx_PyList_GET_SIZE(__pyx_t_1);
       #if !CYTHON_ASSUME_SAFE_SIZE
@@ -9344,7 +9336,7 @@ static PyObject *__pyx_pf_2ck_7circuit_11_circuit_cy_7Circuit_30dump(struct __py
       if (__pyx_t_8 >= __pyx_temp) break;
     }
     __pyx_t_14 = __Pyx_PyList_GetItemRef(__pyx_t_1, __pyx_t_8);
-    --__pyx_t_8;
+    ++__pyx_t_8;
     if (unlikely(!__pyx_t_14)) __PYX_ERR(0, 362, __pyx_L1_error)
     __Pyx_GOTREF(__pyx_t_14);
     __Pyx_XDECREF_SET(__pyx_v_op, __pyx_t_14);
@@ -9352,7 +9344,7 @@ static PyObject *__pyx_pf_2ck_7circuit_11_circuit_cy_7Circuit_30dump(struct __py
 
     /* "ck/circuit/_circuit_cy.pyx":363
  *         )
- *         for op in reversed(self.ops):
+ *         for op in self.ops:
  *             op_name = node_name[id(op)]             # <<<<<<<<<<<<<<
  *             args_str = ' '.join(node_name[id(arg)] for arg in op.args)
  *             print(f'{next_prefix}{op_name}: {args_str}')
@@ -9376,7 +9368,7 @@ static PyObject *__pyx_pf_2ck_7circuit_11_circuit_cy_7Circuit_30dump(struct __py
     __pyx_t_2 = 0;
 
     /* "ck/circuit/_circuit_cy.pyx":364
- *         for op in reversed(self.ops):
+ *         for op in self.ops:
  *             op_name = node_name[id(op)]
  *             args_str = ' '.join(node_name[id(arg)] for arg in op.args)             # <<<<<<<<<<<<<<
  *             print(f'{next_prefix}{op_name}: {args_str}')
@@ -9434,7 +9426,7 @@ static PyObject *__pyx_pf_2ck_7circuit_11_circuit_cy_7Circuit_30dump(struct __py
     /* "ck/circuit/_circuit_cy.pyx":362
  *             f'(arcs: {self.number_of_arcs}, ops: {self.number_of_operations})'
  *         )
- *         for op in reversed(self.ops):             # <<<<<<<<<<<<<<
+ *         for op in self.ops:             # <<<<<<<<<<<<<<
  *             op_name = node_name[id(op)]
  *             args_str = ' '.join(node_name[id(arg)] for arg in op.args)
 */
@@ -28894,7 +28886,6 @@ static const __Pyx_StringTabEntry __pyx_string_tab[] = {
   {__pyx_k_remove_unreachable_op_nodes, sizeof(__pyx_k_remove_unreachable_op_nodes), 0, 1, 1}, /* PyObject cname: __pyx_n_u_remove_unreachable_op_nodes */
   {__pyx_k_result, sizeof(__pyx_k_result), 0, 1, 1}, /* PyObject cname: __pyx_n_u_result */
   {__pyx_k_return, sizeof(__pyx_k_return), 0, 1, 1}, /* PyObject cname: __pyx_n_u_return */
-  {__pyx_k_reversed, sizeof(__pyx_k_reversed), 0, 1, 1}, /* PyObject cname: __pyx_n_u_reversed */
   {__pyx_k_self, sizeof(__pyx_k_self), 0, 1, 1}, /* PyObject cname: __pyx_n_u_self */
   {__pyx_k_self_multiply, sizeof(__pyx_k_self_multiply), 0, 1, 1}, /* PyObject cname: __pyx_n_u_self_multiply */
   {__pyx_k_send, sizeof(__pyx_k_send), 0, 1, 1}, /* PyObject cname: __pyx_n_u_send */
@@ -28944,7 +28935,6 @@ static int __Pyx_InitCachedBuiltins(__pyx_mstatetype *__pyx_mstate) {
   __pyx_builtin_print = __Pyx_GetBuiltinName(__pyx_mstate->__pyx_n_u_print); if (!__pyx_builtin_print) __PYX_ERR(0, 327, __pyx_L1_error)
   __pyx_builtin_id = __Pyx_GetBuiltinName(__pyx_mstate->__pyx_n_u_id); if (!__pyx_builtin_id) __PYX_ERR(0, 335, __pyx_L1_error)
   __pyx_builtin_enumerate = __Pyx_GetBuiltinName(__pyx_mstate->__pyx_n_u_enumerate); if (!__pyx_builtin_enumerate) __PYX_ERR(0, 355, __pyx_L1_error)
-  __pyx_builtin_reversed = __Pyx_GetBuiltinName(__pyx_mstate->__pyx_n_u_reversed); if (!__pyx_builtin_reversed) __PYX_ERR(0, 362, __pyx_L1_error)
   __pyx_builtin_RuntimeError = __Pyx_GetBuiltinName(__pyx_mstate->__pyx_n_u_RuntimeError); if (!__pyx_builtin_RuntimeError) __PYX_ERR(0, 424, __pyx_L1_error)
   __pyx_builtin_super = __Pyx_GetBuiltinName(__pyx_mstate->__pyx_n_u_super); if (!__pyx_builtin_super) __PYX_ERR(0, 473, __pyx_L1_error)
   return 0;
@@ -29170,7 +29160,7 @@ static int __Pyx_CreateCodeObjects(__pyx_mstatetype *__pyx_mstate) {
     __pyx_mstate_global->__pyx_codeobj_tab[21] = __Pyx_PyCode_New(descr, varnames, __pyx_mstate->__pyx_kp_u_src_ck_circuit__circuit_cy_pyx, __pyx_mstate->__pyx_n_u_reachable_op_nodes, __pyx_k_2_4_AQ_t_1A, tuple_dedup_map); if (unlikely(!__pyx_mstate_global->__pyx_codeobj_tab[21])) goto bad;
   }
   {
-    const __Pyx_PyCode_New_function_description descr = {1, 0, 4, 16, (unsigned int)(CO_OPTIMIZED|CO_NEWLOCALS), 304, 499};
+    const __Pyx_PyCode_New_function_description descr = {1, 0, 4, 16, (unsigned int)(CO_OPTIMIZED|CO_NEWLOCALS), 304, 495};
     PyObject* const varnames[] = {__pyx_mstate->__pyx_n_u_self, __pyx_mstate->__pyx_n_u_prefix, __pyx_mstate->__pyx_n_u_indent, __pyx_mstate->__pyx_n_u_var_names, __pyx_mstate->__pyx_n_u_include_consts, __pyx_mstate->__pyx_n_u_next_prefix, __pyx_mstate->__pyx_n_u_node_name, __pyx_mstate->__pyx_n_u_var_2, __pyx_mstate->__pyx_n_u_var_name, __pyx_mstate->__pyx_n_u_const, __pyx_mstate->__pyx_n_u_i, __pyx_mstate->__pyx_n_u_op, __pyx_mstate->__pyx_n_u_op_name, __pyx_mstate->__pyx_n_u_args_str, __pyx_mstate->__pyx_n_u_genexpr, __pyx_mstate->__pyx_n_u_genexpr};
     __pyx_mstate_global->__pyx_codeobj_tab[22] = __Pyx_PyCode_New(descr, varnames, __pyx_mstate->__pyx_kp_u_src_ck_circuit__circuit_cy_pyx, __pyx_mstate->__pyx_n_u_dump, __pyx_k_A_Q_1_7_A_A_Qb_D_Qb_34q_Qb_0_A_Q, tuple_dedup_map); if (unlikely(!__pyx_mstate_global->__pyx_codeobj_tab[22])) goto bad;
   }

{compiled_knowledge-4.0.0a22 → compiled_knowledge-4.0.0a24}/src/ck/circuit/_circuit_cy.pyx

@@ -359,7 +359,7 @@ cdef class Circuit:
             f'{prefix}op nodes: {self.number_of_op_nodes} '
             f'(arcs: {self.number_of_arcs}, ops: {self.number_of_operations})'
         )
-        for op in reversed(self.ops):
+        for op in self.ops:
             op_name = node_name[id(op)]
             args_str = ' '.join(node_name[id(arg)] for arg in op.args)
             print(f'{next_prefix}{op_name}: {args_str}')

{compiled_knowledge-4.0.0a22 → compiled_knowledge-4.0.0a24}/src/ck/circuit/_circuit_py.py

@@ -413,7 +413,7 @@ class Circuit:
             f'{prefix}op nodes: {self.number_of_op_nodes} '
             f'(arcs: {self.number_of_arcs}, ops: {self.number_of_operations})'
         )
-        for op in reversed(self.ops):
+        for op in self.ops:
             op_name = node_name[id(op)]
             args_str = ' '.join(node_name[id(arg)] for arg in op.args)
             print(f'{next_prefix}{op_name}: {args_str}')

{compiled_knowledge-4.0.0a22 → compiled_knowledge-4.0.0a24}/src/ck/circuit_compiler/circuit_compiler.py

@@ -13,12 +13,13 @@ class CircuitCompiler(Protocol):
             circuit: Optional[Circuit] = None,
     ) -> RawProgram:
         """
-        A circuit compiler is a function with this signature.
+        A PGM compiler compiles selected results nodes of an arithmetic circuit to a program.
 
         Args:
             *result: one or more circuit of nodes defining the result of the program function.
                 All result node must be from the same circuit.
-            input_vars: how to determine the input variables. Default is to use all circuit variables, in index order.
+            input_vars: how to determine the input variables. Either a sequence of VarNodes, or a single
+                VarNode, or a `InferVars` member. The default is to use all circuit variables, in index order.
             circuit: optionally explicitly specify the Circuit (mandatory if no result nodes are provided).
 
         Returns:

{compiled_knowledge-4.0.0a22 → compiled_knowledge-4.0.0a24}/src/ck/circuit_compiler/cython_vm_compiler/_compiler.c

@@ -1800,7 +1800,7 @@ struct __pyx_obj_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler_Instruct
 /* "ck/circuit_compiler/cython_vm_compiler/_compiler.pyx":41
  * 
  * 
- * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int]:             # <<<<<<<<<<<<<<
+ * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int, int]:             # <<<<<<<<<<<<<<
  *     """
  *     Make a RawProgram function that interprets the circuit.
 */
@@ -3005,12 +3005,12 @@ static const char __pyx_k_cline_in_traceback[] = "cline_in_traceback";
 static const char __pyx_k_ck_program_raw_program[] = "ck.program.raw_program";
 static const char __pyx_k_cvm_type_name_unexpected[] = "cvm_type_name unexpected: ";
 static const char __pyx_k_Instructions___reduce_cython[] = "Instructions.__reduce_cython__";
-static const char __pyx_k_Tuple_RawProgramFunction_int[] = "Tuple[RawProgramFunction, int]";
 static const char __pyx_k_make_function_locals_function[] = "make_function.<locals>.function";
-static const char __pyx_k_44EQ_az_r_JoQa_7_1_1_S_Yl_HOST[] = "\320\000\034\320\0344\3204E\300Q\360\034\000\005\023\220,\320\036>\270a\270z\310\021\340\004\017\210r\220\030\230\021\230\"\230J\240o\260Q\260a\330\004\022\220)\2307\240(\250!\2501\340\004\031\320\031*\250!\2501\360\006\000\005\010\200~\220S\230\001\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\030\000\n\030\220s\230!\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\030\000\n\030\220s\230!\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\030\000\n\030\220s\230!\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\030\000\n\030\220s\230!\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\032\000\t\017\210j\230\001\230\022\320\0339\270\021\340\004\013\210:\220S\230\001\230\030\240\021";
+static const char __pyx_k_44EQ_az_r_JoQa_7_1_1_S_Yl_HOST[] = "\320\000\034\320\0344\3204E\300Q\360\034\000\005\023\220,\320\036>\270a\270z\310\021\340\004\017\210r\220\030\230\021\230\"\230J\240o\260Q\260a\330\004\022\220)\2307\240(\250!\2501\340\004\031\320\031*\250!\2501\360\006\000\005\010\200~\220S\230\001\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\030\000\n\030\220s\230!\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\030\000\n\030\220s\230!\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\030\000\n\030\220s\230!\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\030\000\n\030\220s\230!\330\010\025\220Y\230l\250&\260\014\270H\300O\320ST\360\032\000\t\017\210j\230\001\230\022\320\0339\270\021\340\004\013\210:\220S\230\001\230\030\240\035\250c\260\021\260(\270!";
 static const char __pyx_k_Instructions___setstate_cython[] = "Instructions.__setstate_cython__";
 static const char __pyx_k_00DOST_r_ay_A_Be1F_Ja_b_Qm2Zq_b[] = "\320\010\036\320\0360\3200D\300O\320ST\330\014'\240r\250\025\250a\250y\270\002\270*\300A\330\014$\240B\240e\2501\250F\260\"\260J\270a\330\014&\240b\250\005\250Q\250m\2702\270Z\300q\330\014&\240b\250\005\250Q\250h\260b\270\n\300!\330\014\017\210q\220\007\220q\330\020\033\2301\330\020\033\2301\330\020\033\2301\330\020\033\2301\330\020\021";
 static const char __pyx_k_No_value_specified_for_struct_at[] = "No value specified for struct attribute 'array'";
+static const char __pyx_k_Tuple_RawProgramFunction_int_int[] = "Tuple[RawProgramFunction, int, int]";
 static const char __pyx_k_ck_circuit_compiler_cython_vm_co[] = "ck.circuit_compiler.cython_vm_compiler._compiler";
 static const char __pyx_k_ck_circuit_compiler_support_circ[] = "ck.circuit_compiler.support.circuit_analyser";
 static const char __pyx_k_numpy__core_multiarray_failed_to[] = "numpy._core.multiarray failed to import";
@@ -3161,7 +3161,7 @@ static __pyx_mstatetype * const __pyx_mstate_global = &__pyx_mstate_global_stati
 #define __pyx_n_u_POINTER __pyx_string_tab[19]
 #define __pyx_n_u_RawProgramFunction __pyx_string_tab[20]
 #define __pyx_n_u_Tuple __pyx_string_tab[21]
-#define __pyx_kp_u_Tuple_RawProgramFunction_int __pyx_string_tab[22]
+#define __pyx_kp_u_Tuple_RawProgramFunction_int_int __pyx_string_tab[22]
 #define __pyx_n_u_TypeError __pyx_string_tab[23]
 #define __pyx_n_u_ValueError __pyx_string_tab[24]
 #define __pyx_kp_u__2 __pyx_string_tab[25]
@@ -5408,7 +5408,7 @@ static CYTHON_INLINE NPY_DATETIMEUNIT __pyx_f_5numpy_get_datetime64_unit(PyObjec
 /* "ck/circuit_compiler/cython_vm_compiler/_compiler.pyx":41
  * 
  * 
- * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int]:             # <<<<<<<<<<<<<<
+ * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int, int]:             # <<<<<<<<<<<<<<
  *     """
  *     Make a RawProgram function that interprets the circuit.
 */
@@ -5421,7 +5421,7 @@ PyObject *const *__pyx_args, Py_ssize_t __pyx_nargs, PyObject *__pyx_kwds
 PyObject *__pyx_args, PyObject *__pyx_kwds
 #endif
 ); /*proto*/
-PyDoc_STRVAR(__pyx_doc_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler_make_function, "\n    Make a RawProgram function that interprets the circuit.\n\n    Args:\n        analysis: A circuit analysis object defining the function.\n        dtype: a numpy data type that must be a key in the dictionary, DTYPE_TO_CVM_TYPE.\n\n    Returns:\n        (function, number_of_tmps)\n    ");
+PyDoc_STRVAR(__pyx_doc_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler_make_function, "\n    Make a RawProgram function that interprets the circuit.\n\n    Args:\n        analysis: A circuit analysis object defining the function.\n        dtype: a numpy data type that must be a key in the dictionary, DTYPE_TO_CVM_TYPE.\n\n    Returns:\n        (function, number_of_tmps, number_of_instructions)\n    ");
 static PyMethodDef __pyx_mdef_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler_1make_function = {"make_function", (PyCFunction)(void(*)(void))(__Pyx_PyCFunction_FastCallWithKeywords)__pyx_pw_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler_1make_function, __Pyx_METH_FASTCALL|METH_KEYWORDS, __pyx_doc_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler_make_function};
 static PyObject *__pyx_pw_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler_1make_function(PyObject *__pyx_self, 
 #if CYTHON_METH_FASTCALL
@@ -7320,7 +7320,7 @@ static PyObject *__pyx_pf_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler
 /* "ck/circuit_compiler/cython_vm_compiler/_compiler.pyx":41
  * 
  * 
- * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int]:             # <<<<<<<<<<<<<<
+ * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int, int]:             # <<<<<<<<<<<<<<
  *     """
  *     Make a RawProgram function that interprets the circuit.
 */
@@ -7693,7 +7693,7 @@ static PyObject *__pyx_pf_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler
  *     else:
  *         raise ValueError(f'cvm_type_name unexpected: {cvm_type_name!r}')             # <<<<<<<<<<<<<<
  * 
- *     return function, len(analysis.op_to_tmp)
+ *     return function, len(analysis.op_to_tmp), len(analysis.op_nodes)
 */
   /*else*/ {
     __pyx_t_2 = NULL;
@@ -7723,7 +7723,7 @@ static PyObject *__pyx_pf_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler
   /* "ck/circuit_compiler/cython_vm_compiler/_compiler.pyx":131
  *         raise ValueError(f'cvm_type_name unexpected: {cvm_type_name!r}')
  * 
- *     return function, len(analysis.op_to_tmp)             # <<<<<<<<<<<<<<
+ *     return function, len(analysis.op_to_tmp), len(analysis.op_nodes)             # <<<<<<<<<<<<<<
  * 
  * # VM instructions
 */
@@ -7734,22 +7734,31 @@ static PyObject *__pyx_pf_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler
   __Pyx_DECREF(__pyx_t_1); __pyx_t_1 = 0;
   __pyx_t_1 = PyLong_FromSsize_t(__pyx_t_10); if (unlikely(!__pyx_t_1)) __PYX_ERR(0, 131, __pyx_L1_error)
   __Pyx_GOTREF(__pyx_t_1);
-  __pyx_t_4 = PyTuple_New(2); if (unlikely(!__pyx_t_4)) __PYX_ERR(0, 131, __pyx_L1_error)
+  __pyx_t_4 = __Pyx_PyObject_GetAttrStr(__pyx_v_analysis, __pyx_mstate_global->__pyx_n_u_op_nodes); if (unlikely(!__pyx_t_4)) __PYX_ERR(0, 131, __pyx_L1_error)
   __Pyx_GOTREF(__pyx_t_4);
+  __pyx_t_10 = PyObject_Length(__pyx_t_4); if (unlikely(__pyx_t_10 == ((Py_ssize_t)-1))) __PYX_ERR(0, 131, __pyx_L1_error)
+  __Pyx_DECREF(__pyx_t_4); __pyx_t_4 = 0;
+  __pyx_t_4 = PyLong_FromSsize_t(__pyx_t_10); if (unlikely(!__pyx_t_4)) __PYX_ERR(0, 131, __pyx_L1_error)
+  __Pyx_GOTREF(__pyx_t_4);
+  __pyx_t_7 = PyTuple_New(3); if (unlikely(!__pyx_t_7)) __PYX_ERR(0, 131, __pyx_L1_error)
+  __Pyx_GOTREF(__pyx_t_7);
   __Pyx_INCREF(__pyx_v_function);
   __Pyx_GIVEREF(__pyx_v_function);
-  if (__Pyx_PyTuple_SET_ITEM(__pyx_t_4, 0, __pyx_v_function) != (0)) __PYX_ERR(0, 131, __pyx_L1_error);
+  if (__Pyx_PyTuple_SET_ITEM(__pyx_t_7, 0, __pyx_v_function) != (0)) __PYX_ERR(0, 131, __pyx_L1_error);
   __Pyx_GIVEREF(__pyx_t_1);
-  if (__Pyx_PyTuple_SET_ITEM(__pyx_t_4, 1, __pyx_t_1) != (0)) __PYX_ERR(0, 131, __pyx_L1_error);
+  if (__Pyx_PyTuple_SET_ITEM(__pyx_t_7, 1, __pyx_t_1) != (0)) __PYX_ERR(0, 131, __pyx_L1_error);
+  __Pyx_GIVEREF(__pyx_t_4);
+  if (__Pyx_PyTuple_SET_ITEM(__pyx_t_7, 2, __pyx_t_4) != (0)) __PYX_ERR(0, 131, __pyx_L1_error);
   __pyx_t_1 = 0;
-  __pyx_r = ((PyObject*)__pyx_t_4);
   __pyx_t_4 = 0;
+  __pyx_r = ((PyObject*)__pyx_t_7);
+  __pyx_t_7 = 0;
   goto __pyx_L0;
 
   /* "ck/circuit_compiler/cython_vm_compiler/_compiler.pyx":41
  * 
  * 
- * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int]:             # <<<<<<<<<<<<<<
+ * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int, int]:             # <<<<<<<<<<<<<<
  *     """
  *     Make a RawProgram function that interprets the circuit.
 */
@@ -12186,7 +12195,7 @@ __Pyx_RefNannySetupContext("PyInit__compiler", 0);
   /* "ck/circuit_compiler/cython_vm_compiler/_compiler.pyx":41
  * 
  * 
- * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int]:             # <<<<<<<<<<<<<<
+ * def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int, int]:             # <<<<<<<<<<<<<<
  *     """
  *     Make a RawProgram function that interprets the circuit.
 */
@@ -12194,7 +12203,7 @@ __Pyx_RefNannySetupContext("PyInit__compiler", 0);
   __Pyx_GOTREF(__pyx_t_3);
   if (PyDict_SetItem(__pyx_t_3, __pyx_mstate_global->__pyx_n_u_analysis, __pyx_mstate_global->__pyx_n_u_CircuitAnalysis) < 0) __PYX_ERR(0, 41, __pyx_L1_error)
   if (PyDict_SetItem(__pyx_t_3, __pyx_mstate_global->__pyx_n_u_dtype, __pyx_mstate_global->__pyx_n_u_DTypeNumeric) < 0) __PYX_ERR(0, 41, __pyx_L1_error)
-  if (PyDict_SetItem(__pyx_t_3, __pyx_mstate_global->__pyx_n_u_return, __pyx_mstate_global->__pyx_kp_u_Tuple_RawProgramFunction_int) < 0) __PYX_ERR(0, 41, __pyx_L1_error)
+  if (PyDict_SetItem(__pyx_t_3, __pyx_mstate_global->__pyx_n_u_return, __pyx_mstate_global->__pyx_kp_u_Tuple_RawProgramFunction_int_int) < 0) __PYX_ERR(0, 41, __pyx_L1_error)
   __pyx_t_5 = __Pyx_CyFunction_New(&__pyx_mdef_2ck_16circuit_compiler_18cython_vm_compiler_9_compiler_1make_function, 0, __pyx_mstate_global->__pyx_n_u_make_function, NULL, __pyx_mstate_global->__pyx_n_u_ck_circuit_compiler_cython_vm_co, __pyx_mstate_global->__pyx_d, ((PyObject *)__pyx_mstate_global->__pyx_codeobj_tab[5])); if (unlikely(!__pyx_t_5)) __PYX_ERR(0, 41, __pyx_L1_error)
   __Pyx_GOTREF(__pyx_t_5);
   __Pyx_CyFunction_SetAnnotationsDict(__pyx_t_5, __pyx_t_3);
@@ -12400,7 +12409,7 @@ static const __Pyx_StringTabEntry __pyx_string_tab[] = {
   {__pyx_k_POINTER, sizeof(__pyx_k_POINTER), 0, 1, 1}, /* PyObject cname: __pyx_n_u_POINTER */
   {__pyx_k_RawProgramFunction, sizeof(__pyx_k_RawProgramFunction), 0, 1, 1}, /* PyObject cname: __pyx_n_u_RawProgramFunction */
   {__pyx_k_Tuple, sizeof(__pyx_k_Tuple), 0, 1, 1}, /* PyObject cname: __pyx_n_u_Tuple */
-  {__pyx_k_Tuple_RawProgramFunction_int, sizeof(__pyx_k_Tuple_RawProgramFunction_int), 0, 1, 0}, /* PyObject cname: __pyx_kp_u_Tuple_RawProgramFunction_int */
+  {__pyx_k_Tuple_RawProgramFunction_int_int, sizeof(__pyx_k_Tuple_RawProgramFunction_int_int), 0, 1, 0}, /* PyObject cname: __pyx_kp_u_Tuple_RawProgramFunction_int_int */
   {__pyx_k_TypeError, sizeof(__pyx_k_TypeError), 0, 1, 1}, /* PyObject cname: __pyx_n_u_TypeError */
   {__pyx_k_ValueError, sizeof(__pyx_k_ValueError), 0, 1, 1}, /* PyObject cname: __pyx_n_u_ValueError */
   {__pyx_k__2, sizeof(__pyx_k__2), 0, 1, 0}, /* PyObject cname: __pyx_kp_u__2 */
@@ -12595,7 +12604,7 @@ static int __Pyx_CreateCodeObjects(__pyx_mstatetype *__pyx_mstate) {
     __pyx_mstate_global->__pyx_codeobj_tab[4] = __Pyx_PyCode_New(descr, varnames, __pyx_mstate->__pyx_kp_u_src_ck_circuit_compiler_cython_v, __pyx_mstate->__pyx_n_u_function, __pyx_k_00DOST_r_ay_A_Be1F_Ja_b_Qm2Zq_b_2, tuple_dedup_map); if (unlikely(!__pyx_mstate_global->__pyx_codeobj_tab[4])) goto bad;
   }
   {
-    const __Pyx_PyCode_New_function_description descr = {2, 0, 0, 13, (unsigned int)(CO_OPTIMIZED|CO_NEWLOCALS), 41, 235};
+    const __Pyx_PyCode_New_function_description descr = {2, 0, 0, 13, (unsigned int)(CO_OPTIMIZED|CO_NEWLOCALS), 41, 243};
     PyObject* const varnames[] = {__pyx_mstate->__pyx_n_u_analysis, __pyx_mstate->__pyx_n_u_dtype, __pyx_mstate->__pyx_n_u_instructions, __pyx_mstate->__pyx_n_u_np_consts, __pyx_mstate->__pyx_n_u_ptr_type, __pyx_mstate->__pyx_n_u_c_np_consts, __pyx_mstate->__pyx_n_u_cvm_type_name, __pyx_mstate->__pyx_n_u_function, __pyx_mstate->__pyx_n_u_function, __pyx_mstate->__pyx_n_u_function, __pyx_mstate->__pyx_n_u_function, __pyx_mstate->__pyx_n_u_function, __pyx_mstate->__pyx_n_u_function};
     __pyx_mstate_global->__pyx_codeobj_tab[5] = __Pyx_PyCode_New(descr, varnames, __pyx_mstate->__pyx_kp_u_src_ck_circuit_compiler_cython_v, __pyx_mstate->__pyx_n_u_make_function, __pyx_k_44EQ_az_r_JoQa_7_1_1_S_Yl_HOST, tuple_dedup_map); if (unlikely(!__pyx_mstate_global->__pyx_codeobj_tab[5])) goto bad;
   }

{compiled_knowledge-4.0.0a22 → compiled_knowledge-4.0.0a24}/src/ck/circuit_compiler/cython_vm_compiler/_compiler.pyx

@@ -38,7 +38,7 @@ DTYPE_TO_CVM_TYPE: Dict[DTypeNumeric, str] = {
 }
 
 
-def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int]:
+def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawProgramFunction, int, int]:
     """
     Make a RawProgram function that interprets the circuit.
 
@@ -47,7 +47,7 @@ def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawPr
         dtype: a numpy data type that must be a key in the dictionary, DTYPE_TO_CVM_TYPE.
 
     Returns:
-        (function, number_of_tmps)
+        (function, number_of_tmps, number_of_instructions)
     """
 
     cdef Instructions instructions
@@ -128,7 +128,7 @@ def make_function(analysis: CircuitAnalysis, dtype: DTypeNumeric) -> Tuple[RawPr
     else:
         raise ValueError(f'cvm_type_name unexpected: {cvm_type_name!r}')
 
-    return function, len(analysis.op_to_tmp)
+    return function, len(analysis.op_to_tmp), len(analysis.op_nodes)
 
 # VM instructions
 cdef int ADD = circuit.ADD

{compiled_knowledge-4.0.0a22 → compiled_knowledge-4.0.0a24}/src/ck/circuit_compiler/cython_vm_compiler/cython_vm_compiler.py

@@ -48,15 +48,16 @@ class CythonRawProgram(RawProgram):
             result: Sequence[CircuitNode],
             dtype: DTypeNumeric,
     ):
-        self.in_vars = in_vars
-        self.result = result
-
-        function, number_of_tmps = _make_function(
+        function, number_of_tmps, number_of_instructions = _make_function(
             var_nodes=in_vars,
             result_nodes=result,
             dtype=dtype,
         )
 
+        self.in_vars = in_vars
+        self.result = result
+        self.number_of_instructions = number_of_instructions
+
         super().__init__(
             function=function,
             dtype=dtype,
@@ -66,6 +67,10 @@ class CythonRawProgram(RawProgram):
             var_indices=tuple(var.idx for var in in_vars),
         )
 
+    def dump(self, *, prefix: str = '', indent: str = '  ') -> None:
+        super().dump(prefix=prefix, indent=indent)
+        print(f'{prefix}number of instructions = {self.number_of_instructions}')
+
     def __getstate__(self):
         """
         Support for pickle.
@@ -94,7 +99,7 @@ class CythonRawProgram(RawProgram):
         self.in_vars = state['in_vars']
         self.result = state['result']
 
-        self.function, _ = _make_function(
+        self.function, _, self.number_of_instructions = _make_function(
             var_nodes=self.in_vars,
             result_nodes=self.result,
             dtype=self.dtype,
@@ -105,7 +110,7 @@ def _make_function(
         var_nodes: Sequence[VarNode],
         result_nodes: Sequence[CircuitNode],
         dtype: DTypeNumeric,
-) -> Tuple[RawProgramFunction, int]:
+) -> Tuple[RawProgramFunction, int, int]:
     """
     Make a RawProgram function that interprets the circuit.
 
@@ -115,7 +120,9 @@ def _make_function(
         dtype: a numpy data type that must be a key in the dictionary, DTYPE_TO_CVM_TYPE.
 
     Returns:
-        (function, number_of_tmps)
+        (function, number_of_tmps, number_of_instructions)
     """
     analysis: CircuitAnalysis = analyze_circuit(var_nodes, result_nodes)
+    DEBUG =  _compiler.make_function(analysis, dtype)
+
     return _compiler.make_function(analysis, dtype)

{compiled_knowledge-4.0.0a22 → compiled_knowledge-4.0.0a24}/src/ck/circuit_compiler/interpret_compiler.py

@@ -1,17 +1,17 @@
 from __future__ import annotations
 
+import ctypes as ct
 from dataclasses import dataclass
 from typing import Sequence, Optional, Dict, List, Tuple, Callable
 
 import numpy as np
-import ctypes as ct
 
+from .support.circuit_analyser import CircuitAnalysis, analyze_circuit
+from .support.input_vars import InputVars, InferVars, infer_input_vars
 from ..circuit import Circuit, CircuitNode, VarNode, OpNode, ADD, MUL
 from ..program.raw_program import RawProgram, RawProgramFunction
 from ..utils.iter_extras import multiply, first
 from ..utils.np_extras import NDArrayNumeric, DTypeNumeric
-from .support.circuit_analyser import CircuitAnalysis, analyze_circuit
-from .support.input_vars import InputVars, InferVars, infer_input_vars
 
 # index to a value array
 _VARS = 0
@@ -85,6 +85,15 @@ class InterpreterRawProgram(RawProgram):
             var_indices=tuple(var.idx for var in in_vars),
         )
 
+    def dump(self, *, prefix: str = '', indent: str = '  ', show_instructions: bool = True) -> None:
+        super().dump(prefix=prefix, indent=indent)
+        print(f'{prefix}number of instructions = {len(self.instructions)}')
+        if show_instructions:
+            print(f'{prefix}instructions:')
+            next_prefix: str = prefix + indent
+            for instruction in self.instructions:
+                print(f'{next_prefix}{instruction.to_str(self.var_indices, self.np_consts)}')
+
     def __getstate__(self):
         """
         Support for pickle.
@@ -123,7 +132,6 @@ def _make_instructions(
         analysis: CircuitAnalysis,
         dtype: DTypeNumeric,
 ) -> Tuple[Sequence[_Instruction], NDArrayNumeric]:
-
     # Store const values in a numpy array
     node_to_const_idx: Dict[int, int] = {
         id(node): i
@@ -216,9 +224,32 @@ class _ElementID:
     array: int  # VARS, TMPS, CONSTS, RESULT
     index: int  # index into the array
 
+    def to_str(self, var_indices: Sequence[int], consts: NDArrayNumeric) -> str:
+        if self.array == _VARS:
+            return f'var[{var_indices[self.index]}]'
+        elif self.array == _TMPS:
+            return f'tmp[{self.index}]'
+        elif self.array == _CONSTS:
+            return str(consts.item(self.index))
+        elif self.array == _RESULT:
+            return f'result[{self.index}]'
+        else:
+            return f'?[{self.index}]'
+
 
 @dataclass
 class _Instruction:
     operation: Callable
     args: Sequence[_ElementID]
     dest: _ElementID
+
+    def to_str(self, var_indices: Sequence[int], consts: NDArrayNumeric) -> str:
+        symbol: str
+        if self.operation is multiply:
+            symbol = 'mul'
+        elif self.operation == sum:
+            symbol = 'sum'
+        else:
+            symbol = '<?>'
+        args: str = ' '.join(elem.to_str(var_indices, consts) for elem in self.args)
+        return f'{self.dest.to_str(var_indices, consts)} = {symbol} {args}'