Up to [local] / OpenXM / src / asir-contrib / packages / src / mt_gkz
Request diff between arbitrary revisions
Default branch: MAIN
Current tag: MAIN
Revision 1.1 / (download) - annotate - [select for diffs], Wed Oct 27 06:13:24 2021 UTC (2 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
mt_gkz.use_hilbert_driven(Rank) assumes the rank is Rank. It makes yang.buchberger faster. mt_gkz.cbase_by_euler(A) gives a cohomology basis by the algorithm of Hibi-Nishiyama-Takayama.