  
  [1X32 [33X[0;0YKnots and Quandles[133X[101X
  
      │ Knots                                              │ 
      │ [10XPresentationKnotQuandle(gaussCode) [110X                │ 
      │ [10XPD2GC(PD) [110X                                         │ 
      │ [10XPlanarDiagramKnot(n,k) [110X                            │ 
      │ [10XGaussCodeKnot(n,k) [110X                                │ 
      │ [10XPresentationKnotQuandleKnot(n,k) [110X                  │ 
      │ [10XNumberOfHomomorphisms(genRelQ,finiteQ) [110X            │ 
      │ [10XPartitionedNumberOfHomomorphisms(genRelQ,finiteQ) [110X │ 
      │ Quandles                                           │ 
      │ [10XConjugationQuandle(G,n) [110X                           │ 
      │ [10XFirstQuandleAxiomIsSatisfied(M) [110X                   │ 
      │ [10X IsQuandle(M) [110X                                     │ 
      │ [10XQuandles(n) [110X                                       │ 
      │ [10X Quandle(n,k) [110X                                     │ 
      │ [10XIdQuandle(Q) [110X                                      │ 
      │ [10XIsLatin(Q) [110X                                        │ 
      │ [10XIsConnectedQuandle(Q) [110X                             │ 
      │ [10XConnectedQuandles(n) [110X                              │ 
      │ [10XConnectedQuandle(n,k) [110X                             │ 
      │ [10XIdConnectedQuandle(Q) [110X                             │ 
      │ [10XIsQuandleEnvelope(Q,G,e,stigma) [110X                   │ 
      │ [10X QuandleQuandleEnveloppe(Q,G,e,stigma) [110X            │ 
      │ [10X KnotInvariantCedric(genRelQ,n,m) [110X                 │ 
      │ [10XRightMultiplicationGroupAsPerm(Q) [110X                 │ 
      │ [10XRightMultiplicationGroup(Q) [110X                       │ 
      │ [10XAutomorphismGroupQuandleAsPerm(Q) [110X                 │ 
      │ [10XAutomorphismGroupQuandle(Q)[110X                        │ 
  
