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

 
 

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

bug #10063: Handling of power series

Submitted by:  None
Submitted on:  Thu 19 Aug 2004 12:32:54 PM UTC  
 
Category: NoneSeverity: 3 - Normal
Item Group: code bugStatus: None
Privacy: PublicAssigned to: None
Originator Name: Originator Email: -unavailable-
Open/Closed: OpenRelease: 
Reproducibility: NoneFixed 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

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

Do you think this task is very important?
If so, you can click here to add your encouragement to it.
This task has 0 encouragements so far.

Only logged-in users can vote.

 

Please enter the title of George Orwell's famous dystopian book (it's a date):

 

 

No Changes Have Been Made to This Item

Back to the top


Powered by Savane 3.1-cleanup