Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 374835963] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1941 geometric_solution 5.52982671 oriented_manifold CS_known 0.0000000000000006 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489068920851 0.290705492697 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000051244855 0.607370520538 1 4 3 5 0132 0132 3012 0132 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 -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.025243860477 0.882698402805 5 2 4 1 3201 1230 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1.025243860477 0.882698402805 4 2 3 4 3201 0132 1023 2310 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 0 -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.038533655707 0.836650234916 6 6 2 3 0132 2310 0132 2310 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 -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.778906895283 1.202078149021 5 6 6 5 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.734092966116 0.399061988604 ==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' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 59222833048777737524313815469833132227724/1485568828452534980282257\ 6696232826591*c_0101_3^21 - 634368289052671043302757814717032392963\ 97/14855688284525349802822576696232826591*c_0101_3^20 + 1319236719749258991655292064421843289761323/49518960948417832676075\ 25565410942197*c_0101_3^19 - 52313649554766637590931085060821903182\ 03241/14855688284525349802822576696232826591*c_0101_3^18 - 27173406593010256534296581576349198867968896/1485568828452534980282\ 2576696232826591*c_0101_3^17 + 676247398990438702983096148679320506\ 33779147/14855688284525349802822576696232826591*c_0101_3^16 + 19215180154881950621248398490443229712053043/1485568828452534980282\ 2576696232826591*c_0101_3^15 - 102244357070499728060479933812554597\ 663357716/14855688284525349802822576696232826591*c_0101_3^14 - 161264770733826461267746623634850543145146842/148556882845253498028\ 22576696232826591*c_0101_3^13 + 42614256549364913103937767095329558\ 4591027258/14855688284525349802822576696232826591*c_0101_3^12 + 29961795174059640647255276307824713261312295/1485568828452534980282\ 2576696232826591*c_0101_3^11 - 695009411527282066784671837695502535\ 99306709/4951896094841783267607525565410942197*c_0101_3^10 - 93846125329519235028282724407726004525594195/4951896094841783267607\ 525565410942197*c_0101_3^9 + 39129127925566467600977274748745393828\ 9678437/14855688284525349802822576696232826591*c_0101_3^8 - 230641354406031915442215546423847553084135674/148556882845253498028\ 22576696232826591*c_0101_3^7 + 214313625371680200629427423336994552\ 18595725/4951896094841783267607525565410942197*c_0101_3^6 + 23098726572782518959978071379426026735582585/4951896094841783267607\ 525565410942197*c_0101_3^5 - 40576208257393428693691823410354309326\ 949993/14855688284525349802822576696232826591*c_0101_3^4 - 1436856429590569879594475259459635547847845/49518960948417832676075\ 25565410942197*c_0101_3^3 + 388347834039767276276522286746541499697\ 3174/14855688284525349802822576696232826591*c_0101_3^2 - 13766849793771974970466899556145281379250/4951896094841783267607525\ 565410942197*c_0101_3 - 80373144114648424952094624842007075558832/1\ 4855688284525349802822576696232826591, c_0011_0 - 1, c_0011_1 + 217042406456431032660958419451534105775/99037921896835665352\ 15051130821884394*c_0101_3^21 + 14457201024435880298414869489903899\ 3460/4951896094841783267607525565410942197*c_0101_3^20 - 7226309899937750619141100599950072440976/49518960948417832676075255\ 65410942197*c_0101_3^19 + 15377345428969424843645365754168074371257\ /9903792189683566535215051130821884394*c_0101_3^18 + 52594110022229569319268898754762854589353/4951896094841783267607525\ 565410942197*c_0101_3^17 - 2226976968274645835644597769235911933436\ 19/9903792189683566535215051130821884394*c_0101_3^16 - 139100785812902282066073379939302682187027/990379218968356653521505\ 1130821884394*c_0101_3^15 + 183493476168340924964847494818893867725\ 258/4951896094841783267607525565410942197*c_0101_3^14 + 690396718772586005500861654306408765647963/990379218968356653521505\ 1130821884394*c_0101_3^13 - 142296208651213511600523951192978513472\ 3797/9903792189683566535215051130821884394*c_0101_3^12 - 539887151167095561521459867451996353660751/990379218968356653521505\ 1130821884394*c_0101_3^11 + 401109447811656535241150901402285235593\ 183/4951896094841783267607525565410942197*c_0101_3^10 + 613746835210235516805626007081040886372161/495189609484178326760752\ 5565410942197*c_0101_3^9 - 1195035380130179804256801747179447453126\ 633/9903792189683566535215051130821884394*c_0101_3^8 + 432235151768377694691566244578769447231341/990379218968356653521505\ 1130821884394*c_0101_3^7 + 2417328422130983493038822003051591057423\ 7/4951896094841783267607525565410942197*c_0101_3^6 - 358291198293971039707028036300820394338713/990379218968356653521505\ 1130821884394*c_0101_3^5 + 9777641701119480361321790045883974064151\ 9/9903792189683566535215051130821884394*c_0101_3^4 + 62904092273021079382064404616153438184881/9903792189683566535215051\ 130821884394*c_0101_3^3 - 8556676391367276729804155995100819505799/\ 4951896094841783267607525565410942197*c_0101_3^2 - 3271731759826054682977613110866680248945/99037921896835665352150511\ 30821884394*c_0101_3 + 417637513113249490524817584333470511091/4951\ 896094841783267607525565410942197, c_0011_3 - 224494687954765576152294449038229884106/49518960948417832676\ 07525565410942197*c_0101_3^21 - 56269701643979811777006289665670321\ 1519/9903792189683566535215051130821884394*c_0101_3^20 + 14969240657370040822785231496763400126842/4951896094841783267607525\ 565410942197*c_0101_3^19 - 1708771569235277153056032420112236126604\ 3/4951896094841783267607525565410942197*c_0101_3^18 - 214654055006889434856780214973958894634067/990379218968356653521505\ 1130821884394*c_0101_3^17 + 238563924273604987216161270704195345525\ 300/4951896094841783267607525565410942197*c_0101_3^16 + 248641980795773215269685101539143203833447/990379218968356653521505\ 1130821884394*c_0101_3^15 - 773358052445910054193027003344670074889\ 283/9903792189683566535215051130821884394*c_0101_3^14 - 684525327056598909455722482673567387230120/495189609484178326760752\ 5565410942197*c_0101_3^13 + 304442523915778979879215839052007298663\ 2457/9903792189683566535215051130821884394*c_0101_3^12 + 871179880421401893473728731072101349817797/990379218968356653521505\ 1130821884394*c_0101_3^11 - 169432418349968461904915453204145107668\ 3191/9903792189683566535215051130821884394*c_0101_3^10 - 1211543187944037477403820151908127999006232/49518960948417832676075\ 25565410942197*c_0101_3^9 + 132429576773002547589517291530836214198\ 5880/4951896094841783267607525565410942197*c_0101_3^8 - 1111418278226449135217730002749197452488597/99037921896835665352150\ 51130821884394*c_0101_3^7 + 252922074592013196091467939240645065663\ 21/9903792189683566535215051130821884394*c_0101_3^6 + 353709638305661193248189777604015230737160/495189609484178326760752\ 5565410942197*c_0101_3^5 - 2438526339940935656803531528461233134071\ 19/9903792189683566535215051130821884394*c_0101_3^4 - 109546106330568878037636896509405627867789/990379218968356653521505\ 1130821884394*c_0101_3^3 + 3841003022542455302412744373343022016706\ 1/9903792189683566535215051130821884394*c_0101_3^2 + 2599475577964675294839600383641383066909/49518960948417832676075255\ 65410942197*c_0101_3 - 1703304303450103125465047975239790298265/990\ 3792189683566535215051130821884394, c_0011_5 + 142863207305555160006317481692710210001/99037921896835665352\ 15051130821884394*c_0101_3^21 + 18813338439362276065992147526495474\ 1445/9903792189683566535215051130821884394*c_0101_3^20 - 4759640907868589702921349775257223218363/49518960948417832676075255\ 65410942197*c_0101_3^19 + 10263701023740281262022619232165098467663\ /9903792189683566535215051130821884394*c_0101_3^18 + 69299836657666349926267224751171909840071/9903792189683566535215051\ 130821884394*c_0101_3^17 - 1479104339590195639326233002538387230602\ 91/9903792189683566535215051130821884394*c_0101_3^16 - 45414142290690758603388785100420902878531/4951896094841783267607525\ 565410942197*c_0101_3^15 + 2465021497853209150221362590778380873060\ 97/9903792189683566535215051130821884394*c_0101_3^14 + 452120056733619276328506113386094181686063/990379218968356653521505\ 1130821884394*c_0101_3^13 - 474445567148626854314513394615576742886\ 156/4951896094841783267607525565410942197*c_0101_3^12 - 175224055429399855314200676020452392732681/495189609484178326760752\ 5565410942197*c_0101_3^11 + 555633116972248577948140521580567252355\ 651/9903792189683566535215051130821884394*c_0101_3^10 + 401801453860023444820244384381491733167941/495189609484178326760752\ 5565410942197*c_0101_3^9 - 8089405039207280453191748105557143821274\ 11/9903792189683566535215051130821884394*c_0101_3^8 + 139964521086499143676765995342298251302130/495189609484178326760752\ 5565410942197*c_0101_3^7 + 4667091107601210444266135716310126884715\ 7/9903792189683566535215051130821884394*c_0101_3^6 - 247564916466818733822077102509781029913163/990379218968356653521505\ 1130821884394*c_0101_3^5 + 3565032584412801622097207557759736245400\ 6/4951896094841783267607525565410942197*c_0101_3^4 + 21955326348166529467631278879500894810558/4951896094841783267607525\ 565410942197*c_0101_3^3 - 13458952690103109272192305909753915823693\ /9903792189683566535215051130821884394*c_0101_3^2 - 2290105548531582141718268079997671609715/99037921896835665352150511\ 30821884394*c_0101_3 + 674513700621294901901586149579139674873/9903\ 792189683566535215051130821884394, c_0101_0 + 766247383681073197704851260815004775265/99037921896835665352\ 15051130821884394*c_0101_3^21 + 95873335344321282940563237874668353\ 0461/9903792189683566535215051130821884394*c_0101_3^20 - 25545320341912755632967147191990016393858/4951896094841783267607525\ 565410942197*c_0101_3^19 + 5843316100066322392179225473029530485188\ 3/9903792189683566535215051130821884394*c_0101_3^18 + 365911063954872957559834192969869461907789/990379218968356653521505\ 1130821884394*c_0101_3^17 - 814613060557375022616250922446596614556\ 161/9903792189683566535215051130821884394*c_0101_3^16 - 210318717446935097617264900525486746490436/495189609484178326760752\ 5565410942197*c_0101_3^15 + 131552566780195959575370909088074804639\ 3713/9903792189683566535215051130821884394*c_0101_3^14 + 2332515213595224000095335622141149573841027/99037921896835665352150\ 51130821884394*c_0101_3^13 - 25964312173739676261143868248273228588\ 79361/4951896094841783267607525565410942197*c_0101_3^12 - 732089593279905921073697072558629656304245/495189609484178326760752\ 5565410942197*c_0101_3^11 + 286229203951494904688011217013844067685\ 6815/9903792189683566535215051130821884394*c_0101_3^10 + 2064252971189804295917305476139706401777206/49518960948417832676075\ 25565410942197*c_0101_3^9 - 451414480129143958224017909457287133295\ 8035/9903792189683566535215051130821884394*c_0101_3^8 + 963530166077792348491633966925736879635447/495189609484178326760752\ 5565410942197*c_0101_3^7 - 7671710111107506111003712634890522201917\ 9/9903792189683566535215051130821884394*c_0101_3^6 - 1188066100837683325110005046431857249508849/99037921896835665352150\ 51130821884394*c_0101_3^5 + 205905994463559971745402042668436956976\ 924/4951896094841783267607525565410942197*c_0101_3^4 + 91016368735535235064999714026492265828210/4951896094841783267607525\ 565410942197*c_0101_3^3 - 63209341378006848999129696088209967109685\ /9903792189683566535215051130821884394*c_0101_3^2 - 8596034837425354226334250278680503071463/99037921896835665352150511\ 30821884394*c_0101_3 + 2767166451127387598764308585330876941165/990\ 3792189683566535215051130821884394, c_0101_1 - 1882027461455227337296038899342272753/4951896094841783267607\ 525565410942197*c_0101_3^21 - 2808164266863052094229549955271403474\ 7/9903792189683566535215051130821884394*c_0101_3^20 + 114713174524598112347182417043549898425/495189609484178326760752556\ 5410942197*c_0101_3^19 + 639100958909004842081326547859274654170/49\ 51896094841783267607525565410942197*c_0101_3^18 - 4095371227110610141231738156888726527971/99037921896835665352150511\ 30821884394*c_0101_3^17 - 3194152997068992983631944903235219021019/\ 4951896094841783267607525565410942197*c_0101_3^16 + 30312307238465647940864040691573461597707/9903792189683566535215051\ 130821884394*c_0101_3^15 - 3028180818455977943784431574754006826495\ /9903792189683566535215051130821884394*c_0101_3^14 - 26222328238603200300153555264841784938989/4951896094841783267607525\ 565410942197*c_0101_3^13 - 3211881685835290885777901988090884349578\ 7/9903792189683566535215051130821884394*c_0101_3^12 + 184151287549009581982616401695569790387189/990379218968356653521505\ 1130821884394*c_0101_3^11 - 281872972498516412779975585188818840025\ 73/9903792189683566535215051130821884394*c_0101_3^10 - 50606932302803333502984947300822826327646/4951896094841783267607525\ 565410942197*c_0101_3^9 - 38637368281476045933964190625218564346781\ /4951896094841783267607525565410942197*c_0101_3^8 + 160056286625419772511120041327726558903123/990379218968356653521505\ 1130821884394*c_0101_3^7 - 1151810464572812742952624871852052192156\ 69/9903792189683566535215051130821884394*c_0101_3^6 + 23969587672290158554669845553955200328137/4951896094841783267607525\ 565410942197*c_0101_3^5 + 19344478460340608500364474288634684189589\ /9903792189683566535215051130821884394*c_0101_3^4 - 20119630649887257481506857423186902716859/9903792189683566535215051\ 130821884394*c_0101_3^3 + 1308287782954158390888963615147050675223/\ 9903792189683566535215051130821884394*c_0101_3^2 + 725502030116457463384536743893448933377/495189609484178326760752556\ 5410942197*c_0101_3 - 224136734429929416082271644702951050629/99037\ 92189683566535215051130821884394, c_0101_3^22 + c_0101_3^21 - 67*c_0101_3^20 + 93*c_0101_3^19 + 459*c_0101_3^18 - 1184*c_0101_3^17 - 286*c_0101_3^16 + 1866*c_0101_3^15 + 2614*c_0101_3^14 - 7558*c_0101_3^13 - 231*c_0101_3^12 + 4286*c_0101_3^11 + 4443*c_0101_3^10 - 7277*c_0101_3^9 + 3956*c_0101_3^8 - 664*c_0101_3^7 - 1572*c_0101_3^6 + 944*c_0101_3^5 + 111*c_0101_3^4 - 150*c_0101_3^3 + 10*c_0101_3^2 + 7*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB