-
Notifications
You must be signed in to change notification settings - Fork 14
/
py-fran.txt
1280 lines (1100 loc) · 41.9 KB
/
py-fran.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
D E S C R I P T I O N D E P O P E Y E
Remarques au sujet de la distribution de Popeye:
Popeye est un logiciel libre. Chaque version fournie contient le code
de source entier - meme si quelqu'un n'en a pas besoin. D'apres nous
ce logiciel doit etre public est n'appartient pas a nous
personnellement, meme si nous y avons investi considerablement de
temps. Notre travail ne peut en tout cas pas etre paye, et nous ne le
faisons pas pour gagner de l'argent.
La seule restriction concernant la distribution de Popeye est que
Popeye doit etre distribue integralement.
Feed-back:
Pour envoyer des erreurs out des propositions d'extension, veuillez utiliser
les outils respectifs offerts par github.com .
Ouvrez dans votre browser
https://github.com/thomas-maeder/popeye/issues
Utilisez le lien "Add new" et remplissez l'information que vous
desirez envoyer dans les champs "Summary" et "Description". Puis
utilisez le bouton "Add Artifact" pour envoyer votre feed-back.
Execution de Popeye:
Change le nom du fichier executable prefere a py.exe
Avec entree du probleme sur l'ecran: py
Avec entree du probleme dans un fichier XX: py XX
parametre de ligne de commande:
-maxmem
Vous pouvez allouer p.ex. 40960 kilo-octets ou 40 mega-octets
de la facon suivante
-maxmem 40960 resp. -maxmem 40M
pour accelerer la resolution.
Popeye utilise cette memoire pour eviter de verifier des positions
intermediaires plusiers fois. Vous pouvez indiquer -maxmem 0 pour
desactiver cette optimisation.
-maxtime
Inidication du nombre maximal de secondes que Popeye investit
a la resolution de chaque probleme. Ce parametre est
equivalent a l'option maxtemps qui peut etre utilisee dans la
definition des problemes (voir plus bas).
Exemple:
-maxtime 60
Si un probleme n'est pas completement resolu apres une minute,
la resolution est continuee avec le probleme suivant.
-regression
POUR DEVELOPPEURS
Informations sur la version de Popeye et les temps de
resolutions sont supprimes des fichiers ecrits.
Finir execution de Popeye:
CTRL + C
Description de la langue d'entree de Popeye:
L'entree de Popeye ne distingue pas les majuscules des minuscules. Toute
entree commence par le mot-cle 'DebutProbleme'. Apres avoir entre ce mot-cle, on peut entrer
d'autres commandes parmi les suivantes:
remarque, auteur, source, titre, protocol,
condition, option, enonce, senonce, forsyth, pieces, jumeau
L'ordre de ces commandes ne joue aucun role, et les commandes peuvent etre
repetees. En cas de repetition d'une commande de la deuxieme ligne, seulement
la version finale est respectee.
Chaque commande demande des parametres. Commencons avec les commandes
simples:
- remarque: Ce mot-cle est suivi par une remarque. Le texte suivant
jusqu'a la fin de la ligne n'a pas d'effet.
- auteur: Cette commande est utilisee pour l'entree de l' (ou bien
des) auteur(s) du probleme. Tout le texte est place au-dessus
du diagramme. Cette entree est tout a fait volontaire est n'a
pas d'effet sur le fonctionnement du programme. En cas de
repetition de la commande 'auteur', toutes le lignes entrees
sont places au-dessus du diagramme.
- source: voir auteur
- titre: voir auteur
- protocol: demande l'entree d'un nom de fichier. Toutes les sorties
de Popeye seront protocolees dans ce fichier. Si le fichier
existe deja, Popeye ajoute les nouvelles sorties a la fin; le
fichier n'est donc pas efface auparavant.
- condition: Toutes les conditions du probleme sont a entrer apres ce
mot-cle, separees par des espaces ou par la fin d'une
ligne. Les conditions suivantes sont possibles a present:
Circe
Madrasi
Volage
Hypervolage
Bichromatique
Monochromatique
Grille
Koeko
NoirBordCoup
BlancBordCoup
Leofamily
Chinoises
Patrouille
SansPrises
Immun
ContactGrille
Imitator
CavalierMajeur
Haan
Sentinelles
Maximum (s'applique au camp qui defend - ne pas meler avec Blanc/Noir...)
UltraSchachZwang (dito)
NoirMaximum
BlancMaximum
BlancUltraSchachZwang
NoirUltraSchachZwang
NoirMinimum
BlancMinimum
CaseMagique
Tibet
DoubleTibet
Trou
NoirPriseForce
BlancPriseForce
RoisTransmutes
NoirPoursuite
BlancPoursuite
Duelliste
SansIProm (= Les pions ne peuvent se promouvoir pas en imitator)
EchecsVogtlaender
EchecsEinstein
Bicolores
KoekoNouveaux
AntiCirce
ReversEchecsEinstein
Degradierung
NorskSjakk
EchecsTraitor
EchecsAndernach
NoirCaseForce
BlancCaseForce
NoirCaseForceConsequent
BlancCaseForceConsequent
RoisReflecteurs
EchecsCameleon
EchecsFonctionnaire
EchecsGlasgow
EchecsAntiAndernach
Isardam
SansEchecs
PromSeul
EchecsExclusif
MarsCirce
EchecsPhantom
BlancRoiTransmute
NoirRoiTransmute
BlancRoiReflecteur
NoirRoiReflecteur
EchecsAntiEinstein
NoirCaseRoyal
BlancCaseRoyal
EchecsPlus
EchecsBrunner
EchecsCentral
EchecsExtinction
EchecsRepublicain
???? ActuatedRevolvingBoard
EchecsMessigny
Woozles
BiWoozles
Heffalumps
BiHeffalumps
BlancCasePromotion
NoirCasePromotion
SansBlancPromotion
SansNoirPromotion
EchecsEiffel
???? ActuatedRevolvingCentre
ShieldedKings
BlancSansPrises
NoirSansPrises
EchecsAlphabetique
EchecsCameleonLigne
AMU
???? SingleBox
MAFF
OWU
BlancRoisOscillant
NoirRoisOscillant
AntiRois
AntiMarsCirce
BlancSuperRoiTransmute
NoirSuperRoiTransmute
UltraPatrouille
RoisEchanges
DynastieRoyale
SAT
StrictSAT
Take&MakeEchecs
Make&TakeEchecs
NoirSynchronCoup
BlancSynchronCoup
NoirAntiSynchronCoup
BlancAntiSynchronCoup
Masand
MasandGeneralise
BGL
AnnanEchecs
NannaEchecs
PionNormale
NoirEchecs
EchecsGeneve
VaultingKings
BlancVaultingKing
NoirVaultingKing
EchecsProtee
Elliuortap
CameleonPoursuite
AntiKoeko
EchecsRoque
QuiPerdGagne
EchecsGhost
Football
BlancEchecsAlphabetique
NoirEchecsAlphabetique
RoisKobul
Supergardes
TrousDeVer
EchecsMarins
EchecsUltramarins
Retour
FaceAFace
DosADos
JoueAJoue
Disparate
EchecsSnek
EchecsSnekCirculaires
EchecksArgentins
PiecesPerdues
ParalysePartielle
LeseMajeste
Rokagogo
Breton
ReflexionCentrale
Bolero
BoleroInverse
Influenceur
EchangeRole
NoirMaxDister
NoirMinDister
BlancMaxDister
BlancMinDister
SerieCapture
Pepo
CASTechecs
CASTInverse
MultiCaptures
FuddledMen
Bicaptures
TransmissionMenace
TransfertPouvoir
Apres les mots-cle Imitator, CaseMagique, Trou,
BlancCasePromotion, NoirCasePromotion ou
"...CaseForce..." il faut entrer les cases ou se trouvent les
imitators, les cases magiques, les trous ou les pieces promues
(FrischaufCirce), ou qui sont des cases de promotion blanc ou noir
dans la position de diagramme.
Apres le mot-cle PromSeul il faut entrer le ou les type(s)
de pieces en le(s)quel(s) la promotion est permise.
Apres le mot-cle CirceCameleon on peut entrer une liste de
types de pieces qui definit l'ordre de promotion avant
renaissance. (Par exemple:
"CirceCameleon C F T D C" c'est le CirceCameleon normal,
"CirceCameleon C D T F C" c'est CirceCameleon reverse).
La meme notation peut etre utilisee en EchecsCameleon pour
definir l'ordre des types de pieces. Et la condition auxiliaire
CameleonSequence peut etre utilisee pour definir cet ordre pour
les cameleons indiques de facon explicite.
Apres Madrasi et TransfertPouvoir, on peut entrer le mot-cle
"RexInclusif".
Pour la condition Isardam, on peut indiquer TypeB puis
RexInclusif.
Pour la condition SingleBox, on peut indiquer s'il s'agit du
Type1, du Type2 ou du Type3.
Pour la condition EchecsRepublicain, on peut indiquer s'il s'agit du
Type1 ou du Type2. Type2 est utilise si le type n'est pas indique.
Apres la liste des cases magiques, on peut indiquer s'il s'agit du
Type1 ou du Type2. Type1 est utilise si le type n'est pas indique.
Pour la condition Sentinelles, on peut indiquer s'il s'agit du
type "PionAdvers", "PionNeutre", "ParaSentinelles" ou
"Berolina", de meme que "MaximumBlanc", "MaximumNoir" ou
"MaximumTotal" suit d'un nombre.
Apres les conditions EchecsMessigny, (Bi)Woozles,
(Bi)Heffalumps ou ProteeChess, on peut entrer le mot-cle
RexExclusif.
Pour les conditions BlancRoisOscillant ou NoirRoisOscillant on
peut indiquer s'il s'agit du TypeB ou TypeC.
Apres Grille, un nombre de variantes peuvent etre indiquees.
VerticalDecalage, HorizontalDecalage et DiagonalDecalage
decalent la grille standard d'une rangee et/ou colonne.
P.ex. la cellule contenant la case a1 consiste de:
VerticalDecalage: a1b1
HorizontalDecalage: a1a2
DiagonalDecalage: a1
Orthogonal suivi d'une liste de colonnes (a gauche de chaque
ligne de grille verticale ) et rangees (au-dessous de chaque
ligne de grille horizontale), sans espaces.
Irregulier suivi par une liste separee d'espaces de groupes de
cases qui forment les cellules de la grille. N.B. La cellule la
plus grande peut etre specifiee sans indication de ses cases,
parce qu'une cellule et ajoutee contenant les cases qui ne sont
pas mentionnes dans un groupe.
Par exemple, la grille standard peut etre indiquee par une des
trois possibilites suivantes:
condition grille
condition grille orthogonale bdf246
condition grille irreguliere a8a7b8b7 c8c7d8d7 ...
LigneGrille suivi par une list de lignes ajoute des lignes de
grille. Cette possibilite devrait exclusivement etre utilisee
pour ajouter des lignes de grille partielles, qui ne divisent
pas completement une ou plusieurs cellules (c'est-a-dire pour
rendre legaux certains coups dans une cellule) puisque
l'indication de cellules est plus efficace. LigneGrille sont
indiquees par 4 caracteres; p.ex.
condition grille lignegrille Ha24 Vc61
ajoute a la grille standard une ligne horizontale d'une
longueur de 4 cases a partir du coin bas gauche de la case a2
et une ligne verticale d'une longueur d'une case a partir du
coin bas gauche de la case c6.
Pour ajouters de lignes de grille a l'echiquier vide (sans
grille standard), on indique
condition grille irregulier lignegrille Ha24 Vc61
(N.B. Dans le contexte des echecs grille, les coups vont d'un
centre de case a l'autre en ligne droite; les pieces qui ne
bougent pas sur des lignes droites peuvent se comporter de
facon inattendue; pour etre legal, il suffit qu'un coup touche
la fin d'une ligne de grille - il n'est pas necessaire qu'il
croise une ligne de grille (p.ex. Ve11 permet un coup d1-e2).
Chacune des conditions VaultingKings peut etre suivie par une
list separee d'espaces de types de pieces. Un VaultingKing en
echec bouge comme une piece d'un des types indiques. Si
l'option Transmute est indiquee, les VaultingKings en echec
bougent exclusivement comme une piece d'un des types indiques
(mais pas comme roi). Si aucun type de piece n'est indique,
les VaultingKings en echec bougent comme (des rois et) des
equihoppers.
Les conditions PriseForce, Maximum et Minimum peuvent etre
suivies par le mot-cle "Ultra" pour indiquer qu'il s'agit de
la condition ultra respective.
After EchangeRole, le nomber maximal d'EchnangeRoles peut etre
indique. Sans cette indication, le nombre n'est pas limite.
Circe, AntiCirce, MarsCirce, AntiMarsCirce, ImmunSchach,
PhantomSchach et GenferSchach peuvent etre suivies d'un nombre
d'options; les options peuvent etre combinees ad libitum. Toutes les
combinaisons ne sont pas raisonnables, ni toutes les options pour toutes
les conditions de base.
En outre, les options qui appartiennent au meme groupe parmis le 8
groupes suivants sont normalement mutuellement exclusives.
Inclusion du roi:
RexInclusif (standard pour AntiCirce et MarsCirce)
RexExclusif (standard pour les autres conditions)
Coup/allure/camp determinant:
CoupDernier
PriseProchaine
Clone (definit aussi l'allure de la piece renee)
Couscous
Malefique (special avec Equipollents - voir plus bas)
Restriction a des allures specifiques:
Avril (suivie par la liste d'allures)
Definition des cases de renaissance:
Equipollents
Parrain (== Equipollents CoupDernier)
ContraParrain (== Equipollents CoupDernier Malefique)
Rangee
Colonne
Symetrie
Diagramme
Echange
Antipodes
Super
Take&Make
Cage
CaseDePrise
Adaptation de la case de renaissance:
Diametral
MalefiqueVerticale
Frischauf
(Rangee)
Adaptation de l'allure de la piece renee:
Cameleon
Turncoats
Einstein
ReversEinstein
Comportement en case de case de renaissance occupee:
Relache (standard dans Circe)
Strict (standard sinon)
Assassin
Volcan
Parachute
Auto-blocage de la piece promue:
Calvet (standard)
Cheylan
Les noms de condition "traditionnels" suivants peuvent toujours etre
utilises; ils permettent d'ajouter RexInclusif ou RexExclusif.
traditionel: Indication avec option(s):
CirceMalefique Circe Malefique
CirceEchange Circe Echange
CirceCouscous Circe Couscous
CirceCameleon Circe Camaeleon
CirceEquipollents Circe Equipollents
FileCirce Circe Colonne
CirceDiagramme Circe Diagramme
CirceParrain Circe LetzterZug Equipollents
ContraParrain Circe LetzterZug Equipollents Spiegel
CirceSymmetrique Circe Symetrie
FileCirceMalefique Circe Colonne Malefique
CirceAntipoden Circe Antipodes
CirceCloneMalefique Circe Clone Malefique
SuperCirce Circe Super
CirceClone Circe Clone
FrischaufCirce Circe Frischauf
CirceDiametrale Circe Diametral
CirceCouscousMalefique Circe Couscous Malefique
CirceAssassin Circe Assassin
CirceTurncoats Circe Turncoats
CirceDoubleAgents Circe Turncoats Malefique
CirceCage Circe Cage
CirceTake&Make Circe Take&Make (aussi connu comme Anti-Take&Make)
CirceMalefiqueVerticale Circe MalefiqueVerticale
EchecsAvril Circe Super Avril
AntiCirceMalefique AntiCirce Malefique
AntiCirceDiagramme AntiCirce Diagramme
AntiFileCirce AntiCirce Colonne
AntiSymmetrieCirce AntiCirce Symetrie
AntiFileCirceMalefique AntiCirce Colonne Malefique
AntiCirceAntipoden AntiCirce Antipodes
AntiCirceEquipollents AntiCirce Equipollents
AntiCirceClone AntiCirce Clone
AntiSuperCirce AntiCirce Super
MarsCirceMalefique MarsCirce Malefique
AntiMarsMalefiqueCirce AntiMarsCirce Malefique
AntiMarsAntipodeanCirce AntiMarsCirce Antipodes
ImmunMalefique Immun Malefique
ImmunFile Immun Colonne
ImmunDiagramme Immun Diagramme
ImmunFileMalefique Immun Colonne Malefique
ImmunSymmetrique Immun Symetrie
ImmunAntipoden Immun Antipodes
ImmunEquipollents Immun Equipollents
Apres Breton, Adverse or PY peuvent etre indiques.
- option: Toutes les options demandees sont a introduire apres ce mot-cle,
separees par une espace. Les options suivantes seront reconnues:
Essais Le jeux d'essais sera affiche
Defense Suivie par un chiffre positif - le nombre maximal de
refutations considerees (cas special: defense 1
les essais sont ecrits comme d'habitude).
TrivialEssaiSupprimer Supprimer les essais triviaux de la solution
affichee. Actuellement, les premiers coups refutes
qui donnent echec sont consideres triviaux.
Apparent Le jeux apparent sera affiche
CoupsVides Permet le camp qui a le trait a y renoncer.
Sert a trouver les essais tempo.
ApparentSeul Les blancs jouent aux mats aides (0.1.1...)
Menace Pour le mode multi-coups: Cette option doit
etre suivie par un chiffre. L'adversaire est
considere comme s'etre defendu avec succes s'il
n'y a pas de menace en un nombre de coups
inferieur du chiffre indique.
Variantes Les menaces est les variantes seront affichees
Trace Les coups seront numerotes et le temps total
de calculation est affiches.
Enroute Cette option est suivie par un chiffre. La
verification reprend apres le coup numerote par
le chiffre indique. A utiliser pour continuer
une verification interrompue
JusquAuCoup Contraire d'Enroute. La verification se termine
apres le coup indique.
SansRB Le probleme a verifier n'a pas de roi blanc.
SansRN Le probleme a verifier n'a pas de roi noir.
Duplex Il y a une solution pour les blancs et les noirs
SansMenace les menaces ne seront pas affichees
MaxSolutions Cette option dois etre suivie par un chiffre.
La verification est termine apres la solution
numerote par le chiffre indique.
MaxCasesFuites Pour le mode multi-coups: Cette option doit
etre suivie par un chiffre. L'adversaire est
considere comme s'etre defendu avec succes si
son roi a egalement ou plus des cases fuites
du chiffre indique.
EnPassant Cette option doit etre suivie par 3 a 4 cases qui
indiquent le coup de pion qui vient d'etre joue:
- case de depart
- case(s) evitees
- case d'arrivee
Cette information est utilisees pour les cles
potentielles avec prise en passant.
RoquesMutuellementExclusifs <casetourblanche><casetournoire>
Les roques avec les tours occupant les cases
indiquees dans la position de partie initiale
sont mutuellement exclusifs.
Exemple: RoquesMutuellementExclusifs a1h8
Pour indiquer plusieurs pairs de roques
mutuellement exclusifs, l'option peut etre
indiquee plusieurs fois.
SansEchiquier L'echiquier n'est pas visible.
SansVariantesCourtes Les variantes courtes ne seront pas affiches.
DemiDuplex L'enonce est seulement verifiee avec les couleurs
inversees
ApresCle La position est consideree atteinte apres la cle.
Par consequence, seulement la solution sera calculee.
NonTrivial m n Option pour la verification de longs problemes
inverses ou (semi)reflexe. Le deuxieme
parametre n indique que les coups noirs menant
a une solution en n coups seront consideres
triviaux (les problemes correctes de plus de n
coups auront toujours une variante qui ne mene
pas a une solution en n coups). Le parametre m
indique que m+1 est le nombre maximal de coups
non-triviaux que les blancs peuvent accorder
aux noirs (Exemple pour un mat inverse:
nontr 0 1: seulement les coup blancs son pris en
consideration qui ne laissent aux noirs
qu'un coup ne menant pas a un s#1).
Intelligent Verification intelligente (tres rapide) des mats ou pats
aides multicoups.
Apres l'option intelligent on peut entrer un chiffre.
Il s'agit du numero maximum des solutions par
position de mat ou pat.
A noter: ne trouve pas de pats sans roi!
MaxTemps Cette option dois etre suivie par un chiffre.
La verification d'un probleme est terminee
apres le nombre de secondes indique.
SansRoquer Il faut entrer les cases ou se trouvent les pieces
qui ne peuvent plus roquer dans la position de
diagramme.
QuodLibet en s# ou r# un mat direct c'est une solution aussi.
FinApresSolutionCourtes Calculation est termine apres detection des
solutions courtes.
Bip Cette option peut etre suivie par un nombre.
Popeye emet un certain nombre de bips apres chaque
solution trouvee.
SansGrille (Grille) Supprime les lignes de grille dans
les diagrammes en texte et LaTeX.
AjouteGrille (Grille) Ajoute un diagramme demontrant les
cellules de la grille. Utile pour les grilles
irregulieres.
RetiensPieceMatante Arreter de resoudre quand aucune piece ne
reste qui pourrait delivrer le mate.
DernierePrise suivi par couleur, type de piece et case comme dans
la commande "pieces"; indique la prise de piece dans
le coup qui menait a la position de diagramme.
ButEstFin applicable si le but ne mene pas a l'immobilite (p.ex.
z, x): le jeu se termine si le faux camp atteind au
but.
MatsEn1 ne pas supprimer les mats en 1 coups dans le jeu inverse
qui permettrait de plus longues variantes
- enonce: Popeye reconnait les enonces suivantes:
toute combinaison raisonnable de
{#= } {#= }
{!= } {!= }
{!# } {!# }
{00 } {00 }
{% } {% }
{~ } {~ }
{ep } {ep }
{SER- } {H } {# } {# }
{PSER-} {S } {= } {= }
{m->} + {EXACT-} + {PHSER-}+ {R } + ( + {== } + ) + {== } + n
{SEMI-} {HS} {+ } {+ }
{RECI-} {HR} {Zxy} {Zxy }
{x } {x }
{## } {## }
{##!} {##! }
{ct } {ct }
{<> } {<> }
{ctr} {ctr }
{<>r} {<>r }
{c81} {c81 }
{Kxy }
{dia } + n{.5}
{SER-} + {dia } + n
{a=>b} + n{.5}
{SER-} + {a=>b} + n
(m, n sont les nombres des coups)
par exemple:
#3 mat en 3 coups
HZg74 les noirs aident les blancs a atteindre la case
d'arrivee g7 en 4 coups
sKa75 baiser de la piece en a7 inverse en 5 coups
S+2 echec inverse en 2 coups
R==3 pat double reflex en 3 coups
HS#3 mat inverse aide en 3 coups (= mat inverse aide force)
SER-+7 echec serie en 7 coups
SEMI-R+4 echec semi-reflexe en 4 coups
x3 capture en 3 coups
RECI-H#2 mat aide reciproque en 2 coups (= mat aide Graz)
RECI-H(=)#2 (pat)mat aide reciproque en 2 coups (les noirs
donnent pat ou permettent leur propre mat)
SER-%4 Gain_de_Piece serie en 4 coups
H##!4 "gegenmatt" aide en 4 coups
SER-H##3 "beidmatt" aide serie en 3 coups
2->ser-h#4 les blancs joue 2 coups, alors ser-h#4
h003 roque aide en 3 coups
dia6.5 Plus courte partie justificative en 13 demi-coups
(apres le 7 coup des blancs)
ser-dia9 partie justificative serie en 9 coups
reci-h(=)#4 (pat) mat aide alternative en 4 coups
ser-!=7 autopat serie en 7 coups
ser-ct10 Series-direct circuit (switchback) in 10 moves
(d'une piece blanche)
h<>3 echange de places aide en 3 coups
(les noirs aident les blancs a echanger
l'emplacement de deux de leurs pieces
relativement a leurs emplacement dans le
diagramme)
ser-sctr2 Retour inverse en serie par renaissance en 2 coups
(les blancs forcent les noirs a effectuer le
retour d'une piece blanche)
ser-h<>r5 echange de place aide serie par renaissance en 5
coups (les noirs aident les blancs a echanger
l'emplacement de deux pieces noires par
renaissance)
#=2 mat ou pat en 2 coups
h~1 tous les coups aides
HR#3 mat reflexe aide en 3 coups (= mat reflex aide force)
pser-h#6 aide serie avec parades en 6
phser-s#6 aide serie avec parades en 6 (parades aident)
SEMI ne peut etre applique qu'aux enonces reflexe, naturellement.
- senonce: L'enonce peut aussi etre indique sous forme
"structuree". Sous cette forme, toutes les enonces peuvent
etre indiques qui peuvent etre indiques avec la commande
enonce, mais aussi beaucoup d'enonces additionnels.
(Exception: les enonces pser ne sont pas supportees actuellement)
Un enonce indique par senonce a la structure d'un arbre. Le
jeu commence a la racine, traverse les branches (qui se pevent
fourcher) et se termine a une ou plusieurs feuilles.
Apres le mot-cle senonce, la racine est indiquee comme camp au
trait, puis les branches est feuilles selon le langage definit
ci-dessous.
Anatomie d'un senonce
---------------------
Exemple: senonce blanc 5s[#]
Dans cette stipulation, les Blancs ont le trait. Le jeu
consiste d'une branche de 5 coups de serie. La branche mene a
une feuille, dont la seule tache est de verifier si une
position de mate vient d'etre atteinte.
La definition d'une branche consiste normalement:
- de la longueur maximale en demi-coups (dans l'exemple: 5)
- du type de la branche (s pour serie)
- des feuilles (#)
- des bifurcations (aucune dans l'exemple)
- des restrictions (aucune dans l'exemple)
Le jeu se termine a une ou plusieurs feuilles. Leur definition
consiste normalement du but (dans l'exemple: #) a atteindre.
Lors du changement d'une branche a une autre ou a une feuille,
le trait change. Les Noirs ont donc le trait dans la feuille,
ce qui signifie que la feuille verifie si les Noirs sont mats.
L'exemple est donc un synonyme pour
enonce ser-#5
Types de branche
----------------
Type Notation Exemples Synonymes comme enonce
Serie s 5s[#] ser-#5
"Bataille" ad 3a[+]d, 4ad[x] +2, sx2
da 3d[==]a s==2 option ApresCle
Aide hh 5h[=]h h=2.5
Les lettres s (coup de serie), a (attaque), d (defense) et h
(aide - help) representent chacune un demi-coup.
Une bifurcation qui suit a, h ou s definit le but du coup
d'attaque; et une bifurcation qui suit d definit contre quoi
on se defend.
Note: une branche da est soluble quand le camp qui a le trait
n'a PAS de refutation.
Bifurcation menant a une branche
--------------------------------
Une bifurcation mene a une branche imbriquee.
Exemples Synonymes comme enonce
3a[1a[#]d]d semi-r#2
4hh[1a[#]d] non supporte (aide semireflexe en 2.5)
6s[1d[#]a] ser-s#6
Branches avec plusieurs feuilles ou bifurcations
------------------------------------------------
Apres chaque demi-coup, un but et une bifurcation peuvent etre
indiques.
Exemples Synonymes comme enonce
4a[#=]d[#=] s#=2 option quodlibet
3a[#][1a[#]d]d semi-r#2 option quodlibet
Expressions logiques
--------------------
Les operateurs suivants peuvent etre appliques a des feuilles
et des branches pour formuler des expressions:
Operateur Signification
! Negation
| OU
& ET
Exemples Signification
!# le camp qui a le trait n'est pas mate
!3a[#]d il n'y a pas de solution a un deux-coups direct
4ad[#] | 3h[#]h s#2 ou h#1.5
1h[#]h & 2hh[#] #1 et h#1 (c'est-a-dire reci-h#1)
Les deux operandes des operateurs binaires doivent appartenir
au meme des trois groupes suivants:
- feuille # = zh1 ...
- attaque ad hh s
- defense da
Une expression appartient au meme groupe que ses
operandes. Elle peut donc elle-meme etre l'operande d'une
expression, p.ex. (comme alternative a des jumeaux):
3a[#]d & 4hh[#] & 4ad[#]
Les trois expressions partielles ainsi que les expressions &
appartiennent au groupe attaque.
Les operateurs sont normalement evalues de gauche a droite. Si
necessaire, des () peuvent etre utilisees pour definir la
precedence correcte, p.ex.
4hh[#] & ( 4ad[#] | 4hh[=] )
Restrictions
------------
Les restrictions peuvent etre indiquees en utilisant {}.
Exemple Synonyme comme enonce
3a[1a[#]d]d{!1a[#]d} r#2
A noter: meme si la restriction est indiquee apres le d, elle
est verifiee AVANT chaque coup a, y inclus le premier! Le
probleme n'a donc pas de solution si la restriction est
violee dans la position du diagramme.
Les deux differences principales entre des branches/feuilles
imbriquees et des restrictions sont:
- l'exigence definie par une branche ou feuille imbriquee doit
seulement etre remplie a la fin du jeu; une restriction doit
cependant etre remplie chaque fois que le coup respectif est
joue
- les coups joues lors de la verification d'une restriction
n'apparaissent pas dans la solution ecrite sauf dans les deux
cas suivants:
* si une restriction est violee dans la position du diagramme
* si la refutation d'un essai mene a une restriction violee
("defense reflexe")
Branches a longueur minimale
----------------------------
Pour definir la longueur minmale d'une branche, la notation
m:n peut etre utilisee (m=minimum, n=maximum):
Exemples synonym comme enonce
4:4hh[#] exact-h#2
3:5s[#] pas supporte (series de 3 a 5 moves)
Operateurs speciaux au debut d'une branche
------------------------------------------
Les operateurs >, / et - peuvent apparaitre dans cet ordre au
debut de la defintion de branches.
> au debut d'une branche de la definition termine le jeu de la
branche superieure dans des position ou la branche imbriquee
a une solution. P.ex. un probleme avec
senonce blanc 3h[1a[x]d]h
peut avoir les solutions
1.g3-g4 h5*g4 x
1.g3-g4 h5*g4 2.h4-h5 g4*f3 x
La deuxieme sequence est une solution malgre que le but soit
atteint apres les deux premier demi-coups deja. Si le jeu doit
se terminer quand le but est atteint, on peut ecrire
senonce blanc 3h[>1a[x]d]h
Si la definition d'une branche imbriquee contient l'operateur
/, les coups joues dans cette branche ne font pas partie de la
solution ecrite.
P.ex. la capture forcee par Zugzwang n'appartient pas a la
solution d'un probleme a enonce "CapZug". CapZug aide en 2.5
s'ecrit donc
senonce noir - 5h[/1d[x]a{!+}]h
Le trait peut etre passe a l'autre camp au debut d'une branche
avec l'operateur -.
Exemples Synonyms as stipulation
- 7h[#]h h#3.5
3h[- 4hh[#]]h pas supporte (h#4 sans 2eme coup blanc)
Trait conditionnel
------------------
Le trait (le droit de jouer) peut etre soumis a une restriction R en
ajoutant le prefixe ?R? au symbol (h resp. d) respectif.
Le droit de jouer represente par un symbol ainsi decore n'est accorde
que si la restriction est remplie au moment pertinent.
Exemple: senonce blanc 7h[#]?+?h (Synonyme de enonce phser-#4)
Actuellement, la selue restriction R supportee est que le camp qui a
(ou plutot aurait) le trait se trouve en echec.
En plus, ?A? n'est applicable qu'en deux contextes:
- dans ad au d
- dans hh au second h, si la longueur maximale de la branche est
impaire
Autres exemples:
blanc 15a[#]?+?d (pser-#8)
blanc 15a[1d[#]a]?+?d (pser-s#8)
blanc 15a[>1a[#]d]?+?d (pser-semi-r#8)
blanc 15a[>1a[#]d]?+?d{!1a[#]d} (pser-r#8)
noir 15h[1a[#]d]?+?h (pser-h#8)
blanc 15h[1d[#]a]?+?h (phser-s#8)
- forsyth: Cette commande est utiliser pour l'entree de la position en
notation forsyth.
Exemples:
tcfdrfct/pppppppp/8/8/8/8/PPPPPPPP/TCFDRFCT (position initiale)
tcfdrfctpppppppp32PPPPPPPPTCFDRFCT (position initiale; alternative)
48/5sPp/5R1r (V.Onitiu, #6 - sauterelle noire)
1.PA6/8/1D2.ma3/8/r1.pa.pa4/8/1P1R (Z.Mach, #2 - pieces chinoises)
Les pièces représentées par une lettre dans la commande "pièces" sont entrées avec cette
même lettre dans la commande "forsyth". Les cases sont enregistrés de a8 à h8, suivis
par a7 à h7, etc. jusqu'à h1. Cases vides consecutivement sont enregistrées par un numéro qui
compte le nombre des cases vides, et le caractère "/" sépare chaque range.
Les lettres minuscules représentent les pièces noires et les lettres majuscules les pièces blanches.
Le caractère "/" est optionnel. 10 ou plus cases vides peuvent être entrées. Cases vides suivis le dernier
pièce peuvent être omis (par exemple, l'exemple de Mach ci-dessus, "4/8" a été omis).
La notation est développée pour permettre l'entree des pièces feeriques comme suit:
- une pièce peut commencer par un caractère de spécification de couleur optionnel (qui remplace l'utilisation des
lettres minuscules / majuscules)
+ Blanc
- Noir
= Neutre
Exemples:
+ s sauterelle blanche (ou +S)
= p pion neutre (ou =P)
- une pièce qui est représentée par deux lettres ou chiffres dans la commande "pièces" peut être entrée
avec la commande "forsyth" en commençant par ".". La première des deux lettres suivantes
détermine si c'est blanc ou noir, sauf si un spécificateur de couleur est utilisé. Exemples:
.PA Pao blanc
.ma Mao noir
.s2 Sauterelle-2 noire
+.15 (1,5)-sauteur blanc
-.15 (1,5)-sauteur noir
= .li lion neutre
Notez que seule la casse de la première des deux lettres détermine la couleur.
Il est seulement nécessaire d’utiliser un spécificateur de couleur + / - / = pour les pièces neutres, ou pour les pièces dont
la représentation est deux chiffres.
Notez, autres attributs (paralysant, royal, etc.) ne peuvent pas être entrées avec cette commande. Il
est possible d'entrer des pièces supplémentaires avec la commande "pieces", avant ou après le "forsyth"
commande (les cases vides de la commande forsyth ne seront pas effacées)
Jusqu'a present, toutes les commandes ont ete assez simples. La commande
suivante est un peu plus compliquee:
- pieces: Cette commande est utilisee pour l'entree de toutes les pieces
appartenant au probleme. Apres le mot-cle, la couleur est entree:
Blanc
Noir
Neutre
On peut alors ajouter
Cameleon
Jigger
Kamikaze
Paralysantes
Royales
Volage
Fonctionnaire
DemiNeutre
CouleurEchangeantSautoir
Protee
Magique
Imprenable
FrischAuf
Suit la liste des pieces comme d'habitude: allure de la piece suivi par
une liste de cases ou une telle piece est placee. On peut toujours
changer la couleur des pieces a entrer en entrant le mot-cle convenant.
Si une piece est placee sur une case occupee, la piece precedente est
transferee sour la case dans l'au-dela. Dans les conditions Circe
Volcanique, Circe Parachute, EchecGhost et EchecHantees, les coups depuis
cette case transferent une piece de l'au-dela dans le monde reel. Sinon,
les pieces dans l'au-dela permette la promotion de pions dans leur allure.
Popeye supporte les allures de piece suivantes:
15 1,5-cavalier
16 1,6-cavalier
24 2,4-cavalier
25 2,5-cavalier
35 3,5-cavalier
36 3,6-cavalier
37 3,7-cavalier
ai aigle