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.

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:

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