Jump to navigation Jump to search

General

Display information for equation id:math.239633.2 on revision:239633

* Page found: Iverson bracket (eq math.239633.2)

(force rerendering)

Occurrences on the following pages:

Hash: 69aae92df2c7af8b99790acbe46a4c79

TeX (original user input):

 \phi(n)=\sum_{i=1}^{n}[\gcd(i,n)=1],\qquad\text{for }n\in\mathbb N^+.

TeX (checked):

\phi (n)=\sum _{i=1}^{n}[\gcd(i,n)=1],\qquad {\text{for }}n\in \mathbb {N} ^{+}.

LaTeXML (experimental; uses MathML) rendering

MathML (6.063 KB / 1.245 KB) :

ϕ ( n ) = i = 1 n [ gcd ( i , n ) = 1 ] , for  n + . fragments ϕ fragments ( n ) superscript subscript 𝑖 1 𝑛 fragments [ fragments ( i , n ) 1 ] , for  n superscript . {\displaystyle\phi(n)=\sum_{{i=1}}^{{n}}[\gcd(i,n)=1],\qquad{\text{for }}n\in{% \mathbb{N}}^{+}.}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle\phi(n)=\sum_{{i=1}}^{{n}}[\gcd(i,n)=1],\qquad{\text{for }}n\in{%&#10;\mathbb{N}}^{+}.}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1b">
      <mi id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">ϕ</mi>
      <mrow id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">
        <mo stretchy="false" id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">(</mo>
        <mi id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">n</mi>
        <mo stretchy="false" id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">=</mo>
      <mstyle displaystyle="true" id="p1.1.m1.1.27" xref="p1.1.m1.1.27.cmml">
        <munderover id="p1.1.m1.1.27a" xref="p1.1.m1.1.27.cmml">
          <mo largeop="true" movablelimits="false" symmetric="true" id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml"></mo>
          <mrow id="p1.1.m1.1.7.1" xref="p1.1.m1.1.7.1.cmml">
            <mi id="p1.1.m1.1.7.1.1" xref="p1.1.m1.1.7.1.1.cmml">i</mi>
            <mo id="p1.1.m1.1.7.1.2" xref="p1.1.m1.1.7.1.2.cmml">=</mo>
            <mn id="p1.1.m1.1.7.1.3" xref="p1.1.m1.1.7.1.3.cmml">1</mn>
          </mrow>
          <mi id="p1.1.m1.1.8.1" xref="p1.1.m1.1.8.1.cmml">n</mi>
        </munderover>
      </mstyle>
      <mrow id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">
        <mo stretchy="false" id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">[</mo>
        <mi id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">gcd</mi>
        <mrow id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">
          <mo stretchy="false" id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">(</mo>
          <mi id="p1.1.m1.1.12" xref="p1.1.m1.1.12.cmml">i</mi>
          <mo id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml">,</mo>
          <mi id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">n</mi>
          <mo stretchy="false" id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml">)</mo>
        </mrow>
        <mo id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">=</mo>
        <mn id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml">1</mn>
        <mo stretchy="false" id="p1.1.m1.1.18" xref="p1.1.m1.1.18.cmml">]</mo>
      </mrow>
      <mo rspace="22.5pt" id="p1.1.m1.1.19" xref="p1.1.m1.1.19.cmml">,</mo>
      <mtext id="p1.1.m1.1.21" xref="p1.1.m1.1.21a.cmml">for </mtext>
      <mi id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">n</mi>
      <mo id="p1.1.m1.1.23" xref="p1.1.m1.1.23.cmml"></mo>
      <msup id="p1.1.m1.1.28" xref="p1.1.m1.1.28.cmml">
        <mi id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml"></mi>
        <mo id="p1.1.m1.1.25.1" xref="p1.1.m1.1.25.1.cmml">+</mo>
      </msup>
      <mo id="p1.1.m1.1.26" xref="p1.1.m1.1.26.cmml">.</mo>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1c">
      <cerror id="p1.1.m1.1d">
        <csymbol cd="ambiguous" id="p1.1.m1.1e">fragments</csymbol>
        <csymbol cd="unknown" id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">ϕ</csymbol>
        <cerror id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">
          <csymbol cd="ambiguous" id="p1.1.m1.1.7a.cmml" xref="p1.1.m1.1.7">fragments</csymbol>
          <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">n</csymbol>
          <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">)</ci>
        </cerror>
        <eq id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5"/>
        <apply id="p1.1.m1.1.27.cmml" xref="p1.1.m1.1.27">
          <csymbol cd="ambiguous" id="p1.1.m1.1.27.1.cmml" xref="p1.1.m1.1.27">superscript</csymbol>
          <apply id="p1.1.m1.1.27.2.cmml" xref="p1.1.m1.1.27">
            <csymbol cd="ambiguous" id="p1.1.m1.1.27.2.1.cmml" xref="p1.1.m1.1.27">subscript</csymbol>
            <sum id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6"/>
            <apply id="p1.1.m1.1.7.1.cmml" xref="p1.1.m1.1.7.1">
              <eq id="p1.1.m1.1.7.1.2.cmml" xref="p1.1.m1.1.7.1.2"/>
              <ci id="p1.1.m1.1.7.1.1.cmml" xref="p1.1.m1.1.7.1.1">𝑖</ci>
              <cn type="integer" id="p1.1.m1.1.7.1.3.cmml" xref="p1.1.m1.1.7.1.3">1</cn>
            </apply>
          </apply>
          <ci id="p1.1.m1.1.8.1.cmml" xref="p1.1.m1.1.8.1">𝑛</ci>
        </apply>
        <cerror id="p1.1.m1.1.20.cmml" xref="p1.1.m1.1.20">
          <csymbol cd="ambiguous" id="p1.1.m1.1.20a.cmml" xref="p1.1.m1.1.20">fragments</csymbol>
          <ci id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9">[</ci>
          <gcd id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10"/>
          <cerror id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">
            <csymbol cd="ambiguous" id="p1.1.m1.1.8a.cmml" xref="p1.1.m1.1.8">fragments</csymbol>
            <ci id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">(</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.12.cmml" xref="p1.1.m1.1.12">i</csymbol>
            <ci id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13">,</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">n</csymbol>
            <ci id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">)</ci>
          </cerror>
          <eq id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16"/>
          <cn type="integer" id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17">1</cn>
          <ci id="p1.1.m1.1.18.cmml" xref="p1.1.m1.1.18">]</ci>
        </cerror>
        <ci id="p1.1.m1.1.19.cmml" xref="p1.1.m1.1.19">,</ci>
        <ci id="p1.1.m1.1.21a.cmml" xref="p1.1.m1.1.21">
          <mtext id="p1.1.m1.1.21.cmml" xref="p1.1.m1.1.21">for </mtext>
        </ci>
        <csymbol cd="unknown" id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22">n</csymbol>
        <in id="p1.1.m1.1.23.cmml" xref="p1.1.m1.1.23"/>
        <apply id="p1.1.m1.1.28.cmml" xref="p1.1.m1.1.28">
          <csymbol cd="ambiguous" id="p1.1.m1.1.28.1.cmml" xref="p1.1.m1.1.28">superscript</csymbol>
          <ci id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24"></ci>
          <plus id="p1.1.m1.1.25.1.cmml" xref="p1.1.m1.1.25.1"/>
        </apply>
        <ci id="p1.1.m1.1.26.cmml" xref="p1.1.m1.1.26">.</ci>
      </cerror>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1f">{\displaystyle\phi(n)=\sum_{{i=1}}^{{n}}[\gcd(i,n)=1],\qquad{\text{for }}n\in{%
\mathbb{N}}^{+}.}</annotation>
  </semantics>
</math>

SVG (13.016 KB / 4.908 KB) :

phi left-parenthesis n right-parenthesis equals sigma-summation Underscript i equals 1 Overscript n Endscripts left-bracket gcd left-parenthesis i comma n right-parenthesis equals 1 right-bracket comma for n element-of double-struck upper N Superscript plus Baseline period

SVG (MathML can be enabled via browser plugin) rendering

MathML (1.613 KB / 556 B) :

ϕ ( n ) = i = 1 n [ gcd ( i , n ) = 1 ] , for  n N + . {\displaystyle \phi (n)=\sum _{i=1}^{n}[\gcd(i,n)=1],\qquad {\text{for }}n\in \mathbb {N} ^{+}.}
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \phi (n)=\sum _{i=1}^{n}[\gcd(i,n)=1],\qquad {\text{for }}n\in \mathbb {N} ^{+}.}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mi>&#x03D5;<!-- ϕ --></mi>
        <mo stretchy="false">(</mo>
        <mi>n</mi>
        <mo stretchy="false">)</mo>
        <mo>=</mo>
        <munderover>
          <mo>&#x2211;<!-- ∑ --></mo>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>i</mi>
            <mo>=</mo>
            <mn>1</mn>
          </mrow>
          <mrow class="MJX-TeXAtom-ORD">
            <mi>n</mi>
          </mrow>
        </munderover>
        <mo stretchy="false">[</mo>
        <mo movablelimits="true" form="prefix">gcd</mo>
        <mo stretchy="false">(</mo>
        <mi>i</mi>
        <mo>,</mo>
        <mi>n</mi>
        <mo stretchy="false">)</mo>
        <mo>=</mo>
        <mn>1</mn>
        <mo stretchy="false">]</mo>
        <mo>,</mo>
        <mspace width="2em" />
        <mrow class="MJX-TeXAtom-ORD">
          <mtext>for&#xA0;</mtext>
        </mrow>
        <mi>n</mi>
        <mo>&#x2208;<!-- ∈ --></mo>
        <msup>
          <mrow class="MJX-TeXAtom-ORD">
            <mi mathvariant="double-struck">N</mi>
          </mrow>
          <mrow class="MJX-TeXAtom-ORD">
            <mo>+</mo>
          </mrow>
        </msup>
        <mo>.</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle \phi (n)=\sum _{i=1}^{n}[\gcd(i,n)=1],\qquad {\text{for }}n\in \mathbb {N} ^{+}.}</annotation>
  </semantics>
</math>

SVG (10.944 KB / 4.587 KB) :

{\displaystyle \phi (n)=\sum _{i=1}^{n}[\gcd(i,n)=1],\qquad {\text{for }}n\in \mathbb {N} ^{+}.}

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Similar pages

Calculated based on the variables occurring on the entire Iverson bracket page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results