Merge pull request #147 from Jij-Inc/kory33/fix-binary-sum-typechecking

Add bugfix (unreleased) notes for binary-sum typing issue

Author: konn

docs/en/releases/unreleased.ipynb

@@ -267,6 +267,10 @@ compiler = jm.Compiler.from_problem(problem, instance_data)
 instance = compiler.eval_problem(problem, constraint_detection=True)
 ```
 
+### Fixed a bug where the sum of binary `{0, 1}` expressions had type Binary instead of Natural
+
+We fixed a bug where an expression that `sum`s another expression of binary type (`{0, 1}`) was typed as `Binary` instead of `Natural`. For example, the sum $\sum_i x_i$ of binary variables $x_0, x_1, \ldots$ can take values of $2$ or more, so the result type had to be `Natural` instead of `Binary`.
+
 ## Other Changes
 
 - Relaxed version bounds to allow installation on any Python 3 version from Python 3.11 onwards.

docs/ja/releases/unreleased.ipynb

@@ -260,6 +260,10 @@ compiler = jm.Compiler.from_problem(problem, instance_data)
 instance = compiler.eval_problem(problem, constraint_detection=True)
 ```
 
+### バイナリ`{0, 1}`型の式の総和が自然数型ではなくバイナリ型になっていた問題を修正
+
+バイナリ型（`{0, 1}`）の式を `sum` で総和した式の型が `Natural` ではなく `Binary` になってしまっていた問題を修正しました。たとえば、バイナリ変数 $x_0, x_1, \ldots$ の総和 $\sum_i x_i$ は $0$ や $1$ だけでなく $2$ 以上の値も取りうるため、結果の型は `Binary` ではなく `Natural` であるべきです。
+
 ## その他の変更
 
 - バージョン条件を緩和し、Python 3.11 以降の任意の Python 3 でのインストールを許容しました。