- 24 Nov, 2020 1 commit
-
-
Karim El Sheikh authored
Updated README.md, specifically improved the writing in the section "Notes about the usage of the batch files". Removed redundant ".gitkeep" file from the "Report" directory.
-
- 16 Nov, 2020 1 commit
-
-
Karim El Sheikh authored
Updated the project massively: documentation improved, cleaned up the testing code, and improved various parts in the batch files which made it more readable. The batch file now writes the modified "gap.bat" in the temporary directory instead of the same directory, this might help in cases where the user does not have write access in the batch directory. The spelling of some of the words was changed to the english spelling (color instead of colour) to be more in line with American academia.
-
- 27 Feb, 2020 2 commits
-
-
Karim El Sheikh authored
-
Karim El Sheikh authored
-
- 21 Feb, 2020 5 commits
-
-
Karim El Sheikh authored
-
Karim El Sheikh authored
-
Karim El Sheikh authored
Merge branch 'master' of https://alg-git.informatik.uni-kl.de/KarimElSheikh/k-dimensional-weisfeiler-lehman-for-group-isomorphism
-
Karim El Sheikh authored
Added run.bat, this file should be ran on Windows only, and it runs GAP and loads the file 1.g from this directory %HOMEDRIVE%%HOMEPATH%\eclipse-workspace\kWL\ This file basically runs a method that waits for "commands" from the compareColours() and compareTwo() methods present in the class 'kWLClass', the commands get written to a file named "Stream.txt" in the directory of the project (or the the working directory I guess?). Then it outputs the group number requested as a Permutation group (gets converted) in the file "Stream2.txt". Please note that it is initialized to a certain group order and gets incremented after all groups of that order are used. If you want to start running generateinvariants starting from some other order than 256 you should modify the file "1.g" to be initialized with that other order as well as the number of groups of that order (you can get them using 'NumberSmallGroups(order)'). Hopefully a more user-friendly version of this project will be uploaded in the future.
-
Karim El Sheikh authored
Updated the comparison between temp and c1_index (and c2_index) to use the equals method (instead of "=="). This is important because it turns out its necessary for correct comparison of a 'value' that comes from a large enough TreeMap<Integer, Integer> for some reason. I am weirded out by it because primitive comparison ("==") should suffice. Updated the 'main' method in the class kWLClass. Added the generateInvariants() method to the class kWLClass, this method was used to generate invariant data for each group and later compare the groups. For k=2 it detects collisions for groups of order 128. Created the class 'Checking' that was used to check for collisions in the invariant data of the groups. Renamed the name of the class holding the initial colour to 'InitialColour'. Other minor and forgotten improvements.
-
- 05 Dec, 2019 2 commits
-
-
Karim El Sheikh authored
-
Karim El Sheikh authored
kWL() method has been clarified with comments, and cleaned up for better readability. Message for the number of colour classes at the end of Round 0 is now always printed regardless whether the groups have not or have been differentiated. At the end of other Rounds it was always printed. Pairs of elements are now chosen starting from index 1 because index 0 contained the identity element. Changed one message in compareColours to be slightly more concise. Removed all extra IndexedTreeMap Subclasses, but kept a new one with generic Key and Integer Value. It is used in the kWL method, and in the Colour Class to implement multisets efficiently. Parsing the commands "kWL( ..." is now more efficient because the permutations are now passed as indices instead of a new String object. Other minor changes.
-
- 03 Dec, 2019 2 commits
-
-
Karim El Sheikh authored
-
Karim El Sheikh authored
First version of the implementation of the k-dimensional Weisfeiler-Lehman method for testing group isomorphism. Currently it is only 2-dimensional, but it should be easy to extend it to any k. Eclipse project folder is "kWL". Test examples are available in the main method of the class "kWLClass" in the file "kWLClass.java".
-
- 02 Dec, 2019 1 commit
-
-
Karim El Sheikh authored
-