do_LLL(km, lambda);

This function calls the LLL-solver of Alfred Wassermann for a given KM-file and a given integer lambda. The KM-file is specified as a string (in this case km) holding the filename.

Return Values:
This function returns nothing. The solution vectors are stored in a file "solution" in the current directory (as 0,1 vectors in ASCII). These solutions can be transfered into the KM-file by a call to get_solutions_from_solver.

Example: We may assume that km holds the string "KM_PGGL_2_32_t5_k6.txt" from the previous example. 

gap> do_LLL(km, 12);
discreta_batch do_LLL 1 KM_PGGL_2_32_t5_k6.txt 20 120 14 12 
gap>
This call computes the 54 solutions corresponding to 5-(33,6,12) designs with PGGL(2,32) as automorphism group.

do_LLL1(f_with, KM_fname, c0, beta, p, lambda);

This function calls the LLL-solver of Alfred Wassermann for a given KM-file and a given integer lambda. The KM-file is specified as a string (in this case km) holding the filename.

Compared to do_LLL (see above), this function takes the additional arguments f_with, c0, beta and p. All are integer parameters, f_with boolean. if f_with is true, the solution file will be written. c0, beta and p are parameters for the LLL part of the solver.

Return Values:
This function returns nothing. The solution vectors are stored in a file "solution" in the current directory (as 0,1 vectors in ASCII). These solutions can be transfered into the KM-file by a call to get_solutions_from_solver.

Example: 







 do_McKay(km, lambda); 
 
 

This function calls the backtrack-solver of 
Brendan D. McKay
for a given 
KM-file and a given integer lambda. The 
KM-file is specified as a string (in this case km) holding the filename.
We may assume that km holds the string "KM_PGGL_2_32_t5_k6.txt" 
from the previous example. 




This function is an alternative to the LLL-solver.
This solver is good for small values of lambda and if there are only few rows in the 
Kramer-Mesner system. 




Return Values: 

This function returns nothing. The solution vectors are stored in a file "solution" in the 
current directory (as 0,1 vectors in ASCII). These solutions can be 
transfered into the KM-file by a call to 

get_solutions_from_solver.



Example:









 Back 
to the DISCRETA-GAP interface 


 Back to the typical GAP-session 


Last updated: July 26, 1999,  Evi Haberberger