########################## README #################################### Before you start using the library for Deligne-Lusztig Varieties, you have to take some precautions. 1. Make sure, you have installed 'python' somewhere on your PC. 2. Make sure, you have additionally installed the package 'cvxopt' somewhere on your computer. This can be found at http://cvxopt.org/ . In addition one needs BLAS/LAPACK or ATLAS installed to ensure, that 'cvxopt' runs well. 3. Make sure, you have stored the following files DL-Varieties-Package.gap3 DL-Varieties-Lib.gap3 DL-Varieties-general.gap3 DL-Varieties-conjugation.gap3 DL-Varieties-harashita.gap3 DL-Varieties-tsi.gap3 in the same direction on your PC. 4. Make sure, that you run GAP3 in the same directory, or otherwise change the string "LibDirection" at the beginning of the file 'DL-Varieties-Package.gap3' to the directory, where all the files above are stored. 5. For a first automatically test, just type the following in the command line: gap ./DL-Varieties-Package.gap3 This will create some new files in the same directory where the above files a stored. For example, this will create a file "Remaining_Elts_for_A7_2.txt" that should contain two vectors. These two are the only permutations in SS_7 = W( GL_8(FF_2)/B ), for which none of the implemented criteria apply. 6. For testing and using on your own, start GAP3 and type LibDirection := ".";; ### Here you can change the directory if needed Read( Concatenation(LibDirection,"/DL-Varieties-Lib.gap3") );; For example, you can now type in: TestAffineCombination( "A", 4, 2); or PerformanceTest( "B", 3, 2); Here 2 is the cardinality of the ground field, "A" the type of the Coxeter group, and 3 the rank of the Coxeter group. 7. Attention: Do not start more than one computation out of the same directory at once, as during the computations of the ground field depending criteria, there are files "Minimal-Solution.gap" and "DL-Varieties-LOP.py" frequently built and overwritten. ### Author: Felix Grelak 04-2014