OpenXM/src/asir-contrib/packages/src/mt_gkz.rr - view

Return to mt_gkz.rr CVS log

Up to [local] / OpenXM / src / asir-contrib / packages / src

File: [local] / OpenXM / src / asir-contrib / packages / src / mt_gkz.rr (download)

Revision 1.2, Wed Oct 27 06:13:24 2021 UTC (2 years, 7 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +2 -1 lines

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.

/* $OpenXM: OpenXM/src/asir-contrib/packages/src/mt_gkz.rr,v 1.2 2021/10/27 06:13:24 takayama Exp $ */
load("mt_gkz/saito-b.rr")$
load("mt_gkz/Imp3.rr")$
load("mt_gkz/hnt_cohom_base.rr")$
end$