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;