Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 2816883357] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2405 geometric_solution 5.76290729 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 -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.376104249404 0.763156484209 0 3 2 4 0132 0132 1302 0132 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 0 0 0 0 1 0 0 -1 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.505483184884 0.607594594571 1 4 0 3 2031 2310 0132 2310 0 0 0 0 0 0 -1 1 -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 -1 1 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.505483184884 0.607594594571 2 1 5 5 3201 0132 0132 2310 0 0 0 0 0 1 -1 0 0 0 0 0 -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 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.761563781116 1.750273393454 6 6 1 2 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.034011612730 0.847287497238 3 5 5 3 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.249487001509 0.320479757887 4 6 6 4 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.752325268317 0.783130819721 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : 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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_0101_0']})} 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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 3963152759491790508011242687828/1786709333993790974328122283*c_0101\ _5^29 + 46689211611365668160739697851718/17867093339937909743281222\ 83*c_0101_5^28 - 148026060086430664598152983163712/1786709333993790\ 974328122283*c_0101_5^27 - 229573528412625879564640105183442/178670\ 9333993790974328122283*c_0101_5^26 + 2069731566461352610033767725978122/1786709333993790974328122283*c_0\ 101_5^25 - 2307264895795814361848770042821301/178670933399379097432\ 8122283*c_0101_5^24 - 6794113094464993866840263560230121/1786709333\ 993790974328122283*c_0101_5^23 + 6144808496936430125864823791010652\ /595569777997930324776040761*c_0101_5^22 - 4434231127974196938583044998679817/1786709333993790974328122283*c_0\ 101_5^21 - 13197926156115941111737916013723556/59556977799793032477\ 6040761*c_0101_5^20 + 2126706521715728517824736688330107/6617441977\ 7547813864004529*c_0101_5^19 + 2657160524947318342599344480720933/1\ 786709333993790974328122283*c_0101_5^18 - 30523522171105686309198018124340567/595569777997930324776040761*c_0\ 101_5^17 + 32308840754639190171049701611467690/59556977799793032477\ 6040761*c_0101_5^16 + 9352005775114758137153645310680239/1786709333\ 993790974328122283*c_0101_5^15 - 1149551270624176178222345900143480\ 45/1786709333993790974328122283*c_0101_5^14 + 100812178654336406125235150610583006/1786709333993790974328122283*c\ _0101_5^13 + 835399113595924804944652899518287/19852325933264344159\ 2013587*c_0101_5^12 - 82644101948792463426705683120923691/178670933\ 3993790974328122283*c_0101_5^11 + 614412466605361130366720401576785\ 40/1786709333993790974328122283*c_0101_5^10 + 41253308063623200512183886064553/66174419777547813864004529*c_0101_\ 5^9 - 31305755732913004902435478344165512/1786709333993790974328122\ 283*c_0101_5^8 + 20424889655911817810338187900156227/17867093339937\ 90974328122283*c_0101_5^7 - 1570599760404639337127553629229233/1786\ 709333993790974328122283*c_0101_5^6 - 5115704755523147508229366914240641/1786709333993790974328122283*c_0\ 101_5^5 + 1036407083774236120096832666101946/5955697779979303247760\ 40761*c_0101_5^4 - 579173539397758831522213271410628/17867093339937\ 90974328122283*c_0101_5^3 - 151591775291689689108653651073058/17867\ 09333993790974328122283*c_0101_5^2 + 93092130084663503046441762304423/1786709333993790974328122283*c_010\ 1_5 - 13501157602799698209028794769835/1786709333993790974328122283\ , c_0011_0 - 1, c_0011_2 + 20709642678420542809533868869/66174419777547813864004529*c_0\ 101_5^29 - 239104646657888776483999197623/6617441977754781386400452\ 9*c_0101_5^28 + 719857338037741154703737267679/66174419777547813864\ 004529*c_0101_5^27 + 1340483130485169248523272242174/66174419777547\ 813864004529*c_0101_5^26 - 10425314129887203277974683756239/6617441\ 9777547813864004529*c_0101_5^25 + 9810556504219488881621149065767/6\ 6174419777547813864004529*c_0101_5^24 + 36623378248443392630916219085194/66174419777547813864004529*c_0101_\ 5^23 - 87121716347914123315518135785109/66174419777547813864004529*\ c_0101_5^22 + 7511272129583556881760314191729/661744197775478138640\ 04529*c_0101_5^21 + 200466509005482720301579169515857/6617441977754\ 7813864004529*c_0101_5^20 - 256222912540443254462699285262335/66174\ 419777547813864004529*c_0101_5^19 - 51432679776780057916886875593186/66174419777547813864004529*c_0101_\ 5^18 + 446970525238294452738422958166416/66174419777547813864004529\ *c_0101_5^17 - 417484545021112620829626195783708/661744197775478138\ 64004529*c_0101_5^16 - 101537804152134036783147828928814/6617441977\ 7547813864004529*c_0101_5^15 + 549926366481257888398372578115411/66\ 174419777547813864004529*c_0101_5^14 - 423198210873047009883066481406486/66174419777547813864004529*c_0101\ _5^13 - 86505208178481459429775625529244/66174419777547813864004529\ *c_0101_5^12 + 387932151717551537450323450976540/661744197775478138\ 64004529*c_0101_5^11 - 252022373760511785447343790306189/6617441977\ 7547813864004529*c_0101_5^10 - 30739027471892782294222005476876/661\ 74419777547813864004529*c_0101_5^9 + 144296138249447670822012759554081/66174419777547813864004529*c_0101\ _5^8 - 82523817601463964247064245960503/66174419777547813864004529*\ c_0101_5^7 + 643373218546746667944526126495/66174419777547813864004\ 529*c_0101_5^6 + 23328246063847272661060350559403/66174419777547813\ 864004529*c_0101_5^5 - 12483774242517073528165069439081/66174419777\ 547813864004529*c_0101_5^4 + 1901999810800925130290611163721/661744\ 19777547813864004529*c_0101_5^3 + 718712013201388634434226004408/66\ 174419777547813864004529*c_0101_5^2 - 359002015710492148300600671362/66174419777547813864004529*c_0101_5 + 46515458729417892845211935445/66174419777547813864004529, c_0011_4 + 3232782863211443485497535200/66174419777547813864004529*c_01\ 01_5^29 - 37581052141721813757319414163/66174419777547813864004529*\ c_0101_5^28 + 115204462079360747245599492334/6617441977754781386400\ 4529*c_0101_5^27 + 201770963484951354917876588003/66174419777547813\ 864004529*c_0101_5^26 - 1647985298974835097125761504281/66174419777\ 547813864004529*c_0101_5^25 + 1651197545226546767902312495060/66174\ 419777547813864004529*c_0101_5^24 + 5655187731173288313134278923592/66174419777547813864004529*c_0101_5\ ^23 - 14093391534516743579380533260059/66174419777547813864004529*c\ _0101_5^22 + 2027851983634414192322459886299/6617441977754781386400\ 4529*c_0101_5^21 + 31630974348809045593779041569754/661744197775478\ 13864004529*c_0101_5^20 - 42410991550132038294933442869419/66174419\ 777547813864004529*c_0101_5^19 - 5916820272337446723576995526165/66\ 174419777547813864004529*c_0101_5^18 + 71509435925939209443609623834781/66174419777547813864004529*c_0101_\ 5^17 - 70202477431827101282947448846095/66174419777547813864004529*\ c_0101_5^16 - 12808086340856345820178350528956/66174419777547813864\ 004529*c_0101_5^15 + 88707290481655962677581407246200/6617441977754\ 7813864004529*c_0101_5^14 - 72052840575606357332910957554686/661744\ 19777547813864004529*c_0101_5^13 - 10682576531156870181367956446863/66174419777547813864004529*c_0101_\ 5^12 + 63071066696322410948634061417344/66174419777547813864004529*\ c_0101_5^11 - 43438646693157681974751098565646/66174419777547813864\ 004529*c_0101_5^10 - 3250847956068887295548825163382/66174419777547\ 813864004529*c_0101_5^9 + 23652400383440850572142656023382/66174419\ 777547813864004529*c_0101_5^8 - 14360921393272867672446460185809/66\ 174419777547813864004529*c_0101_5^7 + 580064712082958529610167366925/66174419777547813864004529*c_0101_5^\ 6 + 3847537752899675051679521543708/66174419777547813864004529*c_01\ 01_5^5 - 2184434217631932778846067836318/66174419777547813864004529\ *c_0101_5^4 + 367604501250976015157164612844/6617441977754781386400\ 4529*c_0101_5^3 + 117277320870101274853540020285/661744197775478138\ 64004529*c_0101_5^2 - 64150906863364377404793057259/661744197775478\ 13864004529*c_0101_5 + 8710323292585927867668497315/661744197775478\ 13864004529, c_0011_5 - 41400557714569468309785240/655192275025225879841629*c_0101_5\ ^29 + 478592680701852709240690360/655192275025225879841629*c_0101_5\ ^28 - 1445251147589486772643926953/655192275025225879841629*c_0101_\ 5^27 - 2666736664492029987834953755/655192275025225879841629*c_0101\ _5^26 + 20898668968086457216741519420/655192275025225879841629*c_01\ 01_5^25 - 19852027139086173169237666589/655192275025225879841629*c_\ 0101_5^24 - 73233201168121859630608137400/655192275025225879841629*\ c_0101_5^23 + 175297135828877341232235564876/6551922750252258798416\ 29*c_0101_5^22 - 16281275232677842667856562672/65519227502522587984\ 1629*c_0101_5^21 - 402238866424873780456412950012/65519227502522587\ 9841629*c_0101_5^20 + 516871508793751754108964259754/65519227502522\ 5879841629*c_0101_5^19 + 100280245537124142466801541255/65519227502\ 5225879841629*c_0101_5^18 - 898399937405993581551978171793/65519227\ 5025225879841629*c_0101_5^17 + 843813972770278522913247493310/65519\ 2275025225879841629*c_0101_5^16 + 199342872678867920472766259836/65\ 5192275025225879841629*c_0101_5^15 - 1106588498756914664232052890993/655192275025225879841629*c_0101_5^1\ 4 + 856990565095567309490994611325/655192275025225879841629*c_0101_\ 5^13 + 169304309387959945044248524894/655192275025225879841629*c_01\ 01_5^12 - 781332236006673181284496057670/655192275025225879841629*c\ _0101_5^11 + 511454631646669815442644699285/65519227502522587984162\ 9*c_0101_5^10 + 59035589776499863944569823237/655192275025225879841\ 629*c_0101_5^9 - 290920356442509710175441425609/6551922750252258798\ 41629*c_0101_5^8 + 167888185165424841882791984796/65519227502522587\ 9841629*c_0101_5^7 - 2188027425167580131161852502/65519227502522587\ 9841629*c_0101_5^6 - 47088085400404667280755623138/6551922750252258\ 79841629*c_0101_5^5 + 25448707491269323479638654398/655192275025225\ 879841629*c_0101_5^4 - 3948199203438901778364763065/655192275025225\ 879841629*c_0101_5^3 - 1448769756301428000572255249/655192275025225\ 879841629*c_0101_5^2 + 733757335997348272750959730/6551922750252258\ 79841629*c_0101_5 - 95343176883368349535895026/65519227502522587984\ 1629, c_0101_0 - 7889780156393754962049367187/66174419777547813864004529*c_01\ 01_5^29 + 91142394385757657307893268824/66174419777547813864004529*\ c_0101_5^28 - 274670164415575054523624494489/6617441977754781386400\ 4529*c_0101_5^27 - 510630864420581719152122765696/66174419777547813\ 864004529*c_0101_5^26 + 3979233622851590776920240840242/66174419777\ 547813864004529*c_0101_5^25 - 3749641264948111444495611467817/66174\ 419777547813864004529*c_0101_5^24 - 13998189647162549693034138749037/66174419777547813864004529*c_0101_\ 5^23 + 33302845053772026806408609542517/66174419777547813864004529*\ c_0101_5^22 - 2774581274936442566095222222075/661744197775478138640\ 04529*c_0101_5^21 - 76792780455506511986240551884220/66174419777547\ 813864004529*c_0101_5^20 + 97803670715593889386114604367344/6617441\ 9777547813864004529*c_0101_5^19 + 20290495801204238680768407184529/\ 66174419777547813864004529*c_0101_5^18 - 171286601867839285333092604327983/66174419777547813864004529*c_0101\ _5^17 + 158951927933729988535764987002620/6617441977754781386400452\ 9*c_0101_5^16 + 40128240008906515944791188476265/661744197775478138\ 64004529*c_0101_5^15 - 210764282984750825392988316227967/6617441977\ 7547813864004529*c_0101_5^14 + 160780239162446668202636107113991/66\ 174419777547813864004529*c_0101_5^13 + 34579113381245777940666973677986/66174419777547813864004529*c_0101_\ 5^12 - 148706230924602071994679113181796/66174419777547813864004529\ *c_0101_5^11 + 95466658239060893974205052457543/6617441977754781386\ 4004529*c_0101_5^10 + 12684329502772925129948927425481/661744197775\ 47813864004529*c_0101_5^9 - 55290181998767966534071738899160/661744\ 19777547813864004529*c_0101_5^8 + 31166239786386919252878238963281/\ 66174419777547813864004529*c_0101_5^7 + 28177553515241604391145627763/66174419777547813864004529*c_0101_5^6 - 8934492108047454278231392171691/66174419777547813864004529*c_0101\ _5^5 + 4705780835291806539068087721908/66174419777547813864004529*c\ _0101_5^4 - 695046730967855650755966172097/661744197775478138640045\ 29*c_0101_5^3 - 276488993695848002201589730786/66174419777547813864\ 004529*c_0101_5^2 + 134557769227912634850654599565/6617441977754781\ 3864004529*c_0101_5 - 17141669327580757383343431304/661744197775478\ 13864004529, c_0101_3 - 33555935683879119382194259/655192275025225879841629*c_0101_5\ ^29 + 391889265894658703962385056/655192275025225879841629*c_0101_5\ ^28 - 1215005835784561747307219026/655192275025225879841629*c_0101_\ 5^27 - 2049244993896397995832386846/655192275025225879841629*c_0101\ _5^26 + 17266494206834446265506386588/655192275025225879841629*c_01\ 01_5^25 - 17908099287708965816325388458/655192275025225879841629*c_\ 0101_5^24 - 58580455511685085114770272883/655192275025225879841629*\ c_0101_5^23 + 149722652112968848191829642648/6551922750252258798416\ 29*c_0101_5^22 - 25409160211359352622000264564/65519227502522587984\ 1629*c_0101_5^21 - 332482396800705661660093413242/65519227502522587\ 9841629*c_0101_5^20 + 454351529241830817526022038092/65519227502522\ 5879841629*c_0101_5^19 + 53993694098971767069895966877/655192275025\ 225879841629*c_0101_5^18 - 756810114959026552756023955362/655192275\ 025225879841629*c_0101_5^17 + 753767692806584873881630240442/655192\ 275025225879841629*c_0101_5^16 + 125818197773331158479610803735/655\ 192275025225879841629*c_0101_5^15 - 941922343021036064687510780209/655192275025225879841629*c_0101_5^14 + 774090475336797452501615258024/655192275025225879841629*c_0101_5^\ 13 + 107292077687672100801261426738/655192275025225879841629*c_0101\ _5^12 - 671895146410422244743339726550/655192275025225879841629*c_0\ 101_5^11 + 465986851310950409233096412664/655192275025225879841629*\ c_0101_5^10 + 33250218237751457044996069078/65519227502522587984162\ 9*c_0101_5^9 - 252552560056852715497442470439/655192275025225879841\ 629*c_0101_5^8 + 153445404387241150679764468684/6551922750252258798\ 41629*c_0101_5^7 - 6057488585211188686937165132/6551922750252258798\ 41629*c_0101_5^6 - 41109115953512117594169518336/655192275025225879\ 841629*c_0101_5^5 + 23221469464594677511008261252/65519227502522587\ 9841629*c_0101_5^4 - 3863490762948716971882658390/65519227502522587\ 9841629*c_0101_5^3 - 1252905078907030496287251032/65519227502522587\ 9841629*c_0101_5^2 + 677214917606309291858280789/655192275025225879\ 841629*c_0101_5 - 91360919340638406593100847/6551922750252258798416\ 29, c_0101_5^30 - 12*c_0101_5^29 + 40*c_0101_5^28 + 49*c_0101_5^27 - 533*c_0101_5^26 + 702*c_0101_5^25 + 1556*c_0101_5^24 - 5012*c_0101_5^23 + 2263*c_0101_5^22 + 9535*c_0101_5^21 - 16764*c_0101_5^20 + 3085*c_0101_5^19 + 22759*c_0101_5^18 - 29931*c_0101_5^17 + 4151*c_0101_5^16 + 28848*c_0101_5^15 - 32445*c_0101_5^14 + 4988*c_0101_5^13 + 20687*c_0101_5^12 - 20633*c_0101_5^11 + 3968*c_0101_5^10 + 7670*c_0101_5^9 - 7130*c_0101_5^8 + 1816*c_0101_5^7 + 1120*c_0101_5^6 - 1111*c_0101_5^5 + 362*c_0101_5^4 - 6*c_0101_5^3 - 33*c_0101_5^2 + 10*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB