Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 374835757] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0153 geometric_solution 3.64427283 oriented_manifold CS_known -0.0000000000000001 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.540208833887 0.017091394379 2 0 2 0 0132 2310 1023 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.610506326681 0.041417194388 1 3 1 3 0132 0132 1023 2310 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.863780684762 0.521920925952 2 2 4 4 3201 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 1 -1 0 0 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 2.939363242803 3.859710519265 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 1 -1 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.200318851335 0.403926190456 4 6 6 6 0132 2310 1302 3201 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 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.000416667715 1.006953822559 5 5 4 5 2031 2310 0132 3201 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 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.000416667715 1.006953822559 ==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' : 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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 9101646785095589119466778397885863584257817/14319816398282023609960\ 099884984241887190*c_0101_4^25 + 8618333658846218300959528571611608\ 0251664119/14319816398282023609960099884984241887190*c_0101_4^24 + 112184459242564427657465108450445450056285693/715990819914101180498\ 0049942492120943595*c_0101_4^23 - 378899826143473802511160839857646\ 7476124044981/14319816398282023609960099884984241887190*c_0101_4^22 + 1245679038844194288774664581333251061083356871/715990819914101180\ 4980049942492120943595*c_0101_4^21 + 18955086185514753752094455751557407517425614461/7159908199141011804\ 980049942492120943595*c_0101_4^20 - 7246437303413425091949930588402833950239517159/28639632796564047219\ 92019976996848377438*c_0101_4^19 - 91795258374791372447622679073118296747443146743/7159908199141011804\ 980049942492120943595*c_0101_4^18 + 15501895036361623674838077748969203513154472495/1431981639828202360\ 996009988498424188719*c_0101_4^17 + 262781148192235615478344514780557332288454536773/715990819914101180\ 4980049942492120943595*c_0101_4^16 - 319411481539905329174900210216124313406724719369/143198163982820236\ 09960099884984241887190*c_0101_4^15 - 951851423974201916945441086901771091447281238129/143198163982820236\ 09960099884984241887190*c_0101_4^14 + 71396168106849062300279607357210797016975181601/2863963279656404721\ 992019976996848377438*c_0101_4^13 + 559089936543668442571515832179016721442399592628/715990819914101180\ 4980049942492120943595*c_0101_4^12 - 215842451016848861363618553334121968785141587849/143198163982820236\ 09960099884984241887190*c_0101_4^11 - 7047701131794690570011047044056898097639715526/11737554424821330827\ 8361474467083949895*c_0101_4^10 + 577616694938243559841076599432346\ 25159611967559/14319816398282023609960099884984241887190*c_0101_4^9 + 430665289324323817096102524135644273241405728803/1431981639828202\ 3609960099884984241887190*c_0101_4^8 + 4917933706623649051326579368878449863801692417/14319816398282023609\ 960099884984241887190*c_0101_4^7 - 137123230695752894490217550913452719889306322773/143198163982820236\ 09960099884984241887190*c_0101_4^6 - 3894336771211490780160189100852786041961579869/71599081991410118049\ 80049942492120943595*c_0101_4^5 + 262315535166703321271948916658038\ 86365766019307/14319816398282023609960099884984241887190*c_0101_4^4 + 2192170845428585931998093247269069083033304737/143198163982820236\ 09960099884984241887190*c_0101_4^3 - 2652354057424034036486728687624458777121675329/14319816398282023609\ 960099884984241887190*c_0101_4^2 - 245415799041301769987834327711149469439833879/143198163982820236099\ 60099884984241887190*c_0101_4 + 48074808962103373069625087250789788\ 038039547/7159908199141011804980049942492120943595, c_0011_0 - 1, c_0011_1 + 1696468401801265438317216814931702319481/1101524338329386431\ 53539229884494168363*c_0101_4^25 - 31263023598076683188956710741081182688707/2203048676658772863070784\ 59768988336726*c_0101_4^24 - 90105078590984769685509560491016143529\ 729/220304867665877286307078459768988336726*c_0101_4^23 + 687780330301482505681016900586360609989775/110152433832938643153539\ 229884494168363*c_0101_4^22 - 6171228126414079651899021709374549605\ 87113/220304867665877286307078459768988336726*c_0101_4^21 - 6838824894139235114239971343964952345969163/11015243383293864315353\ 9229884494168363*c_0101_4^20 + 485254854989761130864950069296669875\ 7308282/110152433832938643153539229884494168363*c_0101_4^19 + 64879331842783014885892022950988174179134337/2203048676658772863070\ 78459768988336726*c_0101_4^18 - 18269067236067469787177488956123215\ 108190116/110152433832938643153539229884494168363*c_0101_4^17 - 88424111080793018533293404770264413919025960/1101524338329386431535\ 39229884494168363*c_0101_4^16 + 27934965205157183491067877804169599\ 941092056/110152433832938643153539229884494168363*c_0101_4^15 + 292107656517954952158543811384057269647388867/220304867665877286307\ 078459768988336726*c_0101_4^14 - 2863970801303298404582855864515191\ 5050270591/220304867665877286307078459768988336726*c_0101_4^13 - 297102821293867067660277061148331268085645499/220304867665877286307\ 078459768988336726*c_0101_4^12 - 8277231185309152087734310904866106\ 470197033/110152433832938643153539229884494168363*c_0101_4^11 + 3059106238762817962646122557716989936178995/36115552076373325624111\ 22291294890766*c_0101_4^10 + 13720732671093963235804804282695682783\ 379801/110152433832938643153539229884494168363*c_0101_4^9 - 71417782445350311041618416723740566269687643/2203048676658772863070\ 78459768988336726*c_0101_4^8 - 133810565974011922183003882491936269\ 14080735/220304867665877286307078459768988336726*c_0101_4^7 + 15894387669889312166061700903250295972048877/2203048676658772863070\ 78459768988336726*c_0101_4^6 + 313423269544592023193544400683445905\ 7281995/220304867665877286307078459768988336726*c_0101_4^5 - 899031998434074658131903820614270327462264/110152433832938643153539\ 229884494168363*c_0101_4^4 - 35496265749011565516385724016974489389\ 2611/220304867665877286307078459768988336726*c_0101_4^3 + 71213144219279138976213743153945561463175/2203048676658772863070784\ 59768988336726*c_0101_4^2 + 560034691601508823820847251943545034173\ 7/220304867665877286307078459768988336726*c_0101_4 - 727511522036417118934992259943163648589/220304867665877286307078459\ 768988336726, c_0011_4 - 4307777741709687177515674442644120418477/4406097353317545726\ 14156919537976673452*c_0101_4^25 + 9756788266966058654559567133492401998437/11015243383293864315353922\ 9884494168363*c_0101_4^24 + 120424555853168411696649474677701652532\ 337/440609735331754572614156919537976673452*c_0101_4^23 - 1727804125437426530350910769129393232567923/44060973533175457261415\ 6919537976673452*c_0101_4^22 + 516575707536441909675964748010304497\ 563247/440609735331754572614156919537976673452*c_0101_4^21 + 8721758952838976511952295849449821321612569/22030486766587728630707\ 8459768988336726*c_0101_4^20 - 961974052978423233692925042133721576\ 4271867/440609735331754572614156919537976673452*c_0101_4^19 - 83850331468031888170900039025229962914469201/4406097353317545726141\ 56919537976673452*c_0101_4^18 + 83406737670109837794791695756286321\ 35720010/110152433832938643153539229884494168363*c_0101_4^17 + 57422244852344543557846856276649411205474150/1101524338329386431535\ 39229884494168363*c_0101_4^16 - 35138806515219848436587714065257593\ 105159869/440609735331754572614156919537976673452*c_0101_4^15 - 188188160778974405931729184191704156375794473/220304867665877286307\ 078459768988336726*c_0101_4^14 - 5628041233737469939150989343755868\ 331540906/110152433832938643153539229884494168363*c_0101_4^13 + 373892813493292229972028263753925439623126057/440609735331754572614\ 156919537976673452*c_0101_4^12 + 7980209905552909833894121938052919\ 3135717503/440609735331754572614156919537976673452*c_0101_4^11 - 3684341083875216368935496825817332053596043/72231104152746651248222\ 44582589781532*c_0101_4^10 - 70453518952900488268604968144219681365\ 099359/440609735331754572614156919537976673452*c_0101_4^9 + 19972617226393275920881983341931624047224380/1101524338329386431535\ 39229884494168363*c_0101_4^8 + 745837568259622805833460542088087526\ 0940752/110152433832938643153539229884494168363*c_0101_4^7 - 7812124823680265193815354607494452802214641/22030486766587728630707\ 8459768988336726*c_0101_4^6 - 6572931904152654633790108930389081645\ 121449/440609735331754572614156919537976673452*c_0101_4^5 + 1284930557424285790587255767035378587706585/44060973533175457261415\ 6919537976673452*c_0101_4^4 + 1714724462344228479448437598216968663\ 97840/110152433832938643153539229884494168363*c_0101_4^3 + 3252494874649956189707008394894335062214/11015243383293864315353922\ 9884494168363*c_0101_4^2 - 4374561434096598671520259978536942177781\ /220304867665877286307078459768988336726*c_0101_4 - 404559210524028517285126774088691999621/440609735331754572614156919\ 537976673452, c_0011_6 + 1158924810051224968682395693617328900822/1101524338329386431\ 53539229884494168363*c_0101_4^25 - 20587965506801630713641600566555759776579/2203048676658772863070784\ 59768988336726*c_0101_4^24 - 68555558518721046310055123760886112919\ 569/220304867665877286307078459768988336726*c_0101_4^23 + 459251301885407368805346633831733474181043/110152433832938643153539\ 229884494168363*c_0101_4^22 - 1121268171541515039026058586889498721\ 45125/220304867665877286307078459768988336726*c_0101_4^21 - 4724700056357204493603068258397055654550399/11015243383293864315353\ 9229884494168363*c_0101_4^20 + 175884548234505099210494772089215780\ 9239587/110152433832938643153539229884494168363*c_0101_4^19 + 46176785609291332046158603212435749369390337/2203048676658772863070\ 78459768988336726*c_0101_4^18 - 50231000627005082899314796005325446\ 94082193/110152433832938643153539229884494168363*c_0101_4^17 - 63718308277178408222032378001978742367817001/1101524338329386431535\ 39229884494168363*c_0101_4^16 - 13328778933236171503800762814078700\ 31832722/110152433832938643153539229884494168363*c_0101_4^15 + 207648240614938837343844108134262830845833345/220304867665877286307\ 078459768988336726*c_0101_4^14 + 4756228556381873695723360301991679\ 0090280621/220304867665877286307078459768988336726*c_0101_4^13 - 201883035224085740668924039807191690898588113/220304867665877286307\ 078459768988336726*c_0101_4^12 - 3925224573270857626772181218369667\ 6298731816/110152433832938643153539229884494168363*c_0101_4^11 + 1903002371544617637580269873355417868111177/36115552076373325624111\ 22291294890766*c_0101_4^10 + 29838726750701476269171589569592065785\ 746348/110152433832938643153539229884494168363*c_0101_4^9 - 37892328331193642455131786682063129977543763/2203048676658772863070\ 78459768988336726*c_0101_4^8 - 240180470650446762184183917606168779\ 06969205/220304867665877286307078459768988336726*c_0101_4^7 + 6126148235832845694487517981187919028252207/22030486766587728630707\ 8459768988336726*c_0101_4^6 + 5171211537461727278246845192995797832\ 694701/220304867665877286307078459768988336726*c_0101_4^5 - 85936466070448097804446062502334024897795/1101524338329386431535392\ 29884494168363*c_0101_4^4 - 520384145268343806264796861984653592887\ 211/220304867665877286307078459768988336726*c_0101_4^3 - 63510627980538513327904054731298895530569/2203048676658772863070784\ 59768988336726*c_0101_4^2 + 588802685601232441420724019670520289555\ 9/220304867665877286307078459768988336726*c_0101_4 + 930049049945209938462937388757980360523/220304867665877286307078459\ 768988336726, c_0101_0 + 2120841416939119957104098213046061930003/4406097353317545726\ 14156919537976673452*c_0101_4^25 - 3654152757341155348637721828802600520575/11015243383293864315353922\ 9884494168363*c_0101_4^24 - 101059957663306203101299700790741519988\ 387/440609735331754572614156919537976673452*c_0101_4^23 + 723188700194637657306284427930551004357473/440609735331754572614156\ 919537976673452*c_0101_4^22 + 1593133215267079915190877839761286006\ 535775/440609735331754572614156919537976673452*c_0101_4^21 - 4593342468544397442995882580691555104553305/22030486766587728630707\ 8459768988336726*c_0101_4^20 - 138709477366152277034438201704169989\ 15511795/440609735331754572614156919537976673452*c_0101_4^19 + 52031751124515508020426490861573400700667515/4406097353317545726141\ 56919537976673452*c_0101_4^18 + 18211199332445032559748724295002572\ 108218806/110152433832938643153539229884494168363*c_0101_4^17 - 37757697470366166117969886767252818114820665/1101524338329386431535\ 39229884494168363*c_0101_4^16 - 22714044134507525550575911527766275\ 8189893741/440609735331754572614156919537976673452*c_0101_4^15 + 114624198414448047495171182649371442321736139/220304867665877286307\ 078459768988336726*c_0101_4^14 + 1031071411760234837443184229100116\ 36346012070/110152433832938643153539229884494168363*c_0101_4^13 - 170604175527408150258372726588812414326738799/440609735331754572614\ 156919537976673452*c_0101_4^12 - 4399936787693403062807777118082286\ 93004595937/440609735331754572614156919537976673452*c_0101_4^11 + 588245930197834284427012506671614821991265/722311041527466512482224\ 4582589781532*c_0101_4^10 + 277806314412373450372614598286399213325\ 624973/440609735331754572614156919537976673452*c_0101_4^9 + 7424152444731282960661033932396006897428654/11015243383293864315353\ 9229884494168363*c_0101_4^8 - 2563553207327134410520397865389115724\ 9341636/110152433832938643153539229884494168363*c_0101_4^7 - 10999230853369369260181121534472401300311425/2203048676658772863070\ 78459768988336726*c_0101_4^6 + 209671242033777875323942406640590612\ 02076039/440609735331754572614156919537976673452*c_0101_4^5 + 5966746030585221757455129178737319266146049/44060973533175457261415\ 6919537976673452*c_0101_4^4 - 4837278812402597403888869550177924054\ 68509/110152433832938643153539229884494168363*c_0101_4^3 - 175649571491157022247330706468816988441738/110152433832938643153539\ 229884494168363*c_0101_4^2 + 61843372850824028565195953291368692415\ 65/220304867665877286307078459768988336726*c_0101_4 + 9308007939124114231100150930709633605211/44060973533175457261415691\ 9537976673452, c_0101_1 + 1566647865919572196889898997877289342065/4406097353317545726\ 14156919537976673452*c_0101_4^25 - 3772464235515282394361211473920590335068/11015243383293864315353922\ 9884494168363*c_0101_4^24 - 356147695965893535173746060976145736443\ 01/440609735331754572614156919537976673452*c_0101_4^23 + 652888721147907066918155911917089648508867/440609735331754572614156\ 919537976673452*c_0101_4^22 - 5490285221305311545977475840340099855\ 88575/440609735331754572614156919537976673452*c_0101_4^21 - 3106405168790330559495119430312422448475515/22030486766587728630707\ 8459768988336726*c_0101_4^20 + 711916175045868416266701004830339774\ 6123395/440609735331754572614156919537976673452*c_0101_4^19 + 28266007808571017198375183165700609803258389/4406097353317545726141\ 56919537976673452*c_0101_4^18 - 73600914835689110575763433261663804\ 66595912/110152433832938643153539229884494168363*c_0101_4^17 - 18890993506257378744825402878069630688710256/1101524338329386431535\ 39229884494168363*c_0101_4^16 + 60121497641145114002962437040464486\ 932006369/440609735331754572614156919537976673452*c_0101_4^15 + 63479751494573115381466928200269124018409623/2203048676658772863070\ 78459768988336726*c_0101_4^14 - 17426001991864825784736675564684667\ 973452712/110152433832938643153539229884494168363*c_0101_4^13 - 136803167695392976176558031764838939148483861/440609735331754572614\ 156919537976673452*c_0101_4^12 + 4905536303486273843485402631543506\ 4702222989/440609735331754572614156919537976673452*c_0101_4^11 + 1557770885872069267295060556428965365858579/72231104152746651248222\ 44582589781532*c_0101_4^10 - 21937765188717214277419487982339867082\ 101929/440609735331754572614156919537976673452*c_0101_4^9 - 10520876684314461567465176705524159026560014/1101524338329386431535\ 39229884494168363*c_0101_4^8 + 158896381596920582180836670104780098\ 7951139/110152433832938643153539229884494168363*c_0101_4^7 + 5724858835275670217989717819977283621814045/22030486766587728630707\ 8459768988336726*c_0101_4^6 - 1067770998355308346319958449407680436\ 407267/440609735331754572614156919537976673452*c_0101_4^5 - 1776655287870148435933921215583388527480493/44060973533175457261415\ 6919537976673452*c_0101_4^4 + 1520611242009031260589573323311812429\ 8506/110152433832938643153539229884494168363*c_0101_4^3 + 33767005139551658138704889191011563911225/1101524338329386431535392\ 29884494168363*c_0101_4^2 + 600298332317704566580871339390654729489\ /220304867665877286307078459768988336726*c_0101_4 - 1589143163274641600519453747232487291471/44060973533175457261415691\ 9537976673452, c_0101_4^26 - 9*c_0101_4^25 - 29*c_0101_4^24 + 404*c_0101_4^23 - 82*c_0101_4^22 - 4259*c_0101_4^21 + 2057*c_0101_4^20 + 21638*c_0101_4^19 - 7761*c_0101_4^18 - 63568*c_0101_4^17 + 9133*c_0101_4^16 + 114653*c_0101_4^15 + 5626*c_0101_4^14 - 130473*c_0101_4^13 - 25182*c_0101_4^12 + 94982*c_0101_4^11 + 27656*c_0101_4^10 - 44215*c_0101_4^9 - 15588*c_0101_4^8 + 12846*c_0101_4^7 + 4991*c_0101_4^6 - 2154*c_0101_4^5 - 899*c_0101_4^4 + 164*c_0101_4^3 + 78*c_0101_4^2 - c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB