Les requérants au principal, des sociétés portugaises de fabrication et d'exploitation de machines à sous, demandaient à la justice portugaise de reconnaître leur droit à exploiter des jeux de hasard en dehors des zones de jeu et de mettre fin au monopole des casinos.
La détermination de la divisibilité exacte du spectre de Walsh d'une fonction puissance revient donc à tester environ 2n-1 ln valeurs de u, le test de chacune d'entre elles demandant une multiplication modulaire et deux calculs de poids.
Bien entendu cette erreur a affecté nos résultats car la dose réellement déposée était bien supérieure à la dose demandée.