Re: [fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

On Mon, Dec 07, 2020 at 02:06:22PM +0100, Waldek Hebisch wrote: > On Mon, Dec 07, 2020 at 06:57:08PM +0800, Qian Yun wrote: > > > > To record the problem we encountered this time, it boils down to > > > > y := > > (complex(0,1)*x*exp((complex(0,2)*x)/complex(1,0))+complex(-1,0)*x)/(complex(1,1)*

Re: [fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

On Mon, Dec 07, 2020 at 06:57:08PM +0800, Qian Yun wrote: > > > On 12/5/20 11:26 PM, Waldek Hebisch wrote: > > On Sat, Dec 05, 2020 at 09:06:22PM +0800, oldk1331 wrote: > > > Almost sure it is bug when adding new kernel in cache, in function > > > "enterInCache". > > > > ATM our handling of kern

Re: [fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

On Sun, Dec 06, 2020 at 10:59:33AM +0100, Ralf Hemmecke wrote: > > On 12/5/20 11:26 PM, Waldek Hebisch wrote: > >> On Sat, Dec 05, 2020 at 09:06:22PM +0800, oldk1331 wrote: > >>> Almost sure it is bug when adding new kernel in cache, in function > >>> "enterInCache". > >> > >> ATM our handling of k

Re: [fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

On 12/5/20 11:26 PM, Waldek Hebisch wrote: On Sat, Dec 05, 2020 at 09:06:22PM +0800, oldk1331 wrote: Almost sure it is bug when adding new kernel in cache, in function "enterInCache". ATM our handling of kernel cache is unsound. Basicaly, kernel cache assumes order and in fact there are no

Re: [fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

On Sun, Dec 6, 2020 at 4:59 AM Ralf Hemmecke wrote: > >> ... > >> ATM our handling of kernel cache is unsound. Basicaly, kernel > >> cache assumes order and in fact there are no consistent order > >> on kernels. > > Why does Kernel need an order at all? > Ordering for kernels is important from t

Re: [fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

> On 12/5/20 11:26 PM, Waldek Hebisch wrote: >> On Sat, Dec 05, 2020 at 09:06:22PM +0800, oldk1331 wrote: >>> Almost sure it is bug when adding new kernel in cache, in function >>> "enterInCache". >> >> ATM our handling of kernel cache is unsound.  Basicaly, kernel >> cache assumes order and in fac

Re: [fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

On 12/5/20 11:26 PM, Waldek Hebisch wrote: On Sat, Dec 05, 2020 at 09:06:22PM +0800, oldk1331 wrote: Almost sure it is bug when adding new kernel in cache, in function "enterInCache". ATM our handling of kernel cache is unsound. Basicaly, kernel cache assumes order and in fact there are no

Re: [fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

On Sat, Dec 05, 2020 at 09:06:22PM +0800, oldk1331 wrote: > Almost sure it is bug when adding new kernel in cache, in function > "enterInCache". ATM our handling of kernel cache is unsound. Basicaly, kernel cache assumes order and in fact there are no consistent order on kernels. Many problems w

[fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

Almost sure it is bug when adding new kernel in cache, in function "enterInCache". On Fri, Dec 4, 2020, 6:11 PM Qian Yun wrote: > > > Tracing shows the computation diverge at "extendedEuclidean" in > > "normalHermiteIntegrate" of TranscendentalHermiteIntegration in > > intrf.spad. > > The reason

[fricas-devel] Re: [BUG] another case of falsely claim an integral is not integrable

Tracing shows the computation diverge at "extendedEuclidean" in "normalHermiteIntegrate" of TranscendentalHermiteIntegration in intrf.spad. The reason that "extendedEuclidean" gives wrong result is that something wrong happened earlier: there are expressions with the same appearance but have