Enter the size of the matrix (a power of 2) and size of the field (a prime number). GENERATE generates random A, B, and AB. CONFIDENCE is used to enter the confidence to be used by the checkers. It is possible to use three types of SELF-TESTERs based on: (i) Frievald's checker, (ii) bootstrapping idea, and (iii) the generator bottleneck. SELF-CORRECTOR uses the program, if it is mostly correct, to compute the correct value of AB. CHECKER combines the self-tester and self-corrector to output ``PASS'' or ``FAIL''.



source file.