Koetter Vardy algorithm and tests