Magma V2.19-8 Tue Aug 20 2013 16:14:37 on localhost [Seed = 1461111633] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s598 geometric_solution 5.07729986 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 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 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.944865825650 0.958415616915 3 4 3 0 0132 0132 2310 0132 0 0 0 0 0 -1 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 0 0 0 1 -1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773239161093 0.615221786830 4 3 0 3 2310 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773239161093 0.615221786830 1 1 2 2 0132 3201 2310 1023 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 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.651340545513 0.326647934574 5 1 2 5 0132 0132 3201 1023 0 0 0 0 0 1 0 -1 1 0 0 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760951948176 0.531434755034 4 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 -1 1 -1 0 0 1 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 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.236317357301 0.418903872221 ==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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_1'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 3334136002233874591380918329856419/32814174211056124017936189953561\ 4*c_0101_5^19 + 1378706645146573424980022269406812/1491553373229823\ 8189970995433437*c_0101_5^18 + 14190069212781886750568960656531757/\ 109380580703520413393120633178538*c_0101_5^17 - 162705754924958494439940204000884615/328141742110561240179361899535\ 614*c_0101_5^16 - 583553574997822777518166357187860850/164070871055\ 280620089680949767807*c_0101_5^15 - 775873950714125826166943384183307339/109380580703520413393120633178\ 538*c_0101_5^14 - 41809859655918649694239082970355477/1640708710552\ 80620089680949767807*c_0101_5^13 + 182458300198208926085204145732301481/994368915486549212664733028895\ 8*c_0101_5^12 + 14621276239294080334789002020888492357/328141742110\ 561240179361899535614*c_0101_5^11 + 7634735553368388048021012614654215538/16407087105528062008968094976\ 7807*c_0101_5^10 + 1313526459500125179281743889014406743/1093805807\ 03520413393120633178538*c_0101_5^9 - 1011241473339949941452668546871252627/16407087105528062008968094976\ 7807*c_0101_5^8 - 3520728190493642968728476899544319242/16407087105\ 5280620089680949767807*c_0101_5^7 - 6430528823825276250091823986369281217/32814174211056124017936189953\ 5614*c_0101_5^6 - 1608846719051524423648047039608245330/16407087105\ 5280620089680949767807*c_0101_5^5 - 52768439796979869145123430921472919/9943689154865492126647330288958\ *c_0101_5^4 - 664198617030844628141806741707197203/3281417421105612\ 40179361899535614*c_0101_5^3 - 144367393461298634182742838251748149\ /328141742110561240179361899535614*c_0101_5^2 - 53601046209292203440697297149191759/3281417421105612401793618995356\ 14*c_0101_5 - 821848831395433411559025418163862/5469029035176020669\ 6560316589269, c_0011_0 - 1, c_0011_1 - 262852286703513859401805440621/58492289146267600744984295817\ 4*c_0101_5^19 - 1205509790786298749559830284486/2924614457313380037\ 24921479087*c_0101_5^18 - 3539708856534110668055476432347/584922891\ 462676007449842958174*c_0101_5^17 + 6271610151956151267808788623364/292461445731338003724921479087*c_01\ 01_5^16 + 92944059930737632029869851470297/584922891462676007449842\ 958174*c_0101_5^15 + 190605473937304932645648880110425/584922891462\ 676007449842958174*c_0101_5^14 + 21573988233010236213975650061111/5\ 84922891462676007449842958174*c_0101_5^13 - 236068787038655350353978472703012/292461445731338003724921479087*c_\ 0101_5^12 - 1188769871018271529116476651097451/58492289146267600744\ 9842958174*c_0101_5^11 - 1295989082270498609768722432046037/5849228\ 91462676007449842958174*c_0101_5^10 - 207667024612988172016619595778050/292461445731338003724921479087*c_\ 0101_5^9 + 122653008629325696460454562131971/5849228914626760074498\ 42958174*c_0101_5^8 + 281681042613107695889290638379198/29246144573\ 1338003724921479087*c_0101_5^7 + 275089117682036360690658107530052/\ 292461445731338003724921479087*c_0101_5^6 + 152221322710154617674669431457604/292461445731338003724921479087*c_\ 0101_5^5 + 161447533157106712617687924890241/5849228914626760074498\ 42958174*c_0101_5^4 + 32341788004778092356472311953426/292461445731\ 338003724921479087*c_0101_5^3 + 14765513664365047142125373066171/58\ 4922891462676007449842958174*c_0101_5^2 + 4140640813823751047894789451469/584922891462676007449842958174*c_01\ 01_5 + 226927451363782291540107390865/29246144573133800372492147908\ 7, c_0101_0 + 3668107529702517617256776472681/6434151806089436081948272539\ 914*c_0101_5^19 + 3296357969119632773245767534361/58492289146267600\ 7449842958174*c_0101_5^18 + 73241366871391591857639100376209/643415\ 1806089436081948272539914*c_0101_5^17 - 141492545824144522727207557168463/6434151806089436081948272539914*c\ _0101_5^16 - 1427565504425824322112845601654039/6434151806089436081\ 948272539914*c_0101_5^15 - 1791973595057476836134310580255396/32170\ 75903044718040974136269957*c_0101_5^14 - 1064401428709089995914576230308271/3217075903044718040974136269957*\ c_0101_5^13 + 602367741309199556032799481054867/5849228914626760074\ 49842958174*c_0101_5^12 + 21618013775867089512815331068356555/64341\ 51806089436081948272539914*c_0101_5^11 + 14852805304005449507969334271121785/3217075903044718040974136269957\ *c_0101_5^10 + 17254775936101134928017910860990445/6434151806089436\ 081948272539914*c_0101_5^9 - 273652374725904819832668204341633/6434\ 151806089436081948272539914*c_0101_5^8 - 11455416403461162908355022019726833/6434151806089436081948272539914\ *c_0101_5^7 - 6863898646818786613715497456856879/321707590304471804\ 0974136269957*c_0101_5^6 - 4432510646998202493840198312552860/32170\ 75903044718040974136269957*c_0101_5^5 - 353117813151461276650177275250425/584922891462676007449842958174*c_\ 0101_5^4 - 1455414426103444852394731062784777/643415180608943608194\ 8272539914*c_0101_5^3 - 403478340793716822129503117295257/643415180\ 6089436081948272539914*c_0101_5^2 - 26453925050380678221812053321448/3217075903044718040974136269957*c_\ 0101_5 - 8472218234728945034059803513903/64341518060894360819482725\ 39914, c_0101_1 + 2675749365573768257610921494664/3217075903044718040974136269\ 957*c_0101_5^19 + 2116873631388311953193948250519/29246144573133800\ 3724921479087*c_0101_5^18 + 24293739268559077039537399534423/321707\ 5903044718040974136269957*c_0101_5^17 - 146459245582903280080545542662659/3217075903044718040974136269957*c\ _0101_5^16 - 888604235189483026507259522138196/32170759030447180409\ 74136269957*c_0101_5^15 - 1485133231459507419874613992872195/321707\ 5903044718040974136269957*c_0101_5^14 + 763900537279580584790850063163001/3217075903044718040974136269957*c\ _0101_5^13 + 458784064203146781523368467556401/29246144573133800372\ 4921479087*c_0101_5^12 + 9824445090642503760249342956259392/3217075\ 903044718040974136269957*c_0101_5^11 + 7094936712054686726270809260393406/3217075903044718040974136269957*\ c_0101_5^10 - 2866829453215124577619034689767247/321707590304471804\ 0974136269957*c_0101_5^9 - 4037646159809082153887201919476074/32170\ 75903044718040974136269957*c_0101_5^8 - 5090317560533207670249478055186693/3217075903044718040974136269957*\ c_0101_5^7 - 2452109387615966684534809080972061/3217075903044718040\ 974136269957*c_0101_5^6 + 67787675457297523589736181870201/32170759\ 03044718040974136269957*c_0101_5^5 + 9275871837565001833368265045502/292461445731338003724921479087*c_01\ 01_5^4 + 145296942175818073674536749196194/321707590304471804097413\ 6269957*c_0101_5^3 + 121034001379366519525224233348790/321707590304\ 4718040974136269957*c_0101_5^2 + 10523485415790088430885454346950/3\ 217075903044718040974136269957*c_0101_5 + 5063425190311666980249135663300/3217075903044718040974136269957, c_0101_4 + 94795983887931145576207/1337727967374976861001674*c_0101_5^1\ 9 + 411006708611833709275439/668863983687488430500837*c_0101_5^18 + 870739554728640901457005/1337727967374976861001674*c_0101_5^17 - 2450050118541994361091795/668863983687488430500837*c_0101_5^16 - 30949653550145082107010957/1337727967374976861001674*c_0101_5^15 - 53499491161958123875463215/1337727967374976861001674*c_0101_5^14 + 16661497268980271554375147/1337727967374976861001674*c_0101_5^13 + 78158375999333254024492721/668863983687488430500837*c_0101_5^12 + 348175328132141773214826757/1337727967374976861001674*c_0101_5^11 + 305220242071274097420452927/1337727967374976861001674*c_0101_5^10 + 15037406366245370650166974/668863983687488430500837*c_0101_5^9 - 17561904409513360853131809/1337727967374976861001674*c_0101_5^8 - 88407963862321426190655025/668863983687488430500837*c_0101_5^7 - 56813026284605724312599292/668863983687488430500837*c_0101_5^6 - 31845882445820563838648997/668863983687488430500837*c_0101_5^5 - 44888423399000430295584917/1337727967374976861001674*c_0101_5^4 - 4799814890110089495167446/668863983687488430500837*c_0101_5^3 - 6563996104281497321357929/1337727967374976861001674*c_0101_5^2 - 3225732586896343068829889/1337727967374976861001674*c_0101_5 + 71705242543552585523044/668863983687488430500837, c_0101_5^20 + 9*c_0101_5^19 + 12*c_0101_5^18 - 49*c_0101_5^17 - 344*c_0101_5^16 - 670*c_0101_5^15 + 3*c_0101_5^14 + 1734*c_0101_5^13 + 4220*c_0101_5^12 + 4362*c_0101_5^11 + 1212*c_0101_5^10 - 272*c_0101_5^9 - 1995*c_0101_5^8 - 1807*c_0101_5^7 - 1014*c_0101_5^6 - 607*c_0101_5^5 - 229*c_0101_5^4 - 66*c_0101_5^3 - 26*c_0101_5^2 - 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB