In some recent tidal potentials, the amplitudes of the tidal waves include time terms, it means that the amplitudes are time dependent, so they can not be counted as fully harmonic developments.

The author makes use of the logic function of the computer and programs, to acquire strict expansion of some formulae of tidal potential according to astronomical basics.