Amicable Orthogonal Designs-Existence

Definition. An orthogonal design in order n and of type (u1, … , us) on the commuting variables x1, . . . , xs is an n X n matrix, X, with entries from the set ﹛0, ±x1, … , ±xs﹜ such that