MathAction #359 map with ::Boolean damages memory

Topics

FrontPage
- IssueTracker
  - #359 map with ::Boolean damages memory <-- You are here.

The sequence of commands

fricas

(1) -> gl:=[x+y=1,x-y=1]

$\label{eq1}\left[{{y + x}= 1}, \:{{- y + x}= 1}\right]$

(1)

Type: List(Equation(Polynomial(Integer)))

fricas

sol:=solve(gl,[x,y])

$\label{eq2}\left[{\left[{x = 1}, \:{y = 0}\right]}\right]$

(2)

Type: List(List(Equation(Fraction(Polynomial(Integer)))))

fricas

[map(g +-> eval(g,s)::Boolean,gl) for s in sol]

$\label{eq3}\left[{\left[ \mbox{\rm true} , \: \mbox{\rm true} \right]}\right]$

(3)

Type: List(List(Boolean))

results in:

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

Axiom with --enable-checking says:

   >> System error:
   Bad simple vector 0

Even simpler:

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

However:

fricas

[eval(x=1,[x=1]::List EQ FRAC POLY INT)::Boolean]

$\label{eq4}\left[ \mbox{\rm true} \right]$

(4)

Type: List(Boolean)

But worse::

fricas

[eval(x=1,[x=1])::Boolean for i in 1..1]

$\label{eq5}\left[ \mbox{\rm true} \right]$

(5)

Type: List(Boolean)

It is even simpler:

fricas

q:EQ POLY INT:=(1=1)

$\label{eq6}1 = 1$

(6)

Type: Equation(Polynomial(Integer))

fricas

q::Boolean

$\label{eq7} \mbox{\rm true}$

(7)

Type: Boolean

fricas

[q for i in 1..1]

$\label{eq8}\left[{1 = 1}\right]$

(8)

Type: List(Equation(Polynomial(Integer)))

fricas

--)set break break
[q::Boolean for i in 1..1]

$\label{eq9}\left[ \mbox{\rm true} \right]$

(9)

Type: List(Boolean)

... --kratt6, Fri, 28 Dec 2007 16:55:06 -0800 reply

Category: Axiom on Linux => Axiom Interpreter

... --test1, Tue, 13 May 2014 16:30:43 +0000 reply

Status: open => closed

Subject: (replying) Be Bold !!

	( 15 subscribers )