Arrabiata/doc: cross-terms are multi-binomial computations

o1-labs · Aug 13, 2024 · af88ecd · af88ecd
1 parent b175280
commit af88ecd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/arrabiata/src/interpreter.rs b/arrabiata/src/interpreter.rs
@@ -306,6 +306,9 @@
 //! When a variable is unused (or in other terms, equal to zero), the
 //! contribution is null.
 //!
+//! Note that the cross-terms computations result in computation of
+//! [multi-binomials](https://en.wikipedia.org/wiki/Binomial_theorem#Multi-binomial_theorem).
+//!
 //! TBD/FIXME: note that there is a contribution with the α when combining the
 //! constraints.