例: 厳密な論理式比較

root 関数は TOL に依存していますが、10-5 を超える TOL には応答しません。

TOL に「システム」のラベルが付いていることを確認します。

<region id="ID0EQ5TSB" top="528" left="48" xml:lang="ja" height="308.169333557129" width="432.818333333333" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math xml:lang="ja">
    <define xml:lang="ja" xmlns="http://schemas.mathsoft.com/math50">
      <function xml:lang="ja">
        <id xml:lang="ja" label="Variable">Newt</id>
        <boundVars xml:lang="ja">
          <id xml:lang="ja" label="Variable">func</id>
          <id xml:lang="ja" label="Variable">guess</id>
          <id xml:lang="ja" label="Variable">iter</id>
        </boundVars>
      </function>
      <program xml:lang="ja">
        <localDefine xml:lang="ja">
          <apply xml:lang="ja">
            <indexer xml:lang="ja" />
            <id xml:lang="ja" label="Variable">t</id>
            <real xml:lang="ja">0</real>
          </apply>
          <id xml:lang="ja">guess</id>
        </localDefine>
        <localDefine xml:lang="ja">
          <id xml:lang="ja" label="Variable">check</id>
          <apply xml:lang="ja">
            <id xml:lang="ja" label="Keyword">root</id>
            <sequence xml:lang="ja">
              <apply xml:lang="ja">
                <id xml:lang="ja">func</id>
                <id xml:lang="ja">guess</id>
              </apply>
              <id xml:lang="ja">guess</id>
            </sequence>
          </apply>
        </localDefine>
        <for xml:lang="ja">
          <id xml:lang="ja">n</id>
          <range xml:lang="ja">
            <real xml:lang="ja">1</real>
            <id xml:lang="ja">iter</id>
          </range>
          <program xml:lang="ja">
            <localDefine xml:lang="ja">
              <id xml:lang="ja" label="Variable">prev</id>
              <apply xml:lang="ja">
                <indexer xml:lang="ja" />
                <id xml:lang="ja">t</id>
                <apply xml:lang="ja">
                  <minus xml:lang="ja" />
                  <id xml:lang="ja">n</id>
                  <real xml:lang="ja">1</real>
                </apply>
              </apply>
            </localDefine>
            <localDefine xml:lang="ja">
              <apply xml:lang="ja">
                <indexer xml:lang="ja" />
                <id xml:lang="ja" label="Variable">t</id>
                <id xml:lang="ja" label="None">n</id>
              </apply>
              <apply xml:lang="ja">
                <minus xml:lang="ja" />
                <apply xml:lang="ja">
                  <indexer xml:lang="ja" />
                  <id xml:lang="ja">t</id>
                  <apply xml:lang="ja">
                    <minus xml:lang="ja" />
                    <id xml:lang="ja">n</id>
                    <real xml:lang="ja">1</real>
                  </apply>
                </apply>
                <apply xml:lang="ja">
                  <div xml:lang="ja" />
                  <apply xml:lang="ja">
                    <id xml:lang="ja">y</id>
                    <id xml:lang="ja">prev</id>
                  </apply>
                  <apply xml:lang="ja">
                    <derivative xml:lang="ja" />
                    <lambda xml:lang="ja">
                      <boundVars xml:lang="ja">
                        <id xml:lang="ja">prev</id>
                      </boundVars>
                      <apply xml:lang="ja">
                        <id xml:lang="ja">func</id>
                        <id xml:lang="ja">prev</id>
                      </apply>
                    </lambda>
                    <degree xml:lang="ja">
                      <placeholder xml:lang="ja" />
                    </degree>
                  </apply>
                </apply>
              </apply>
            </localDefine>
            <if xml:lang="ja">
              <test xml:lang="ja">
                <apply xml:lang="ja">
                  <equal xml:lang="ja" />
                  <apply xml:lang="ja">
                    <indexer xml:lang="ja" />
                    <id xml:lang="ja">t</id>
                    <id xml:lang="ja">n</id>
                  </apply>
                  <id xml:lang="ja">check</id>
                </apply>
              </test>
              <then xml:lang="ja">
                <program xml:lang="ja">
                  <break xml:lang="ja" />
                </program>
              </then>
            </if>
          </program>
        </for>
        <return xml:lang="ja">
          <matrix rows="3" cols="1" xml:lang="ja">
            <id xml:lang="ja">check</id>
            <apply xml:lang="ja">
              <indexer xml:lang="ja" />
              <id xml:lang="ja">t</id>
              <id xml:lang="ja">n</id>
            </apply>
            <id xml:lang="ja">n</id>
          </matrix>
        </return>
      </program>
    </define>
  </math>
</region>

「近似等価」オプションがオフになっている場合、-10-307 から +10-307 の数値は 0 とみなされ、倍精度浮動小数点形式の精度いっぱいまで、厳密に比較されます。

「近似等価」がオンである場合、2 つの数値が等価と見なされるには、2 つの数値の差をその平均で割った値の絶対値が 10-12 未満でなければなりません。