Magma V2.19-8 Tue Aug 20 2013 16:18:56 on localhost [Seed = 3718004916] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3095 geometric_solution 6.26088124 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3012 0 0 0 0 0 -1 0 1 -1 0 1 0 -1 0 0 1 1 0 -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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.806941884539 0.659703860867 0 4 0 5 0132 0132 1230 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 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 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.220062228852 0.653490908442 4 0 5 6 0132 0132 2103 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 -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.155415313473 0.939883751817 3 3 4 0 1302 2031 2031 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 -1 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 0.182976014638 0.902132310350 2 1 6 3 0132 0132 3012 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564401444079 1.347088253262 2 6 1 6 2103 0321 0132 1230 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.739264422863 0.995239684390 5 4 2 5 3012 1230 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844697510912 0.941552526045 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : 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' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_4, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 41419566597818175598255873274610379689/6402868659856726984596117055\ 1834470222*c_1001_1^17 + 10620935198326018550047425334768958951/109\ 763462740401034021647720946001948952*c_1001_1^16 - 1653303587784912140859771628939030539845/25611474639426907938384468\ 2207337880888*c_1001_1^15 - 123697577754996174963192404184241226318\ 9/768344239182807238151534046622013642664*c_1001_1^14 - 8782108310733413256628506055733453980726/96043029897850904768941755\ 827751705333*c_1001_1^13 + 4468928249822769073354929599399322007345\ /36587820913467011340549240315333982984*c_1001_1^12 - 18381804317948863300263039595599276034143/3658782091346701134054924\ 0315333982984*c_1001_1^11 - 176437895755978441973222659763569137147\ 19/96043029897850904768941755827751705333*c_1001_1^10 + 6785594679910242410333630437081931163695/76834423918280723815153404\ 6622013642664*c_1001_1^9 - 4063283729141324812348882965548791994525\ 17/192086059795701809537883511655503410666*c_1001_1^8 + 2838723468169705131436324167709753313673469/76834423918280723815153\ 4046622013642664*c_1001_1^7 - 5379502728693831771427345669715541223\ 96493/109763462740401034021647720946001948952*c_1001_1^6 + 334518965534857263255346186824173317391137/548817313702005170108238\ 60473000974476*c_1001_1^5 - 116941931198002708396637656987456868434\ 8917/384172119591403619075767023311006821332*c_1001_1^4 + 1683977902688521595391270796090131259751155/76834423918280723815153\ 4046622013642664*c_1001_1^3 + 1308621792638205777637559533971104999\ 017019/768344239182807238151534046622013642664*c_1001_1^2 - 76055151694189090752269333198556987909685/9604302989785090476894175\ 5827751705333*c_1001_1 + 76478524481930220715305734592153216355241/\ 54881731370200517010823860473000974476, c_0011_0 - 1, c_0011_3 - 39317067907208095498175568382985782/594552089843838934283925\ 15512417722349*c_1001_1^17 - 18461511970215468372078224884178882/59\ 455208984383893428392515512417722349*c_1001_1^16 + 826235542321843613731730601228706153/118910417968767786856785031024\ 835444698*c_1001_1^15 + 465820075869315627745531546010864273/118910\ 417968767786856785031024835444698*c_1001_1^14 + 10692704966672680242621805710759378163/1189104179687677868567850310\ 24835444698*c_1001_1^13 - 5759150723060495827971919967136517925/594\ 55208984383893428392515512417722349*c_1001_1^12 + 50287198542146524555094782758580048275/1189104179687677868567850310\ 24835444698*c_1001_1^11 + 48661357503452754336997625647556670809/11\ 8910417968767786856785031024835444698*c_1001_1^10 - 864553939404432323391421347681848894/457347761418337641756865503941\ 6747873*c_1001_1^9 + 225896710456577710233565412314420171517/118910\ 417968767786856785031024835444698*c_1001_1^8 - 173920247776584004156464150676577555058/594552089843838934283925155\ 12417722349*c_1001_1^7 + 314153981520705114525426939685378206097/11\ 8910417968767786856785031024835444698*c_1001_1^6 - 377164877655653164631680630484885241655/118910417968767786856785031\ 024835444698*c_1001_1^5 - 23652446566281521916670493211502363459/59\ 455208984383893428392515512417722349*c_1001_1^4 - 24496272586691102393145588312786748515/5945520898438389342839251551\ 2417722349*c_1001_1^3 - 190283137614927443011826133123930953723/118\ 910417968767786856785031024835444698*c_1001_1^2 - 55969989507970996945879780409423574957/1189104179687677868567850310\ 24835444698*c_1001_1 + 9719378899255083524872267263514155469/594552\ 08984383893428392515512417722349, c_0011_5 + 154340127642862233788715624829722075/23782083593753557371357\ 0062049670889396*c_1001_1^17 + 54365502769318820868418967381110571/\ 118910417968767786856785031024835444698*c_1001_1^16 - 384544827093160630401767728825481910/594552089843838934283925155124\ 17722349*c_1001_1^15 - 1343854281930971267176964829374682253/237820\ 835937535573713570062049670889396*c_1001_1^14 - 21945632366389422188525103445620868763/2378208359375355737135700620\ 49670889396*c_1001_1^13 + 4556002472489961342839394092855248084/594\ 55208984383893428392515512417722349*c_1001_1^12 - 101680422047649877572267870026886814425/237820835937535573713570062\ 049670889396*c_1001_1^11 - 99081790067432299608624553159796451141/2\ 37820835937535573713570062049670889396*c_1001_1^10 - 2600058515612032990179843860711448365/18293910456733505670274620157\ 666991492*c_1001_1^9 - 439800377394226838996384943826522633429/2378\ 20835937535573713570062049670889396*c_1001_1^8 + 161755614380324892238673734273640721304/594552089843838934283925155\ 12417722349*c_1001_1^7 - 714727482072627361573533339602303684823/23\ 7820835937535573713570062049670889396*c_1001_1^6 + 481893994333327707806287139536628034985/118910417968767786856785031\ 024835444698*c_1001_1^5 - 420626759865655127799340179238120601867/2\ 37820835937535573713570062049670889396*c_1001_1^4 + 245515055100875086918843026213671393651/118910417968767786856785031\ 024835444698*c_1001_1^3 + 255642316774796922319761274884702876685/2\ 37820835937535573713570062049670889396*c_1001_1^2 + 27867460832978417833159150361029670753/5945520898438389342839251551\ 2417722349*c_1001_1 + 55107308433191630723009724408594505854/594552\ 08984383893428392515512417722349, c_0011_6 - 98248208003437104044003203915149287/237820835937535573713570\ 062049670889396*c_1001_1^17 - 120867182522545557143530256088524555/\ 118910417968767786856785031024835444698*c_1001_1^16 + 209685057876089579500488222544400605/594552089843838934283925155124\ 17722349*c_1001_1^15 + 2659967964511185017470620455918986517/237820\ 835937535573713570062049670889396*c_1001_1^14 + 15738180512167162637542416737510173911/2378208359375355737135700620\ 49670889396*c_1001_1^13 + 3024092780822568302504191824429973458/594\ 55208984383893428392515512417722349*c_1001_1^12 + 46252861703404229679589853151455567065/2378208359375355737135700620\ 49670889396*c_1001_1^11 + 160960287560279120525162680238987222833/2\ 37820835937535573713570062049670889396*c_1001_1^10 + 11808509249836584463793079331169595453/1829391045673350567027462015\ 7666991492*c_1001_1^9 + 265590837925197373356001519801321249133/237\ 820835937535573713570062049670889396*c_1001_1^8 - 2856368047232789265895964180829706984/59455208984383893428392515512\ 417722349*c_1001_1^7 - 230708498752120103498928861075253300461/2378\ 20835937535573713570062049670889396*c_1001_1^6 - 111682987054024260830663765329281391891/118910417968767786856785031\ 024835444698*c_1001_1^5 - 561884852672029321139869393453518436433/2\ 37820835937535573713570062049670889396*c_1001_1^4 - 156332962506201260210153376319223930833/118910417968767786856785031\ 024835444698*c_1001_1^3 - 402775410460981419960262873501385465529/2\ 37820835937535573713570062049670889396*c_1001_1^2 - 55711360817328229321132640261293594737/5945520898438389342839251551\ 2417722349*c_1001_1 - 47079837007677425496978047337292576969/594552\ 08984383893428392515512417722349, c_0101_0 - 192503518159908128513936191679157577/23782083593753557371357\ 0062049670889396*c_1001_1^17 - 42733411153980181709448262612126291/\ 118910417968767786856785031024835444698*c_1001_1^16 + 1015122184373107653959315527292854993/11891041796876778685678503102\ 4835444698*c_1001_1^15 + 1088357546512809234139281800419225401/2378\ 20835937535573713570062049670889396*c_1001_1^14 + 26068390059817709373421299042976084399/2378208359375355737135700620\ 49670889396*c_1001_1^13 - 7226324342859211451615304496812472618/594\ 55208984383893428392515512417722349*c_1001_1^12 + 123363606090936385009809816652480062893/237820835937535573713570062\ 049670889396*c_1001_1^11 + 117553619731625158276799085889690756977/\ 237820835937535573713570062049670889396*c_1001_1^10 - 4517028760784735360328988274791599041/18293910456733505670274620157\ 666991492*c_1001_1^9 + 552270238208660797690657197647707926793/2378\ 20835937535573713570062049670889396*c_1001_1^8 - 212631256388511332560811192378764001645/594552089843838934283925155\ 12417722349*c_1001_1^7 + 802641506483988301752548079416626959367/23\ 7820835937535573713570062049670889396*c_1001_1^6 - 217656353211623766449116225746180100347/594552089843838934283925155\ 12417722349*c_1001_1^5 - 89265103997704141875672670004024997659/237\ 820835937535573713570062049670889396*c_1001_1^4 - 20041676537336221439262764345197123881/1189104179687677868567850310\ 24835444698*c_1001_1^3 - 492941883427149513254101685315027702753/23\ 7820835937535573713570062049670889396*c_1001_1^2 + 21673992879553418648161171645085869535/1189104179687677868567850310\ 24835444698*c_1001_1 + 7358119881794984287960693486678091161/594552\ 08984383893428392515512417722349, c_0101_4 - 50981758930781872430080296498413213/118910417968767786856785\ 031024835444698*c_1001_1^17 + 34751830533067843518573472406343051/1\ 18910417968767786856785031024835444698*c_1001_1^16 + 243312890878870865669670710611722310/594552089843838934283925155124\ 17722349*c_1001_1^15 - 350106059426786413883131839103766005/1189104\ 17968767786856785031024835444698*c_1001_1^14 + 3689555320213308859456385487391099621/59455208984383893428392515512\ 417722349*c_1001_1^13 - 14984091170669269799869561234052475725/1189\ 10417968767786856785031024835444698*c_1001_1^12 + 51768929173957743386247104537554145771/1189104179687677868567850310\ 24835444698*c_1001_1^11 - 8722527210205589999523731362124302242/594\ 55208984383893428392515512417722349*c_1001_1^10 - 33952500708149572820300289827432406/4573477614183376417568655039416\ 747873*c_1001_1^9 + 102886437895475409195071738477336125025/5945520\ 8984383893428392515512417722349*c_1001_1^8 - 408402410613445665743696311945311588955/118910417968767786856785031\ 024835444698*c_1001_1^7 + 683926940548122771758805060204279624375/1\ 18910417968767786856785031024835444698*c_1001_1^6 - 839455640257874676894785160253535771899/118910417968767786856785031\ 024835444698*c_1001_1^5 + 562155417425347287294363618745123448815/1\ 18910417968767786856785031024835444698*c_1001_1^4 - 376371461789499511357316535560204756005/118910417968767786856785031\ 024835444698*c_1001_1^3 - 81044070407264162980933304817294575195/11\ 8910417968767786856785031024835444698*c_1001_1^2 + 151101381011594177710629852852461656195/118910417968767786856785031\ 024835444698*c_1001_1 - 67172012603018182020155209849793730353/5945\ 5208984383893428392515512417722349, c_1001_1^18 - 10*c_1001_1^16 - c_1001_1^15 - 141*c_1001_1^14 + 210*c_1001_1^13 - 805*c_1001_1^12 - 167*c_1001_1^11 + 55*c_1001_1^10 - 3271*c_1001_1^9 + 6206*c_1001_1^8 - 8435*c_1001_1^7 + 10570*c_1001_1^6 - 6133*c_1001_1^5 + 4096*c_1001_1^4 + 2129*c_1001_1^3 - 1636*c_1001_1^2 + 2352*c_1001_1 - 336 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB