Error detected within library code: Shouldn't happen first time called.

[Nasser M. Abbasi]

Why this error " Error detected within library code:   Shouldn't happen" shows up first time integrate is called, then the second time, the error do not show up? 

It seems something got loaded after first call? May be this something needs to be loaded earlier?

Using  official release:

>fricas --version
FriCAS 1.3.9
based on sbcl 2.3.0

                 Version: FriCAS 1.3.9
                 Timestamp: Sat Jul  8 03:48:50 PM CDT 2023

(1) -> integrate((c*(b*x^2+a)^(1/2))^(3/2)/x^4,x)                      
 
   >> Error detected within library code:
   Shouldn't happen

(1) -> integrate((c*(b*x^2+a)^(1/2))^(3/2)/x^4,x)

                          +------------+
               +--------+ |  +--------+
           x   |  2       |  |  2
         ++  c\|%A b + a \|c\|%A b + a
   (1)   |   --------------------------- d%A
        ++                 4
                         %A
                                         Type: Union(Expression(Integer),...)

Btw, the same thing happens in 1.3.8

--Nasser

[Waldek Hebisch]

On Tue, Jul 11, 2023 at 12:40:30PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote:
>
> Why this error " Error detected within library code: Shouldn't happen"
> shows up first time integrate is called, then the second time, the error do
> not show up?
>
> It seems something got loaded after first call? May be this something needs
> to be loaded earlier?

Thanks for reporting this. I will investigate, but there are various
caches involved and code can take different path on second run.

>
> (1) -> integrate((c*(b*x^2+a)^(1/2))^(3/2)/x^4,x)
>
> >> Error detected within library code:
> Shouldn't happen
>
> (1) -> integrate((c*(b*x^2+a)^(1/2))^(3/2)/x^4,x)
>
> +------------+
> +--------+ | +--------+
> x | 2 | | 2
> ++ c\|%A b + a \|c\|%A b + a
> (1) | --------------------------- d%A
> ++ 4
> %A
> Type:
> Union(Expression(Integer),...)

--
Waldek Hebisch

[Waldek Hebisch]

On Tue, Jul 11, 2023 at 12:40:30PM -0700, 'Nasser M. Abbasi' via FriCAS - computer algebra system wrote:
>

> Why this error " Error detected within library code: Shouldn't happen"
> shows up first time integrate is called, then the second time, the error do
> not show up?
>
> It seems something got loaded after first call? May be this something needs
> to be loaded earlier?

There was confusion initializing one of domains. On second run
domain was treated as initialize even though it was only partially
initialized. Fixed now in the trunk.

--
Waldek Hebisch