Clear();
Print ("Beginning demo program: test_3_1.txt\n\n");
Print ("This demonstrates the use of the following procedures:\n");
Print ("   Verify( parameters, group_id, difset ) \n");
Print ("   IncidenceMatrix_Parameters( parameters, group_id, difset ) \n");
Print ("   MultiplierGroup( parameters, group_id, difset) \n\n");
Sleep(5);

# Let's begin by testing out a known difference set
# and a set that is not a difference set.

group_id   := 1;
parameters := [7,3,1];
difset     := [2,3,5];

Print ("   Let's begin by testing out a known difference set and a\n");
Print ("set that is not a difference set.\n");
Print ("   group_id   := 1;;\n");
Print ("   parameters := [7,3,1];;\n");
Print ("   difset     := [2,3,5];;\n\n");
Sleep(8);

Print ("Verify( parameters, group_id, difset );\n");
result := Verify(parameters, group_id, difset);
Print (result, "\n\n");
Sleep(5);

Print ("Verify( [8,3,1], group_id, difset);\n");
result := Verify([8,3,1], group_id, difset);
Print(result, "\n\n");
Sleep(5);


# Now let's construct some Incidence Matricies

m := IncidenceMatrix_Parameters(parameters, group_id, difset);

Print ("Now let's construct some Incidence Matricies:\n");
Print ("   m := IncidenceMatrix_Parameters(parameters, group_id, difset);\n\n");
PrintArray (m);
Print ("\n\n");
Sleep(8);


# Okay, let's find out the mutliplier group

m := MultiplierGroup(parameters, group_id, difset);

Print ("Okay, let's find out the multiplier group:\n");
Print ("   m := MultiplierGroup(parameters, group_id, difset);;\n");
Print ("   IdGroup(m);\n\n");

idg := IdGroup(m);
Print (idg, "\n\n");