with text_io,integer_io; use text_io,integer_io;
with Communications_with_User; use Communications_with_User;
with Driver_for_Pieri_Homotopies;
with Driver_for_Quantum_Pieri;
procedure ts_pieri is
-- DESCRIPTION :
-- Simply calls the driver for the Pieri homotopies.
procedure Main is
n,d,q : natural;
file : file_type;
begin
new_line;
put_line("Pieri Homotopies for linear subspace intersections.");
new_line;
put_line("Reading the name of the output file.");
Read_Name_and_Create_File(file);
new_line;
put("Give n = m+p, dimension of working space : "); get(n);
put("Give p, the dimension of the solution planes : "); get(d);
put("Give q, degree of map (q=0 : simple Pieri) : "); get(q);
put(file,"Pieri Homotopies for n = "); put(file,n,1);
put(file," p = "); put(file,d,1);
put(file," and q = "); put(file,q,1); new_line(file);
if q = 0
then Driver_for_Pieri_Homotopies(file,n,d);
else Driver_for_Quantum_Pieri(file,n,d,q);
end if;
end Main;
begin
Main;
end ts_pieri;