Return to bracket_systems.adb CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Schubert/bracket_systems.adb, Revision 1.1

1.1     ! maekawa     1: with Straightening_Syzygies;             use Straightening_Syzygies;
        !             2:
        !             3: package body Bracket_Systems is
        !             4:
        !             5:   function Straightening_Syzygies ( n,d : natural ) return Bracket_System is
        !             6:
        !             7:     nonstd : Bracket_Polynomial := nonStandard_Monomials(n,d);
        !             8:     res : Bracket_System(1..Number_of_Monomials(nonstd));
        !             9:     cnt : natural := 0;
        !            10:
        !            11:     procedure Store_Syzygy ( t : in Bracket_Term; continue : out boolean ) is
        !            12:     begin
        !            13:       cnt := cnt+1;
        !            14:       res(cnt) := Straightening_Syzygy(t.monom);
        !            15:       continue := true;
        !            16:     end Store_Syzygy;
        !            17:     procedure Store_Syzygies is new Enumerate_Terms(Store_Syzygy);
        !            18:
        !            19:   begin
        !            20:     Store_Syzygies(nonstd);
        !            21:     return res;
        !            22:   end Straightening_Syzygies;
        !            23:
        !            24:   procedure Clear ( s : in out Bracket_System ) is
        !            25:   begin
        !            26:     for i in s'range loop
        !            27:       Clear(s(i));
        !            28:     end loop;
        !            29:   end Clear;
        !            30:
        !            31: end Bracket_Systems;