The append function in axiom has the lisp background. axiom and lisp don't duplicate the last list.

(1) -> L1 := [1,2,3] ;

L2 := [10,11,12] ;

L := append (L1, L2) ;

L2.2 := 100

(1)

L.5 -- is 100, not 11

(2)

There is also a concat function that I understand in a mathematical way. today concat works as append.

L1 := [1,2,3];

L2 := [10,11,12] ;

Lc := concat (L1, L2)

(3)

L1.2 :=20

(4)

Lc.2

(5)

L2.2 :=30

(6)

Lc.5

(7)

Lc doesn't change if I change L1, and Lc change if I modify L2. Is it possible to change concat in order to copy L2, as concat (L1, L2) == append (L1, copy (L2))

The concat function becomes just a little slower. And then list are here a real hi-level n-uple oblject, not a lisp object.

F.Maltey

Category: Axiom Compiler => Axiom Library

Status: open => closed

This is a common idiom and List is not "mathematical" but a data structure.