Skip to content

Commit 754593d

Browse files
committed
Define 'MANDARIN_CRISIS'
1 parent 15d7a9b commit 754593d

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

gap/base/recognition.gd

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -475,6 +475,9 @@ BindGlobal( "SLPforElementFuncsGeneric", rec() );
475475

476476
DeclareGlobalFunction( "EmptyRecognitionInfoRecord" );
477477

478+
# TODO Document mandarins
479+
BindGlobal("MANDARIN_CRISIS", MakeImmutable("MANDARIN_CRISIS"));
480+
478481
## <#GAPDoc Label="RecognisePermGroup">
479482
## <ManSection>
480483
## <Func Name="RecognisePermGroup" Arg="H"/>

gap/base/recognition.gi

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -419,9 +419,7 @@ InstallGlobalFunction( PrintTreePos,
419419
end );
420420

421421
NUM_MANDARINS := 100;
422-
MANDARIN_CRISIS := "TODO";
423422

424-
# TODO: documentation of mandarins.
425423
# Refer to overview paper by Baarnhielm, Holt, Charles, Eamonn, sections "5.2
426424
# The main algorithm" and "5.4 Crisis management".
427425
# Explain safe and unsafe nodes.

0 commit comments

Comments
 (0)