Return to bracket_systems.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/bracket_systems.ads, Revision 1.1.1.1

1.1       maekawa     1: with Bracket_Polynomials;                use Bracket_Polynomials;
                      2:
                      3: package Bracket_Systems is
                      4:
                      5: -- DESCRIPTION :
                      6: --   This package contains routines to manipulate systems of
                      7: --   bracket polynomials.
                      8:
                      9:   type Bracket_System is array ( integer range <> ) of Bracket_Polynomial;
                     10:
                     11:   function Straightening_Syzygies ( n,d : natural ) return Bracket_System;
                     12:
                     13:   -- DESCRIPTION :
                     14:   --   Returns the system of straightening syzygies that forms a Groebner
                     15:   --   basis for the ideal of all d-planes in n-space.
                     16:
                     17:   procedure Clear ( s : in out Bracket_System );
                     18:
                     19:   -- DESCRIPTION :
                     20:   --   Deallocates the space occupied by the bracket system.
                     21:
                     22: end Bracket_Systems;