Not too strict

Author: konn

docs/en/basics/expressions.ipynb

@@ -278,13 +278,8 @@ def _(problem: jm.DecoratedProblem):
     display(problem.infer(A))
 ```
 
-Comprehensions used with `jm.genarray` must satisfy the following conditions:
-
-1. It must be a **generator expression** enclosed in parentheses. List comprehensions enclosed in `[ ]` are not supported.
-2. The `for` clause must be a single loop of the form `for p in e`, where `e` is a natural-number expression or tuple expression of natural numbers, and `p` is a pattern.
-   + `p` may be any pattern that matches `e`.
-
-The following is an example that raises an error because it uses multiple `for` clauses:
+Only one `for .. in ...` clause is allowed in a `genarray` comprehension.
+Be careful, because using multiple `for` clauses as shown below raises an error:
 
 ```{code-cell} ipython3
 try:
@@ -300,24 +295,7 @@ except SyntaxError as e:
     print(str(e))
 ```
 
-Also, the right-hand side of `in` in `genarray` specifies only the shape.
-In particular, be careful not to use `jm.product` as shown below, because it creates a set and results in an error:
-
-```{code-cell} ipython3
-try:
-
-    @jm.Problem.define("genarray example")
-    def _(problem):
-        N = problem.Natural()
-        M = problem.Natural()
-        a = problem.Float(shape=(N, M))
-        x = problem.BinaryVar(shape=N)
-        Sums = problem.NamedExpr(jm.genarray(a[i, j] * x[i] for i, j in jm.product(N, M)))
-except Exception as e:
-    print(str(e))
-```
-
-:::{admonition} Division by decision variables
+::{admonition} Division by decision variables
 :class: caution
 
 At the modeling stage, decision variables can appear on either side of arithmetic operators.

docs/ja/basics/expressions.ipynb

@@ -265,13 +265,8 @@ def _(problem: jm.DecoratedProblem):
     display(problem.infer(A))
 ```
 
-`jm.genarray` で使える内包表記は以下の条件に従う必要があります：
-
-1. 丸括弧で囲まれた**ジェネレータ式**であること。 `[ ]` で囲まれたリスト内包表記は利用できません。
-2. `for` 部は自然数式または自然数のタプル式 `e` パターン `p` に対し、 `for p in e` の形の単一のループであること。
-   + `p` は `E` に合致するパターンであれば何でも構いません。
-
-以下は、複数の `for`-節を使ってしまい、エラーになっている例です：
+`genarray` の内包表記では、`for .. in ...` は一つしか許容されません。
+以下のように、複数の `for`-節を使ってしまうとエラーになるので注意してください：
 
 ```{code-cell} ipython3
 try:
@@ -287,24 +282,7 @@ except SyntaxError as e:
     print(str(e))
 ```
 
-また、`genarray` の `in` の右辺はあくまでもシェイプを指定するものです。
-特に、以下のように`jm.product` を使ってしまうと集合になってしまい、エラーとなるので注意してください：
-
-```{code-cell} ipython3
-try:
-
-    @jm.Problem.define("genarray example")
-    def _(problem):
-        N = problem.Natural()
-        M = problem.Natural()
-        a = problem.Float(shape=(N, M))
-        x = problem.BinaryVar(shape=N)
-        Sums = problem.NamedExpr(jm.genarray(a[i, j] * x[i] for i, j in jm.product(N, M)))
-except Exception as e:
-    print(str(e))
-```
-
-:::{admonition} 決定変数による除算について
+::{admonition} 決定変数による除算について
 :class: caution
 
 モデルの構築の時点では、決定変数が現れうる式は加減乗除の左右どちらの辺にも現れることができます。