Magma V2.19-8 Tue Aug 20 2013 16:19:19 on localhost [Seed = 3718004947] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3434 geometric_solution 6.60493604 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 3201 2310 0132 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 -1 0 1 0 0 1 -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.540598983748 0.656825935918 0 3 5 4 0132 0132 0132 0132 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 -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.556430083683 1.088326633397 6 5 0 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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.556430083683 1.088326633397 3 1 2 3 3012 0132 0132 1230 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 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.944046483674 0.760779346717 5 6 1 6 0321 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428092166082 0.659038549766 4 6 2 1 0321 1230 2310 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 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.372425886844 0.728431160545 2 4 5 4 0132 2310 3012 0321 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 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.519161845839 0.902337209542 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : 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' : negation(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' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_1001_3'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_4']), '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_2']), '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_1001_3']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : d['c_1001_3'], '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_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 436721441422675335719894355387304896893753913781/125295708966415051\ 83040721440021185568197615871488*c_1001_3^23 - 3124811525610030488500393172533451279196063753229/12529570896641505\ 183040721440021185568197615871488*c_1001_3^22 - 5039475289059974555192516047972384615341987510007/12529570896641505\ 183040721440021185568197615871488*c_1001_3^21 - 2451212415805733501706568341482629970033622146047/41765236322138350\ 61013573813340395189399205290496*c_1001_3^20 - 7754267084512629836694441214611930228446049286907/20882618161069175\ 30506786906670197594699602645248*c_1001_3^19 - 45634158379956763253156960481342780944669132775239/1252957089664150\ 5183040721440021185568197615871488*c_1001_3^18 + 17230658910167507023451535064492518996465234188407/1252957089664150\ 5183040721440021185568197615871488*c_1001_3^17 - 1654320482513369481501737859787573213416221022177/32127104863183346\ 6231813370256953476107631176192*c_1001_3^16 - 65340897642703491459376598058993260856666244062031/1252957089664150\ 5183040721440021185568197615871488*c_1001_3^15 - 253764366698956286306722798077583344433292474431375/125295708966415\ 05183040721440021185568197615871488*c_1001_3^14 + 31402923722774577527875725842191273183884367043371/6264785448320752\ 591520360720010592784098807935744*c_1001_3^13 - 35524816064171175050595805295975462398001480467729/2088261816106917\ 530506786906670197594699602645248*c_1001_3^12 + 210398850162581679769659476641959671249623315345435/417652363221383\ 5061013573813340395189399205290496*c_1001_3^11 + 1748093471694186795870000983682575664417413337955/15661963620801881\ 47880090180002648196024701983936*c_1001_3^10 + 245223680380325345793559212904743999384072733699093/125295708966415\ 05183040721440021185568197615871488*c_1001_3^9 - 216590901572503278448245771917828118187997348315767/626478544832075\ 2591520360720010592784098807935744*c_1001_3^8 - 42028185258049232033751972024026641795606060791771/4176523632213835\ 061013573813340395189399205290496*c_1001_3^7 + 932349129155858675811210712323530810083962224670623/125295708966415\ 05183040721440021185568197615871488*c_1001_3^6 - 125620491523079507141728983607801328891385854604593/125295708966415\ 05183040721440021185568197615871488*c_1001_3^5 - 202662641682653104786181631065625558469536033940111/626478544832075\ 2591520360720010592784098807935744*c_1001_3^4 - 245668037668511662478546197045394623878914637549481/313239272416037\ 6295760180360005296392049403967872*c_1001_3^3 - 23393156701894215278429105888431598606573513188093/6264785448320752\ 591520360720010592784098807935744*c_1001_3^2 + 46044410605321284536411295281982523407971427186859/1044130908053458\ 765253393453335098797349801322624*c_1001_3 + 122054798978279866890388126513641989170614556803731/125295708966415\ 05183040721440021185568197615871488, c_0011_0 - 1, c_0011_2 + 1855515035100024880453496018973571177721725/1882447550577149\ 216202031466349336774068151423*c_1001_3^23 + 11604348512941928599330568574054647928537439/3764895101154298432404\ 062932698673548136302846*c_1001_3^22 - 11167306507871704628744370880287797993475402/6274825168590497387340\ 10488783112258022717141*c_1001_3^21 - 46145711117086453452973126904630731269581713/1254965033718099477468\ 020977566224516045434282*c_1001_3^20 + 17319498213114313939388986683884782625544023/1254965033718099477468\ 020977566224516045434282*c_1001_3^19 - 681062714034658740674940922881528520628873251/188244755057714921620\ 2031466349336774068151423*c_1001_3^18 - 2201346451024641366036518012590751593634735155/37648951011542984324\ 04062932698673548136302846*c_1001_3^17 - 119504958457578784693776359328654051324019351/376489510115429843240\ 4062932698673548136302846*c_1001_3^16 - 2713370966566213849332731800690733361313444091/37648951011542984324\ 04062932698673548136302846*c_1001_3^15 - 149246317603341463033286769667247660408503245/627482516859049738734\ 010488783112258022717141*c_1001_3^14 - 5859052302793623473689998299122097629520034914/18824475505771492162\ 02031466349336774068151423*c_1001_3^13 + 74824305332244178764578655430203033236820436/1882447550577149216202\ 031466349336774068151423*c_1001_3^12 - 8802553269583451405592693149550202776826050878/18824475505771492162\ 02031466349336774068151423*c_1001_3^11 + 18700486499215461520958162621894948938876954129/3764895101154298432\ 404062932698673548136302846*c_1001_3^10 - 4980562481081996258255301684028148818414261675/37648951011542984324\ 04062932698673548136302846*c_1001_3^9 + 3412600928528371902840218354209551375127534885/62748251685904973873\ 4010488783112258022717141*c_1001_3^8 - 3756679025664986658328219622803545156643726329/12549650337180994774\ 68020977566224516045434282*c_1001_3^7 - 4022369463394238090327303529290552465980395554/18824475505771492162\ 02031466349336774068151423*c_1001_3^6 + 10038583201420551103902438000127035024577952415/1254965033718099477\ 468020977566224516045434282*c_1001_3^5 + 8295545973618689284493255327725337092919394613/37648951011542984324\ 04062932698673548136302846*c_1001_3^4 + 1048300376484274751678023130990624996019306698/62748251685904973873\ 4010488783112258022717141*c_1001_3^3 - 17872311050388987622895671248775791364116261487/1882447550577149216\ 202031466349336774068151423*c_1001_3^2 - 14789190279983668004519237304646664608343467415/3764895101154298432\ 404062932698673548136302846*c_1001_3 + 960021552447422860688909243713616972417288626/627482516859049738734\ 010488783112258022717141, c_0011_4 + 11508399138936214645920963935282171053208471/125496503371809\ 9477468020977566224516045434282*c_1001_3^23 + 88116893905413785558447882662990706785338799/1254965033718099477468\ 020977566224516045434282*c_1001_3^22 + 89401260861696614429608379323551221912119102/6274825168590497387340\ 10488783112258022717141*c_1001_3^21 + 149282613999962079829164951777359097543536105/627482516859049738734\ 010488783112258022717141*c_1001_3^20 + 706219583295785525785556661625615615292842836/627482516859049738734\ 010488783112258022717141*c_1001_3^19 + 984601049202070633206127838996647101932550812/627482516859049738734\ 010488783112258022717141*c_1001_3^18 + 387709470341367251876232760646891264526209073/627482516859049738734\ 010488783112258022717141*c_1001_3^17 + 2539485957737234117872281107731328270459034895/12549650337180994774\ 68020977566224516045434282*c_1001_3^16 + 1604351195876371879438034555811427014991109334/62748251685904973873\ 4010488783112258022717141*c_1001_3^15 + 8653037439502263183382003383026412115534827601/12549650337180994774\ 68020977566224516045434282*c_1001_3^14 + 1793349553788521683748079019095612642496690816/62748251685904973873\ 4010488783112258022717141*c_1001_3^13 + 4439074521829640936607055345678720083602070406/62748251685904973873\ 4010488783112258022717141*c_1001_3^12 - 11026923172211558285537088670848653760146440871/1254965033718099477\ 468020977566224516045434282*c_1001_3^11 - 2277823600155374543115542509289619244180371717/62748251685904973873\ 4010488783112258022717141*c_1001_3^10 - 4774710585595658747614863160345895078071033510/62748251685904973873\ 4010488783112258022717141*c_1001_3^9 + 2143411842772439924112411349333932307928289395/62748251685904973873\ 4010488783112258022717141*c_1001_3^8 + 4440648214866772244406503442862090089757162773/12549650337180994774\ 68020977566224516045434282*c_1001_3^7 - 11096890435551220572309917647509135127597647792/6274825168590497387\ 34010488783112258022717141*c_1001_3^6 - 4120764052780720255757578683893136227549592889/62748251685904973873\ 4010488783112258022717141*c_1001_3^5 + 2160200528187808523405038543693787501626967977/62748251685904973873\ 4010488783112258022717141*c_1001_3^4 + 23775158373160922566435181046504301843687913925/1254965033718099477\ 468020977566224516045434282*c_1001_3^3 + 16296570268890355100858581642289419542075342751/1254965033718099477\ 468020977566224516045434282*c_1001_3^2 - 2588333116210662021285079318744621051302792549/12549650337180994774\ 68020977566224516045434282*c_1001_3 - 1478027173033327434151037711557203691235832635/12549650337180994774\ 68020977566224516045434282, c_0011_5 + 10316893714583087389410398451655741840221035/250993006743619\ 8954936041955132449032090868564*c_1001_3^23 + 19994751211397350422863356835760607884777174/6274825168590497387340\ 10488783112258022717141*c_1001_3^22 + 41509351821890348667093496414256557001964441/6274825168590497387340\ 10488783112258022717141*c_1001_3^21 + 264801757287804039302948825256941545196637029/250993006743619895493\ 6041955132449032090868564*c_1001_3^20 + 1237737749395794011254866283472480670044324499/25099300674361989549\ 36041955132449032090868564*c_1001_3^19 + 912332839782320366583468363888351074484303315/125496503371809947746\ 8020977566224516045434282*c_1001_3^18 + 607932572434995846960039127055985447745497851/250993006743619895493\ 6041955132449032090868564*c_1001_3^17 + 401129317913406807956433923378402836125041293/627482516859049738734\ 010488783112258022717141*c_1001_3^16 + 3034324436610057686534077981928002793368786931/25099300674361989549\ 36041955132449032090868564*c_1001_3^15 + 8062181875453227257963358066925308959346249791/25099300674361989549\ 36041955132449032090868564*c_1001_3^14 + 978546924704613527682597837141888312154738543/125496503371809947746\ 8020977566224516045434282*c_1001_3^13 + 1820323300492803522600755639146471098735369469/62748251685904973873\ 4010488783112258022717141*c_1001_3^12 - 11301162225291684432436664651276865111572506267/2509930067436198954\ 936041955132449032090868564*c_1001_3^11 - 4427210301145536648857194226889190124306012135/25099300674361989549\ 36041955132449032090868564*c_1001_3^10 - 11481383585565200834935909112800861558629066147/2509930067436198954\ 936041955132449032090868564*c_1001_3^9 + 6352658703809031858260421400865521181080147339/12549650337180994774\ 68020977566224516045434282*c_1001_3^8 - 809533702595992764814566606522452973200603081/125496503371809947746\ 8020977566224516045434282*c_1001_3^7 - 8419993012035602580851460894267522155615901367/12549650337180994774\ 68020977566224516045434282*c_1001_3^6 - 10810834611933210056153240248173284519912849115/2509930067436198954\ 936041955132449032090868564*c_1001_3^5 + 7882372289602678117479349684038122511764471065/25099300674361989549\ 36041955132449032090868564*c_1001_3^4 + 30377314474081072465220530208898407820920280833/2509930067436198954\ 936041955132449032090868564*c_1001_3^3 + 7246202807379629062718845601210409588342864089/25099300674361989549\ 36041955132449032090868564*c_1001_3^2 - 737153505766280443921588745533846156722605383/627482516859049738734\ 010488783112258022717141*c_1001_3 - 2757662524751345645367817993980679548058826681/25099300674361989549\ 36041955132449032090868564, c_0101_0 - 18806901230348472109525838974718552779871311/188244755057714\ 9216202031466349336774068151423*c_1001_3^23 - 301681256400267130244671208038648146831871363/376489510115429843240\ 4062932698673548136302846*c_1001_3^22 - 112123289483415873566604738796655584448879706/627482516859049738734\ 010488783112258022717141*c_1001_3^21 - 354363697923990309826071678724169240747324921/125496503371809947746\ 8020977566224516045434282*c_1001_3^20 - 1575415698028039529500822409942611149522401821/12549650337180994774\ 68020977566224516045434282*c_1001_3^19 - 3873582501526286757890470363518554934176850572/18824475505771492162\ 02031466349336774068151423*c_1001_3^18 - 2951511812507482173868264067320086096095337617/37648951011542984324\ 04062932698673548136302846*c_1001_3^17 - 6535064935009897495409901135415699537007284505/37648951011542984324\ 04062932698673548136302846*c_1001_3^16 - 13211184385201769397003724156676593289896440427/3764895101154298432\ 404062932698673548136302846*c_1001_3^15 - 4888844009833748296771643960930070682749899828/62748251685904973873\ 4010488783112258022717141*c_1001_3^14 - 8237550780505796791995140404223700674707999543/18824475505771492162\ 02031466349336774068151423*c_1001_3^13 - 11106339780263628739411627335477214914125880892/1882447550577149216\ 202031466349336774068151423*c_1001_3^12 + 13742597952981575588997758500178953499216633552/1882447550577149216\ 202031466349336774068151423*c_1001_3^11 + 39111933246537805114410617160427141614120145553/3764895101154298432\ 404062932698673548136302846*c_1001_3^10 + 20831731670596510958920324310242154699319031069/3764895101154298432\ 404062932698673548136302846*c_1001_3^9 - 1725086729814672509116718504448523531478274485/62748251685904973873\ 4010488783112258022717141*c_1001_3^8 - 9384891252558764952231286155220074086657543227/12549650337180994774\ 68020977566224516045434282*c_1001_3^7 + 40994236982710012033376175157250118793062299501/1882447550577149216\ 202031466349336774068151423*c_1001_3^6 + 15218445500335549088967266076479025679477793567/1254965033718099477\ 468020977566224516045434282*c_1001_3^5 - 32767798353073626434376636163641149236788492529/3764895101154298432\ 404062932698673548136302846*c_1001_3^4 - 15615397619491525767251634555032991229940087943/6274825168590497387\ 34010488783112258022717141*c_1001_3^3 - 31033029541298187517884009479108614046582503976/1882447550577149216\ 202031466349336774068151423*c_1001_3^2 + 20681839335873137961606675503503891207059808637/3764895101154298432\ 404062932698673548136302846*c_1001_3 + 1199184723855638176107617630040684204748592936/62748251685904973873\ 4010488783112258022717141, c_0101_3 + 1327004109904702082948752/102648385432518592668000973*c_1001\ _3^23 + 9934455509277165579135311/102648385432518592668000973*c_100\ 1_3^22 + 38146073126243366056063971/205296770865037185336001946*c_1\ 001_3^21 + 32392561335375475185616354/102648385432518592668000973*c\ _1001_3^20 + 320046263099015197867527665/20529677086503718533600194\ 6*c_1001_3^19 + 406278204572788461794094545/20529677086503718533600\ 1946*c_1001_3^18 + 72071395682056368145674971/102648385432518592668\ 000973*c_1001_3^17 + 622995915019443737811090725/205296770865037185\ 336001946*c_1001_3^16 + 627376528744415539344108767/205296770865037\ 185336001946*c_1001_3^15 + 1901418058146916295208375715/20529677086\ 5037185336001946*c_1001_3^14 + 319323024070098873277995034/10264838\ 5432518592668000973*c_1001_3^13 + 1055018106807819624922554587/1026\ 48385432518592668000973*c_1001_3^12 - 1425751821420462103338046792/102648385432518592668000973*c_1001_3^1\ 1 - 263657749803225098824901264/102648385432518592668000973*c_1001_\ 3^10 - 2257064709698200530934656299/205296770865037185336001946*c_1\ 001_3^9 + 792121941054619719308077611/205296770865037185336001946*c\ _1001_3^8 + 504671092823824208570061436/102648385432518592668000973\ *c_1001_3^7 - 5074644253304504767298200361/205296770865037185336001\ 946*c_1001_3^6 - 439605065108429284936183203/1026483854325185926680\ 00973*c_1001_3^5 + 531672720215518252004512803/20529677086503718533\ 6001946*c_1001_3^4 + 5203893500882920715965208309/20529677086503718\ 5336001946*c_1001_3^3 + 1830781827405874252642179076/10264838543251\ 8592668000973*c_1001_3^2 - 334323529922706317362650455/102648385432\ 518592668000973*c_1001_3 - 240078825355509493227869377/205296770865\ 037185336001946, c_1001_3^24 + 8*c_1001_3^23 + 18*c_1001_3^22 + 30*c_1001_3^21 + 129*c_1001_3^20 + 209*c_1001_3^19 + 106*c_1001_3^18 + 214*c_1001_3^17 + 344*c_1001_3^16 + 816*c_1001_3^15 + 511*c_1001_3^14 + 748*c_1001_3^13 - 731*c_1001_3^12 - 859*c_1001_3^11 - 809*c_1001_3^10 + 135*c_1001_3^9 + 663*c_1001_3^8 - 1952*c_1001_3^7 - 1248*c_1001_3^6 + 425*c_1001_3^5 + 2382*c_1001_3^4 + 1982*c_1001_3^3 - 166*c_1001_3^2 - 243*c_1001_3 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB