Magma V2.19-8 Tue Aug 20 2013 23:50:57 on localhost [Seed = 3920593638] Type ? for help. Type -D to quit. Loading file "L13a4382__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4382 geometric_solution 9.57225673 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1302 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -11 11 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240912233788 0.396659379549 0 4 5 0 0132 0132 0132 2031 1 1 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 -11 0 0 0 0 1 -1 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.034809849445 0.540737252136 4 4 6 0 0132 1230 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 5 -4 0 -1 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240912233788 0.396659379549 7 6 0 5 0132 2031 0132 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032716096097 0.998115126882 2 1 2 8 0132 0132 3012 0132 1 1 1 0 0 1 -1 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 0 0 0 1 -1 0 11 0 -11 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.118558724529 1.841694805960 7 9 3 1 3120 0132 2031 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587359523338 0.437787632234 3 8 10 2 1302 2031 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 11 0 -10 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925201739091 0.480930745468 3 10 10 5 0132 2031 1023 3120 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.437363975921 0.692819231671 6 11 4 11 1302 0132 0132 2310 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403555000650 0.290664891054 11 5 11 10 2310 0132 0132 3201 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450808140919 0.973802799192 7 9 7 6 1302 2310 1023 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.063107515441 1.302273996368 8 8 9 9 3201 0132 3201 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543095480830 0.197093000534 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_1'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_3'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_5'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : negation(d['c_0101_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_9'], 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_6']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_6'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0101_7, c_0101_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1028454740988881500259394312839019/54997447217815921203782049894062\ 5*c_1001_1^15 - 255002381063265568192315045172362/43997957774252736\ 96302563991525*c_1001_1^14 + 1765575620658825465295789506379009/628\ 5422539178962423289377130750*c_1001_1^13 + 167158975355613545543842742779401541/109994894435631842407564099788\ 1250*c_1001_1^12 + 587172796846131656908487089710821064/54997447217\ 8159212037820498940625*c_1001_1^11 + 515267703949307675023217893449970948/549974472178159212037820498940\ 625*c_1001_1^10 + 24683288350285046956068147798833974/1099948944356\ 31842407564099788125*c_1001_1^9 + 759993399608211661407041359160772\ 992/549974472178159212037820498940625*c_1001_1^8 - 632638043906782084280040172857971606/549974472178159212037820498940\ 625*c_1001_1^7 + 169243443162784672969206069416414662/5499744721781\ 59212037820498940625*c_1001_1^6 + 505102987887596538133569924835259\ 67/157135563479474060582234428268750*c_1001_1^5 - 1430519976910171866970229432812253/11223968819962432898731030590625\ *c_1001_1^4 - 3942367249744737413471059772094856/549974472178159212\ 037820498940625*c_1001_1^3 - 4764050366439087503867284561081821/157\ 135563479474060582234428268750*c_1001_1^2 - 74435181465867339839383008142540723/1099948944356318424075640997881\ 250*c_1001_1 + 4074644833115540217888976118152926/10999489443563184\ 2407564099788125, c_0011_0 - 1, c_0011_10 + 3446846878017949458781095/26381626607256925176450691*c_1001\ _1^15 + 109443258239778321357994121/26381626607256925176450691*c_10\ 01_1^14 - 62168780194943510908906419/3768803801036703596635813*c_10\ 01_1^13 - 623347314750072368133108607/26381626607256925176450691*c_\ 1001_1^12 - 342080779849088066135439089/3768803801036703596635813*c\ _1001_1^11 - 3437990141508951704793740059/2638162660725692517645069\ 1*c_1001_1^10 - 2724699881773191941988094374/2638162660725692517645\ 0691*c_1001_1^9 - 4125449070105230702604224414/26381626607256925176\ 450691*c_1001_1^8 - 617053481714195130332377180/2638162660725692517\ 6450691*c_1001_1^7 - 623713930849685674338687393/263816266072569251\ 76450691*c_1001_1^6 - 859011264312521243657626745/26381626607256925\ 176450691*c_1001_1^5 - 476934045308534545487997400/2638162660725692\ 5176450691*c_1001_1^4 - 257650708565853667853472576/263816266072569\ 25176450691*c_1001_1^3 + 7346807744718385126661514/3768803801036703\ 596635813*c_1001_1^2 + 83367615565691466766879383/26381626607256925\ 176450691*c_1001_1 - 18172203159129064835253144/2638162660725692517\ 6450691, c_0011_11 - 1, c_0011_3 + 10458542113190160233442916/184671386250798476235154837*c_100\ 1_1^15 + 335329769328567565981723083/184671386250798476235154837*c_\ 1001_1^14 - 174308596995987299316957835/26381626607256925176450691*\ c_1001_1^13 - 2396092735852570691006361192/184671386250798476235154\ 837*c_1001_1^12 - 7419039834790520912552237102/18467138625079847623\ 5154837*c_1001_1^11 - 12363716334673617810740899942/184671386250798\ 476235154837*c_1001_1^10 - 9726579145657717316306156193/18467138625\ 0798476235154837*c_1001_1^9 - 13266462336386021455350674577/1846713\ 86250798476235154837*c_1001_1^8 - 5146429418467935521835633201/1846\ 71386250798476235154837*c_1001_1^7 - 243581775895004569514554480/184671386250798476235154837*c_1001_1^6 - 703672281929915825639068926/26381626607256925176450691*c_1001_1^5 - 290276274618468554582656065/26381626607256925176450691*c_1001_1^4 - 937698195324621976025132393/184671386250798476235154837*c_1001_1^3 - 1868468943646338165463398/26381626607256925176450691*c_1001_1^2 + 441336450432388738081434193/184671386250798476235154837*c_1001_1 - 114692985031325821025211743/184671386250798476235154837, c_0011_6 - 236200933235821844651843/3768803801036703596635813*c_1001_1^\ 15 - 52382077782332985978020526/26381626607256925176450691*c_1001_1\ ^14 + 30375781238036045381247748/3768803801036703596635813*c_1001_1\ ^13 + 41419376490003091353894118/3768803801036703596635813*c_1001_1\ ^12 + 1097393372649985985481024280/26381626607256925176450691*c_100\ 1_1^11 + 1565053144954457371189300060/26381626607256925176450691*c_\ 1001_1^10 + 1094197282579269934190573932/26381626607256925176450691\ *c_1001_1^9 + 1847270442300466650797682832/263816266072569251764506\ 91*c_1001_1^8 + 195209052229591073623603359/26381626607256925176450\ 691*c_1001_1^7 + 193642690529584844662660599/2638162660725692517645\ 0691*c_1001_1^6 + 615182371069446005713825047/263816266072569251764\ 50691*c_1001_1^5 + 182728954608780638497281006/26381626607256925176\ 450691*c_1001_1^4 + 135737825611033768249683422/2638162660725692517\ 6450691*c_1001_1^3 + 2369980913214558513195875/37688038010367035966\ 35813*c_1001_1^2 - 4245548118425609149148246/3768803801036703596635\ 813*c_1001_1 + 34469579610879280172409226/2638162660725692517645069\ 1, c_0101_0 - 1617590600724470999191707/26381626607256925176450691*c_1001_\ 1^15 - 51798715155109353887505818/26381626607256925176450691*c_1001\ _1^14 + 27179501760905380557247932/3768803801036703596635813*c_1001\ _1^13 + 345272897925658939602454210/26381626607256925176450691*c_10\ 01_1^12 + 1216815049645143522014106937/26381626607256925176450691*c\ _1001_1^11 + 273005920687770699724921843/3768803801036703596635813*\ c_1001_1^10 + 254082157750012506154657912/3768803801036703596635813\ *c_1001_1^9 + 2304155051921174241585970768/263816266072569251764506\ 91*c_1001_1^8 + 891274397272304290275383995/26381626607256925176450\ 691*c_1001_1^7 + 525197534777383157458711587/2638162660725692517645\ 0691*c_1001_1^6 + 478338636257091740520401031/263816266072569251764\ 50691*c_1001_1^5 + 558566700044089520742115302/26381626607256925176\ 450691*c_1001_1^4 + 179493773407331696498897592/2638162660725692517\ 6450691*c_1001_1^3 + 10609911826214838611485508/3768803801036703596\ 635813*c_1001_1^2 + 413960385257199600454055/2638162660725692517645\ 0691*c_1001_1 + 1015384584785684940604711/2638162660725692517645069\ 1, c_0101_1 - 1, c_0101_11 - 1843532115419040136285015/3768803801036703596635813*c_1001_\ 1^15 - 405636977670168993183230172/26381626607256925176450691*c_100\ 1_1^14 + 251359743784053681759296147/3768803801036703596635813*c_10\ 01_1^13 + 257974291650580771520614374/3768803801036703596635813*c_1\ 001_1^12 + 8237857262400515488240789646/26381626607256925176450691*\ c_1001_1^11 + 10137355699627647467649150088/26381626607256925176450\ 691*c_1001_1^10 + 6384592010849039387394044884/26381626607256925176\ 450691*c_1001_1^9 + 12803967917055297762585748604/26381626607256925\ 176450691*c_1001_1^8 - 1873567731928326450932881043/263816266072569\ 25176450691*c_1001_1^7 + 2202747098717248042646010377/2638162660725\ 6925176450691*c_1001_1^6 + 3167878681384156136964713494/26381626607\ 256925176450691*c_1001_1^5 + 858379217487952110033433801/2638162660\ 7256925176450691*c_1001_1^4 + 488746465007298656416086856/263816266\ 07256925176450691*c_1001_1^3 - 35026904759663003788237257/376880380\ 1036703596635813*c_1001_1^2 - 35849029847736213493945861/3768803801\ 036703596635813*c_1001_1 + 134797925433497379564167296/263816266072\ 56925176450691, c_0101_5 - 85049228981788987187950366/184671386250798476235154837*c_100\ 1_1^15 - 2679055513168370601969255406/184671386250798476235154837*c\ _1001_1^14 + 1631166141454095123759824104/2638162660725692517645069\ 1*c_1001_1^13 + 12697789199298337480507568429/184671386250798476235\ 154837*c_1001_1^12 + 55009329217423577612264508887/1846713862507984\ 76235154837*c_1001_1^11 + 70276775708371542383948861408/18467138625\ 0798476235154837*c_1001_1^10 + 46107455913665684355491877491/184671\ 386250798476235154837*c_1001_1^9 + 86510736104732244960249805699/184671386250798476235154837*c_1001_1^\ 8 - 6983579483839926774956156165/184671386250798476235154837*c_1001\ _1^7 + 13401884798479402481476589385/184671386250798476235154837*c_\ 1001_1^6 + 452954151293598199610095228/3768803801036703596635813*c_\ 1001_1^5 + 1097996176996756565331814240/26381626607256925176450691*\ c_1001_1^4 + 3691352159838652935704189413/1846713862507984762351548\ 37*c_1001_1^3 - 196745071178803257931121263/26381626607256925176450\ 691*c_1001_1^2 - 1816121447188990586562908174/184671386250798476235\ 154837*c_1001_1 + 875272112087928647058269720/184671386250798476235\ 154837, c_0101_7 - 52491030549747766924359374/184671386250798476235154837*c_100\ 1_1^15 - 1655871076847527024365684005/184671386250798476235154837*c\ _1001_1^14 + 995946772818129287391355664/26381626607256925176450691\ *c_1001_1^13 + 8164075317814386134995886873/18467138625079847623515\ 4837*c_1001_1^12 + 34307320138653904501195804538/184671386250798476\ 235154837*c_1001_1^11 + 44861054149634767668780052132/1846713862507\ 98476235154837*c_1001_1^10 + 30170773769414177244850430078/18467138\ 6250798476235154837*c_1001_1^9 + 54156804461685669666320423726/1846\ 71386250798476235154837*c_1001_1^8 - 2898481170529597941399576524/184671386250798476235154837*c_1001_1^7 + 7141552245806461729618937773/184671386250798476235154837*c_1001_1\ ^6 + 1860844441516038377717187194/26381626607256925176450691*c_1001\ _1^5 + 100301206388608569360942244/3768803801036703596635813*c_1001\ _1^4 + 2469674834450448564255046051/184671386250798476235154837*c_1\ 001_1^3 - 98362298211901720001409316/26381626607256925176450691*c_1\ 001_1^2 - 1122093022726571524418987867/184671386250798476235154837*\ c_1001_1 + 438220756152896377299642538/184671386250798476235154837, c_0101_9 - 8444643055141889749341968/184671386250798476235154837*c_1001\ _1^15 - 270210932510438322366647048/184671386250798476235154837*c_1\ 001_1^14 + 142883131174730136642551891/26381626607256925176450691*c\ _1001_1^13 + 1790275206259264850175492884/1846713862507984762351548\ 37*c_1001_1^12 + 6238933834798396734669103219/184671386250798476235\ 154837*c_1001_1^11 + 9872293675775394665559933233/18467138625079847\ 6235154837*c_1001_1^10 + 8728204872548937523630548758/1846713862507\ 98476235154837*c_1001_1^9 + 11732810579314407625595677144/184671386\ 250798476235154837*c_1001_1^8 + 3949448445914215093371603875/184671\ 386250798476235154837*c_1001_1^7 + 1846854916538160258461131647/184671386250798476235154837*c_1001_1^6 + 354597579040963467418527627/26381626607256925176450691*c_1001_1^5 + 242451946684069509306846032/26381626607256925176450691*c_1001_1^4 + 944470900643525684673342589/184671386250798476235154837*c_1001_1^\ 3 - 16451107965446743406977968/26381626607256925176450691*c_1001_1^\ 2 - 224198493827880906196011550/184671386250798476235154837*c_1001_\ 1 - 74183099209229880848412157/184671386250798476235154837, c_1001_1^16 + 31*c_1001_1^15 - 150*c_1001_1^14 - 82*c_1001_1^13 - 573*c_1001_1^12 - 503*c_1001_1^11 - 132*c_1001_1^10 - 748*c_1001_1^9 + 591*c_1001_1^8 - 204*c_1001_1^7 - 176*c_1001_1^6 + 35*c_1001_1^5 + 2*c_1001_1^4 + 38*c_1001_1^3 + 10*c_1001_1^2 - 19*c_1001_1 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.380 seconds, Total memory usage: 32.09MB