Top
Back: FeynmanIntegralA
Forward: TropCovandMaps
FastBack:
FastForward:
Up: tropicalEllipticCovers_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.25.13 DrawCovers

Procedure from library tropicalEllipticCovers.lib (see tropicalEllipticCovers_lib).

Usage:
DrawCovers(G,aa,O,t[, lw]); G graph, aa list, O list, t int,n int and lw list

Assume:
G is a Feynman graph/pearl chain, aa is a partition of the degree of the graph G, O is a given ordering of the vertices of G, t is an integer between 0 and 3 and lw is a list where the first n entries represent the leaks in G and the remaining terms tells us about the white pearls of G. NOTE: Requires pdflatex to be installed.

Return:
if n=0: C_t is a Latex file generating all the covers of an elliptic curve and if n=1: C_t is the source file that can be executed in Latex to get the covers of an elliptic curve (given an ordering O and a partition aa). The results for C_t are as follows:
C_0: returns a Latex file drawing all simply ramified covers of an elliptic curve given a fixed ordering of the vertices of G and a fixed partition of its degree. C_1: returns a Latex file drawing all covers of an elliptic curve such that G has no vertex contributions, given a fixed ordering of the vertices of G and a fixed partition of its degree.
C_2: returns a Latex file drawing all covers of an elliptic curve such that G has vertex contributions, given a fixed ordering of the vertices of G and a fixed partition of its degree.
C_3: returns a Latex file drawing all curled pearl chains of an elliptic curve given a fixed ordering of the vertices of G and a fixed partition of its degree.

Theory:
For a given ordering of the vertices of G, this function computes Latex file drawing all the covers of an elliptic curve E. If G is a pearl chain then this procedure draws the black and white pearls of G accordingly using information from list lw.
(For t=0, we get the results for simply ramified covers as in [BBM]. For t=1, 2 we get results for graphs w/o vertex contributions respectively w/ vertex contributions as in [BGM1], and for t=3 we get the results for pearl chains as in [BGM2])

Example:
 
LIB "tropicalEllipticCovers.lib";
ring r1=0, (x1,x2,x3,x4),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)));
DrawCovers(G,list(0,2,1,0,0,1), list(x2,x4,x3,x1),0,0);
//This is another example:
ring r2=0,(x1,x2,x3,z1,z2,z3),dp;
//F is graph with loops
graph F=makeGraph(list(1,2,3),list(list(1,1),list(1,2),list(2,3),list(1,3)));
DrawCovers(F,list(1,0,0,2),list(x1,x2,x3),2,0,list(0,0,0));
//Yet another example
ring r3=0,(x1,x2,x3,x4,x5),dp;
//in P vertices 1 and 3 are white, genus 2
graph P=makeGraph(list(1,2,3,4,5),list(list(1,2),list(2,3),list(3,4),list(1,4),list(1,5),list(3,5)));
DrawCovers(P,list(0,0,0,1,2,0),list(x1,x2,x3,x4,x5),3,1, list(0,0,0,0,0,1,3));


Top Back: FeynmanIntegralA Forward: TropCovandMaps FastBack: FastForward: Up: tropicalEllipticCovers_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.4.0, 2024, generated by texi2html.