The Babai rounding technique will be used to compute the term formula _ 17 as long as it is small enough . Finally remove
The Babai rounding technique will be used to remove the term formula _ 17 as long as it is small enough . Finally compute