with text_io; use text_io; procedure Driver_for_SAGBI_Homotopies ( file : in file_type; n,d : in natural ); -- DESCRIPTION : -- Computes the intersection of (n-d)-planes in n-space. -- To obtain a complete intersection, (n-d)*d planes are needed.