Magma V2.19-8 Tue Aug 20 2013 16:17:00 on localhost [Seed = 3086363492] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1259 geometric_solution 5.15921483 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 0321 0132 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 1 -1 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.565598584402 1.300356640071 0 3 0 4 0132 0132 0321 0132 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 -1 1 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565598584402 1.300356640071 4 0 5 3 3012 0132 0132 2103 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 -1 0 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.393826871828 1.219454003227 4 1 0 2 0321 0132 0132 2103 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 -1 1 0 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.382666762894 0.346906563709 3 5 1 2 0321 0132 0132 1230 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 -1 1 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.165763031506 0.682441826607 6 4 6 2 0132 0132 2310 0132 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 0 0 0 0.633937183869 0.410607013860 5 5 6 6 0132 3201 1230 3012 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 0 0 0 0.490032071559 0.145173736106 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : negation(d['c_0110_2']), 'c_1100_3' : negation(d['c_0110_2']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : d['c_0110_2'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : d['c_0110_2'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0110_2, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 35207261507047299426295634078607257979/1225284189883911739027987864\ 55835140096*c_1001_2^17 + 2934018931610465736961305915423010791/117\ 8157874888376672142296023613799424*c_1001_2^16 - 482063225449427028587609713108004216017/122528418988391173902798786\ 455835140096*c_1001_2^15 - 370832630253780452332605588773914481977/\ 61264209494195586951399393227917570048*c_1001_2^14 - 244352808552375209272425427929909261/112618032158447770131248884610\ 142592*c_1001_2^13 - 80106858126611671263280825327221082211/1531605\ 2373548896737849848306979392512*c_1001_2^12 + 1717164541783026727662163186336588220203/30632104747097793475699696\ 613958785024*c_1001_2^11 - 8444579758562547634525618821085685031175\ /122528418988391173902798786455835140096*c_1001_2^10 - 13285150766138981675101816351056290797761/1225284189883911739027987\ 86455835140096*c_1001_2^9 + 180758803212880127158136150116121284125\ 51/122528418988391173902798786455835140096*c_1001_2^8 + 1485690015459782477819652846949339475595/76580261867744483689249241\ 53489696256*c_1001_2^7 - 3737609199977132765416643391071627171583/1\ 5316052373548896737849848306979392512*c_1001_2^6 - 72384957945601768683149572165034518087/4786266366734030230578077595\ 93106016*c_1001_2^5 + 1683117646024915419038104338165040542163/7658\ 026186774448368924924153489696256*c_1001_2^4 + 157695891907302214722875483657262248587/191450654669361209223123103\ 8372424064*c_1001_2^3 - 1639719573069033602132053071652535674/14957\ 082396043844470556492487284563*c_1001_2^2 - 520313763879555671762571734919110889/281545080396119425328122211525\ 35648*c_1001_2 + 15684599345167559277738732734883576071/47862663667\ 3403023057807759593106016, c_0011_0 - 1, c_0011_4 + 6406024700133589322908748198526211/2945394687220941680355740\ 05903449856*c_1001_2^17 + 1542247324166722093007589332624517/736348\ 67180523542008893501475862464*c_1001_2^16 - 164394517242815679483285664507647967/294539468722094168035574005903\ 449856*c_1001_2^15 - 118748485756700254532926324833039413/147269734\ 361047084017787002951724928*c_1001_2^14 - 287759196736867125971713028776705/108286569383122855895431619817444\ 8*c_1001_2^13 + 32148670265311835618902038645993435/368174335902617\ 71004446750737931232*c_1001_2^12 + 161400985796206412134053918564889829/736348671805235420088935014758\ 62464*c_1001_2^11 - 2145441808331855461541124274748591969/294539468\ 722094168035574005903449856*c_1001_2^10 - 1757079515725767029153913121251206763/29453946872209416803557400590\ 3449856*c_1001_2^9 + 4980374949906919197928228278889993165/29453946\ 8722094168035574005903449856*c_1001_2^8 + 961342129021378723791861537271874219/736348671805235420088935014758\ 62464*c_1001_2^7 - 367060421646695324550459879901506829/18408716795\ 130885502223375368965616*c_1001_2^6 - 227421610950662776368634309951785429/184087167951308855022233753689\ 65616*c_1001_2^5 + 324640700259111176184877844060344953/18408716795\ 130885502223375368965616*c_1001_2^4 + 63415175962022613203073876730073057/9204358397565442751111687684482\ 808*c_1001_2^3 - 7900609550478599951297819599556137/115054479969568\ 0343888960960560351*c_1001_2^2 - 238311765377709960675650291006621/\ 135358211728903569869289524771806*c_1001_2 + 1540603197195147030607660511433178/11505447996956803438889609605603\ 51, c_0101_0 - 5265563392076740619358978866811483/1472697343610470840177870\ 02951724928*c_1001_2^17 + 678762617425917415473012524316195/4602179\ 198782721375555843842241404*c_1001_2^16 + 32121996551091152383393318119002167/1472697343610470840177870029517\ 24928*c_1001_2^15 + 3875110075143753784222100546845191/736348671805\ 23542008893501475862464*c_1001_2^14 - 223302605325463266378921120432435/108286569383122855895431619817444\ 8*c_1001_2^13 - 11435563418271737957201656373524109/920435839756544\ 2751111687684482808*c_1001_2^12 + 769263451761812729769917394587924\ 07/36817433590261771004446750737931232*c_1001_2^11 + 374369180657720601136063926804063897/147269734361047084017787002951\ 724928*c_1001_2^10 - 704504376248853765617628234844292057/147269734\ 361047084017787002951724928*c_1001_2^9 - 898740503371946446741192231689731609/147269734361047084017787002951\ 724928*c_1001_2^8 + 118547396578478932529471491786137321/1840871679\ 5130885502223375368965616*c_1001_2^7 + 123343139013445027347293257016783079/184087167951308855022233753689\ 65616*c_1001_2^6 - 90412666560420720099865174029045269/184087167951\ 30885502223375368965616*c_1001_2^5 - 44012837807266081384420874298412603/9204358397565442751111687684482\ 808*c_1001_2^4 + 9582705218318495398063994846799447/460217919878272\ 1375555843842241404*c_1001_2^3 + 3823103632854785034237256577624024\ /1150544799695680343888960960560351*c_1001_2^2 - 29155989978304625851861310192104/67679105864451784934644762385903*c\ _1001_2 - 739711785753001759243127547702111/11505447996956803438889\ 60960560351, c_0101_2 - 131594949778514234144368515056155/46021791987827213755558438\ 42241404*c_1001_2^17 + 23136799498583259051452732326144923/14726973\ 4361047084017787002951724928*c_1001_2^16 + 26899362080935203237663248120695/1150544799695680343888960960560351\ *c_1001_2^15 - 37462825732345973983789152486159287/1472697343610470\ 84017787002951724928*c_1001_2^14 - 989197059666948776503873708934103/433146277532491423581726479269779\ 2*c_1001_2^13 - 12739884520659937503553135820192765/184087167951308\ 85502223375368965616*c_1001_2^12 + 28818935320721325570028482655088389/9204358397565442751111687684482\ 808*c_1001_2^11 + 3468540239726642555889786519904433/36817433590261\ 771004446750737931232*c_1001_2^10 - 1128350469496021473607329697752148857/14726973436104708401778700295\ 1724928*c_1001_2^9 + 66788830356330932601133319735089017/1472697343\ 61047084017787002951724928*c_1001_2^8 + 2096934988535768538860765380290788569/14726973436104708401778700295\ 1724928*c_1001_2^7 - 32375171904002099400007933439121481/1840871679\ 5130885502223375368965616*c_1001_2^6 - 276378436707092800127866203306477479/184087167951308855022233753689\ 65616*c_1001_2^5 + 34744793171187771880354746586753749/184087167951\ 30885502223375368965616*c_1001_2^4 + 91464050917645457911014633483539323/9204358397565442751111687684482\ 808*c_1001_2^3 - 4241876037063673797668160479642327/460217919878272\ 1375555843842241404*c_1001_2^2 - 290125906461402170935316434575529/\ 67679105864451784934644762385903*c_1001_2 + 290235322659839347158725566836648/115054479969568034388896096056035\ 1, c_0101_5 - 1089411977694600746563294314008595/7363486718052354200889350\ 1475862464*c_1001_2^17 + 36608438287590924010669238826969231/147269\ 734361047084017787002951724928*c_1001_2^16 - 50211579954780221511929784344644729/7363486718052354200889350147586\ 2464*c_1001_2^15 - 165499568603475141701677498697259555/14726973436\ 1047084017787002951724928*c_1001_2^14 - 1564845507053308915895276360462435/43314627753249142358172647926977\ 92*c_1001_2^13 + 15172632531670192200123821724416267/36817433590261\ 771004446750737931232*c_1001_2^12 + 8330628277255129607504723077873030/11505447996956803438889609605603\ 51*c_1001_2^11 - 726340370464300553143546194693517173/7363486718052\ 3542008893501475862464*c_1001_2^10 - 2246596949653394718794215486011016535/14726973436104708401778700295\ 1724928*c_1001_2^9 + 3379573143365314586153445561207828467/14726973\ 4361047084017787002951724928*c_1001_2^8 + 4772290847977714908478053503741191073/14726973436104708401778700295\ 1724928*c_1001_2^7 - 1162203206078194233579113581534903097/36817433\ 590261771004446750737931232*c_1001_2^6 - 1196378121121495816444517902568151529/36817433590261771004446750737\ 931232*c_1001_2^5 + 454071400188187310039211897972581971/1840871679\ 5130885502223375368965616*c_1001_2^4 + 182105905394209107776479559067585013/920435839756544275111168768448\ 2808*c_1001_2^3 - 24020678523992645253964368749146411/2301089599391\ 360687777921921120702*c_1001_2^2 - 920714398734670494225894697038259/135358211728903569869289524771806\ *c_1001_2 + 2534434653953260666245959534600999/11505447996956803438\ 88960960560351, c_0110_2 + 16051633008164494245166183600600989/294539468722094168035574\ 005903449856*c_1001_2^17 - 15600065549850127691310111265713701/7363\ 4867180523542008893501475862464*c_1001_2^16 - 108382347211668425261773844521970601/294539468722094168035574005903\ 449856*c_1001_2^15 - 28413631045281071784819214811804555/1472697343\ 61047084017787002951724928*c_1001_2^14 + 76617299719098159138590153786481/2165731387662457117908632396348896\ *c_1001_2^13 + 61784796409816222284187185619030227/3681743359026177\ 1004446750737931232*c_1001_2^12 - 213965048636400201885449659515691\ 985/73634867180523542008893501475862464*c_1001_2^11 - 1213746885346005249048787146724221311/29453946872209416803557400590\ 3449856*c_1001_2^10 + 1903797689138580333994377785845700971/2945394\ 68722094168035574005903449856*c_1001_2^9 + 2284192200034295504284979905949447691/29453946872209416803557400590\ 3449856*c_1001_2^8 - 571848239619980821659111948207159145/736348671\ 80523542008893501475862464*c_1001_2^7 - 242878154277063509217819944867487223/368174335902617710044467507379\ 31232*c_1001_2^6 + 32985117912186372741590779567120519/460217919878\ 2721375555843842241404*c_1001_2^5 + 29669578791907911358723769765404873/9204358397565442751111687684482\ 808*c_1001_2^4 - 9462971032619790685475265652553441/460217919878272\ 1375555843842241404*c_1001_2^3 - 2829134259745923631234641694323883\ /4602179198782721375555843842241404*c_1001_2^2 + 26514813452760292712880244654283/67679105864451784934644762385903*c\ _1001_2 - 100612245951704680873395354514555/11505447996956803438889\ 60960560351, c_1001_2^18 - 174/41*c_1001_2^17 - 245/41*c_1001_2^16 + 52/41*c_1001_2^15 + 252/41*c_1001_2^14 + 1288/41*c_1001_2^13 - 2708/41*c_1001_2^12 - 3131/41*c_1001_2^11 + 7341/41*c_1001_2^10 + 6209/41*c_1001_2^9 - 11666/41*c_1001_2^8 - 6712/41*c_1001_2^7 + 11920/41*c_1001_2^6 + 4336/41*c_1001_2^5 - 7392/41*c_1001_2^4 - 1664/41*c_1001_2^3 + 2816/41*c_1001_2^2 + 256/41*c_1001_2 - 512/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB