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

D.4.6.4 computeConstant

Procedure from library ellipticcovers.lib (see ellipticcovers_lib).

Usage:
computeConstant(f,x); f number, x number

Assume:
f is a number in a rational function field, x is a variable of the field.

Return:
number, the constant coefficient of the Laurent series of f in the variable x.

Theory:
Computes the constant coefficient of the Laurent series by iterative differentiation.

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)));
number P = propagator(G,list(1,1,1,0,0,0));
computeConstant(P,x2);
==> (2*x1^6*x3^2+2*x1^2*x3^6)/(x3^8-4*x3^6*x4^2+6*x3^4*x4^4-4*x3^2*x4^6+x4^8)