Return to bracket_systems.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Schubert |
File: [local] / OpenXM_contrib / PHC / Ada / Schubert / bracket_systems.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:32 2000 UTC (23 years, 8 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Straightening_Syzygies; use Straightening_Syzygies; package body Bracket_Systems is function Straightening_Syzygies ( n,d : natural ) return Bracket_System is nonstd : Bracket_Polynomial := nonStandard_Monomials(n,d); res : Bracket_System(1..Number_of_Monomials(nonstd)); cnt : natural := 0; procedure Store_Syzygy ( t : in Bracket_Term; continue : out boolean ) is begin cnt := cnt+1; res(cnt) := Straightening_Syzygy(t.monom); continue := true; end Store_Syzygy; procedure Store_Syzygies is new Enumerate_Terms(Store_Syzygy); begin Store_Syzygies(nonstd); return res; end Straightening_Syzygies; procedure Clear ( s : in out Bracket_System ) is begin for i in s'range loop Clear(s(i)); end loop; end Clear; end Bracket_Systems;