[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#122 Handling of power series]
From: |
Bill Page |
Subject: |
[Axiom-developer] [#122 Handling of power series] |
Date: |
Sun, 13 Mar 2005 00:05:46 -0600 |
Changes
http://page.axiom-developer.org/zope/mathaction/122HandlingOfPowerSeries/diff
--
??changed:
-a:= series sin(x);
-a=a;
-
a:= series sin(x)
??changed:
-a:=a::UnivariatePuiseuxSeries(Expression Integer,x,0);
-a=a;
a:=a::UnivariatePuiseuxSeries(Expression Float,x,0)
a*1.0
??changed:
-------------------------------------------------
--- 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):
-
-\begin{verbatim}
-
-1<enter valueArgsEqual? : (|UnivariatePuiseuxSeries| (|Expression|
(|Integer|)) |x|
<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|
??changed:
-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|))
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|))
++added:
--removed:
-
-\end{verbatim}
-
--removed:
-
--removed:
-
-
-
-
-
-
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
- [Axiom-developer] [#122 Handling of power series], anonymous, 2005/03/12
- [Axiom-developer] [#122 Handling of power series], anonymous, 2005/03/12
- [Axiom-developer] [#122 Handling of power series], anonymous, 2005/03/12
- [Axiom-developer] [#122 Handling of power series],
Bill Page <=
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/13
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/13
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/24
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/24
- [Axiom-developer] [#122 Handling of power series], anonymous, 2005/03/25
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/27
- [Axiom-developer] [#122 Handling of power series], Bill Page, 2005/03/27