help links subscribe changes refresh edit

	IssueTracker
#184 Complex argument is false. ←	↑	→ #186 compose function crashes Axiom

#185 append vs concat

Edit detail for #185 append vs concat revision 2 of 3

	1 2 3
Editor: kratt6 Time: 2007/12/20 11:04:28 GMT-8
Note:

added:

From kratt6 Thu Dec 20 11:04:28 -0800 2007
From: kratt6
Date: Thu, 20 Dec 2007 11:04:28 -0800
Subject: 
Message-ID: <20071220110428-0800@axiom-wiki.newsynthesis.org>

Category: Axiom Compiler => Axiom Library

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

axiom

L1 := [1,2,3] ;

Type: List(PositiveInteger?)

axiom

L2 := [10,11,12] ;

Type: List(PositiveInteger?)

axiom

L := append (L1, L2) ;

Type: List(PositiveInteger?)

axiom

L2.2 := 100

$\label{eq1}100$

(1)

Type: PositiveInteger?

axiom

L.5 -- is 100, not 11

$\label{eq2}100$

(2)

Type: PositiveInteger?

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

axiom

L1 := [1,2,3];

Type: List(PositiveInteger?)

axiom

L2 := [10,11,12] ;

Type: List(PositiveInteger?)

axiom

Lc := concat (L1, L2)

$\label{eq3}\left[ 1, \: 2, \: 3, \:{10}, \:{11}, \:{12}\right]$

(3)

Type: List(PositiveInteger?)

axiom

L1.2 :=20

$\label{eq4}20$

(4)

Type: PositiveInteger?

axiom

Lc.2

$\label{eq5}2$

(5)

Type: PositiveInteger?

axiom

L2.2 :=30

$\label{eq6}30$

(6)

Type: PositiveInteger?

axiom

Lc.5

$\label{eq7}30$

(7)

Type: PositiveInteger?

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

... --kratt6, Thu, 20 Dec 2007 11:04:28 -0800 reply

Category: Axiom Compiler => Axiom Library