help links subscribe changes refresh edit

	IssueTracker
#358 EXPR does not handle conditional definitions ←	↑	→ #36 sman/graphics connection hang

#359 map with ::Boolean damages memory

Edit detail for #359 map with ::Boolean damages memory revision 1 of 4

	1 2 3 4
Editor: Time: 2007/11/17 22:32:43 GMT-8
Note: It is even simpler!

changed:
-
\begin{axiom}
gl:=[x+y=1,x-y=1]
sol:=solve(gl,[x,y])
[map(g +-> eval(g,s)::Boolean,gl) for s in sol]
\end{axiom}
results in 
  >> System error:
   Caught fatal error [memory may be damaged]

Axiom with --enable-checking says
   >> System error:
   Bad simple vector 0



From kratt6 Wed Jun 6 06:03:36 -0500 2007
From: kratt6
Date: Wed, 06 Jun 2007 06:03:36 -0500
Subject: simplifying
Message-ID: <20070606060336-0500@wiki.axiom-developer.org>

Even simpler:

\begin{axiom}
[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean for i in 1..1]
\end{axiom}
However:
\begin{axiom}
[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean]
\end{axiom}

But worse:

\begin{axiom}
[eval(x=1,[x=1])::Boolean for i in 1..1]
\end{axiom}




From anonymous Wed Jun 6 09:29:22 -0500 2007
From: anonymous
Date: Wed, 06 Jun 2007 09:29:22 -0500
Subject: It is even simpler!
Message-ID: <20070606092922-0500@wiki.axiom-developer.org>

\begin{axiom}
q:EQ POLY INT:=(1=1)
q::Boolean
[q for i in 1..1]
)set break break
[q::Boolean for i in 1..1]
\end{axiom}

\begin{axiom}
gl:=[x+y=1,x-y=1]
sol:=solve(gl,[x,y])
[map(g +-> eval(g,s)::Boolean,gl) for s in sol]
\end{axiom}
results in 
  >> System error:
   Caught fatal error [memory may be damaged]
Axiom with --enable-checking says
   >> System error:
   Bad simple vector 0


simplifying --kratt6,  Wed, 06 Jun 2007 06:03:36 -0500 reply
Even simpler:
\begin{axiom}
[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean for i in 1..1]
\end{axiom}
However:
\begin{axiom}
[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean]
\end{axiom}
But worse:
\begin{axiom}
[eval(x=1,[x=1])::Boolean for i in 1..1]
\end{axiom}
It is even simpler! --anonymous,  Wed, 06 Jun 2007 09:29:22 -0500 reply\begin{axiom}
q:EQ POLY INT:=(1=1)
q::Boolean
[q for i in 1..1]
)set break break
[q::Boolean for i in 1..1]
\end{axiom}

    Some or all expressions may not have rendered properly,
    because Axiom returned the following error:
Error: export AXIOM=/usr/local/lib/axiom/target/x86_64-unknown-linux; ALDORROOT=/usr/local/aldor/linux/1.1.0; export PATH=$ALDORROOT/bin:$PATH; export HOME=/var/zope2/var/LatexWiki; $AXIOM/bin/AXIOMsys < /var/zope2/var/LatexWiki/258531858281608454-25px.axm
GCL (GNU Common Lisp)  2.6.8 CLtL1    Nov  9 2007 07:47:56
Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
Binary License:  GPL due to GPL'ed components: (READLINE BFD UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter
Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to /tmp/
                 FriCAS (AXIOM fork) Computer Algebra System 
                         Version: FriCAS 2007-10-02
               Timestamp: Friday November 9, 2007 at 19:35:06 
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) -> (1) -> (1) -> (1) -> (1) -> gl:=[x+y=1,x-y=1]
$$
\left[
{{y+x}=1}, \: {{-y+x}=1} 
\right]
\leqno(1)
$$
                                       Type: List Equation Polynomial Integer
sol:=solve(gl,[x,y])

$$
\left[
{\left[ {x=1}, \: {y=0} 
\right]}
\right]
\leqno(2)
$$
                         Type: List List Equation Fraction Polynomial Integer
[map(g +-> eval(g,s)::Boolean,gl) for s in sol]
   >> System error:
   Caught fatal error [memory may be damaged]

(3) -> [eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean for i in 1..1]

Some or all expressions may not have rendered properly, because Latex returned the following error:

This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4)
 \write18 enabled.
entering extended mode
(./3013330843267195287-18px.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
(/usr/share/texmf-tetex/tex/latex/base/article.cls
Document Class: article 2004/02/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-tetex/tex/latex/base/size10.clo))
(/usr/share/texmf-tetex/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/share/texmf-tetex/tex/latex/amsmath/amstext.sty
(/usr/share/texmf-tetex/tex/latex/amsmath/amsgen.sty))
(/usr/share/texmf-tetex/tex/latex/amsmath/amsbsy.sty)
(/usr/share/texmf-tetex/tex/latex/amsmath/amsopn.sty))
(/usr/share/texmf-tetex/tex/latex/amsfonts/amsfonts.sty)
(/usr/share/texmf-tetex/tex/generic/xypic/xy.sty
(/usr/share/texmf-tetex/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
docmode, (/usr/share/texmf-tetex/tex/generic/xypic/xyrecat.tex)
(/usr/share/texmf-tetex/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16>
 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state, direction,
utility macros; pictures: \xy, positions, objects, decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xyall.tex
 Xy-pic option: All features v.3.3
(/usr/share/texmf-tetex/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 curve, circles, loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xycmtip.tex
 Xy-pic option: Computer Modern tip extension v.3.3
(/usr/share/texmf-tetex/tex/generic/xypic/xytips.tex
 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xyline.tex
 Xy-pic option: Line styles extension v.3.6 loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xyrotate.tex
 Xy-pic option: Rotate and Scale extension v.3.3 loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xycolor.tex
 Xy-pic option: Colour extension v.3.3 loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.4 loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
(/usr/share/texmf-tetex/tex/generic/xypic/xygraph.tex
 Xy-pic option: Graph feature v.3.7 loaded) loaded))
(./3013330843267195287-18px.aux)
 LaTeX Error: Environment axiom undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.9 \begin{axiom}
 LaTeX Error: \begin{document} ended by \end{axiom}.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.13 \end{axiom}
[1]
 LaTeX Error: Environment axiom undefined.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.15 \begin{axiom}
 LaTeX Error: \begin{document} ended by \end{axiom}.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.17 \end{axiom}
[2]
 LaTeX Error: Environment axiom undefined.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.19 \begin{axiom}
 LaTeX Error: \begin{document} ended by \end{axiom}.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.21 \end{axiom}
[3]
 LaTeX Error: Environment axiom undefined.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.23 \begin{axiom}
 LaTeX Error: \begin{document} ended by \end{axiom}.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.25 \end{axiom}
[4]
 LaTeX Error: Environment axiom undefined.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.27 \begin{axiom}
 LaTeX Error: \begin{document} ended by \end{axiom}.
See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
l.33 \end{axiom}
Overfull \hbox (9.9985pt too wide) in paragraph at lines 28--34
[]\OT1/cmr/m/n/10 q:EQ POLY INT:=(1=1) q::Boolean [q for i in 1..1] )set break 
break [q::Boolean
[5] (/usr/share/texmf-tetex/tex/latex/amsfonts/umsa.fd)
(/usr/share/texmf-tetex/tex/latex/amsfonts/umsb.fd) [6] [7] [8]
(./3013330843267195287-18px.aux) )
(see the transcript file for additional information)
Output written on 3013330843267195287-18px.dvi (8 pages, 1484 bytes).
Transcript written on 3013330843267195287-18px.log.