login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T21:54:40-08:00 (10 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

It seems that the interpreter handles strangely the power series:

fricas
a:= series sin(x)

\label{eq1}\begin{array}{@{}l}
\displaystyle
x -{{1 \over 6}\ {{x}^{3}}}+{{1 \over{120}}\ {{x}^{5}}}-{{1 \over{5
040}}\ {{x}^{7}}}+{{1 \over{362880}}\ {{x}^{9}}}-{{1 \over{39
916800}}\ {{x}^{11}}}+ 
\
\
\displaystyle
{O \left({{x}^{12}}\right)}
(1)
Type: UnivariatePuiseuxSeries?(Expression(Integer),x,0)
fricas
)di type a
Type of value of a: Any -- If I coerce it... a:=a::UnivariatePuiseuxSeries(Expression Float,x,0)

\label{eq2}\begin{array}{@{}l}
\displaystyle
x -{{0.1666666666_6666666667}\ {{x}^{3}}}+ 
\
\
\displaystyle
{{0.0083333333_3333333333_34}\ {{x}^{5}}}- 
\
\
\displaystyle
{{0.0001984126_9841269841_27}\ {{x}^{7}}}+ 
\
\
\displaystyle
{{0.0000027557_3192239858_90653}\ {{x}^{9}}}- 
\
\
\displaystyle
{{0.2505210838_5441718775 E - 7}\ {{x}^{11}}}+{O \left({{x}^{1
2}}\right)}
(2)
Type: UnivariatePuiseuxSeries?(Expression(Float),x,0.0)
fricas
)di type a
Type of value of a: UnivariatePuiseuxSeries(Expression(Float),x,0.0) a*1.0

\label{eq3}\begin{array}{@{}l}
\displaystyle
x -{{0.1666666666_6666666667}\ {{x}^{3}}}+ 
\
\
\displaystyle
{{0.0083333333_3333333333_34}\ {{x}^{5}}}- 
\
\
\displaystyle
{{0.0001984126_9841269841_27}\ {{x}^{7}}}+ 
\
\
\displaystyle
{{0.0000027557_3192239858_90653}\ {{x}^{9}}}- 
\
\
\displaystyle
{{0.2505210838_5441718775 E - 7}\ {{x}^{11}}}+{O \left({{x}^{1
2}}\right)}
(3)
Type: UnivariatePuiseuxSeries?(Expression(Float),x,0.0)


Fatal bug:
 a:= series sin(x);
 a*1.0;
 >> System error:
 Caught fatal error [memory may be damaged]
 protected-symbol-warn called with (NIL)

From trace it seems that the interpreter doesn't coerce one args in Expression (Float):

  1<enter valueArgsEqual? : (|UnivariatePuiseuxSeries| (|Expression| (|Integer|)) |x| 
               ((0 . 0) 0 . 1))\
               (|UnivariatePuiseuxSeries| (|Expression| (|Float|)) |x| ((0 . 0) 0 . 1))
  ...

And here:

 1<enter algEqual : ((0 . 0) 0 . 1)\((0 0 . 0) 0 1 . 0)\(|Expression| (|Float|))
 1<enter compiledLookupCheck : =\((|Boolean|) $ !$)\#<vector 08eccc78>
 1>exit compiledLookupCheck : (#<compiled-function |EXPR;=;2$B;21|> . #<vector 08eccc78>)

after SPADCALL (it's not traced) "=" in EXPR trigger the bug:

  algEqual : ((0 . 0) 0 . 1)\((0 0 . 0) 0 1 . 0)\(|Expression| (|Float|))
             ^^^^^^^^^^^^^^^

I think above is not of type EXPR FLOAT.

Other thing:

fricas
1.0::UnivariatePuiseuxSeries(Expression Float,x,0.0)

\label{eq4}1.0(4)
Type: UnivariatePuiseuxSeries?(Expression(Float),x,0.0)

Memory damaged if it's added to .axiom.input

See also:

#132
Series expansion with complex doesn't print expansion point in type expression
#136
Coercion of power series

Transferred from savannah --unknown, Thu, 31 Mar 2005 11:51:06 -0600 reply
Idem

bug #10063 (project axiom)

Some information --unknown, Wed, 01 Jun 2005 13:17:08 -0500 reply
Possible information about this bug:
http://lists.gnu.org/archive/html/axiom-developer/2004-11/msg00137.html

fixed in FriCAS revision 583 --kratt6, Sun, 19 Apr 2009 06:54:05 -0700 reply
Status: open => fixed somewhere

Status: fixed somewhere => closed




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: