Résolution d'équations à l'aide de modificateurs générés et Eval

Mathématiques symboliques > Utilisation des mathématiques symboliques > Résolution d'équations à l'aide de modificateurs générés et Eval

1. Définissez et résolvez deux équations pour les variables à l'aide d'un opérateur booléen et solve. La solution est renvoyée en termes de z.

<region id="ID0EHNBLB" actualWidth="431.2166666666667" actualHeight="133.60000000000002" top="96.000000000000014" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="5">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <matrix rows="2" cols="1">
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <apply>
              <mult />
              <real>3</real>
              <id xml:space="preserve">y</id>
            </apply>
          </apply>
          <real>4</real>
        </apply>
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <id xml:space="preserve">z</id>
          </apply>
          <real>8</real>
        </apply>
      </matrix>
      <command>
        <sequence>
          <sequence>
            <sequence>
              <sequence>
                <id xml:space="preserve">solve</id>
                <id xml:space="preserve">x</id>
              </sequence>
              <id xml:space="preserve">y</id>
            </sequence>
            <id xml:space="preserve">z</id>
          </sequence>
          <id xml:space="preserve">fully</id>
        </sequence>
      </command>
      <symResult>
        <program>
          <if>
            <test>
              <apply>
                <elementOf />
                <id xml:space="preserve" labels="*">_z</id>
                <id xml:space="preserve" labels="CONSTANT">ℂ</id>
              </apply>
            </test>
            <then>
              <program>
                <matrix rows="1" cols="3">
                  <apply>
                    <div />
                    <apply>
                      <plus />
                      <apply>
                        <neg />
                        <id xml:space="preserve" labels="*">_z</id>
                      </apply>
                      <real>8</real>
                    </apply>
                    <real>2</real>
                  </apply>
                  <apply>
                    <div />
                    <apply>
                      <minus />
                      <id xml:space="preserve" labels="*">_z</id>
                      <real>4</real>
                    </apply>
                    <real>3</real>
                  </apply>
                  <id xml:space="preserve" labels="*">_z</id>
                </matrix>
              </program>
            </then>
            <else>
              <program>
                <id xml:space="preserve" labels="*">undefined</id>
              </program>
            </else>
          </if>
        </program>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

2. Evaluez les valeurs des variables en supposant que toutes les valeurs sont supérieures à 0.

<region id="ID0EYOBLB" actualWidth="551.38666666666677" actualHeight="133.60000000000002" top="268.80000000000007" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="6">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <matrix rows="2" cols="1">
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <apply>
              <mult />
              <real>3</real>
              <id xml:space="preserve">y</id>
            </apply>
          </apply>
          <real>4</real>
        </apply>
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <id xml:space="preserve">z</id>
          </apply>
          <real>8</real>
        </apply>
      </matrix>
      <command>
        <sequence>
          <sequence>
            <sequence>
              <sequence>
                <sequence>
                  <sequence>
                    <id xml:space="preserve">solve</id>
                    <id xml:space="preserve">x</id>
                  </sequence>
                  <id xml:space="preserve">y</id>
                </sequence>
                <id xml:space="preserve">z</id>
              </sequence>
              <id xml:space="preserve">fully</id>
            </sequence>
            <id xml:space="preserve">assume</id>
          </sequence>
          <apply>
            <greaterThan />
            <id xml:space="preserve">ALL</id>
            <real>0</real>
          </apply>
        </sequence>
      </command>
      <symResult>
        <program>
          <if>
            <test>
              <apply>
                <lessThan />
                <apply>
                  <lessThan />
                  <real>4</real>
                  <id xml:space="preserve" labels="*">_z</id>
                </apply>
                <real>8</real>
              </apply>
            </test>
            <then>
              <program>
                <matrix rows="1" cols="3">
                  <apply>
                    <div />
                    <apply>
                      <plus />
                      <apply>
                        <neg />
                        <id xml:space="preserve" labels="*">_z</id>
                      </apply>
                      <real>8</real>
                    </apply>
                    <real>2</real>
                  </apply>
                  <apply>
                    <div />
                    <apply>
                      <minus />
                      <id xml:space="preserve" labels="*">_z</id>
                      <real>4</real>
                    </apply>
                    <real>3</real>
                  </apply>
                  <id xml:space="preserve" labels="*">_z</id>
                </matrix>
              </program>
            </then>
            <else>
              <program>
                <id xml:space="preserve" labels="*">undefined</id>
              </program>
            </else>
          </if>
        </program>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

Le résultat est renvoyé pour z entre 4 et 8 ou il n'est pas défini.

3. Evaluez les valeurs de variable inférieures à 4 à l'aide de generated. generated n'effectue pas d'affectation ni de substitution dans les valeurs.

<region id="ID0EVQBLB" actualWidth="543.26666666666665" actualHeight="49.49" top="441.60000000000008" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="7">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <matrix rows="2" cols="1">
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <apply>
              <mult />
              <real>3</real>
              <id xml:space="preserve">y</id>
            </apply>
          </apply>
          <real>4</real>
        </apply>
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <id xml:space="preserve">z</id>
          </apply>
          <real>8</real>
        </apply>
      </matrix>
      <command>
        <sequence>
          <sequence>
            <sequence>
              <sequence>
                <sequence>
                  <sequence>
                    <sequence>
                      <id xml:space="preserve">solve</id>
                      <id xml:space="preserve">x</id>
                    </sequence>
                    <id xml:space="preserve">y</id>
                  </sequence>
                  <id xml:space="preserve">z</id>
                </sequence>
                <apply>
                  <lessThan />
                  <id xml:space="preserve">generated</id>
                  <real>4</real>
                </apply>
              </sequence>
              <id xml:space="preserve">fully</id>
            </sequence>
            <id xml:space="preserve">assume</id>
          </sequence>
          <apply>
            <greaterThan />
            <id xml:space="preserve">ALL</id>
            <real>0</real>
          </apply>
        </sequence>
      </command>
      <symResult>
        <id xml:space="preserve" labels="*">undefined</id>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

Le résultat n'est pas défini car la valeur générée est supposée être inférieure à 4.

4. Ensuite, évaluez les équations pour la valeur générée égale à 6.

<region id="ID0EKSBLB" actualWidth="612.19" actualHeight="51.158666666666669" top="556.80000000000007" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="8">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <matrix rows="2" cols="1">
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <apply>
              <mult />
              <real>3</real>
              <id xml:space="preserve">y</id>
            </apply>
          </apply>
          <real>4</real>
        </apply>
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <id xml:space="preserve">z</id>
          </apply>
          <real>8</real>
        </apply>
      </matrix>
      <command>
        <sequence>
          <sequence>
            <sequence>
              <sequence>
                <sequence>
                  <sequence>
                    <sequence>
                      <id xml:space="preserve">solve</id>
                      <id xml:space="preserve">x</id>
                    </sequence>
                    <id xml:space="preserve">y</id>
                  </sequence>
                  <id xml:space="preserve">z</id>
                </sequence>
                <apply>
                  <equal />
                  <id xml:space="preserve">generated</id>
                  <real>6</real>
                </apply>
              </sequence>
              <id xml:space="preserve">fully</id>
            </sequence>
            <id xml:space="preserve">assume</id>
          </sequence>
          <apply>
            <greaterThan />
            <id xml:space="preserve">ALL</id>
            <real>0</real>
          </apply>
        </sequence>
      </command>
      <symResult>
        <matrix rows="1" cols="3">
          <apply>
            <div />
            <apply>
              <plus />
              <apply>
                <neg />
                <id xml:space="preserve" labels="*">_z</id>
              </apply>
              <real>8</real>
            </apply>
            <real>2</real>
          </apply>
          <apply>
            <div />
            <apply>
              <minus />
              <id xml:space="preserve" labels="*">_z</id>
              <real>4</real>
            </apply>
            <real>3</real>
          </apply>
          <id xml:space="preserve" labels="*">_z</id>
        </matrix>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

5. Évaluez la valeur générée à l'aide de la valeur eval 6.

<region id="ID0E6TBLB" actualWidth="574.84666666666658" actualHeight="51.158666666666669" top="652.80000000000007" left="19.200000000000003" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="9">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <matrix rows="2" cols="1">
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <apply>
              <mult />
              <real>3</real>
              <id xml:space="preserve">y</id>
            </apply>
          </apply>
          <real>4</real>
        </apply>
        <apply>
          <equal />
          <apply>
            <plus />
            <apply>
              <mult />
              <real>2</real>
              <id xml:space="preserve">x</id>
            </apply>
            <id xml:space="preserve">z</id>
          </apply>
          <real>8</real>
        </apply>
      </matrix>
      <command>
        <sequence>
          <sequence>
            <sequence>
              <sequence>
                <sequence>
                  <sequence>
                    <sequence>
                      <id xml:space="preserve">solve</id>
                      <id xml:space="preserve">x</id>
                    </sequence>
                    <id xml:space="preserve">y</id>
                  </sequence>
                  <id xml:space="preserve">z</id>
                </sequence>
                <apply>
                  <equal />
                  <id xml:space="preserve">generated</id>
                  <apply>
                    <id xml:space="preserve">eval</id>
                    <real>6</real>
                  </apply>
                </apply>
              </sequence>
              <id xml:space="preserve">fully</id>
            </sequence>
            <id xml:space="preserve">assume</id>
          </sequence>
          <apply>
            <greaterThan />
            <id xml:space="preserve">ALL</id>
            <real>0</real>
          </apply>
        </sequence>
      </command>
      <symResult>
        <matrix rows="1" cols="3">
          <real>1</real>
          <apply>
            <div />
            <real>2</real>
            <real>3</real>
          </apply>
          <real>6</real>
        </matrix>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

Nous utilisons ici eval pour substituer la valeur de la variable générée.

Est-ce que cela a été utile ?