Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 3187417460] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0997 geometric_solution 4.88659421 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2103 0132 0132 0 0 0 0 0 0 0 0 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 -1 0 1 1 0 0 -1 1 1 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557830670575 1.267195283532 0 0 2 3 0132 2103 3201 1023 0 0 0 0 0 -1 0 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 -1 0 1 -1 0 0 1 -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.557830670575 1.267195283532 1 4 4 0 2310 0132 3201 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.436353454241 0.713619579149 5 5 0 1 0132 3201 0132 1023 0 0 0 0 0 1 0 -1 0 0 1 -1 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 2 -1 -1 0 0 1 -1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.061180139829 0.308845043288 2 2 4 4 2310 0132 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 2.016716771049 1.241301710798 3 6 3 6 0132 0132 2310 1023 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 2 0 0 -2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2.331514522987 4.338757614250 6 5 6 5 2031 0132 1302 1023 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290441732986 0.096954191627 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : 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_2'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_3, c_0101_0, c_0101_4, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 9392185832938980328496682896083/943273743080657723503383723662*c_01\ 10_6^18 + 17069585315096169033095926140359/471636871540328861751691\ 861831*c_0110_6^17 - 25079866627585721369113766160283/4716368715403\ 28861751691861831*c_0110_6^16 - 47880473743735918595603252937631/94\ 3273743080657723503383723662*c_0110_6^15 - 1099503252306556751279423458551527/943273743080657723503383723662*c\ _0110_6^14 + 651883634231921667107730247011355/47163687154032886175\ 1691861831*c_0110_6^13 - 1541572156647266042480566834146805/9432737\ 43080657723503383723662*c_0110_6^12 + 3973104786597723435616998396322331/471636871540328861751691861831*c\ _0110_6^11 + 81023791382662995433912754923599/471636871540328861751\ 691861831*c_0110_6^10 - 5220013110315190293717820180689908/47163687\ 1540328861751691861831*c_0110_6^9 + 3709143121264046589442505234282076/471636871540328861751691861831*c\ _0110_6^8 - 11329162091406704627140749345152307/9432737430806577235\ 03383723662*c_0110_6^7 - 1554794914367949022773793500738003/9432737\ 43080657723503383723662*c_0110_6^6 - 1621357326211748202069839480237060/471636871540328861751691861831*c\ _0110_6^5 - 1501439677928907799305976427760732/47163687154032886175\ 1691861831*c_0110_6^4 - 158493358265786046378968453058526/471636871\ 540328861751691861831*c_0110_6^3 - 454030714246821092109725661916675/943273743080657723503383723662*c_\ 0110_6^2 - 30802190705887987088492590627860/47163687154032886175169\ 1861831*c_0110_6 - 23739903476941709586209901563459/471636871540328\ 861751691861831, c_0011_0 - 1, c_0011_2 + 3302811518335284802099387051/16263340397942374543161788339*c\ _0101_4*c_0110_6^18 + 13140921970255176451575883761/162633403979423\ 74543161788339*c_0101_4*c_0110_6^17 - 13408946119044382167121349862/16263340397942374543161788339*c_0101_\ 4*c_0110_6^16 - 22591516812891323531119535585/162633403979423745431\ 61788339*c_0101_4*c_0110_6^15 - 393155016357619809883045729823/1626\ 3340397942374543161788339*c_0101_4*c_0110_6^14 + 325419431214263369853379801487/16263340397942374543161788339*c_0101\ _4*c_0110_6^13 - 396481256246997754574639819376/1626334039794237454\ 3161788339*c_0101_4*c_0110_6^12 + 2628930619870854564203700729947/1\ 6263340397942374543161788339*c_0101_4*c_0110_6^11 + 988714031668181796645474795310/16263340397942374543161788339*c_0101\ _4*c_0110_6^10 - 3544680358718910315066233688577/162633403979423745\ 43161788339*c_0101_4*c_0110_6^9 + 1288334141605333972192053433408/1\ 6263340397942374543161788339*c_0101_4*c_0110_6^8 - 3164879132224003576386171646689/16263340397942374543161788339*c_010\ 1_4*c_0110_6^7 - 1806928302738464400035853841400/162633403979423745\ 43161788339*c_0101_4*c_0110_6^6 - 1565720420033258180351203432966/1\ 6263340397942374543161788339*c_0101_4*c_0110_6^5 - 1312936950778441511772814590870/16263340397942374543161788339*c_010\ 1_4*c_0110_6^4 - 530659565500780511228322381080/1626334039794237454\ 3161788339*c_0101_4*c_0110_6^3 - 186243731720231553897276988565/162\ 63340397942374543161788339*c_0101_4*c_0110_6^2 - 48118933340567693102525561938/16263340397942374543161788339*c_0101_\ 4*c_0110_6 - 24281083518162434091364406903/162633403979423745431617\ 88339*c_0101_4, c_0011_3 + 1936407565422165178514416799/16263340397942374543161788339*c\ _0101_4*c_0110_6^18 + 6480915360038691619939755798/1626334039794237\ 4543161788339*c_0101_4*c_0110_6^17 - 12646790681995017938705526303/16263340397942374543161788339*c_0101_\ 4*c_0110_6^16 - 7819537003396202706631109783/1626334039794237454316\ 1788339*c_0101_4*c_0110_6^15 - 222062031998660319250911819351/16263\ 340397942374543161788339*c_0101_4*c_0110_6^14 + 334958315820158506064212222768/16263340397942374543161788339*c_0101\ _4*c_0110_6^13 - 363098993958466065131656841174/1626334039794237454\ 3161788339*c_0101_4*c_0110_6^12 + 1681329857381550824211308165237/1\ 6263340397942374543161788339*c_0101_4*c_0110_6^11 - 378886055254584387570170045512/16263340397942374543161788339*c_0101\ _4*c_0110_6^10 - 2410965010843201480071986382959/162633403979423745\ 43161788339*c_0101_4*c_0110_6^9 + 2216239098537517805614284061509/1\ 6263340397942374543161788339*c_0101_4*c_0110_6^8 - 2472825064471112005560937050422/16263340397942374543161788339*c_010\ 1_4*c_0110_6^7 + 16881456533294530287156941834/16263340397942374543\ 161788339*c_0101_4*c_0110_6^6 - 149740515167857729724733353925/1626\ 3340397942374543161788339*c_0101_4*c_0110_6^5 - 476277075524165343373573892499/16263340397942374543161788339*c_0101\ _4*c_0110_6^4 + 191766515776455062971054047559/16263340397942374543\ 161788339*c_0101_4*c_0110_6^3 - 4266612038505017854942302529/162633\ 40397942374543161788339*c_0101_4*c_0110_6^2 - 8460636434776790506016141096/16263340397942374543161788339*c_0101_4\ *c_0110_6 + 5337891638622003550616173341/16263340397942374543161788\ 339*c_0101_4, c_0101_0 + 319590867260142169190465808/16263340397942374543161788339*c_\ 0101_4*c_0110_6^18 + 1817422392401350136505324991/16263340397942374\ 543161788339*c_0101_4*c_0110_6^17 + 979747158970915530191039596/16263340397942374543161788339*c_0101_4*\ c_0110_6^16 - 4103541632848367941866560570/162633403979423745431617\ 88339*c_0101_4*c_0110_6^15 - 42666134108894120375907715617/16263340\ 397942374543161788339*c_0101_4*c_0110_6^14 - 33693456262273529885772951143/16263340397942374543161788339*c_0101_\ 4*c_0110_6^13 + 3430609960899382037737721600/1626334039794237454316\ 1788339*c_0101_4*c_0110_6^12 + 213734341031553838807591759607/16263\ 340397942374543161788339*c_0101_4*c_0110_6^11 + 503645737613771090344316001788/16263340397942374543161788339*c_0101\ _4*c_0110_6^10 - 73778741365425716678414571923/16263340397942374543\ 161788339*c_0101_4*c_0110_6^9 - 534289915833560390577571234023/1626\ 3340397942374543161788339*c_0101_4*c_0110_6^8 - 222243263735591153439326347755/16263340397942374543161788339*c_0101\ _4*c_0110_6^7 - 555724736520214409264996144409/16263340397942374543\ 161788339*c_0101_4*c_0110_6^6 - 623969225399944242246948947353/1626\ 3340397942374543161788339*c_0101_4*c_0110_6^5 - 241357546323777769468650987400/16263340397942374543161788339*c_0101\ _4*c_0110_6^4 - 310117315363451013583436141611/16263340397942374543\ 161788339*c_0101_4*c_0110_6^3 - 92731991900370348250633296933/16263\ 340397942374543161788339*c_0101_4*c_0110_6^2 - 9855645755196870950420606304/16263340397942374543161788339*c_0101_4\ *c_0110_6 - 16040960563687266789371045785/1626334039794237454316178\ 8339*c_0101_4, c_0101_4^2 - 6006628970524371055840638729/32526680795884749086323576678\ *c_0110_6^18 - 24627197766176821868975250831/3252668079588474908632\ 3576678*c_0110_6^17 + 10142999633758422154416992244/162633403979423\ 74543161788339*c_0110_6^16 + 39424099147807591919634480579/32526680\ 795884749086323576678*c_0110_6^15 + 362772876387933836366551016896/16263340397942374543161788339*c_0110\ _6^14 - 497210397338292432486330605517/3252668079588474908632357667\ 8*c_0110_6^13 + 791546863165042494110509890591/32526680795884749086\ 323576678*c_0110_6^12 - 4832181037092228849030962539937/32526680795\ 884749086323576678*c_0110_6^11 - 1111986995706514114493076745588/16\ 263340397942374543161788339*c_0110_6^10 + 2619983660971094044136960145377/16263340397942374543161788339*c_011\ 0_6^9 - 888074220183550733321626963227/1626334039794237454316178833\ 9*c_0110_6^8 + 6823404416272956580624659854491/32526680795884749086\ 323576678*c_0110_6^7 + 1737369041237005403686876309404/162633403979\ 42374543161788339*c_0110_6^6 + 4416299605312221341639647902025/3252\ 6680795884749086323576678*c_0110_6^5 + 1515095763759322660103503998586/16263340397942374543161788339*c_011\ 0_6^4 + 909475074249965229318659018908/1626334039794237454316178833\ 9*c_0110_6^3 + 751758752859419805273732816233/325266807958847490863\ 23576678*c_0110_6^2 + 197125818097671302446064532551/32526680795884\ 749086323576678*c_0110_6 + 8184484825933511696075748512/16263340397\ 942374543161788339, c_0101_5 - 1139300153866682266769370387/16263340397942374543161788339*c\ _0110_6^18 - 3869669543704698089093723719/1626334039794237454316178\ 8339*c_0110_6^17 + 7188914567151321210379528595/1626334039794237454\ 3161788339*c_0110_6^16 + 4574800232773569444511023557/1626334039794\ 2374543161788339*c_0110_6^15 + 130567088458329354779172585076/16263\ 340397942374543161788339*c_0110_6^14 - 189496020109907333951849892482/16263340397942374543161788339*c_0110\ _6^13 + 212284545140454314587026673291/1626334039794237454316178833\ 9*c_0110_6^12 - 967437346138119124652594713694/16263340397942374543\ 161788339*c_0110_6^11 + 164976951317554996362469595890/162633403979\ 42374543161788339*c_0110_6^10 + 1397773866733103214720232006153/162\ 63340397942374543161788339*c_0110_6^9 - 1371523523267688136095793110681/16263340397942374543161788339*c_011\ 0_6^8 + 1426179229062830416459984039483/162633403979423745431617883\ 39*c_0110_6^7 + 202261594207792201674941568198/16263340397942374543\ 161788339*c_0110_6^6 + 91895005364365563478242361917/16263340397942\ 374543161788339*c_0110_6^5 + 453351633715683662506805339551/1626334\ 0397942374543161788339*c_0110_6^4 + 636937048765589840237480649/16263340397942374543161788339*c_0110_6^\ 3 + 73565785785601935079078072996/16263340397942374543161788339*c_0\ 110_6^2 + 34217756447003691562401095828/162633403979423745431617883\ 39*c_0110_6 + 8009566277133299064998311886/162633403979423745431617\ 88339, c_0110_6^19 + 4*c_0110_6^18 - 4*c_0110_6^17 - 7*c_0110_6^16 - 119*c_0110_6^15 + 96*c_0110_6^14 - 115*c_0110_6^13 + 788*c_0110_6^12 + 324*c_0110_6^11 - 1094*c_0110_6^10 + 384*c_0110_6^9 - 933*c_0110_6^8 - 595*c_0110_6^7 - 422*c_0110_6^6 - 448*c_0110_6^5 - 154*c_0110_6^4 - 65*c_0110_6^3 - 24*c_0110_6^2 - 8*c_0110_6 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB