@overfullrule=0pt
[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
This section describes functions to evaluate invariants associated to (co)homology groups of the hypergeometric functions pFq
In order to use the functions in this section in OpenXM/Risa/Asir, executing the commands
load("pfpcoh.rr")$ load("pfphom.rr")$
is necessary at first.
1.0.1 pfp_omega | ||
1.0.2 pfpcoh_intersection | ||
1.0.3 pfphom_intersection | ||
1.0.4 pfphom_monodromy_pair_kyushu |
[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
pfp_omega
: It returns the Gauss-Manin connection Omega for the generalized hypergeometric function P F P-1 (aa1,aa2, ...; cc1, cc2, ...;x) .
Description:
Define a vector valued function Y of which elements are generalized hypergeometric function f_1=F and f_2=xdf_1/dx, f3=xd f_2/dx, ... It satisfies dY/dx= Omega Y. Generalized hypergeometric function is defined by the series p F p-1(aa1,aa2, ...; cc1, cc2, ...;x) = sum(k=0,infty; (aa1)_k (aa2)_k .../( (1)_k (cc1)_k (cc2)_k ... ) x^k)
Example:
pfp_omega(3);
[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
pfpcoh_intersection
: pfpcoh_intersection(P) returns an intersection matrix for cocycles associated to the generalized hypergeometric function p F_(p-1).
Description:
This program pfpcoh.rr computes an intersection matrix S of cocycles of p F p-1 and compares it with the matrix obtained by solving a differential equation for intersection matrix.
Algorithm:
Ohara, Sugiki, Takayama, Quadratic Relations for Generalized Hypergeometric Functions p F p-1
Example:
load("pfpcoh.rr")$ S=pfpcoh_intersection(3);
Author : K.Ohara
[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
pfphom_intersection
: intersection matrix of homology cycles.
Description:
Computing intersection matrix of cycles associated to p F_(p-1). As to the meaning of parameters c1, c2, c3, ..., see the paper Ohara, Kyushu J. Math. Vol. 51 PP.123.
Algorithm:
Ohara, Sugiki, Takayama, Quadratic Relations for Generalized Hypergeometric Functions p F p-1
Example:
SS = pfphom_intersection(3)$
You get the intersection matrix of homologies for 3 F 2.
Author : K.Ohara
[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
pfphom_monodromy_pair_kyushu
:
Description:
It returns the pair of monodromy matrices.
Algorithm:
Ohara, Kyushu J. Math. Vol.51 PP.123 (1997)
Example:
MP = pfphom_monodromy_pair_kyushu(3)$
You get a pair of monodromy matricies for 3F2 standing for two paths encircling 0 and 1.
[ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Jump to: | P |
---|
Jump to: | P |
---|
[Top] | [Contents] | [Index] | [ ? ] |
[Top] | [Contents] | [Index] | [ ? ] |
[Top] | [Contents] | [Index] | [ ? ] |
This document was generated on June 5, 2023 using texi2html 5.0.
The buttons in the navigation panels have the following meaning:
Button | Name | Go to | From 1.2.3 go to |
---|---|---|---|
[ << ] | FastBack | Beginning of this chapter or previous chapter | 1 |
[ < ] | Back | Previous section in reading order | 1.2.2 |
[ Up ] | Up | Up section | 1.2 |
[ > ] | Forward | Next section in reading order | 1.2.4 |
[ >> ] | FastForward | Next chapter | 2 |
[Top] | Top | Cover (top) of document | |
[Contents] | Contents | Table of contents | |
[Index] | Index | Index | |
[ ? ] | About | About (help) |
where the Example assumes that the current position is at Subsubsection One-Two-Three of a document of the following structure:
This document was generated on June 5, 2023 using texi2html 5.0.