Return to driver_for_sagbi_homotopies.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Schubert |
1.1 maekawa 1: with text_io; use text_io; 2: 3: procedure Driver_for_SAGBI_Homotopies 4: ( file : in file_type; n,d : in natural ); 5: 6: -- DESCRIPTION : 7: -- Computes the intersection of (n-d)-planes in n-space. 8: -- To obtain a complete intersection, (n-d)*d planes are needed.