help links subscribe changes refresh edit

	IssueTracker
#121 bogus <code>property change</code> comments ←	↑	→ #123 Compile modified spad file

#122 Handling of power series

Edit detail for #122 Handling of power series revision 1 of 3

	1 2 3
Editor: Time: 2007/11/17 21:54:40 GMT-8
Note: Some information

changed:
-
It seems that the interpreter handles strangely the power series:
\begin{axiom}
a:= series sin(x)
)di type a
-- If I coerce it...
a:=a::UnivariatePuiseuxSeries(Expression Float,x,0)
)di type a
a*1.0
\end{axiom}

<hr />
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:
\begin{axiom}
1.0::UnivariatePuiseuxSeries(Expression Float,x,0.0)
\end{axiom}

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

From unknown Thu Mar 31 11:51:06 -0600 2005
From: unknown
Date: Thu, 31 Mar 2005 11:51:06 -0600
Subject: Transferred from savannah
Message-ID: <20050331115106-0600@page.axiom-developer.org>

Idem

From unknown Thu Mar 31 12:54:36 -0600 2005
From: unknown
Date: Thu, 31 Mar 2005 12:54:36 -0600
Subject: Savannah
Message-ID: <20050331125436-0600@page.axiom-developer.org>

bug #10063 (project axiom)

From unknown Wed Jun 1 13:17:08 -0500 2005
From: unknown
Date: Wed, 01 Jun 2005 13:17:08 -0500
Subject: Some information
Message-ID: <20050601131708-0500@page.axiom-developer.org>

Possible  information about this bug:
<br>
http://lists.gnu.org/archive/html/axiom-developer/2004-11/msg00137.html

It seems that the interpreter handles strangely the power series:

axiom

a:= series sin(x)

(1)

Type: UnivariatePuiseuxSeries?(Expression Integer,x,0)

axiom

)di type a

   Type of value of a: Any
-- If I coerce it...
a:=a::UnivariatePuiseuxSeries(Expression Float,x,0)

(2)

Type: UnivariatePuiseuxSeries?(Expression Float,x,0.0)

axiom

)di type a

   Type of value of a: UnivariatePuiseuxSeries(Expression Float,x,0.0)
a*1.0

(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:

axiom

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

(4)

Type: UnivariatePuiseuxSeries?(Expression Float,x,0.0)

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