I am not sure of the exact cause but it seems the interpreter is doing
a particularly bad job of imputing the types.  The follow alternatives
work:

(1) -> integrand:Expression Complex
Integer:=1/2*2^(1/2)*1/(1+x)^2/(-%i+x^2)^(1/2)+1/2/(1+x)^2*2^(1/2)/(%i+x^2)^(1/2)

                +-------+        +-------+
            +-+ | 2          +-+ | 2
           \|2 \|x  + %i  + \|2 \|x  - %i
   (1)  ------------------------------------
                         +-------+ +-------+
            2            | 2       | 2
        (2 x  + 4 x + 2)\|x  - %i \|x  + %i
                                           Type: Expression(Complex(Integer))
(2) -> )cl co
   All user variables and function definitions have been cleared.
   All )browse facility databases have been cleared.
   Internally cached functions and constructors have been cleared.
   )clear completely is finished.

(1) -> integrand:Expression
Integer:=1/2*2^(1/2)*1/(1+x)^2/(-sqrt(-1)+x^2)^(1/2)+1/2/(1+x)^2*2^(1/2)/(sqrt(-1)+x^2)^(1/2)

                +-----------+        +-------------+
            +-+ | +---+    2     +-+ |   +---+    2
           \|2 \|\|- 1  + x   + \|2 \|- \|- 1  + x
   (1)  ----------------------------------------------
                         +-------------+ +-----------+
            2            |   +---+    2  | +---+    2
        (2 x  + 4 x + 2)\|- \|- 1  + x  \|\|- 1  + x
                                                    Type: Expression(Integer)


On Sun, Jan 28, 2018 at 3:25 PM, 'Nasser M. Abbasi' via FriCAS -
computer algebra system <[email protected]> wrote:
> Any idea what causes this crash?
>
>>fricas
> viewman not present, disabling graphics
> /bin/sh: 1: exec:
> /home/me/data/fricas/fricas-1.3.2/target/x86_64-linux-gnu/bin/hypertex: not
> found
> Checking for foreign routines
> AXIOM="/home/me/data/fricas/fricas-1.3.2/target/x86_64-linux-gnu"
> spad-lib="/home/me/data/fricas/fricas-1.3.2/target/x86_64-linux-gnu/lib/libspad.so"
> foreign routines found
> openServer result 0
>                        FriCAS Computer Algebra System
>                             Version: FriCAS 1.3.2
>                    Timestamp: Sat Jan 27 17:15:20 CST 2018
> -----------------------------------------------------------------------------
>    Issue )copyright to view copyright notices.
>    Issue )summary for a summary of useful system commands.
>    Issue )quit to leave FriCAS and return to shell.
> -----------------------------------------------------------------------------
>
>    Using local database
> /home/me/data/fricas/fricas-1.3.2/target/x86_64-linux-gnu/algebra/compress.daase..
> Using local database
> /home/me/data/fricas/fricas-1.3.2/target/x86_64-linux-gnu/algebra/interp.daase..
>    Using local database
> /home/me/data/fricas/fricas-1.3.2/target/x86_64-linux-gnu/algebra/operation.daase..
>    Using local database
> /home/me/data/fricas/fricas-1.3.2/target/x86_64-linux-gnu/algebra/category.daase..
>    Using local database
> /home/me/data/fricas/fricas-1.3.2/target/x86_64-linux-gnu/algebra/browse.daase..
>
> (1) ->
> integrand:=1/2*2^(1/2)*1/(1+x)^2/(-%i+x^2)^(1/2)+1/2/(1+x)^2*2^(1/2)/(%i+x^2)^(1/2)
>
> *** - Program stack overflow. RESET
>
> [/build/buildd/clisp-2.49/src/eval.d:573] reset() found no driver frame
> (sp=0x7fff69c09460-0x7fff69c03400)
> Exiting on signal 6
>
> --
> You received this message because you are subscribed to the Google Groups
> "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/fricas-devel.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to