These Thurston maps are NET maps for every choice of translation term. They are primitive and have degree 39. ALL THURSTON MULTIPLIERS c/d IN UNREDUCED FORM 0/13, 0/39, 1/39, 1/13, 1/3, 2/3, 1/1, 3/3, 4/3, 5/3, 2/1, 6/3, 7/3, 3/1 10/3, 11/3, 4/1, 5/1, 6/1, 7/1, 8/1, 9/1, 10/1, 11/1, 12/1, 14/1, 15/1, 16/1 17/1, 18/1, 19/1, 24/1, 25/1, 27/1, 29/1, 33/1, 36/1, 37/1 EXCLUDED INTERVALS FOR THE HALF-SPACE COMPUTATION (-infinity,-0.003397) ( 0.003360,infinity ) 1/0 is the slope of a Thurston obstruction with c = 37 and d = 1. These NET maps are not rational. SLOPE FUNCTION INFORMATION NUMBER OF FIXED POINTS: 1 EQUATOR? FIXED POINT c d 0 lambda1 lambda2 lambda1+lambda2 1/0 37 1 No No No No NUMBER OF EQUATORS: 0 0 0 0 There are no more slope function fixed points. Number of excluded intervals computed by the fixed point finder: 60 No nontrivial cycles were found. The slope function maps some slope to the nonslope. If the slope function maps slope s to a slope s' and if the intersection pairing of s with 1/0 is n, then the intersection pairing of s' with 1/0 is at most n. The slope function orbit of every slope whose intersection pairing with 1/0 is at most 50 ends in either the nonslope or one of the slopes described above. FUNDAMENTAL GROUP WREATH RECURSIONS When the translation term of the affine map is 0: NewSphereMachine( "a=(1,38)(2,37)(3,36)(4,35)(5,34)(6,33)(7,32)(8,31)(9,30)(10,29)(11,28)(12,27)(13,26)(14,25)(15,24)(16,23)(17,22)(18,21)(19,20)", "b=(1,39)(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "c=(1,39)(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "d=(1,38)(2,37)(3,36)(4,35)(5,34)(6,33)(7,32)(8,31)(9,30)(10,29)(11,28)(12,27)(13,26)(14,25)(15,24)(16,23)(17,22)(18,21)(19,20)", "a*b*c*d"); When the translation term of the affine map is lambda1: NewSphereMachine( "a=<1,1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c>(1,2)(3,39)(4,38)(5,37)(6,36)(7,35)(8,34)(9,33)(10,32)(11,31)(12,30)(13,29)(14,28)(15,27)(16,26)(17,25)(18,24)(19,23)(20,22)", "b=<1,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1>(2,39)(3,38)(4,37)(5,36)(6,35)(7,34)(8,33)(9,32)(10,31)(11,30)(12,29)(13,28)(14,27)(15,26)(16,25)(17,24)(18,23)(19,22)(20,21)", "c=<1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c*d>(2,39)(3,38)(4,37)(5,36)(6,35)(7,34)(8,33)(9,32)(10,31)(11,30)(12,29)(13,28)(14,27)(15,26)(16,25)(17,24)(18,23)(19,22)(20,21)", "d=<1,a,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,c*b*c^-1,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c>(1,2)(3,39)(4,38)(5,37)(6,36)(7,35)(8,34)(9,33)(10,32)(11,31)(12,30)(13,29)(14,28)(15,27)(16,26)(17,25)(18,24)(19,23)(20,22)", "a*b*c*d"); When the translation term of the affine map is lambda2: NewSphereMachine( "a=<1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c*d>(2,39)(3,38)(4,37)(5,36)(6,35)(7,34)(8,33)(9,32)(10,31)(11,30)(12,29)(13,28)(14,27)(15,26)(16,25)(17,24)(18,23)(19,22)(20,21)", "b=(1,39)(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "c=(1,39)(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "d=<1,d*a^2*b,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,d*a*c^-1,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*b*c,c*d*b*c>(2,39)(3,38)(4,37)(5,36)(6,35)(7,34)(8,33)(9,32)(10,31)(11,30)(12,29)(13,28)(14,27)(15,26)(16,25)(17,24)(18,23)(19,22)(20,21)", "a*b*c*d"); When the translation term of the affine map is lambda1+lambda2: NewSphereMachine( "a=(1,39)(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "b=<1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c^-1,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c,c*d>(2,39)(3,38)(4,37)(5,36)(6,35)(7,34)(8,33)(9,32)(10,31)(11,30)(12,29)(13,28)(14,27)(15,26)(16,25)(17,24)(18,23)(19,22)(20,21)", "c=<1,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1,b^-1>(2,39)(3,38)(4,37)(5,36)(6,35)(7,34)(8,33)(9,32)(10,31)(11,30)(12,29)(13,28)(14,27)(15,26)(16,25)(17,24)(18,23)(19,22)(20,21)", "d=(1,39)(2,38)(3,37)(4,36)(5,35)(6,34)(7,33)(8,32)(9,31)(10,30)(11,29)(12,28)(13,27)(14,26)(15,25)(16,24)(17,23)(18,22)(19,21)", "a*b*c*d");