Skip to content

Generate all finite FLew-chains with a specified number of elements n.

Notifications You must be signed in to change notification settings

aclai-lab/LATD2025a

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 

Repository files navigation

Generate finite FLew-chains

Getting started

Launch a Julia command-line interface in your terminal:

$ julia

If you want to make use of multi-thread execution, add the -t option specifying the number n of threads to be used. Here's and example for launching the session using 8 threads:

$ julia -t 8

Then include generatefiniteflewchains.jl file

julia> include("generatefiniteflewchains.jl")

To generate all possible finite FLew-chains with n values, use the generateflewchains function. Putting a semicolon ; after the function will prevent it to output all generated finite FLew-chains. One could also make use of the @time macro to take note of the execution time as well as other useful information. Here's an example generating all possible finite FLew-chains with 9 elements and storing them in the variable q printing the execution time:

julia> @time q = generateflewchains(9);

To know how many finite FLew-chains have been generated, simply use the length function (generateflewchains returns a Vector of FiniteFLewChains):

julia> length(q)

One clean way to systematically print all generate finite FLew-chains is the following:

julia> for i in q
           println(i)
           sleep(0.1)
           Base.run(`clear`)
       end

Note that if you launched the julia command-line interface with the -t option, the generated finite FLew-chains are not stored in order.

You can expect to get all finite FLew-chains for $n\leq9$ in a few seconds. If you launched the julia command-line interface with the -t option using 8 threads, you can expect to get all finite FLew-chains for $n=10$ in less than 10 minutes.

Results

Values FLew-chains
1 1
2 1
3 2
4 6
5 22
6 94
7 451
8 2386
9 13775
10 86417
11 590489

About

Generate all finite FLew-chains with a specified number of elements n.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages