Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 391547844] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1359 geometric_solution 5.22537658 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -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.594329958612 0.163898092693 2 0 2 0 0132 2310 1023 0132 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 -1 1 1 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 0.842016989995 0.267309772640 1 3 1 4 0132 0132 1023 0132 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 0 1 -1 -1 0 1 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 1.221341688103 0.606182382747 5 2 6 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.244744198639 0.813334256058 3 6 2 5 3012 1023 0132 1023 0 0 0 0 0 0 -1 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 1 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 1.244744198639 0.813334256058 3 5 5 4 0132 1230 3012 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411064259418 0.505453141831 4 6 6 3 1023 1230 3012 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 1 -1 0 1 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 0.936528665451 0.708238605940 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 43095022503612312517561964129590801635330754525620057529/6698146777\ 23444671389167302739403692104708059373904896*c_0101_6^17 + 260113307361675056241836386849637097192450794057080608583/837268347\ 15430583923645912842425461513088507421738112*c_0101_6^16 + 12360969943377069279530236129324108884658487276927312577033/6698146\ 77723444671389167302739403692104708059373904896*c_0101_6^15 + 2556171549191956001776305002293908842940776589323170122603/20931708\ 678857645980911478210606365378272126855434528*c_0101_6^14 + 243754854148370366836367243328469202694394214902477291716337/669814\ 677723444671389167302739403692104708059373904896*c_0101_6^13 + 176483054595942987961916404415937528794893221827088156913189/167453\ 669430861167847291825684850923026177014843476224*c_0101_6^12 + 164209440258322614157373786631622754746550465277559928343429/837268\ 34715430583923645912842425461513088507421738112*c_0101_6^11 + 710982215063055543849430319669048318019614052494520800853993/669814\ 677723444671389167302739403692104708059373904896*c_0101_6^10 - 436397297058813849654349494836002424606534031503619469339735/669814\ 677723444671389167302739403692104708059373904896*c_0101_6^9 - 3980046639760713530412991671328764835011351335843142890585191/66981\ 4677723444671389167302739403692104708059373904896*c_0101_6^8 - 3262227066466085194942179276426400504143653272287027962354807/33490\ 7338861722335694583651369701846052354029686952448*c_0101_6^7 - 250329976524958438746761545168054501980360109053231025919093/167453\ 669430861167847291825684850923026177014843476224*c_0101_6^6 + 348775050674178613634189687119143623667107143863728450738873/167453\ 669430861167847291825684850923026177014843476224*c_0101_6^5 + 447534154623293795578972463417410267574941133866980029242375/669814\ 677723444671389167302739403692104708059373904896*c_0101_6^4 + 109639990225433294169899438107323762901020756979391186882279/167453\ 669430861167847291825684850923026177014843476224*c_0101_6^3 + 7124983702393170376214817964447075082524052806316475905839/66981467\ 7723444671389167302739403692104708059373904896*c_0101_6^2 - 85278211678480656352591076151616681936993276691421204402969/6698146\ 77723444671389167302739403692104708059373904896*c_0101_6 + 1221761047726839007061746941582373818974430232094141095777/83726834\ 715430583923645912842425461513088507421738112, c_0011_0 - 1, c_0011_1 - 1723735400473499638630992977515599824750245518531/6541158962\ 14301436903483694081448918071003964232329*c_0101_6^17 - 83951284720117783818871840325748130202441889938719/6541158962143014\ 36903483694081448918071003964232329*c_0101_6^16 - 529217300181080043339822985337444817032096859485788/654115896214301\ 436903483694081448918071003964232329*c_0101_6^15 - 3483485843691585944656250728974562044416823677987280/65411589621430\ 1436903483694081448918071003964232329*c_0101_6^14 - 11146585264936546166810418704794754453293982391036766/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^13 - 32521958698132868567469313753418253769559179852864566/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^12 - 64969112976199838955444225681594024996321504965897119/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^11 - 52263174954252643569334842672472640254975977259258818/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^10 + 2033761842040525181936589975199679817921171278287243/65411589621430\ 1436903483694081448918071003964232329*c_0101_6^9 + 164462052288337813129917790394794572551516835384833014/654115896214\ 301436903483694081448918071003964232329*c_0101_6^8 + 328145198281452189342030489087503334452717931551673498/654115896214\ 301436903483694081448918071003964232329*c_0101_6^7 + 159580483751887002261327226681692362944177924402327000/654115896214\ 301436903483694081448918071003964232329*c_0101_6^6 - 21752199333978702643463918191518389791367542593852884/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^5 - 37532949257499755613020535145363590325063592433536257/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^4 - 26860314112475770738774050230322371467411299842309794/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^3 - 9032665708886485384112715860827212717018388207168745/65411589621430\ 1436903483694081448918071003964232329*c_0101_6^2 + 2045167978944939632874800977633010727735695043373713/65411589621430\ 1436903483694081448918071003964232329*c_0101_6 + 637616042378400765664785237037368803219889541493843/654115896214301\ 436903483694081448918071003964232329, c_0011_4 - 24702907912465691611497685270153362359017005837699/418634173\ 57715291961822956421212730756544253710869056*c_0101_6^17 - 149974109787537369624091971138847952379493225625349/523292716971441\ 1495227869552651591344568031713858632*c_0101_6^16 - 7428844862302215999762240548400232666888375205184115/41863417357715\ 291961822956421212730756544253710869056*c_0101_6^15 - 1537325668096592115359031874199536156030428685502497/13082317924286\ 02873806967388162897836142007928464658*c_0101_6^14 - 154595842166628776692983410293996301231813445593960811/418634173577\ 15291961822956421212730756544253710869056*c_0101_6^13 - 113783161094611598970691440971194303657222155718720055/104658543394\ 28822990455739105303182689136063427717264*c_0101_6^12 - 111972780289615404006238220189521746943802514422152319/523292716971\ 4411495227869552651591344568031713858632*c_0101_6^11 - 704280741349442408028682565833722062829566617700827859/418634173577\ 15291961822956421212730756544253710869056*c_0101_6^10 + 1407168862124099274290817730246140923854615293679213/41863417357715\ 291961822956421212730756544253710869056*c_0101_6^9 + 2349946038826888499643542701838585552420764004548988765/41863417357\ 715291961822956421212730756544253710869056*c_0101_6^8 + 2235488144646191961240289842039020066759882652814492429/20931708678\ 857645980911478210606365378272126855434528*c_0101_6^7 + 542904991458575594913815924970152909584786981344504999/104658543394\ 28822990455739105303182689136063427717264*c_0101_6^6 - 11369597923174941848058308332815643510785397020396339/1046585433942\ 8822990455739105303182689136063427717264*c_0101_6^5 - 808047644412699576914295700997518677155594299134141181/418634173577\ 15291961822956421212730756544253710869056*c_0101_6^4 - 102576391767788328557020582044640852649198869879009405/104658543394\ 28822990455739105303182689136063427717264*c_0101_6^3 - 109705250939770448673661170586476992009036975730508853/418634173577\ 15291961822956421212730756544253710869056*c_0101_6^2 - 11301672630053662298179610788134176355235354064190557/4186341735771\ 5291961822956421212730756544253710869056*c_0101_6 + 3984280789942073216237921763261131233723445599162005/52329271697144\ 11495227869552651591344568031713858632, c_0101_0 + 228627268550619259690673599138597731198781182918069/26164635\ 84857205747613934776325795672284015856929316*c_0101_6^17 + 2758983898601670336321501947267928668912799959361197/65411589621430\ 1436903483694081448918071003964232329*c_0101_6^16 + 65400454763120582354320466746539611772603597034467389/2616463584857\ 205747613934776325795672284015856929316*c_0101_6^15 + 108227996246980905534700143072357756723436783520818030/654115896214\ 301436903483694081448918071003964232329*c_0101_6^14 + 1286265663053548216250220322669268875222855901915800277/26164635848\ 57205747613934776325795672284015856929316*c_0101_6^13 + 931196227077835354808805877398272336225992301100769564/654115896214\ 301436903483694081448918071003964232329*c_0101_6^12 + 1727536423015346826584148345768480415392813931811477023/65411589621\ 4301436903483694081448918071003964232329*c_0101_6^11 + 3662889735676285876440947532958802969725661708648336725/26164635848\ 57205747613934776325795672284015856929316*c_0101_6^10 - 2372238324795767878998305523570152270494262742727869087/26164635848\ 57205747613934776325795672284015856929316*c_0101_6^9 - 21081442058680351112032789921837532295819029873810170915/2616463584\ 857205747613934776325795672284015856929316*c_0101_6^8 - 17139563954532128749504764553506578996491677612062537449/1308231792\ 428602873806967388162897836142007928464658*c_0101_6^7 - 1194221141339275275227115060503009256282748832673656152/65411589621\ 4301436903483694081448918071003964232329*c_0101_6^6 + 1869055300405094438464207706034934242301573132356146979/65411589621\ 4301436903483694081448918071003964232329*c_0101_6^5 + 2287935304934995861829462862483389759574035759982036107/26164635848\ 57205747613934776325795672284015856929316*c_0101_6^4 + 571863152158175129266588017932452410984502859035312698/654115896214\ 301436903483694081448918071003964232329*c_0101_6^3 - 7862334619799360342979972466891722959094886399061401/26164635848572\ 05747613934776325795672284015856929316*c_0101_6^2 - 453136528476855375696460822687201249229381799213194053/261646358485\ 7205747613934776325795672284015856929316*c_0101_6 + 14125246596414718009749321968735259589885912007189512/6541158962143\ 01436903483694081448918071003964232329, c_0101_1 - 10057464802911707715019749690039604464795276939099/654115896\ 214301436903483694081448918071003964232329*c_0101_6^17 - 485844987000907263938015340143531193740924083807520/654115896214301\ 436903483694081448918071003964232329*c_0101_6^16 - 2894811143100684476659312749180726851253956564792116/65411589621430\ 1436903483694081448918071003964232329*c_0101_6^15 - 19153473884254114689209634947228145811452674085852476/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^14 - 57303760716527187855449161552936827123630837762914013/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^13 - 166089882564679721080270286436841983098433178810838565/654115896214\ 301436903483694081448918071003964232329*c_0101_6^12 - 310444340513498513355958869175641069563022535020164553/654115896214\ 301436903483694081448918071003964232329*c_0101_6^11 - 173654113409060700559064783215068541397909807092553112/654115896214\ 301436903483694081448918071003964232329*c_0101_6^10 + 95908126989707690628117077132621634636465764809618108/6541158962143\ 01436903483694081448918071003964232329*c_0101_6^9 + 929973490509979775443455940867598880016060800246729330/654115896214\ 301436903483694081448918071003964232329*c_0101_6^8 + 1542401213858709187612457586678979601741397206030355986/65411589621\ 4301436903483694081448918071003964232329*c_0101_6^7 + 273293744542643320739224743870465793243268276140002681/654115896214\ 301436903483694081448918071003964232329*c_0101_6^6 - 309057874010755311891664697719115283033419039655628906/654115896214\ 301436903483694081448918071003964232329*c_0101_6^5 - 111517287990868153965898119135795022432989197857206050/654115896214\ 301436903483694081448918071003964232329*c_0101_6^4 - 104465096153982567433325252858293370100971875324952827/654115896214\ 301436903483694081448918071003964232329*c_0101_6^3 - 4652726615365221505394503854277969787819232739264752/65411589621430\ 1436903483694081448918071003964232329*c_0101_6^2 + 19056733374083273748893700066807305130954399900439995/6541158962143\ 01436903483694081448918071003964232329*c_0101_6 - 1491522032832901573243672898303194711317790250157957/65411589621430\ 1436903483694081448918071003964232329, c_0101_3 - 391776795537779831644474651708931387780985257479683/41863417\ 357715291961822956421212730756544253710869056*c_0101_6^17 - 2368830396105002764265789018958314758941246069366165/52329271697144\ 11495227869552651591344568031713858632*c_0101_6^16 - 113979230503465868881102072195129993117641678813890931/418634173577\ 15291961822956421212730756544253710869056*c_0101_6^15 - 23544402522054313155394465753497576214419139417608511/1308231792428\ 602873806967388162897836142007928464658*c_0101_6^14 - 2280654024645272965675401924406449339741998732235498731/41863417357\ 715291961822956421212730756544253710869056*c_0101_6^13 - 1654234301947272765491923655907036850267273444736398663/10465854339\ 428822990455739105303182689136063427717264*c_0101_6^12 - 1565206460469066045735135923772704134763273206115208175/52329271697\ 14411495227869552651591344568031713858632*c_0101_6^11 - 7579498572930969390895491129470268857448097019699759315/41863417357\ 715291961822956421212730756544253710869056*c_0101_6^10 + 3217917412439953396480563776565755020418237857233503853/41863417357\ 715291961822956421212730756544253710869056*c_0101_6^9 + 36384589436760977584056101264471187381936225088250164573/4186341735\ 7715291961822956421212730756544253710869056*c_0101_6^8 + 31202784944619590488565812107492544603031649484227801613/2093170867\ 8857645980911478210606365378272126855434528*c_0101_6^7 + 3669923078649810801235520354323551984430604547053820535/10465854339\ 428822990455739105303182689136063427717264*c_0101_6^6 - 2730732701111006082411762747853484252313817142754819491/10465854339\ 428822990455739105303182689136063427717264*c_0101_6^5 - 4835868850337916835706285142372996185612661412360430525/41863417357\ 715291961822956421212730756544253710869056*c_0101_6^4 - 1109145330561012687384446775819706432910290554381387725/10465854339\ 428822990455739105303182689136063427717264*c_0101_6^3 - 438432024523528987934330989896915813091356367232563061/418634173577\ 15291961822956421212730756544253710869056*c_0101_6^2 + 717350864990179639393733474751176497890672882160672995/418634173577\ 15291961822956421212730756544253710869056*c_0101_6 - 5947636996334043953006083718107023872283732242583211/52329271697144\ 11495227869552651591344568031713858632, c_0101_6^18 + 48*c_0101_6^17 + 273*c_0101_6^16 + 1816*c_0101_6^15 + 5113*c_0101_6^14 + 14764*c_0101_6^13 + 25800*c_0101_6^12 + 7793*c_0101_6^11 - 14807*c_0101_6^10 - 89447*c_0101_6^9 - 124966*c_0101_6^8 + 19964*c_0101_6^7 + 38820*c_0101_6^6 + 1183*c_0101_6^5 + 7236*c_0101_6^4 - 2745*c_0101_6^3 - 2009*c_0101_6^2 + 784*c_0101_6 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB