l_i1,…,in
l.(i₁,…,i_n)     où l:Liste | Vecteur | Parcours | Relation | Diviseur | Tableau | Règle,i:NN

{l₁,…,l_m}_i1,i2,...,in ={l_{1 i2,…,in} ,…,l_{m i2,…,in} }_i1

[l₁,…,l_m] _i1,i2,...,in = [l_{1 i2,…,in} ,…,l_{m i2,…,in} ] _i1

remplacer (l:Liste|Vecteur,i₁:ZZ,…,i_n:ZZ,x)

remplacer({l₁,...,l_i,...,l_m},i,x)={l₁,...,l_i-1,x,l_i+1,...,l_m}

remplacer({l₁,...,l_i1 ,...,l_m},i₁,...,i_n,x)={l₁,...,l_i-1,remplacer(l_i1 ,i₂,...,i_n,x),l_i1+1,...,l_m}

remplacer (l:Liste|Vecteur,i₁:Liste | Vecteur | Parcours,…,i_n:Liste | Vecteur | Parcours,x)

si r:Parcours alors remplacer(l,i₁,...,r,...,i_n,x)=remplacer(l,i₁,...,[r],...,i_n,x)

l_i
l.i     où l:Liste | Vecteur | Parcours | Relation | Diviseur | Tableau | Règle,i:NN

si n=longueur(l) & 1<=i<=n

{l₁,…,l_n}_i=l_i

[l₁,…,l_n] _i=l_i

(a..b..d)_i=a+d*(i-1)

{i₁→v₁,…,i_n→v_n}_j=(i_j→v_j)

[i₁→v₁,…,i_n→v_n]_j=(i_j→v_j)

{i₁ = v₁,…,i_n = v_n}_j=(i_j=v_j)

si i<1 | i>n retourne une erreur.

l_{i1,…,in}
l.{i₁,…,i_n}     où l:Liste | Vecteur | Parcours | Relation | Diviseur | Tableau | Règle,i:NN

si m=longueur(l), 1<=i_k<=m avec k=1,...,n

l_{i1,...,in}={l_i1 ,...,l_in } si l={l₁,...,l_m} or l=a..b..d

l_{i1,...,in}=[l_i1 ,...,l_in ] si l=[l₁,...,l_m]

l _[i1,…,in]
l.[i₁,…,i_n]     où l:Liste | Vecteur | Parcours | Relation | Diviseur | Tableau | Règle,i:NN

l _[i1,…,in] =l_{i1,…,in}

l_a..b..d
l.(a..b..d)     où l:Liste | Vecteur | Parcours | Relation | Diviseur | Tableau | Règle,i:NN

l : non Parcours

l_a..b..d=l _[a..b..d]

l : Parcours

si l=α..β..γ alors l_a..b..d=(α+(a-1)*γ)..(α+(b-1)*γ)..(d*γ) étant 1<=a<=longueur(l), 1<=b<=longueur(l).
[l_a..b..d] = [l] _a..b..d .

l.i₁.....i_n     où l:Liste | Vecteur | Parcours | Relation | Diviseur | Tableau | Règle,i:NN

{l₁,…,l_m}.i₁.i₂.....i_n={l₁.i₂.....i_n,…,l_m.i₂.....i_n}.i₁

[l₁,…,l_m].i₁.i₂.....i_n=[l₁.i₂.....i_n,…,l_m.i₂.....i_n)].i₁

D(x)=y

P_n
Icône
P.n

P₁
P₂
Icône
P.1
P.2

R(x)=y

s.1
s.2

T(x)=y