[sage-devel] Re: how to handle assumptions

Robert, >> >> view the pdf file for "Schaums 14.120-14.124" (schaum5.input.pdf) >> See the result on page 3 of the pdf. >> >> The first integral result returned by Axiom is a list of answers. > >Hmm. I don't see any indication of the domain i

[sage-devel] Re: how to handle assumptions

>> Integrate[x^a, {x, 1, Infinity}] returns an answer that incorporates >> assumptions: >> If[Re[a] < -1, -(1/(1 + a)), Integrate[x^a, {x, 1, ∞}, Assumptions >> -> >> Re[a] >= -1]] >> >> If you want me to unpack that or have a more instructive example, >> just >> ask. >> > Forgot about that

[sage-devel] Re: how to handle assumptions

On Thu, 10 Jul 2008, David Philp wrote: > Multiple solutions are different to assumptions in Mathematica. > > Solve[x^2 == 1, x] returns a two unconditional solutions. (x -> 1, x- > > > -1 are both solutions). > > Integrate[x^a, {x, 1, Infinity}] returns an answer that incorporates > assumption

[sage-devel] Re: how to handle assumptions

On 10/07/2008, at 2:14 PM, François Bissey wrote: > > On Thu, 10 Jul 2008, Robert Dodier wrote: >> William Stein wrote: >>> If you answer could you summarize what Maple/Mathematica do >>> (if you care), and if so why you think whatever you propose is >>> better than them. >> >> Not sure if I am

[sage-devel] Re: how to handle assumptions

root wrote: > > view the pdf file for "Schaums 14.120-14.124" (schaum5.input.pdf) > See the result on page 3 of the pdf. > > The first integral result returned by Axiom is a list of answers. Hmm. I don't see any indication of the domain in w

[sage-devel] Re: how to handle assumptions

On Thu, 10 Jul 2008, Robert Dodier wrote: > William Stein wrote: > > If you answer could you summarize what Maple/Mathematica do > > (if you care), and if so why you think whatever you propose is > > better than them. > > Not sure if I am the "you" in question here, but fwiw I don't know > what Ma

[sage-devel] Re: how to handle assumptions

William Stein wrote: > If you answer could you summarize what Maple/Mathematica do > (if you care), and if so why you think whatever you propose is > better than them. Not sure if I am the "you" in question here, but fwiw I don't know what Maple or Mathematica do when there are multiple solution

[sage-devel] Re: how to handle assumptions

>>> Also part of the problem is that the assume system in Maxima >>> is not very strong, and it has bugs. We could use some help on >>> that too. >> >> What are your ideas to handle assumptions correctly? >> >> E.g. from your slides you prefer the formula and all the symbols to be >> just symbols

[sage-devel] Re: how to handle assumptions

On Tue, Jul 8, 2008 at 10:27 PM, Ondrej Certik <[EMAIL PROTECTED]> wrote: > > Hi, > > Robert wrote: > >> Also part of the problem is that the assume system in Maxima >> is not very strong, and it has bugs. We could use some help on >> that too. > > What are your ideas to handle assumptions correct