Return to ts_local.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Schubert

Annotation of OpenXM_contrib/PHC/Ada/Schubert/ts_local.adb, Revision 1.1.1.1

1.1       maekawa     1: with text_io,integer_io;                 use text_io,integer_io;
                      2: with Standard_Integer_Matrices;          use Standard_Integer_Matrices;
                      3: with Standard_Integer_Matrices_io;       use Standard_Integer_Matrices_io;
                      4: with Symbol_Table;
                      5: with Standard_Complex_Polynomials;       use Standard_Complex_Polynomials;
                      6: with Standard_Complex_Polynomials_io;    use Standard_Complex_Polynomials_io;
                      7: with Brackets,Brackets_io;               use Brackets,Brackets_io;
                      8: with Bracket_Expansions;                 use Bracket_Expansions;
                      9: with Matrix_Indeterminates;
                     10:
                     11: procedure ts_local is
                     12:
                     13:   procedure Main is
                     14:
                     15:     n,d : natural;
                     16:     ans : character;
                     17:
                     18:   begin
                     19:     put("Give n, the dimension of the space : "); get(n);
                     20:     put("Give d, the dimension of the plane : "); get(d);
                     21:     declare
                     22:       locmap : Matrix(1..n,1..d) := Localization_Map(n,d);
                     23:       b : Bracket(1..d);
                     24:       e : Poly;
                     25:     begin
                     26:       put_line("The localization map : "); put(locmap);
                     27:       loop
                     28:         Matrix_Indeterminates.Initialize_Symbols(n,d);
                     29:         put("Give "); put(d,1); put(" numbers for a bracket : "); get(b);
                     30:         e := Expand(locmap,b);
                     31:         put("The expansion of minor "); put(b);
                     32:         put_line(" following the localization map : ");
                     33:         put(e); new_line;
                     34:         Matrix_Indeterminates.Reduce_Symbols(locmap);
                     35:         Reduce_Variables(locmap,e);
                     36:         put_line("The expansion polynomial in reduced format : ");
                     37:         put(e); new_line;
                     38:         put("Do you wish to give other brackets ? (y/n) "); get(ans);
                     39:         exit when (ans /= 'y');
                     40:         Matrix_Indeterminates.Clear_Symbols;
                     41:       end loop;
                     42:     end;
                     43:   end Main;
                     44:
                     45: begin
                     46:   new_line;
                     47:   put_line("Test of setting up a spanning localization.");
                     48:   new_line;
                     49:   Main;
                     50: end ts_local;