# The value of n is the rank of the free group # which represents the fundamental group of the base # of the projection defining the braid monodromy. # That is, the fundamental group of the affine line # minus the images of the special fibers. n:=5;; # The lists "pr" and "otro" are ordered representatives of # the braid monodromies of the curves, where # a,b are the standard generators of the braid group pr:=[b^8,cnj(b^4,a^2),cnj(b^3,a^3),b^(a^3),cnj(a^-3*b*a^2,b^4)]; otro:=[cnj(b^-2,a^8),(a^2)^(b^3*a^2*b^3),b^3,cnj(a^-2/b^3*a^2*b^2*a^4,b),(b^4)^(a^2)]; # We consider the pseudo-Coxeter elements of "pr" and "otro". totpr:=prdct(pr); tototro:=prdct(otro);