HKZ algorithm