Update dev doc after building 11938

Author: SymPy (Travis CI)

dev/_modules/sympy/core/expr.html

@@ -786,7 +786,7 @@ <h1>Source code for sympy.core.expr</h1><div class="highlight"><pre>
 <span class="sd">        respectively.</span>
 
 <span class="sd">        &quot;&quot;&quot;</span>
-        <span class="kn">from</span> <span class="nn">sympy.series</span> <span class="kn">import</span> <span class="n">limit</span>
+        <span class="kn">from</span> <span class="nn">sympy.series</span> <span class="kn">import</span> <span class="n">limit</span><span class="p">,</span> <span class="n">Limit</span>
         <span class="k">if</span> <span class="p">(</span><span class="n">a</span> <span class="ow">is</span> <span class="bp">None</span> <span class="ow">and</span> <span class="n">b</span> <span class="ow">is</span> <span class="bp">None</span><span class="p">):</span>
             <span class="k">raise</span> <span class="ne">ValueError</span><span class="p">(</span><span class="s">&#39;Both interval ends cannot be None.&#39;</span><span class="p">)</span>
 
@@ -798,13 +798,17 @@ <h1>Source code for sympy.core.expr</h1><div class="highlight"><pre>
                 <span class="n">A</span> <span class="o">=</span> <span class="n">limit</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">x</span><span class="p">,</span> <span class="n">a</span><span class="p">)</span>
                 <span class="k">if</span> <span class="n">A</span> <span class="ow">is</span> <span class="n">S</span><span class="o">.</span><span class="n">NaN</span><span class="p">:</span>
                     <span class="k">return</span> <span class="n">A</span>
+                <span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">A</span><span class="p">,</span> <span class="n">Limit</span><span class="p">):</span>
+                    <span class="k">raise</span> <span class="ne">NotImplementedError</span><span class="p">(</span><span class="s">&quot;Could not compute limit&quot;</span><span class="p">)</span>
 
         <span class="k">if</span> <span class="n">b</span> <span class="ow">is</span> <span class="bp">None</span><span class="p">:</span>
             <span class="n">B</span> <span class="o">=</span> <span class="mi">0</span>
         <span class="k">else</span><span class="p">:</span>
             <span class="n">B</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">subs</span><span class="p">(</span><span class="n">x</span><span class="p">,</span> <span class="n">b</span><span class="p">)</span>
             <span class="k">if</span> <span class="n">B</span><span class="o">.</span><span class="n">has</span><span class="p">(</span><span class="n">S</span><span class="o">.</span><span class="n">NaN</span><span class="p">)</span> <span class="ow">or</span> <span class="n">B</span><span class="o">.</span><span class="n">has</span><span class="p">(</span><span class="n">S</span><span class="o">.</span><span class="n">Infinity</span><span class="p">)</span> <span class="ow">or</span> <span class="n">B</span><span class="o">.</span><span class="n">has</span><span class="p">(</span><span class="n">S</span><span class="o">.</span><span class="n">NegativeInfinity</span><span class="p">):</span>
                 <span class="n">B</span> <span class="o">=</span> <span class="n">limit</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">x</span><span class="p">,</span> <span class="n">b</span><span class="p">)</span>
+                <span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">B</span><span class="p">,</span> <span class="n">Limit</span><span class="p">):</span>
+                    <span class="k">raise</span> <span class="ne">NotImplementedError</span><span class="p">(</span><span class="s">&quot;Could not compute limit&quot;</span><span class="p">)</span>
 
         <span class="k">return</span> <span class="n">B</span> <span class="o">-</span> <span class="n">A</span>
 

dev/_modules/sympy/core/mul.html

@@ -1026,6 +1026,14 @@ <h1>Source code for sympy.core.mul</h1><div class="highlight"><pre>
     <span class="n">_eval_is_complex</span> <span class="o">=</span> <span class="k">lambda</span> <span class="bp">self</span><span class="p">:</span> <span class="n">_fuzzy_group</span><span class="p">(</span>
         <span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">is_complex</span> <span class="k">for</span> <span class="n">a</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">args</span><span class="p">),</span> <span class="n">quick_exit</span><span class="o">=</span><span class="bp">True</span><span class="p">)</span>
 
+    <span class="k">def</span> <span class="nf">_eval_is_infinite</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
+        <span class="k">if</span> <span class="nb">any</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">is_infinite</span> <span class="k">for</span> <span class="n">a</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">args</span><span class="p">):</span>
+            <span class="k">if</span> <span class="nb">any</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">is_zero</span> <span class="k">for</span> <span class="n">a</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">args</span><span class="p">):</span>
+                <span class="k">return</span> <span class="n">S</span><span class="o">.</span><span class="n">NaN</span><span class="o">.</span><span class="n">is_infinite</span>
+            <span class="k">if</span> <span class="nb">any</span><span class="p">(</span><span class="n">a</span><span class="o">.</span><span class="n">is_zero</span> <span class="ow">is</span> <span class="bp">None</span> <span class="k">for</span> <span class="n">a</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">args</span><span class="p">):</span>
+                <span class="k">return</span> <span class="bp">None</span>
+            <span class="k">return</span> <span class="bp">True</span>
+
     <span class="k">def</span> <span class="nf">_eval_is_rational</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
         <span class="n">r</span> <span class="o">=</span> <span class="n">_fuzzy_group</span><span class="p">((</span><span class="n">a</span><span class="o">.</span><span class="n">is_rational</span> <span class="k">for</span> <span class="n">a</span> <span class="ow">in</span> <span class="bp">self</span><span class="o">.</span><span class="n">args</span><span class="p">),</span> <span class="n">quick_exit</span><span class="o">=</span><span class="bp">True</span><span class="p">)</span>
         <span class="k">if</span> <span class="n">r</span><span class="p">:</span>

dev/_modules/sympy/core/numbers.html

@@ -791,6 +791,11 @@ <h1>Source code for sympy.core.numbers</h1><div class="highlight"><pre>
             <span class="k">return</span> <span class="bp">False</span>
         <span class="k">return</span> <span class="bp">True</span>
 
+    <span class="k">def</span> <span class="nf">_eval_is_infinite</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
+        <span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">_mpf_</span> <span class="ow">in</span> <span class="p">(</span><span class="n">_mpf_inf</span><span class="p">,</span> <span class="n">_mpf_ninf</span><span class="p">):</span>
+            <span class="k">return</span> <span class="bp">True</span>
+        <span class="k">return</span> <span class="bp">False</span>
+
     <span class="k">def</span> <span class="nf">_eval_is_integer</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
         <span class="k">return</span> <span class="bp">self</span><span class="o">.</span><span class="n">_mpf_</span> <span class="o">==</span> <span class="n">_mpf_zero</span>
 
@@ -2309,12 +2314,7 @@ <h1>Source code for sympy.core.numbers</h1><div class="highlight"><pre>
 
     <span class="n">is_commutative</span> <span class="o">=</span> <span class="bp">True</span>
     <span class="n">is_positive</span> <span class="o">=</span> <span class="bp">True</span>
-    <span class="n">is_finite</span> <span class="o">=</span> <span class="bp">False</span>
-    <span class="n">is_integer</span> <span class="o">=</span> <span class="bp">None</span>
-    <span class="n">is_rational</span> <span class="o">=</span> <span class="bp">None</span>
-    <span class="n">is_algebraic</span> <span class="o">=</span> <span class="bp">None</span>
-    <span class="n">is_transcendental</span> <span class="o">=</span> <span class="bp">None</span>
-    <span class="n">is_odd</span> <span class="o">=</span> <span class="bp">None</span>
+    <span class="n">is_infinite</span> <span class="o">=</span> <span class="bp">True</span>
     <span class="n">is_number</span> <span class="o">=</span> <span class="bp">True</span>
 
     <span class="n">__slots__</span> <span class="o">=</span> <span class="p">[]</span>
@@ -2523,14 +2523,9 @@ <h1>Source code for sympy.core.numbers</h1><div class="highlight"><pre>
 <span class="sd">    &quot;&quot;&quot;</span>
 
     <span class="n">is_commutative</span> <span class="o">=</span> <span class="bp">True</span>
-    <span class="n">is_real</span> <span class="o">=</span> <span class="bp">True</span>
-    <span class="n">is_positive</span> <span class="o">=</span> <span class="bp">False</span>
-    <span class="n">is_finite</span> <span class="o">=</span> <span class="bp">False</span>
-    <span class="n">is_integer</span> <span class="o">=</span> <span class="bp">None</span>
-    <span class="n">is_rational</span> <span class="o">=</span> <span class="bp">None</span>
+    <span class="n">is_negative</span> <span class="o">=</span> <span class="bp">True</span>
+    <span class="n">is_infinite</span> <span class="o">=</span> <span class="bp">True</span>
     <span class="n">is_number</span> <span class="o">=</span> <span class="bp">True</span>
-    <span class="n">is_algebraic</span> <span class="o">=</span> <span class="bp">None</span>
-    <span class="n">is_transcendental</span> <span class="o">=</span> <span class="bp">None</span>
 
     <span class="n">__slots__</span> <span class="o">=</span> <span class="p">[]</span>
 
@@ -2896,8 +2891,7 @@ <h1>Source code for sympy.core.numbers</h1><div class="highlight"><pre>
 <span class="sd">    &quot;&quot;&quot;</span>
 
     <span class="n">is_commutative</span> <span class="o">=</span> <span class="bp">True</span>
-    <span class="n">is_finite</span> <span class="o">=</span> <span class="bp">False</span>
-    <span class="n">is_real</span> <span class="o">=</span> <span class="bp">None</span>
+    <span class="n">is_infinite</span> <span class="o">=</span> <span class="bp">True</span>
     <span class="n">is_number</span> <span class="o">=</span> <span class="bp">True</span>
 
     <span class="n">__slots__</span> <span class="o">=</span> <span class="p">[]</span>

dev/_modules/sympy/series/gruntz.html

@@ -181,7 +181,7 @@ <h1>Source code for sympy.series.gruntz</h1><div class="highlight"><pre>
 <span class="sd">&quot;&quot;&quot;</span>
 <span class="kn">from</span> <span class="nn">__future__</span> <span class="kn">import</span> <span class="n">print_function</span><span class="p">,</span> <span class="n">division</span>
 
-<span class="kn">from</span> <span class="nn">sympy.core</span> <span class="kn">import</span> <span class="n">Basic</span><span class="p">,</span> <span class="n">S</span><span class="p">,</span> <span class="n">oo</span><span class="p">,</span> <span class="n">Symbol</span><span class="p">,</span> <span class="n">I</span><span class="p">,</span> <span class="n">Dummy</span><span class="p">,</span> <span class="n">Wild</span>
+<span class="kn">from</span> <span class="nn">sympy.core</span> <span class="kn">import</span> <span class="n">Basic</span><span class="p">,</span> <span class="n">S</span><span class="p">,</span> <span class="n">oo</span><span class="p">,</span> <span class="n">Symbol</span><span class="p">,</span> <span class="n">I</span><span class="p">,</span> <span class="n">Dummy</span><span class="p">,</span> <span class="n">Wild</span><span class="p">,</span> <span class="n">Mul</span>
 <span class="kn">from</span> <span class="nn">sympy.functions</span> <span class="kn">import</span> <span class="n">log</span><span class="p">,</span> <span class="n">exp</span>
 <span class="kn">from</span> <span class="nn">sympy.series.order</span> <span class="kn">import</span> <span class="n">Order</span>
 <span class="kn">from</span> <span class="nn">sympy.simplify</span> <span class="kn">import</span> <span class="n">powsimp</span>
@@ -336,7 +336,11 @@ <h1>Source code for sympy.series.gruntz</h1><div class="highlight"><pre>
         <span class="c"># be simplified here, and doing so is vital for termination.</span>
         <span class="k">if</span> <span class="n">e</span><span class="o">.</span><span class="n">args</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">func</span> <span class="ow">is</span> <span class="n">log</span><span class="p">:</span>
             <span class="k">return</span> <span class="n">mrv</span><span class="p">(</span><span class="n">e</span><span class="o">.</span><span class="n">args</span><span class="p">[</span><span class="mi">0</span><span class="p">]</span><span class="o">.</span><span class="n">args</span><span class="p">[</span><span class="mi">0</span><span class="p">],</span> <span class="n">x</span><span class="p">)</span>
-        <span class="k">if</span> <span class="n">limitinf</span><span class="p">(</span><span class="n">e</span><span class="o">.</span><span class="n">args</span><span class="p">[</span><span class="mi">0</span><span class="p">],</span> <span class="n">x</span><span class="p">)</span><span class="o">.</span><span class="n">is_infinite</span><span class="p">:</span>
+        <span class="c"># if a product has an infinite factor the result will be</span>
+        <span class="c"># infinite if there is no zero, otherwise NaN; here, we</span>
+        <span class="c"># consider the result infinite if any factor is infinite</span>
+        <span class="n">li</span> <span class="o">=</span> <span class="n">limitinf</span><span class="p">(</span><span class="n">e</span><span class="o">.</span><span class="n">args</span><span class="p">[</span><span class="mi">0</span><span class="p">],</span> <span class="n">x</span><span class="p">)</span>
+        <span class="k">if</span> <span class="nb">any</span><span class="p">(</span><span class="n">_</span><span class="o">.</span><span class="n">is_infinite</span> <span class="k">for</span> <span class="n">_</span> <span class="ow">in</span> <span class="n">Mul</span><span class="o">.</span><span class="n">make_args</span><span class="p">(</span><span class="n">li</span><span class="p">)):</span>
             <span class="n">s1</span> <span class="o">=</span> <span class="n">SubsSet</span><span class="p">()</span>
             <span class="n">e1</span> <span class="o">=</span> <span class="n">s1</span><span class="p">[</span><span class="n">e</span><span class="p">]</span>
             <span class="n">s2</span><span class="p">,</span> <span class="n">e2</span> <span class="o">=</span> <span class="n">mrv</span><span class="p">(</span><span class="n">e</span><span class="o">.</span><span class="n">args</span><span class="p">[</span><span class="mi">0</span><span class="p">],</span> <span class="n">x</span><span class="p">)</span>
@@ -475,7 +479,7 @@ <h1>Source code for sympy.series.gruntz</h1><div class="highlight"><pre>
         <span class="n">e</span> <span class="o">=</span> <span class="n">e</span><span class="o">.</span><span class="n">expand</span><span class="p">()</span><span class="o">.</span><span class="n">removeO</span><span class="p">()</span>
     <span class="k">if</span> <span class="ow">not</span> <span class="n">x</span><span class="o">.</span><span class="n">is_positive</span><span class="p">:</span>
         <span class="c"># We make sure that x.is_positive is True so we</span>
-        <span class="c"># get all the correct mathematical bechavior from the expression.</span>
+        <span class="c"># get all the correct mathematical behavior from the expression.</span>
         <span class="c"># We need a fresh variable.</span>
         <span class="n">p</span> <span class="o">=</span> <span class="n">Dummy</span><span class="p">(</span><span class="s">&#39;p&#39;</span><span class="p">,</span> <span class="n">positive</span><span class="o">=</span><span class="bp">True</span><span class="p">,</span> <span class="n">finite</span><span class="o">=</span><span class="bp">True</span><span class="p">)</span>
         <span class="n">e</span> <span class="o">=</span> <span class="n">e</span><span class="o">.</span><span class="n">subs</span><span class="p">(</span><span class="n">x</span><span class="p">,</span> <span class="n">p</span><span class="p">)</span>