Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

Automata

Guides

  • Automata

Tech Notes

  • Automata Package

Symbols

  • AlphabetBaseCount
  • AlphabetCountCA
  • AlphabetCount
  • AlphabetList
  • AlphabetProfile
  • AlphabetTrackCount
  • AlphabetTraitQ
  • Alpha
  • AlphaQ
  • AnalyzeOrbit
  • ApplyTransduction
  • AssignFunction
  • AssignHomomorphismDFA
  • AssignTransduction
  • AssignTransitionFunction
  • AutomataDefaults
  • BalancedQCA
  • BEFA
  • BEFAToFA
  • BooleanTransitionMatrix
  • Bound
  • CA
  • CanonicalFA
  • CartesianProduct
  • CirculantFA
  • ClassifyCA
  • CloneFA
  • Closure
  • ClosureSearch
  • ComplementFA
  • CompletePDFA
  • ComposeCA
  • ComputationFA
  • ComputationGraphFA
  • ConcatenateFA
  • Concatenate
  • CondensationGraph
  • ConvertToCA
  • CoverQDFA
  • CycleDecomposition
  • CycleShape
  • DCLDimension
  • DCLGreenToGrid
  • DCL
  • DCLUnpack
  • DeterministicQ
  • DeterminizeFA
  • DFAQ
  • DivisibilityDFA
  • DomainFunction
  • DomCodomCA
  • DoTrace
  • ECA
  • EmptyFA
  • EpsFromEmpty
  • EpsilonEliminationFA
  • EpsilonFA
  • EpsilonFreeQ
  • Eps
  • EpsQ
  • EpsToEmpty
  • EquivalentQFA
  • Existential
  • FA
  • FATraitQ
  • Fill
  • FinalStateList
  • FindRepetitions
  • FiniteLanguageFA
  • FlattenOne
  • FormatEdgesGraph
  • FormatEps
  • FormatVerticesGraph
  • Frequencies
  • FromBitVector
  • FromKernelImageSGT
  • FrontierFromDFA
  • FrontierRW
  • FrontierToDFA
  • FSMQ
  • GatherTransitions
  • GenerateFA
  • GetColorList
  • GetTraits
  • GlobalMapCA
  • GraphPaths
  • GridOffset
  • GrowthFunctionDFA
  • HideGraph
  • IdempotentQSGT
  • IdentitySGT
  • ImageSGT
  • IndexedFAQ
  • IndexFA
  • Index
  • InitialStateList
  • InitialState
  • IntersectionFA
  • InverseCA
  • IsomorphicQDFA
  • KernelImageSelectorQ
  • KernelImageSGT
  • KernelSGT
  • KleeneStarFA
  • LabelList
  • LanguageFactorFA
  • LanguageFA
  • ListShuffle
  • LocalMapCA
  • MatrixToTransitions
  • MinimizeDFA
  • MinimizeFA
  • Monoid
  • NNFA
  • NNFAToFA
  • NonDecreasingSequences
  • NonTrivialComponentQ
  • OrbitCA
  • PadicOrder
  • PadicValuation
  • Pairs
  • ParikhVector
  • ParseRange
  • Partitions
  • PDFAQ
  • PermutationToTransformation
  • PermuteFA
  • PlotFA
  • PlotFunction
  • PlotGrid
  • PlotMatrix
  • PlotRelation
  • PositionFA
  • PositionList
  • PositionOne
  • PowerSet
  • PowerSGT
  • PrintCA
  • ProductFA
  • ProductGraph
  • ProductTransitionSystem
  • PropertyQFA
  • RandomSGT
  • RankCartesian
  • RankingRules
  • RankSGT
  • RegexAlphabet
  • RegexEmptyQ
  • RegexEpsQ
  • RegexToBEFA
  • RegexToDetRegex
  • RegexToFA
  • RegexToGlushkov
  • RegexToNNFA
  • RelationToMatrix
  • REP
  • RES
  • RET
  • ReverseFA
  • RewritePrint
  • RewriteRulesSimplify
  • RewriteString
  • RewriteToIrreducible
  • RuleCA
  • RulesToTransitions
  • SeedConfiguration
  • SelectOptions
  • SemigroupCayleyGraph
  • SemigroupCayleyTable
  • SemigroupDegree
  • SemigroupElements
  • SemigroupEquations
  • SemigroupGenerate
  • SemigroupGenerators
  • Semigroup
  • SemigroupOrder
  • SemigroupQ
  • SemigroupToMonoid
  • SemigroupWitnesses
  • SemilinearDFA
  • SetAlphabet
  • SetFinal
  • SetInitialFinal
  • SetInitial
  • SetStates
  • SetTraits
  • SetTransitions
  • SGT
  • SGTraitQ
  • ShiftOrbit
  • ShowGraph
  • ShowGrid
  • ShrinkCA
  • ShuffleProductFA
  • SizeOnly
  • StateCount
  • StateDelete
  • StateList
  • StateType
  • StringifyList
  • StronglyConnectedComponents
  • SubAutomatonFA
  • SubTransitionSystem
  • SymbolList
  • TDGraph
  • TDGSelectAll
  • TDQ
  • ToBitVector
  • ToClasses
  • ToFredkinCA
  • ToIndex
  • ToKernelFA
  • ToKernel
  • ToSemiautomatonCA
  • ToWelchAutomatonCA
  • ToWidthTwoCA
  • ToWord
  • TransformationDFA
  • TransformationList
  • TransformationListQ
  • TransformationProduct
  • TransformationReplace
  • TransientMod
  • TransitionAdd
  • TransitionCosupport
  • TransitionCount
  • TransitionDelete
  • TransitionFunctionList
  • TransitionLabel
  • TransitionList
  • TransitionMatrix
  • TransitionsMap
  • TransitionSource
  • TransitionsReverse
  • TransitionsSelect
  • TransitionsSort
  • TransitionStates
  • TransitionsToBlocks
  • TransitionSupport
  • TransitionSystemAlphabet
  • TransitionSystemGraph
  • TransitionSystem
  • TransitionTarget
  • TransitionType
  • TransListQ
  • TrapStateList
  • TrimFA
  • TrimStateList
  • TSys
  • TSysQ
  • TSysTraitQ
  • Tupeln
  • Type
  • UnBoole
  • UnionFA
  • UniversalFA
  • UnrankCartesian
  • WidthCA
  • WordBinomial
  • WordFactorFA
  • WordLength
  • WordOrder
  • WordQ
  • WordRandom
  • WordShuffle
  • Words
  • WordSort
  • $AutomataDate
  • $AutomataVersion
  • $defaultPlotEmpty
  • $defaultPlotEpsilon
  • $defaultPlotStar
  • $defaultPlotUniversal
KlausSutner`Automata`Utils`
CycleShape
​
CycleShape[p,n] returns the canonical cycle decomposition of permutation
p
of length
n
in CCD format.
​
Details and Options

Examples  
(1)
Basic Examples  
(1)
▪
Generate a random permutation on 20 points.
In[1]:=
p=RandomPermutation[SymmetricGroup[20]]
Out[1]=
Cycles[{{1,2,3,20,17,10,8,18,6,16,15},{4,9,13,7},{11,14},{12,19}}]
▪
By default, return the lengths of the cycles. Alternatively, organize the cycles in canonical cycle order, or reverse canonical cycle order (sorted by first element, which is the min or max of the corresponding cycle).
In[2]:=
CycleShape
[p,20]​​
CycleShape
p,20,
Type
"CCD"​​
CycleShape
p,20,
Type
"RCCD"
Out[2]=
{11,4,2,2,1}
Out[2]=
{{1,2,3,20,17,10,8,18,6,16,15},{4,9,13,7},{11,14},{12,19},{5}}
Out[2]=
{{5},{13,7,4,9},{14,11},{19,12},{20,17,10,8,18,6,16,15,1,2,3}}
SeeAlso
CycleDecomposition
TechNotes
▪
AutomataPackage
RelatedGuides
▪
Automata
""

© 2025 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com