[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#233 Trace in Float caused Fatal Error]
From: |
wyscc |
Subject: |
[Axiom-developer] [#233 Trace in Float caused Fatal Error] |
Date: |
Sat, 12 Nov 2005 18:52:52 -0600 |
Changes http://wiki.axiom-developer.org/233TraceInFloatCausedFatalError/diff
--
In the (old) Windows binary version 0.1.4, tracing the following function
caused a fatal error.
\begin{verbatim}
AXIOM Computer Algebra System
Version of Tuesday November 30, 2004 at 21:11:14
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------
(1) -> )set mess autoload off
(1) -> h(n:INT):Float==(-3.0)**n
Function declaration h : Integer -> Float has been added to
workspace.
Type: Void
(2) -> h(3)
Compiling function h with type Integer -> Float
(2) - 27.0
Type: Float
(3) -> )trace Float )math
Packages traced:
Float
Parameterized constructors traced:
FLOAT
(3) -> h(3)
1<enter Float.float,106 :
\end{verbatim}
\begin{verbatim}
arg1= 3
arg2= 0
arg3= 10
1<enter Float.increasePrecision,42 :
arg1= 4
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1<enter Float.bits,64 :
arg1= 72
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1>exit Float.bits,64 :
68
1>exit Float.increasePrecision,42 :
68
1<enter Float.**,86 :
arg1= 10.0
arg2= 0
1<enter Float.=,38 :
arg1= 10.0
arg2= 0.0
1<enter Float.order,57 :
arg1= 10.0
1>exit Float.order,57 :
3
1<enter Float.order,57 :
arg1= 0.0
1>exit Float.order,57 :
- 1
1>exit Float.=,38 :
false
1>exit Float.**,86 :
1.0
1<enter Float.*,66 :
arg1= 3
arg2= 1.0
1<enter Float.bits,53 : 1>exit Float.bits,53 :
72
1<enter Float.normalize,47 :
arg1= 3.0
1<enter Float.bits,53 : 1>exit Float.bits,53 :
72
1>exit Float.normalize,47 :
3.0
1>exit Float.*,66 :
3.0
1<enter Float.decreasePrecision,46 :
arg1= 4
1<enter Float.bits,53 : 1>exit Float.bits,53 :
72
1<enter Float.bits,64 :
arg1= 68
1<enter Float.bits,53 : 1>exit Float.bits,53 :
72
1>exit Float.bits,64 :
72
1>exit Float.decreasePrecision,46 :
72
1<enter Float.normalize,47 :
arg1= 3.0
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1>exit Float.normalize,47 :
3.0
1>exit Float.float,106 :
3.0
1<enter Float.-,35 :
arg1= 3.0
1<enter Float.normalize,47 :
arg1= - 3.0
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1>exit Float.normalize,47 :
- 3.0
1>exit Float.-,35 :
- 3.0
1<enter Float.**,86 :
arg1= - 3.0
arg2= 3
1<enter Float.=,38 :
arg1= - 3.0
arg2= 0.0
1<enter Float.order,57 :
arg1= - 3.0
1>exit Float.order,57 :
1
1<enter Float.order,57 :
arg1= 0.0
1>exit Float.order,57 :
- 1
1>exit Float.=,38 :
false
1<enter Float.=,38 :
arg1= - 3.0
arg2= 1.0
1<enter Float.order,57 :
arg1= - 3.0
1>exit Float.order,57 :
1
1<enter Float.order,57 :
arg1= 1.0
1>exit Float.order,57 :
0
1>exit Float.=,38 :
false
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1<enter Float.bits,64 :
arg1= 72
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1>exit Float.bits,64 :
68
1<enter Float.bits,53 : 1>exit Float.bits,53 :
72
1<enter Float.bits,53 : 1>exit Float.bits,53 :
72
1<enter Float.bits,53 : 1>exit Float.bits,53 :
72
1<enter Float.bits,64 :
arg1= 68
1<enter Float.bits,53 : 1>exit Float.bits,53 :
72
1>exit Float.bits,64 :
72
1<enter Float.normalize,47 :
arg1= - 27.0
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1>exit Float.normalize,47 :
- 27.0
1>exit Float.**,86 :
- 27.0
1<enter Float.<,41 :
arg1= - 27.0
arg2= 0.0
1>exit Float.<,41 :
true
1<enter Float.-,35 :
arg1= - 27.0
1<enter Float.normalize,47 :
arg1= 27.0
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1>exit Float.normalize,47 :
27.0
1>exit Float.-,35 :
27.0
1<enter Float.<,41 :
arg1= 27.0
arg2= 0.0
1>exit Float.<,41 :
false
1<enter Float.zero?,32 :
arg1= 27.0
1>exit Float.zero?,32 :
false
1<enter Float.mantissa,17 :
arg1= 27.0
1>exit Float.mantissa,17 :
27
1<enter Float.bits,64 :
arg1= 5
1<enter Float.bits,53 : 1>exit Float.bits,53 :
68
1>exit Float.bits,64 :
68
1<enter Float.outputFloating,158 :
arg1= general()
1>exit Float.outputFloating,158 :
"general"
1<enter Float.outputFloating,158 :
arg1= general()
1>exit Float.outputFloating,158 :
"general"
1<enter Float.outputFloating,158 :
arg1= general()
1>exit Float.outputFloating,158 :
"general"
1<enter Float.zero?,32 :
arg1= 27.0
1>exit Float.zero?,32 :
false
1<enter Float.negative?,34 :
arg1= 27.0
1>exit Float.negative?,34 :
false
1<enter Float.digits,98 : 1<enter Float.bits,53 : 1>exit Float.bits,53 :
5
1>exit Float.digits,98 :
1
1<enter Float.exponent,19 :
arg1= 27.0
1>exit Float.exponent,19 :
0
1<enter Float.mantissa,17 :
arg1= 27.0
1>exit Float.mantissa,17 :
27
1<enter Float.bits,64 :
arg1= 68
1<enter Float.bits,53 : 1>exit Float.bits,53 :
5
1>exit Float.bits,64 :
5
1<enter Float.coerce,162
>> System error:
Caught fatal error [memory may be damaged]
protected-symbol-warn called with (NIL)
(3) ->
\end{verbatim}
[Not the entire transcript is displayed. Use edit to see the rest. ]
[Aside: Bill, the \begin{verbatim} \end{verbatim} does not work well. Can't
even break the transcript into pieces to display correctly. The place where it
stopped is kind of random too.]
This does not happen on the Wiki version, nor with the function
'h(n:INT):Float==3.0**n' in Windows.
\begin{axiom}
h(n:INT):Float==(-3.0)**n
h(3)
)trace Float )math
h(3)
\end{axiom}
--
forwarded from http://wiki.axiom-developer.org/address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#233 Trace in Float caused Fatal Error],
wyscc <=