ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 17 Jul 2014 08:09:47 -0500Condition of type: SIMPLE-CONDITIONhttp://ask.sagemath.org/question/23438/condition-of-type-simple-condition/Executing
limit(((x^(2*x)-2*factorial(x)+x*log(x,10))^((x^(2*x))/factorial(x)))/(x^(((2*x)^(2*x))/(factorial(x-1)))),x=infinity)
on my Sagemath's server web interface, I obtain:
Condition of type: SIMPLE-CONDITION
Undefined limit product $INFINITY * $ZEROA in lim-times
Available restarts:
1. (CONTINUE) Return from BREAK.
Top level in: #<process TOP-LEVEL>.
>
What can I do?
'Sage Version 6.1.1, Release Date: 2014-02-04'
Wed, 16 Jul 2014 09:18:33 -0500http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/Answer by slelievre for <p>Executing</p>
<pre><code>limit(((x^(2*x)-2*factorial(x)+x*log(x,10))^((x^(2*x))/factorial(x)))/(x^(((2*x)^(2*x))/(factorial(x-1)))),x=infinity)
</code></pre>
<p>on my Sagemath's server web interface, I obtain:</p>
<pre><code>Condition of type: SIMPLE-CONDITION
Undefined limit product $INFINITY * $ZEROA in lim-times
Available restarts:
1. (CONTINUE) Return from BREAK.
Top level in: #<process TOP-LEVEL>.
>
</code></pre>
<p>What can I do?</p>
<p>'Sage Version 6.1.1, Release Date: 2014-02-04'</p>
http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?answer=23441#post-id-23441Sage delegates treatment of 'limit' expressions to Maxima. When Maxima has questions while evaluating an expression, it asks the user.
Here: Maxima tries to compute the limit of a product as the product of limits, and is stuck because one limit is infinite and the other is zero.
So Maxima is asking you what to do from there.
When Sage delegates a computation to Maxima and Maxima asks for user input, as above, in some cases Sage can figure out what the question is, and tell you about it, for example if you need to specify the sign of some variable. In other cases Sage cannot make a good enough guess of what Maxima is asking or complaining about, and it will either hand you Maxima's question as is, or keep the expression unevaluated.
Apparently in the version and mode of Sage you are running, it hands you Maxima's question, while in the version and mode of Sage I'm using, it keeps the expression unevaluated.
This might be due to some change in the interface between Sage and Maxima in recent versions, or have to do with how Sage is used (command-line vs notebook vs IPython notebook).
I tried with Sage 6.2.beta5 and 6.3.beta5, both in command-line and notebook, and always got the expression back, unchanged.
sage: version()
'Sage Version 6.2.beta5, Release Date: 2014-03-23'
sage: limit(((x^(2*x)-2*factorial(x)+x*log(x,10))^((x^(2*x))/factorial(x)))/(x^(((2*x)^(2*x))/(factorial(x-1)))),x=infinity)
limit((x^(2*x) + x*log(x)/log(10) - 2*factorial(x))^(x^(2*x)/factorial(x))*x^(-(2*x)^(2*x)/factorial(x - 1)), x, +Infinity)
I don't have easy access to Sage 6.1.1 to test on that version. When you say "my Sagemath's server web interface", do you mean you are running `sage -notebook` on your computer (or `sage`, then `notebook()`), or connecting to some sage notebook server on the web?Wed, 16 Jul 2014 13:16:27 -0500http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?answer=23441#post-id-23441Comment by slelievre for <p>Sage delegates treatment of 'limit' expressions to Maxima. When Maxima has questions while evaluating an expression, it asks the user.
Here: Maxima tries to compute the limit of a product as the product of limits, and is stuck because one limit is infinite and the other is zero.
So Maxima is asking you what to do from there.</p>
<p>When Sage delegates a computation to Maxima and Maxima asks for user input, as above, in some cases Sage can figure out what the question is, and tell you about it, for example if you need to specify the sign of some variable. In other cases Sage cannot make a good enough guess of what Maxima is asking or complaining about, and it will either hand you Maxima's question as is, or keep the expression unevaluated.</p>
<p>Apparently in the version and mode of Sage you are running, it hands you Maxima's question, while in the version and mode of Sage I'm using, it keeps the expression unevaluated.
This might be due to some change in the interface between Sage and Maxima in recent versions, or have to do with how Sage is used (command-line vs notebook vs IPython notebook).</p>
<p>I tried with Sage 6.2.beta5 and 6.3.beta5, both in command-line and notebook, and always got the expression back, unchanged.</p>
<pre><code>sage: version()
'Sage Version 6.2.beta5, Release Date: 2014-03-23'
sage: limit(((x^(2*x)-2*factorial(x)+x*log(x,10))^((x^(2*x))/factorial(x)))/(x^(((2*x)^(2*x))/(factorial(x-1)))),x=infinity)
limit((x^(2*x) + x*log(x)/log(10) - 2*factorial(x))^(x^(2*x)/factorial(x))*x^(-(2*x)^(2*x)/factorial(x - 1)), x, +Infinity)
</code></pre>
<p>I don't have easy access to Sage 6.1.1 to test on that version. When you say "my Sagemath's server web interface", do you mean you are running <code>sage -notebook</code> on your computer (or <code>sage</code>, then <code>notebook()</code>), or connecting to some sage notebook server on the web?</p>
http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?comment=23444#post-id-23444The sage notebook server at http://sagenb.mc.edu/ has version 6.1.1, but I don't have an account there. Other sage notebook servers I'm aware of are running 4.7.2, 4.8, 5.8, 5.11. If you tell me the url of the "remote server you and I can connect to with a browser", I can play with your code there and try to give you more specific details for Sage 6.1.1. Otherwise you can also create an account on the SageMathCloud at cloud.sagemath.org, the version of Sage there is currently 6.2.rc2, and I think the next upgrade planned is 6.3 when 6.3 gets released, which should be some time this summer.Wed, 16 Jul 2014 17:06:14 -0500http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?comment=23444#post-id-23444Comment by slelievre for <p>Sage delegates treatment of 'limit' expressions to Maxima. When Maxima has questions while evaluating an expression, it asks the user.
Here: Maxima tries to compute the limit of a product as the product of limits, and is stuck because one limit is infinite and the other is zero.
So Maxima is asking you what to do from there.</p>
<p>When Sage delegates a computation to Maxima and Maxima asks for user input, as above, in some cases Sage can figure out what the question is, and tell you about it, for example if you need to specify the sign of some variable. In other cases Sage cannot make a good enough guess of what Maxima is asking or complaining about, and it will either hand you Maxima's question as is, or keep the expression unevaluated.</p>
<p>Apparently in the version and mode of Sage you are running, it hands you Maxima's question, while in the version and mode of Sage I'm using, it keeps the expression unevaluated.
This might be due to some change in the interface between Sage and Maxima in recent versions, or have to do with how Sage is used (command-line vs notebook vs IPython notebook).</p>
<p>I tried with Sage 6.2.beta5 and 6.3.beta5, both in command-line and notebook, and always got the expression back, unchanged.</p>
<pre><code>sage: version()
'Sage Version 6.2.beta5, Release Date: 2014-03-23'
sage: limit(((x^(2*x)-2*factorial(x)+x*log(x,10))^((x^(2*x))/factorial(x)))/(x^(((2*x)^(2*x))/(factorial(x-1)))),x=infinity)
limit((x^(2*x) + x*log(x)/log(10) - 2*factorial(x))^(x^(2*x)/factorial(x))*x^(-(2*x)^(2*x)/factorial(x - 1)), x, +Infinity)
</code></pre>
<p>I don't have easy access to Sage 6.1.1 to test on that version. When you say "my Sagemath's server web interface", do you mean you are running <code>sage -notebook</code> on your computer (or <code>sage</code>, then <code>notebook()</code>), or connecting to some sage notebook server on the web?</p>
http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?comment=23456#post-id-23456Private message is not yet implemented in askbot, although it's a frequently requested feature. I added a url to my profile, you can find my email address from there.Thu, 17 Jul 2014 08:09:47 -0500http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?comment=23456#post-id-23456Comment by Caterpillar for <p>Sage delegates treatment of 'limit' expressions to Maxima. When Maxima has questions while evaluating an expression, it asks the user.
Here: Maxima tries to compute the limit of a product as the product of limits, and is stuck because one limit is infinite and the other is zero.
So Maxima is asking you what to do from there.</p>
<p>When Sage delegates a computation to Maxima and Maxima asks for user input, as above, in some cases Sage can figure out what the question is, and tell you about it, for example if you need to specify the sign of some variable. In other cases Sage cannot make a good enough guess of what Maxima is asking or complaining about, and it will either hand you Maxima's question as is, or keep the expression unevaluated.</p>
<p>Apparently in the version and mode of Sage you are running, it hands you Maxima's question, while in the version and mode of Sage I'm using, it keeps the expression unevaluated.
This might be due to some change in the interface between Sage and Maxima in recent versions, or have to do with how Sage is used (command-line vs notebook vs IPython notebook).</p>
<p>I tried with Sage 6.2.beta5 and 6.3.beta5, both in command-line and notebook, and always got the expression back, unchanged.</p>
<pre><code>sage: version()
'Sage Version 6.2.beta5, Release Date: 2014-03-23'
sage: limit(((x^(2*x)-2*factorial(x)+x*log(x,10))^((x^(2*x))/factorial(x)))/(x^(((2*x)^(2*x))/(factorial(x-1)))),x=infinity)
limit((x^(2*x) + x*log(x)/log(10) - 2*factorial(x))^(x^(2*x)/factorial(x))*x^(-(2*x)^(2*x)/factorial(x - 1)), x, +Infinity)
</code></pre>
<p>I don't have easy access to Sage 6.1.1 to test on that version. When you say "my Sagemath's server web interface", do you mean you are running <code>sage -notebook</code> on your computer (or <code>sage</code>, then <code>notebook()</code>), or connecting to some sage notebook server on the web?</p>
http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?comment=23450#post-id-23450how can I send it to you privately? I cannot find a private message button on ask.sagemath.orgThu, 17 Jul 2014 02:47:51 -0500http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?comment=23450#post-id-23450Comment by Caterpillar for <p>Sage delegates treatment of 'limit' expressions to Maxima. When Maxima has questions while evaluating an expression, it asks the user.
Here: Maxima tries to compute the limit of a product as the product of limits, and is stuck because one limit is infinite and the other is zero.
So Maxima is asking you what to do from there.</p>
<p>When Sage delegates a computation to Maxima and Maxima asks for user input, as above, in some cases Sage can figure out what the question is, and tell you about it, for example if you need to specify the sign of some variable. In other cases Sage cannot make a good enough guess of what Maxima is asking or complaining about, and it will either hand you Maxima's question as is, or keep the expression unevaluated.</p>
<p>Apparently in the version and mode of Sage you are running, it hands you Maxima's question, while in the version and mode of Sage I'm using, it keeps the expression unevaluated.
This might be due to some change in the interface between Sage and Maxima in recent versions, or have to do with how Sage is used (command-line vs notebook vs IPython notebook).</p>
<p>I tried with Sage 6.2.beta5 and 6.3.beta5, both in command-line and notebook, and always got the expression back, unchanged.</p>
<pre><code>sage: version()
'Sage Version 6.2.beta5, Release Date: 2014-03-23'
sage: limit(((x^(2*x)-2*factorial(x)+x*log(x,10))^((x^(2*x))/factorial(x)))/(x^(((2*x)^(2*x))/(factorial(x-1)))),x=infinity)
limit((x^(2*x) + x*log(x)/log(10) - 2*factorial(x))^(x^(2*x)/factorial(x))*x^(-(2*x)^(2*x)/factorial(x - 1)), x, +Infinity)
</code></pre>
<p>I don't have easy access to Sage 6.1.1 to test on that version. When you say "my Sagemath's server web interface", do you mean you are running <code>sage -notebook</code> on your computer (or <code>sage</code>, then <code>notebook()</code>), or connecting to some sage notebook server on the web?</p>
http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?comment=23442#post-id-23442"my Sagemath's server web interface", I mean I am running sage, then notebook() on a remote server your and I connect to with a browser.Wed, 16 Jul 2014 14:37:13 -0500http://ask.sagemath.org/question/23438/condition-of-type-simple-condition/?comment=23442#post-id-23442