Softanza
DémarrerEnglish
Softanza
Le livre · Chapitre 11 · La preuve de chaque chapitre

Dessiner la réponse

Ce chapitre a 5 cellules et écrit 13 promesses. Dans chacune de ses quatre éditions, ses cellules ont été exécutées dans un processus neuf le 2026-10-08 20:15 : English, 5 cellules exécutées, 13 promesses tenues; Français, 5 cellules exécutées, 13 promesses tenues; العربية, 5 cellules exécutées, 13 promesses tenues; Hausa, 5 cellules exécutées, 13 promesses tenues. Les quatre éditions font les mêmes promesses, cellule pour cellule. Aucune édition ne stocke de sortie.

Le garde

Le garde du cours est course_narrated.ring(s'ouvre dans un nouvel onglet) : il exécute chaque chapitre dans les quatre langues, compare les promesses d'une édition à l'autre, et fait prouver chaque exercice sur ses mauvaises et ses bonnes réponses. Cette page a posé les mêmes questions aux mêmes objets, dans un seul processus à l'intérieur de la bibliothèque, au commit 0e72e2e2c. Pour prouver ce chapitre seul, depuis votre copie du dépôt :

cd libraries/stzlib/base/test/education
# exécutez course_narrated avec le moteur d'exécution du dépôt, pour ce chapitre :
#   course_narrated draw-the-answer

exécuté le 2026-10-08 20:15 dans la bibliothèque au commit 4a184e6f0, en 246.4 s pour tout le livre · Les quatre éditions du chapitre : English(s'ouvre dans un nouvel onglet) · Français(s'ouvre dans un nouvel onglet) · العربية(s'ouvre dans un nouvel onglet) · Hausa(s'ouvre dans un nouvel onglet)

Le lecteur ne stocke aucune sortie, par la loi du cours ; cette page est le compte rendu d'une exécution, faite pour elle. Le code des cellules est celui de l'édition anglaise ; les titres viennent de l'édition française. Les quatre éditions font les mêmes promesses, cellule pour cellule. Le code est montré au nom de Haro : là où le chapitre a été écrit avant que la langue prenne son nom actuel, le nom a été changé et rien d'autre, et le chapitre a été exécuté de nouveau ainsi. Le lien vers la source mène au texte tel qu'il a été écrit.

Les cellules, exécutées

Cellule 1 · 1. Montrer où, pas seulement quelle position

Softanza
o1 = new stzString("fjharoljharodjharog")
? @@( o1.FindAll("haro") )
#--> [ 3, 9, 15 ]
? o1.vizFind("haro")
#--> fjharoljharodjharog
#--> --^-----^-----^----
Sortie de cette exécution
[ 3, 9, 15 ]
fjharoljharodjharog
--^-----^-----^----

exécutée : la promesse est tenue · dans les quatre éditions

Cette cellule dans le chapitre : English(s'ouvre dans un nouvel onglet) · Français(s'ouvre dans un nouvel onglet) · العربية(s'ouvre dans un nouvel onglet) · Hausa(s'ouvre dans un nouvel onglet)

Cellule 2 · 2. Avec les nombres sous les marques

Softanza
? o1.vizFindXT("haro", [ :Numbered = TRUE ])
#--> fjharoljharodjharog
#--> --^-----^-----^----
#--> 3     9     15
Sortie de cette exécution
fjharoljharodjharog
--^-----^-----^----
  3     9     15

exécutée : la promesse est tenue · dans les quatre éditions

Cette cellule dans le chapitre : English(s'ouvre dans un nouvel onglet) · Français(s'ouvre dans un nouvel onglet) · العربية(s'ouvre dans un nouvel onglet) · Hausa(s'ouvre dans un nouvel onglet)

Cellule 3 · 3. Un graphe est une image de relations

Softanza
oG = new stzGraph("kitchen")
oG {
	AddNodeXT("order", "Order")
	AddNodeXT("kitchen", "Kitchen")
	AddNodeXT("table", "Table")
	Connect("order", "kitchen")
	Connect("kitchen", "table")
}
? oG.PathExists("order", "table")
#--> TRUE
? @@( oG.Neighbors("kitchen") )
#--> [ "table" ]
oG.Show()
#--> │ Order │
#--> │ Table │
Sortie de cette exécution
1
[ "table" ]
        ╭───────╮        
        │ Order │        
        ╰───────╯        
            |            
            v            
      ╭───────────╮      
      │ !Kitchen! │      
      ╰───────────╯      
            |            
            v            
        ╭───────╮        
        │ Table │        
        ╰───────╯

exécutée : la promesse est tenue · dans les quatre éditions

Cette cellule dans le chapitre : English(s'ouvre dans un nouvel onglet) · Français(s'ouvre dans un nouvel onglet) · العربية(s'ouvre dans un nouvel onglet) · Hausa(s'ouvre dans un nouvel onglet)

Cellule 4 · 4. Combien : une barre par plat

Softanza
oP = new stzHBarPlot([ :tea = 6, :rice = 3, :fish = 2 ])
oP.Show()
#--> Tea │ ▇▇▇▇▇▇▇▇▇▇▇▇▇▇▇▇▇▇
#--> Fish │ ▇▇▇▇▇▇
Sortie de cette exécution
▲                   
 Tea │ ▇▇▇▇▇▇▇▇▇▇▇▇▇▇▇▇▇▇
Rice │ ▇▇▇▇▇▇▇▇▇         
Fish │ ▇▇▇▇▇▇            
     ╰──────────────────►

exécutée : la promesse est tenue · dans les quatre éditions

Cette cellule dans le chapitre : English(s'ouvre dans un nouvel onglet) · Français(s'ouvre dans un nouvel onglet) · العربية(s'ouvre dans un nouvel onglet) · Hausa(s'ouvre dans un nouvel onglet)

Cellule 5 · 5. Les mêmes barres, debout

Softanza
oP2 = new stzVBarPlot([ :tea = 6, :rice = 3, :fish = 2 ])
oP2.SetHeight(4)
oP2.Show()
#--> Tea Rice Fish
Sortie de cette exécution
▲                
│ ██             
│ ██             
│ ██   ██   ██   
│ ██   ██   ██   
╰───────────────►
  Tea Rice Fish

exécutée : la promesse est tenue · dans les quatre éditions

Cette cellule dans le chapitre : English(s'ouvre dans un nouvel onglet) · Français(s'ouvre dans un nouvel onglet) · العربية(s'ouvre dans un nouvel onglet) · Hausa(s'ouvre dans un nouvel onglet)

Les exercices

Chaque exercice s'éprouve lui-même : ses mauvaises réponses sont refusées et ses bonnes acceptées.

ex-11-01 · Exercice 11.1 · Montrer où est le thé

2 mauvaises réponses refusées sur 2, 2 bonnes acceptées sur 2

01-positions-only.ring refusée · 02-the-wrong-word.ring refusée · 01-vizfind.ring acceptée · 02-in-one-sentence.ring acceptée

Le dossier de l'exercice(s'ouvre dans un nouvel onglet)

ex-11-02 · Exercice 11.2 · Combien de chaque

2 mauvaises réponses refusées sur 2, 2 bonnes acceptées sur 2

01-standing-bars.ring refusée · 02-forgets-a-dish.ring refusée · 01-lying-bars.ring acceptée · 02-the-block-form.ring acceptée

Le dossier de l'exercice(s'ouvre dans un nouvel onglet)