Ludic numbers: Difference between revisions

m
Line 626:
 
make (n: INTEGER)
-- Initialized arrays for find_ludic_numbers.
-- Initial Array filled with the numbers from 1 to n and Ludic_numbers filled with 1's.
require
n_positive: n > 0
Anonymous user