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 3 of 3

	1 2 3
Editor: oldk1331 Time: 2017/07/12 08:08:07 GMT+0
Note:

added:

From oldk1331 Wed Jul 12 08:08:07 +0000 2017
From: oldk1331
Date: Wed, 12 Jul 2017 08:08:07 +0000
Subject: 
Message-ID: <20170712080807+0000@axiom-wiki.newsynthesis.org>

Status: open => closed 

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

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

fricas

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

Type: List(PositiveInteger?)

fricas

L2 := [10,11,12] ;

Type: List(PositiveInteger?)

fricas

L := append (L1, L2) ;

Type: List(PositiveInteger?)

fricas

L2.2 := 100

$\label{eq1}100$

(1)

Type: PositiveInteger?

fricas

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.

fricas

L1 := [1,2,3];

Type: List(PositiveInteger?)

fricas

L2 := [10,11,12] ;

Type: List(PositiveInteger?)

fricas

Lc := concat (L1, L2)

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

(3)

Type: List(PositiveInteger?)

fricas

L1.2 :=20

$\label{eq4}20$

(4)

Type: PositiveInteger?

fricas

Lc.2

$\label{eq5}2$

(5)

Type: PositiveInteger?

fricas

L2.2 :=30

$\label{eq6}30$

(6)

Type: PositiveInteger?

fricas

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

... --oldk1331, Wed, 12 Jul 2017 08:08:07 +0000 reply

Status: open => closed

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