* time_lw_H.cpp (test): Simplification of Hilbert determinant formula.