From 6c6dc328229813adcccfe199abb1e6a27187b902 Mon Sep 17 00:00:00 2001
From: Sam Hadow <sam.hadow@proton.me>
Date: Mon, 6 Jul 2026 09:16:13 +0200
Subject: [PATCH] document model R abstraction

---
 src/tea3/tea3model.py | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/tea3/tea3model.py b/src/tea3/tea3model.py
index 2355e63..64a7683 100644
--- a/src/tea3/tea3model.py
+++ b/src/tea3/tea3model.py
@@ -30,6 +30,12 @@ class Tea3Model:
         self.g = self.v[-1]
 
     def _abstract_R(self):
+        """
+        Abstract all monomials involving intermediate R variables.
+
+        For each polynomial in ``R_bits``, monomials containing any ``R`` or ``g`` variable are replaced with a variable ``g``.
+        Monomials involving only ``x``, ``y``, and ``r`` variables are kept unchanged.
+        """
         one  = self.S.one()
         zero = self.S.zero()