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.

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.

Example:

Back to the DISCRETA-GAP interface
Back to the typical GAP-session
Last updated: July 26, 1999, Evi Haberberger