bugAxiom Computer Algebra System - Bugs: bug #10063, Handling of power series

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #10063: Handling of power series

Submitter:  None
Submitted:  Thu 19 Aug 2004 12:32:54 PM UTC
   
 
Category:  None Severity:  3 - Normal
Item Group:  code bug Status:  None
Privacy:  Public Assigned to:  None
Originator Name:  Originator Email:  -email is unavailable-
Open/Closed:  Open Release: 
Reproducibility:  None Fixed Release: 
Error message: 

   >> System error:
   Caught fatal error [memory may be damaged]

Example of code trigerring the bug: 

a:= series sin(x);
a*1.0

Internal cause: 


Thu 31 Mar 2005 05:48:17 PM UTC, comment #2: 

Has been exported to page.axiom-developer.org

Anonymous
Thu 19 Aug 2004 12:42:05 PM UTC, comment #1: 

Sorry, typo error:

If I coerce it...
a:=a::UnivariatePuiseuxSeries(Expression Integer,x,0);
a=a;
)di type %
Type of value of %: Equation UnivariatePuiseuxSeries(Expression Integer,x,0)

Anonymous
Thu 19 Aug 2004 12:32:54 PM UTC, original submission:  

It seems that the interpreter handles strangely the power series:

a:= series sin(x);
)di type %
   Type of value of %: UnivariatePuiseuxSeries(Expression Integer,x,0)
a=a;
)di type %
   Type of value of %: Equation Any

If I coerce it...
a:=a::UnivariatePuiseuxSeries(Expression Integer,x,0);
)di type %
   Type of value of %: Equation UnivariatePuiseuxSeries(Expression Integer,x,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.

Cheers.

Anonymous

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

 

No changes have been made to this item

Back to the top

Powered by Savane 3.13-f8d8.
Corresponding source code