Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 3069651553] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1515 geometric_solution 5.31673151 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 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 1 0 -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 1.747513330714 0.435794382383 0 2 3 0 0132 0132 0132 3201 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 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.767043654762 0.791816510799 4 1 5 3 0132 0132 0132 3201 0 0 0 0 0 0 0 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.129735870404 0.825270488563 5 2 4 1 1023 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.129735870404 0.825270488563 2 3 4 4 0132 3201 2031 1302 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 -1 1 0 0 -1 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363133588163 0.544666565772 6 3 6 2 0132 1023 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.599648145463 1.663946432459 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425372662681 0.169861200332 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : 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' : 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_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 12033833644670472996975343063728001926638439466000/9093733775423026\ 13200878874197280914408291186247*c_0101_5^22 + 83840423374967048919294554178393163575123520456436/9093733775423026\ 13200878874197280914408291186247*c_0101_5^21 - 276086731019294121140020527999396867837889239635671/909373377542302\ 613200878874197280914408291186247*c_0101_5^20 - 1515213470174858524088234817991613630291578549102407/90937337754230\ 2613200878874197280914408291186247*c_0101_5^19 + 2029280596087296268775712497394238685985922729423423/90937337754230\ 2613200878874197280914408291186247*c_0101_5^18 + 9942578680237278301440761303670492376004893808981720/90937337754230\ 2613200878874197280914408291186247*c_0101_5^17 - 3359206886410948819124337384698440964899058504615684/90937337754230\ 2613200878874197280914408291186247*c_0101_5^16 - 29668960000069032185932860062200043953546439796168356/9093733775423\ 02613200878874197280914408291186247*c_0101_5^15 - 15762934872281623451105987271741013787463569313360024/9093733775423\ 02613200878874197280914408291186247*c_0101_5^14 + 2019276957787902386549261465225393236037808181264235/47861756712752\ 769115835730220909521810962694013*c_0101_5^13 + 42966088331670766095210195727887713005299935609014555/9093733775423\ 02613200878874197280914408291186247*c_0101_5^12 - 8294809494614091348129422740129461625920420989123543/90937337754230\ 2613200878874197280914408291186247*c_0101_5^11 + 24413636869666557092534581175883201639311737519434645/9093733775423\ 02613200878874197280914408291186247*c_0101_5^10 - 1635235055725805682763358322400886120864669620307168/90937337754230\ 2613200878874197280914408291186247*c_0101_5^9 - 44763671971661420497511503185562537472592837651239990/9093733775423\ 02613200878874197280914408291186247*c_0101_5^8 - 66320400619559939706524854819101257486033410712351546/9093733775423\ 02613200878874197280914408291186247*c_0101_5^7 - 71560036204269559629757455653646754695571091476667383/9093733775423\ 02613200878874197280914408291186247*c_0101_5^6 - 557043922793968273807813793019110796940434735374453/478617567127527\ 69115835730220909521810962694013*c_0101_5^5 + 25345179450764293301123188336375224571440711588641304/9093733775423\ 02613200878874197280914408291186247*c_0101_5^4 + 10083763860248366807858210932250658484082264860137872/9093733775423\ 02613200878874197280914408291186247*c_0101_5^3 - 1503348376193992815536047791477678491628367407124982/90937337754230\ 2613200878874197280914408291186247*c_0101_5^2 - 1111959902690361341554979463417697175048694811772667/90937337754230\ 2613200878874197280914408291186247*c_0101_5 - 144305891413942178214624570885128532706717697461279/909373377542302\ 613200878874197280914408291186247, c_0011_0 - 1, c_0011_3 - 376252288525681900950762870628076050495003655744/47861756712\ 752769115835730220909521810962694013*c_0101_5^22 + 363294804853633838215433525656452428836381657920/478617567127527691\ 15835730220909521810962694013*c_0101_5^21 + 6495822061726941263326596925454430507642582298816/47861756712752769\ 115835730220909521810962694013*c_0101_5^20 - 4633998230827558145792064759038177433566967565431/47861756712752769\ 115835730220909521810962694013*c_0101_5^19 - 39744166737256547242432470444488722427526902091984/4786175671275276\ 9115835730220909521810962694013*c_0101_5^18 + 9443857484593422120344251999362981947346080972356/47861756712752769\ 115835730220909521810962694013*c_0101_5^17 + 110983406832434423706764645979383908774064319708192/478617567127527\ 69115835730220909521810962694013*c_0101_5^16 + 53791856433326968915537995070061306998003012831555/4786175671275276\ 9115835730220909521810962694013*c_0101_5^15 - 154492310536014319802456743054648655897441693948915/478617567127527\ 69115835730220909521810962694013*c_0101_5^14 - 148668162602347999521276586421300218335396646748505/478617567127527\ 69115835730220909521810962694013*c_0101_5^13 + 93643926484440446765912839423000959409200945550923/4786175671275276\ 9115835730220909521810962694013*c_0101_5^12 - 107311351951529634579256423753191445666023178272353/478617567127527\ 69115835730220909521810962694013*c_0101_5^11 + 9604125850236860926155420270266718383739862969894/47861756712752769\ 115835730220909521810962694013*c_0101_5^10 + 158641096304558920946466588807198636672239134978028/478617567127527\ 69115835730220909521810962694013*c_0101_5^9 + 193729140521594914202240364687759286421562244238563/478617567127527\ 69115835730220909521810962694013*c_0101_5^8 + 224665726534449795708341830496480899638597570778350/478617567127527\ 69115835730220909521810962694013*c_0101_5^7 - 17982084635158088233107707438765747236014602995617/4786175671275276\ 9115835730220909521810962694013*c_0101_5^6 - 115833091307808786705032121653136692676746979664882/478617567127527\ 69115835730220909521810962694013*c_0101_5^5 - 17543555233505818674945908465919821701655828833684/4786175671275276\ 9115835730220909521810962694013*c_0101_5^4 + 16185833676976866176453518235356923976323392591887/4786175671275276\ 9115835730220909521810962694013*c_0101_5^3 + 2991710593621707719668342922380542999754711151537/47861756712752769\ 115835730220909521810962694013*c_0101_5^2 - 426724691614277933824053810282844228629838432203/478617567127527691\ 15835730220909521810962694013*c_0101_5 - 115074911952761133586248468765571339467929236926/478617567127527691\ 15835730220909521810962694013, c_0101_0 - 61311253784817587109761521566388217086146594832/478617567127\ 52769115835730220909521810962694013*c_0101_5^22 + 93251360104160174594779473209020804066617253276/4786175671275276911\ 5835730220909521810962694013*c_0101_5^21 + 1015985722062733977634435256417087510887181510491/47861756712752769\ 115835730220909521810962694013*c_0101_5^20 - 1330045029222044018416794830999152523752426026380/47861756712752769\ 115835730220909521810962694013*c_0101_5^19 - 5895056441697848435678838693353250532170889962383/47861756712752769\ 115835730220909521810962694013*c_0101_5^18 + 4955461080575462289048266511102078121196383737928/47861756712752769\ 115835730220909521810962694013*c_0101_5^17 + 16274668899860622440269251173709729044159097793499/4786175671275276\ 9115835730220909521810962694013*c_0101_5^16 - 670540716307167261151737910722516702599148357790/478617567127527691\ 15835730220909521810962694013*c_0101_5^15 - 27405715531190857489660425555326953226996260830913/4786175671275276\ 9115835730220909521810962694013*c_0101_5^14 - 9881992671307469412338906291483772340629587393567/47861756712752769\ 115835730220909521810962694013*c_0101_5^13 + 24580230934282979736922071000488028961971658102602/4786175671275276\ 9115835730220909521810962694013*c_0101_5^12 - 28179311712780426964998864538546024464872000189666/4786175671275276\ 9115835730220909521810962694013*c_0101_5^11 + 14583888373164298824182658581608611808468855628216/4786175671275276\ 9115835730220909521810962694013*c_0101_5^10 + 20911903801926273951184075754175831321905853416779/4786175671275276\ 9115835730220909521810962694013*c_0101_5^9 + 18824853236762812453071395467165428124426586540536/4786175671275276\ 9115835730220909521810962694013*c_0101_5^8 + 22672361104137760494906629175053926604158301851746/4786175671275276\ 9115835730220909521810962694013*c_0101_5^7 - 19754122226372362489042468703333068722485598267742/4786175671275276\ 9115835730220909521810962694013*c_0101_5^6 - 12697521102528566992079334669025969518029632704349/4786175671275276\ 9115835730220909521810962694013*c_0101_5^5 + 5588967523269509829188186227136562753526941892410/47861756712752769\ 115835730220909521810962694013*c_0101_5^4 + 2142498492827824896542963550625483022874550877538/47861756712752769\ 115835730220909521810962694013*c_0101_5^3 - 345091899716602768907740934296239657061473498699/478617567127527691\ 15835730220909521810962694013*c_0101_5^2 - 85145901207378994757910360218518133963611886921/4786175671275276911\ 5835730220909521810962694013*c_0101_5 - 30862004440482978720202842337392792190159356905/4786175671275276911\ 5835730220909521810962694013, c_0101_1 - 35310582364090143421260077456028883641659588864/478617567127\ 52769115835730220909521810962694013*c_0101_5^22 + 16698506786513966065970019706508915689968443072/4786175671275276911\ 5835730220909521810962694013*c_0101_5^21 + 624058485975928733247571827476387460751016237488/478617567127527691\ 15835730220909521810962694013*c_0101_5^20 - 135041467325829949720978127229393504391239711408/478617567127527691\ 15835730220909521810962694013*c_0101_5^19 - 3900037420348980903677304303761721622446782066416/47861756712752769\ 115835730220909521810962694013*c_0101_5^18 - 934635900935830219933395445620008985332318878307/478617567127527691\ 15835730220909521810962694013*c_0101_5^17 + 10558059181472731837091757669040587037172297220067/4786175671275276\ 9115835730220909521810962694013*c_0101_5^16 + 9976561673626198031371520074304934361352368921304/47861756712752769\ 115835730220909521810962694013*c_0101_5^15 - 11192845970255598068698866406661830898876887981276/4786175671275276\ 9115835730220909521810962694013*c_0101_5^14 - 20074342124459737320843584737274475285512048939013/4786175671275276\ 9115835730220909521810962694013*c_0101_5^13 + 1204593152473364366544951330650329475358783808117/47861756712752769\ 115835730220909521810962694013*c_0101_5^12 - 7629209711373827744140553750912842328271999770317/47861756712752769\ 115835730220909521810962694013*c_0101_5^11 - 4234891697380785839908544167469620101733590263684/47861756712752769\ 115835730220909521810962694013*c_0101_5^10 + 15199704670190864412492236406009666971619384511532/4786175671275276\ 9115835730220909521810962694013*c_0101_5^9 + 24427616990052784656595691480650360125491348916339/4786175671275276\ 9115835730220909521810962694013*c_0101_5^8 + 31688327339560810526098903107249717043669673115305/4786175671275276\ 9115835730220909521810962694013*c_0101_5^7 + 10455085677913529411328656235214120794122893066482/4786175671275276\ 9115835730220909521810962694013*c_0101_5^6 - 8824960330512335111054462771828043601446116593993/47861756712752769\ 115835730220909521810962694013*c_0101_5^5 - 5681890759505337997910571473797980608222734423779/47861756712752769\ 115835730220909521810962694013*c_0101_5^4 - 106664354809728219744274011312661420818523013115/478617567127527691\ 15835730220909521810962694013*c_0101_5^3 + 527922026118852661370254876962910478181521742599/478617567127527691\ 15835730220909521810962694013*c_0101_5^2 + 22947931334903022282010832649034374485312448733/4786175671275276911\ 5835730220909521810962694013*c_0101_5 + 7472243944493100388532768880404612166813497415/47861756712752769115\ 835730220909521810962694013, c_0101_2 - 361167925372388651754339774425520258714154678912/47861756712\ 752769115835730220909521810962694013*c_0101_5^22 + 355903587751708917424169397683406015364826247776/478617567127527691\ 15835730220909521810962694013*c_0101_5^21 + 6225808131308156566262896427600590149377427088648/47861756712752769\ 115835730220909521810962694013*c_0101_5^20 - 4567795791341079989457087328531419641142811125788/47861756712752769\ 115835730220909521810962694013*c_0101_5^19 - 38019455394884303260465731853181430222167550106011/4786175671275276\ 9115835730220909521810962694013*c_0101_5^18 + 9762771633639463439142502447434441598184285984585/47861756712752769\ 115835730220909521810962694013*c_0101_5^17 + 106115722180179106647498770919799176826785046011902/478617567127527\ 69115835730220909521810962694013*c_0101_5^16 + 49739460210123801134169871146986438607901621096983/4786175671275276\ 9115835730220909521810962694013*c_0101_5^15 - 148705877082695125893753787363925907895075773972554/478617567127527\ 69115835730220909521810962694013*c_0101_5^14 - 139795754502065780500698322183787329045894483907674/478617567127527\ 69115835730220909521810962694013*c_0101_5^13 + 91709048270881721435671906012522531876200157211163/4786175671275276\ 9115835730220909521810962694013*c_0101_5^12 - 105107094147916547202517085808004236820165141672804/478617567127527\ 69115835730220909521810962694013*c_0101_5^11 + 12112006993102946876440425712871757339473983341545/4786175671275276\ 9115835730220909521810962694013*c_0101_5^10 + 150683874466523759826495738695168097180861531070894/478617567127527\ 69115835730220909521810962694013*c_0101_5^9 + 183863432196230513253486483140390639699878055328959/478617567127527\ 69115835730220909521810962694013*c_0101_5^8 + 212383129957833581487228635458869338937343264733398/478617567127527\ 69115835730220909521810962694013*c_0101_5^7 - 20522341323831216761549522275887494039002752746301/4786175671275276\ 9115835730220909521810962694013*c_0101_5^6 - 109874174414504795385170268634317389131597843944281/478617567127527\ 69115835730220909521810962694013*c_0101_5^5 - 15247417725836142716392775065810349404824437298602/4786175671275276\ 9115835730220909521810962694013*c_0101_5^4 + 15700091974858968885909710261060979549419558302885/4786175671275276\ 9115835730220909521810962694013*c_0101_5^3 + 2736454033219421295552784618097168079140297335743/47861756712752769\ 115835730220909521810962694013*c_0101_5^2 - 463179957616361626538722970465679490817584682824/478617567127527691\ 15835730220909521810962694013*c_0101_5 - 118387421412711634812191438121132207236397361968/478617567127527691\ 15835730220909521810962694013, c_0101_4 - 67549988065898845516012089976869364887092958816/478617567127\ 52769115835730220909521810962694013*c_0101_5^22 + 60052375202035354290982554142168403385478615448/4786175671275276911\ 5835730220909521810962694013*c_0101_5^21 + 1174046155882547420093250298294937582720889134990/47861756712752769\ 115835730220909521810962694013*c_0101_5^20 - 741462380122064388002361284849169906081327018753/478617567127527691\ 15835730220909521810962694013*c_0101_5^19 - 7252463369849855055358637289630810246690587405917/47861756712752769\ 115835730220909521810962694013*c_0101_5^18 + 1117326315436673422891433944811281999685836289533/47861756712752769\ 115835730220909521810962694013*c_0101_5^17 + 20412734788610769300089862584331653529143480643351/4786175671275276\ 9115835730220909521810962694013*c_0101_5^16 + 11507475564854575457210342114900412401327767470310/4786175671275276\ 9115835730220909521810962694013*c_0101_5^15 - 27984513508349328991635377025076494967400243008813/4786175671275276\ 9115835730220909521810962694013*c_0101_5^14 - 30285169722789841390073996549737425868306095571003/4786175671275276\ 9115835730220909521810962694013*c_0101_5^13 + 15513653091915385244318658646428979173283597263859/4786175671275276\ 9115835730220909521810962694013*c_0101_5^12 - 15379960620742270614957504374345107365096511039626/4786175671275276\ 9115835730220909521810962694013*c_0101_5^11 + 771657761517088006134532578004711184186928736707/478617567127527691\ 15835730220909521810962694013*c_0101_5^10 + 28521782910605963188766277497969445907578753011207/4786175671275276\ 9115835730220909521810962694013*c_0101_5^9 + 38430902079417401139926698284876802218773156118945/4786175671275276\ 9115835730220909521810962694013*c_0101_5^8 + 41325857941626418345830303283452724618856199287126/4786175671275276\ 9115835730220909521810962694013*c_0101_5^7 - 2916969799096748860414791234368023256818826682912/47861756712752769\ 115835730220909521810962694013*c_0101_5^6 - 24611204927687027351291634856186884188236435459143/4786175671275276\ 9115835730220909521810962694013*c_0101_5^5 - 6993212870341053328579372287243075813866922711833/47861756712752769\ 115835730220909521810962694013*c_0101_5^4 + 3704702487609968606681203123963331819825827193238/47861756712752769\ 115835730220909521810962694013*c_0101_5^3 + 1548333738397264599211641921969463262851734204286/47861756712752769\ 115835730220909521810962694013*c_0101_5^2 - 121600930878543630267515385882427965557099656420/478617567127527691\ 15835730220909521810962694013*c_0101_5 - 109513412280520181579780910836801279029750532035/478617567127527691\ 15835730220909521810962694013, c_0101_5^23 - 3/4*c_0101_5^22 - 279/16*c_0101_5^21 + 137/16*c_0101_5^20 + 1723/16*c_0101_5^19 - 31/16*c_0101_5^18 - 4749/16*c_0101_5^17 - 1657/8*c_0101_5^16 + 2963/8*c_0101_5^15 + 3823/8*c_0101_5^14 - 2435/16*c_0101_5^13 + 3915/16*c_0101_5^12 + 125/4*c_0101_5^11 - 414*c_0101_5^10 - 9723/16*c_0101_5^9 - 2877/4*c_0101_5^8 - 1607/16*c_0101_5^7 + 4689/16*c_0101_5^6 + 1733/16*c_0101_5^5 - 115/4*c_0101_5^4 - 255/16*c_0101_5^3 - 9/16*c_0101_5^2 + 9/16*c_0101_5 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB