CVS log for OpenXM/src/asir-contrib/packages/doc/mt_gkz/mt_gkz-en.texi

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

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.8 / (download) - annotate - [select for diffs], Sun Feb 13 05:59:56 2022 UTC (2 years, 10 months ago) by takayama
Branch: MAIN
CVS Tags: HEAD
Changes since 1.7: +21 -4 lines
Diff to previous 1.7 (unified)

A new function contiguity_by_fvec.
[3366] Fvec411=mt_gkz.rvec_to_fvec(Rvec411=[[1,1,0]],
                    A=[[1,1,1],[1,0,1],[0,1,1]],
                    Ap=[[1,1,1],[0,0,0],[0,0,0]],
                    Beta=[eps,-eps*del,-eps*del])$
Fvec411d=[mt_gkz.dmul(dx1,Fvec411[0],[x1,x2,x3])];
 [(dx1^2*dx2)/(eps^2-eps)]
[3367] mt_gkz.contiguity_by_fvec(A,Beta,Ap,Fvec411d,Fvec411);
 1 .ooo
[ ((del+1)*eps-1)/(x1) ]

Revision 1.7 / (download) - annotate - [select for diffs], Thu Jan 13 02:38:00 2022 UTC (2 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.6: +2 -2 lines
Diff to previous 1.6 (unified)

Fixed a typo.

Revision 1.6 / (download) - annotate - [select for diffs], Sat Dec 11 11:40:45 2021 UTC (3 years ago) by takayama
Branch: MAIN
Changes since 1.5: +57 -3 lines
Diff to previous 1.5 (unified)

mt_gkz.contiguity(A,Beta,Ap, R1,R2) returns the coefficient matrix P such that R1=P*R2
where R1, R2 are Rvec expressions of cocycles.

Revision 1.5 / (download) - annotate - [select for diffs], Wed Oct 27 06:13:24 2021 UTC (3 years, 2 months ago) by takayama
Branch: MAIN
Changes since 1.4: +15 -1 lines
Diff to previous 1.4 (unified)

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.

Revision 1.4 / (download) - annotate - [select for diffs], Mon Mar 29 05:08:01 2021 UTC (3 years, 8 months ago) by takayama
Branch: MAIN
Changes since 1.3: +2 -2 lines
Diff to previous 1.3 (unified)

The argument of @setfilname should start with asir-contrib-
xxxyyy_toc.html ==> xxxyyy.html
auto-search of browser for helph().

Revision 1.3 / (download) - annotate - [select for diffs], Tue Mar 2 10:57:17 2021 UTC (3 years, 9 months ago) by takayama
Branch: MAIN
Changes since 1.2: +22 -20 lines
Diff to previous 1.2 (unified)

Bug fix of leading terms. It returned a wrong answer in non-unimodular cases.
Test inputs are
def test5b_1(){
  A=[[1,1,1,1,1],[3,2,2,2,1],[0,1,-1,0,0]];
  Beta=[1/2,1/3,1/5];
  Xrule=[[x1,1],[x2,1],[x3,1]];
  Q1=[1,2,0];
  K=1;
  N=6;
  W=[-1,-2,0,0,0];
  return mt_gkz.leading_terms(A,Beta,W,Q1,Q1,K,N|xrule=Xrule);
}
//bug(2021/02/15)
//T=[[2,3,5],[1,2,3]]
//standard pairs=[[[[0,0],[0,1]],[2,3,5]],[[[0,0],[1,0]],[1,2,3]]]
//bug fixed(2021/02/15)

def test5b_2(){
  A=[[1,1,1,1,1],[3,2,2,2,1],[0,1,-1,0,0]];
  Beta=[1/2,1/3,1/5];
  Xrule=[[x1,1],[x2,1],[x3,1]];
  Q1=[1,2,0];
  K=1;
  N=9;
  W=[-1,-2,0,4,0];
  return mt_gkz.leading_terms(A,Beta,W,Q1,Q1,K,N|xrule=Xrule);
}
//non-unimodular triangulation
//T=[[2,3,5],[1,2,3]]
//standard pairs=[[[[0,0],[0,1]],[2,3,5]],[[[0,0],[1,0]],[1,2,3]]]

Revision 1.2 / (download) - annotate - [select for diffs], Wed Jan 20 08:17:54 2021 UTC (3 years, 11 months ago) by takayama
Branch: MAIN
Changes since 1.1: +17 -8 lines
Diff to previous 1.1 (unified)

Added a link from the top.

Revision 1.1 / (download) - annotate - [select for diffs], Wed Jan 20 03:05:29 2021 UTC (3 years, 11 months ago) by takayama
Branch: MAIN

mt_gkz.rr is a package for cohomology intersection matrix and Pfaffian equation
for GKZ hypergeometric system (A-hg system).

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.