-- test_4d.ads  just the test function and derivatives
--              fourth order and through fourth derivative
-- u(x,y,z,t) and ux(x,y,z,t) etc.  many of them

-- every possible term with a unique constant coefficient
with real_arrays;
use  real_arrays;

package Test_4d is -- a function u and all of its derivatives

function u(x : real; y : real; z : real; t : real) return real;

-- now, for testing, the 69 possible non zero derivatives

function Uxxxx(x : real; y : real; z : real; t : real) return real;
function Uxxxy(x : real; y : real; z : real; t : real) return real;
function Uxxxz(x : real; y : real; z : real; t : real) return real;
function Uxxxt(x : real; y : real; z : real; t : real) return real;
function Uxxyy(x : real; y : real; z : real; t : real) return real;
function Uxxyz(x : real; y : real; z : real; t : real) return real;
function Uxxyt(x : real; y : real; z : real; t : real) return real;
function Uxxzz(x : real; y : real; z : real; t : real) return real;
function Uxxzt(x : real; y : real; z : real; t : real) return real;
function Uxxtt(x : real; y : real; z : real; t : real) return real;
function Uxyyy(x : real; y : real; z : real; t : real) return real;
function Uxyyz(x : real; y : real; z : real; t : real) return real;
function Uxyyt(x : real; y : real; z : real; t : real) return real;
function Uxyzz(x : real; y : real; z : real; t : real) return real;
function Uxyzt(x : real; y : real; z : real; t : real) return real;
function Uxytt(x : real; y : real; z : real; t : real) return real;
function Uxzzz(x : real; y : real; z : real; t : real) return real;
function Uxzzt(x : real; y : real; z : real; t : real) return real;
function Uxztt(x : real; y : real; z : real; t : real) return real;
function Uxttt(x : real; y : real; z : real; t : real) return real;
function Uyyyy(x : real; y : real; z : real; t : real) return real;
function Uyyyz(x : real; y : real; z : real; t : real) return real;
function Uyyyt(x : real; y : real; z : real; t : real) return real;
function Uyyzz(x : real; y : real; z : real; t : real) return real;
function Uyyzt(x : real; y : real; z : real; t : real) return real;
function Uyytt(x : real; y : real; z : real; t : real) return real;
function Uyzzz(x : real; y : real; z : real; t : real) return real;
function Uyzzt(x : real; y : real; z : real; t : real) return real;
function Uyztt(x : real; y : real; z : real; t : real) return real;
function Uyttt(x : real; y : real; z : real; t : real) return real;
function Uzzzz(x : real; y : real; z : real; t : real) return real;
function Uzzzt(x : real; y : real; z : real; t : real) return real;
function Uzztt(x : real; y : real; z : real; t : real) return real;
function Uzttt(x : real; y : real; z : real; t : real) return real;
function Utttt(x : real; y : real; z : real; t : real) return real;
function Uxxx(x : real; y : real; z : real; t : real) return real;
function Uxxy(x : real; y : real; z : real; t : real) return real;
function Uxxz(x : real; y : real; z : real; t : real) return real;
function Uxxt(x : real; y : real; z : real; t : real) return real;
function Uxyy(x : real; y : real; z : real; t : real) return real;
function Uxyz(x : real; y : real; z : real; t : real) return real;
function Uxyt(x : real; y : real; z : real; t : real) return real;
function Uxzz(x : real; y : real; z : real; t : real) return real;
function Uxzt(x : real; y : real; z : real; t : real) return real;
function Uxtt(x : real; y : real; z : real; t : real) return real;
function Uyyy(x : real; y : real; z : real; t : real) return real;
function Uyyz(x : real; y : real; z : real; t : real) return real;
function Uyyt(x : real; y : real; z : real; t : real) return real;
function Uyzz(x : real; y : real; z : real; t : real) return real;
function Uyzt(x : real; y : real; z : real; t : real) return real;
function Uytt(x : real; y : real; z : real; t : real) return real;
function Uzzz(x : real; y : real; z : real; t : real) return real;
function Uzzt(x : real; y : real; z : real; t : real) return real;
function Uztt(x : real; y : real; z : real; t : real) return real;
function Uttt(x : real; y : real; z : real; t : real) return real;
function Uxx(x : real; y : real; z : real; t : real) return real;
function Uxy(x : real; y : real; z : real; t : real) return real;
function Uxz(x : real; y : real; z : real; t : real) return real;
function Uxt(x : real; y : real; z : real; t : real) return real;
function Uyy(x : real; y : real; z : real; t : real) return real;
function Uyz(x : real; y : real; z : real; t : real) return real;
function Uyt(x : real; y : real; z : real; t : real) return real;
function Uzz(x : real; y : real; z : real; t : real) return real;
function Uzt(x : real; y : real; z : real; t : real) return real;
function Utt(x : real; y : real; z : real; t : real) return real;
function Ux(x : real; y : real; z : real; t : real) return real;
function Uy(x : real; y : real; z : real; t : real) return real;
function Uz(x : real; y : real; z : real; t : real) return real;
function Ut(x : real; y : real; z : real; t : real) return real;

end Test_4d;