help links subscribe changes refresh edit

	IssueTracker
#195 Add a conjugateTranspose operation in MatrixCategory ←	↑	→ #197 DFLOAT format

#196 )set functions compile on

Edit detail for #196 )set functions compile on revision 1 of 1

	1
Editor: Time: 2007/11/17 22:06:30 GMT-8
Note: property change

changed:
-
For some strange reason, without issuing
\begin{axiom}
)se fu co on
\end{axiom}
the following will not work and cause the interpreter to crash:
\begin{axiom}
f(xl: LIST FRAC INT): LIST FRAC INT == map(x +-> x, xl)

f [1,2,3]
\end{axiom}

The same problem was reported in a different context in bug #165

Martin

From kratt6 Mon Aug 22 06:33:57 -0500 2005
From: kratt6
Date: Mon, 22 Aug 2005 06:33:57 -0500
Subject: 
Message-ID: <20050822063357-0500@page.axiom-developer.org>

Another manifestation is reported by Kai Kaminski:

\begin{axiom}
)se fu co on
addx x == ((y: Integer): Integer +-> x + y)
g := addx 10
\end{axiom}

Martin

From unknown Mon Aug 29 13:41:03 -0500 2005
From: unknown
Date: Mon, 29 Aug 2005 13:41:03 -0500
Subject: Still another manifestation of )se fu co on
Message-ID: <20050829134103-0500@www.axiom-developer.org>

On Mon, 2005-08-29 at 18:50 +0200, Jens Axel Søgaard wrote:

I belive the following session must be due to a bug in the compiler::
 
 (1) -> firstNegative(l) == first(remove( x +-> x>=0, l))
                                                              Type: Void
 (2) -> firstNegative([1,2,0,-3,4])
     Compiling function firstNegative with type List Integer -> Integer
 
 Segmentation fault
 
 
The same happens in Windows.


From greg Sat Apr 1 10:39:07 -0600 2006
From: greg
Date: Sat, 01 Apr 2006 10:39:07 -0600
Subject: property change
Message-ID: <20060401103907-0600@wiki.axiom-developer.org>

Status: open => pending (next release) 


From greg Wed Apr 19 12:36:52 -0500 2006
From: greg
Date: Wed, 19 Apr 2006 12:36:52 -0500
Subject: fixed in --patch-49
Message-ID: <20060419123652-0500@wiki.axiom-developer.org>

Status: pending (next release) => closed 


From kratt6 Mon Jul 3 15:21:53 -0500 2006
From: kratt6
Date: Mon, 03 Jul 2006 15:21:53 -0500
Subject: property change
Message-ID: <20060703152153-0500@wiki.axiom-developer.org>

Category: general => Axiom Interpreter 
Status: postponed => closed

For some strange reason, without issuing

fricas

(1) -> )se fu co on

the following will not work and cause the interpreter to crash:

fricas

f(xl: LIST FRAC INT): LIST FRAC INT == map(x +-> x, xl)

   Function declaration f : List(Fraction(Integer)) -> List(Fraction(
      Integer)) has been added to workspace.

Type: Void

fricas

f [1,2,3]

fricas

Compiling function f with type List(Fraction(Integer)) -> List(
      Fraction(Integer))

$\label{eq1}\left[ 1, \: 2, \: 3 \right]$

(1)

Type: List(Fraction(Integer))

The same problem was reported in a different context in bug #165

Martin

... --kratt6, Mon, 22 Aug 2005 06:33:57 -0500 reply

Another manifestation is reported by Kai Kaminski:

fricas

)se fu co on

addx x == ((y: Integer): Integer +-> x + y)

Type: Void

fricas

g := addx 10

fricas

Compiling function addx with type PositiveInteger -> (Integer -> 
      Integer)

$\label{eq2}\mbox{theMap (...)}$

(2)

Type: (Integer -> Integer)

Martin

Still another manifestation of )se fu co on --unknown, Mon, 29 Aug 2005 13:41:03 -0500 reply

On Mon, 2005-08-29 at 18:50 +0200, Jens Axel Søgaard wrote:

I belive the following session must be due to a bug in the compiler:

 (1) -> firstNegative(l) == first(remove( x +-> x>=0, l))
                                                              Type: Void
 (2) -> firstNegative([1,2,0,-3,4])
     Compiling function firstNegative with type List Integer -> Integer

 Segmentation fault