Home Online Manual
Top
Back: gromovWitten
Forward: partitions
FastBack:
FastForward:
Up: ellipticcovers_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.6.7 computeGromovWitten

Procedure from library ellipticcovers.lib (see ellipticcovers_lib).

Usage:
computeGromovWitten(G, d, st, en [, vb] ); G graph, d int, st int, en int, optional: vb int

Assume:
G is a Feynman graph, d a non-negative integer, st specified the start- and en the end partition in the list pa = partition(d). Specifying a positive optional integer vb leads to intermediate printout.
We assume that the coefficient ring has one rational variable for each vertex of G.

Return:
list L, where L[i] is gromovWitten(G,pa[i]) and all others are zero.

Theory:
This function does essentially the same as the function gromovWitten, but is designed for handling complicated examples. Eventually it will also run in parallel.

Example:
 
LIB "ellipticcovers.lib";
ring R=(0,x1,x2,x3,x4),(q1,q2,q3,q4,q5,q6),dp;
graph G = makeGraph(list(1,2,3,4),list(list(1,3),list(1,2),list(1,2),list(2,4),list(3,4),list(3,4)));
partitions(6,2);
==> [1]:
==>    0,0,0,0,0,2
==> [2]:
==>    0,0,0,0,1,1
==> [3]:
==>    0,0,0,0,2,0
==> [4]:
==>    0,0,0,1,0,1
==> [5]:
==>    0,0,0,1,1,0
==> [6]:
==>    0,0,0,2,0,0
==> [7]:
==>    0,0,1,0,0,1
==> [8]:
==>    0,0,1,0,1,0
==> [9]:
==>    0,0,1,1,0,0
==> [10]:
==>    0,0,2,0,0,0
==> [11]:
==>    0,1,0,0,0,1
==> [12]:
==>    0,1,0,0,1,0
==> [13]:
==>    0,1,0,1,0,0
==> [14]:
==>    0,1,1,0,0,0
==> [15]:
==>    0,2,0,0,0,0
==> [16]:
==>    1,0,0,0,0,1
==> [17]:
==>    1,0,0,0,1,0
==> [18]:
==>    1,0,0,1,0,0
==> [19]:
==>    1,0,1,0,0,0
==> [20]:
==>    1,1,0,0,0,0
==> [21]:
==>    2,0,0,0,0,0
computeGromovWitten(G,2,3,7);
==> [1]:
==> 0
==> [2]:
==> 0
==> [3]:
==> 0
==> [4]:
==> 0
==> [5]:
==> 0
==> [6]:
==> 8
==> [7]:
==> 0
==> [8]:
==> 0
==> [9]:
==> 0
==> [10]:
==> 0
==> [11]:
==> 0
==> [12]:
==> 0
==> [13]:
==> 0
==> [14]:
==> 0
==> [15]:
==> 0
==> [16]:
==> 0
==> [17]:
==> 0
==> [18]:
==> 0
==> [19]:
==> 0
==> [20]:
==> 0
==> [21]:
==> 0
computeGromovWitten(G,2,3,7,1);
==> 21
==> 3 / 21    0,0,0,0,2,0     0      0     0
==> 4 / 21    0,0,0,1,0,1     0      0     1
==> 5 / 21    0,0,0,1,1,0     0      0     0
==> 6 / 21    0,0,0,2,0,0     8      8     0
==> 7 / 21    0,0,1,0,0,1     0      8     1
==> [1]:
==> 0
==> [2]:
==> 0
==> [3]:
==> 0
==> [4]:
==> 0
==> [5]:
==> 0
==> [6]:
==> 8
==> [7]:
==> 0
==> [8]:
==> 0
==> [9]:
==> 0
==> [10]:
==> 0
==> [11]:
==> 0
==> [12]:
==> 0
==> [13]:
==> 0
==> [14]:
==> 0
==> [15]:
==> 0
==> [16]:
==> 0
==> [17]:
==> 0
==> [18]:
==> 0
==> [19]:
==> 0
==> [20]:
==> 0
==> [21]:
==> 0