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

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;