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     ! 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;