[Axiom-developer] Re: Bug#349877: axiom: internal error while executing user function

[Camm Maguire]

forwarded 349877 address@hidden
thanks

Greetings, and thanks for your report!  Forwarding to axiom upstream.

Take care,


Jiří Paleček <address@hidden> writes:

> X-Debbugs-CC: Jiri Palecek <address@hidden>
> Package: axiom
> Version: 20050901-4
> Severity: normal
> 
> When I enter in axiom
> 
> > p:(NonNegativeInteger)->Polynomial AlgebraicNumber
> > p i==if i=0 then 1 else x^i-reduce(+,[integrate(x^i*p k,x=0..1)*p k
> > for  k in 0..i-1])
> 
> and then
> 
> > p 1
> 
> I get this error:
> 
>     Internal Error
>     Interpreter code generation failed for expression
>        (IF (= |#1| 0) 1
>            (- (^ |x| |#1|)
>               (|reduce| +
>                   (|construct|
>                       (COLLECT (STEP |k| 0 1 (- |#1| 1))
>                                (* (|integrate|
>                                       (* (^ |x| |#1|) (|p| |k|))
>                                       (= |x| (SEGMENT 0 1)))
>                                   (|p| |k|)))))))
> 
> 
> 
> -- System Information:
> Debian Release: testing/unstable
>    APT prefers testing
>    APT policy: (500, 'testing'), (500, 'stable')
> Architecture: i386 (i686)
> Shell:  /bin/sh linked to /bin/dash
> Kernel: Linux 2.6.15
> Locale: LANG=C, LC_CTYPE=C (charmap=ISO-8859-2) (ignored: LC_ALL set
> to  cs_CZ)
> 
> Versions of packages axiom depends on:
> ii  axiom-databases               20050901-4 A general purpose
> computer  algebra
> ii  libc6                         2.3.5-8    GNU C Library: Shared
> libraries an
> ii  libgmp3c2                     4.1.4-10   Multiprecision arithmetic
> library
> ii  libncurses5                   5.5-1      Shared libraries for
> terminal  hand
> ii  libreadline5                  5.1-5      GNU readline and history
> libraries
> 
> Versions of packages axiom recommends:
> ii  axiom-doc                     20050901-4 A general purpose
> computer  algebra
> ii  axiom-graphics                20050901-4 A general purpose
> computer  algebra
> ii  axiom-hypertex                20050901-4 A general purpose
> computer  algebra
> pn  axiom-source                  <none>     (no description available)
> 
> -- no debconf information
> -- 
> Using Opera's revolutionary e-mail client: http://www.opera.com/mail/
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah