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