변수에 대한 가정 세우기

수정 식	가정
x = real	x가 실수입니다.
x = complex	x가 복소수입니다.
x = integer	x가 정수입니다.
x > a	x가 a보다 큰 실수입니다.
x ≥ a	x가 a보다 크거나 같은 실수입니다.
x < b	x가 b보다 작은 실수입니다.
x ≤ b	x가 b보다 작거나 같은 실수입니다.
x = RealRange(a, b)	x가 a < x < b 범위의 실수입니다. 여기서 a < b입니다.
n = even	n이 짝수 정수입니다.
n = odd	n이 홀수 정수입니다.

<region id="ID0EYBZVB" actualWidth="250.32000000000005" actualHeight="39.2" top="38.400000000000006" left="76.800000000000011" xml:lang="ko" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="4" xml:lang="ko">
    <symEval xml:lang="ko" xmlns="http://schemas.mathsoft.com/math50">
      <apply xml:lang="ko">
        <id xml:space="preserve" xml:lang="ko">Re</id>
        <apply xml:lang="ko">
          <id labels="FUNCTION" xml:space="preserve" xml:lang="ko" label-is-contextual="true">sin</id>
          <id xml:space="preserve" xml:lang="ko">x</id>
        </apply>
      </apply>
      <command xml:lang="ko">
        <sequence xml:lang="ko">
          <id xml:space="preserve" xml:lang="ko">assume</id>
          <apply xml:lang="ko">
            <equal xml:lang="ko" />
            <id xml:space="preserve" xml:lang="ko">x</id>
            <id xml:space="preserve" xml:lang="ko">real</id>
          </apply>
        </sequence>
      </command>
      <symResult xml:lang="ko">
        <apply xml:lang="ko">
          <id labels="FUNCTION" xml:space="preserve" xml:lang="ko">sin</id>
          <id labels="*" xml:space="preserve" xml:lang="ko">x</id>
        </apply>
      </symResult>
    </symEval>
  </math>
</region>

<region id="ID0ERDZVB" actualWidth="313.41333333333341" actualHeight="39.2" top="96.000000000000014" left="76.800000000000011" xml:lang="ko" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="5" xml:lang="ko">
    <symEval xml:lang="ko" xmlns="http://schemas.mathsoft.com/math50">
      <apply xml:lang="ko">
        <id xml:space="preserve" xml:lang="ko">Re</id>
        <apply xml:lang="ko">
          <id labels="FUNCTION" xml:space="preserve" xml:lang="ko" label-is-contextual="true">sin</id>
          <id xml:space="preserve" xml:lang="ko">x</id>
        </apply>
      </apply>
      <command xml:lang="ko">
        <sequence xml:lang="ko">
          <id xml:space="preserve" xml:lang="ko">assume</id>
          <apply xml:lang="ko">
            <equal xml:lang="ko" />
            <id xml:space="preserve" xml:lang="ko">x</id>
            <id xml:space="preserve" xml:lang="ko">complex</id>
          </apply>
        </sequence>
      </command>
      <symResult xml:lang="ko">
        <apply xml:lang="ko">
          <id labels="FUNCTION" xml:space="preserve" xml:lang="ko">Re</id>
          <apply xml:lang="ko">
            <id labels="FUNCTION" xml:space="preserve" xml:lang="ko">sin</id>
            <id labels="*" xml:space="preserve" xml:lang="ko">x</id>
          </apply>
        </apply>
      </symResult>
    </symEval>
  </math>
</region>

<region id="ID0ELFZVB" actualWidth="317.24" actualHeight="39.2" top="153.60000000000002" left="76.800000000000011" xml:lang="ko" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="6" xml:lang="ko">
    <symEval xml:lang="ko" xmlns="http://schemas.mathsoft.com/math50">
      <apply xml:lang="ko">
        <plus xml:lang="ko" />
        <apply xml:lang="ko">
          <plus xml:lang="ko" />
          <id xml:space="preserve" xml:lang="ko">x</id>
          <id xml:space="preserve" xml:lang="ko">y</id>
        </apply>
        <id xml:space="preserve" xml:lang="ko">z</id>
      </apply>
      <command xml:lang="ko">
        <sequence xml:lang="ko">
          <sequence xml:lang="ko">
            <sequence xml:lang="ko">
              <id xml:space="preserve" xml:lang="ko">assume</id>
              <apply xml:lang="ko">
                <equal xml:lang="ko" />
                <id xml:space="preserve" xml:lang="ko">x</id>
                <id xml:space="preserve" xml:lang="ko">real</id>
              </apply>
            </sequence>
            <apply xml:lang="ko">
              <greaterThan xml:lang="ko" />
              <id xml:space="preserve" xml:lang="ko">y</id>
              <real xml:lang="ko">0</real>
            </apply>
          </sequence>
          <apply xml:lang="ko">
            <greaterThan xml:lang="ko" />
            <id xml:space="preserve" xml:lang="ko">z</id>
            <real xml:lang="ko">0</real>
          </apply>
        </sequence>
      </command>
      <symResult xml:lang="ko">
        <apply xml:lang="ko">
          <plus xml:lang="ko" />
          <apply xml:lang="ko">
            <plus xml:lang="ko" />
            <id labels="*" xml:space="preserve" xml:lang="ko">z</id>
            <id labels="*" xml:space="preserve" xml:lang="ko">y</id>
          </apply>
          <id labels="*" xml:space="preserve" xml:lang="ko">x</id>
        </apply>
      </symResult>
    </symEval>
  </math>
</region>

<region id="ID0EFHZVB" actualWidth="379.384667605559" actualHeight="39.2" top="211.20000000000005" left="76.800000000000011" xml:lang="ko" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="7" xml:lang="ko">
    <symEval xml:lang="ko" xmlns="http://schemas.mathsoft.com/math50">
      <apply xml:lang="ko">
        <plus xml:lang="ko" />
        <apply xml:lang="ko">
          <plus xml:lang="ko" />
          <apply xml:lang="ko">
            <nthRoot xml:lang="ko" />
            <placeholder xml:lang="ko" />
            <apply xml:lang="ko">
              <pow xml:lang="ko" />
              <id xml:space="preserve" xml:lang="ko">x</id>
              <real xml:lang="ko">2</real>
            </apply>
          </apply>
          <apply xml:lang="ko">
            <nthRoot xml:lang="ko" />
            <placeholder xml:lang="ko" />
            <apply xml:lang="ko">
              <pow xml:lang="ko" />
              <id xml:space="preserve" xml:lang="ko">y</id>
              <real xml:lang="ko">2</real>
            </apply>
          </apply>
        </apply>
        <apply xml:lang="ko">
          <nthRoot xml:lang="ko" />
          <placeholder xml:lang="ko" />
          <apply xml:lang="ko">
            <pow xml:lang="ko" />
            <id xml:space="preserve" xml:lang="ko">z</id>
            <real xml:lang="ko">2</real>
          </apply>
        </apply>
      </apply>
      <command xml:lang="ko">
        <sequence xml:lang="ko">
          <sequence xml:lang="ko">
            <id xml:space="preserve" xml:lang="ko">simplify</id>
            <id xml:space="preserve" xml:lang="ko">assume</id>
          </sequence>
          <apply xml:lang="ko">
            <greaterThan xml:lang="ko" />
            <id xml:space="preserve" xml:lang="ko">ALL</id>
            <real xml:lang="ko">0</real>
          </apply>
        </sequence>
      </command>
      <symResult xml:lang="ko">
        <apply xml:lang="ko">
          <plus xml:lang="ko" />
          <apply xml:lang="ko">
            <plus xml:lang="ko" />
            <id labels="*" xml:space="preserve" xml:lang="ko">z</id>
            <id labels="*" xml:space="preserve" xml:lang="ko">y</id>
          </apply>
          <id labels="*" xml:space="preserve" xml:lang="ko">x</id>
        </apply>
      </symResult>
    </symEval>
  </math>
</region>