From af88ecda5eab07cd6c9ece3f8df5e93d2f320388 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Tue, 13 Aug 2024 16:19:21 +0200
Subject: [PATCH] Arrabiata/doc: cross-terms are multi-binomial computations

---
 arrabiata/src/interpreter.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/arrabiata/src/interpreter.rs b/arrabiata/src/interpreter.rs
index 6aa8ea580e..68f110e3df 100644
--- 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.