Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 4273955380] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1643 geometric_solution 5.38563024 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 1 0 -1 1 0 -1 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.282103760106 0.184029824084 0 0 2 2 0132 2310 2310 0132 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 1 -1 0 -1 0 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 1.722379085098 1.512435228538 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 1 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.623563955163 0.375684124602 2 5 4 6 0132 0132 3201 0132 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 0 0 -1 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 0 0.341052024436 1.033631431931 3 6 2 5 2310 0132 0132 1023 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 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.341052024436 1.033631431931 5 3 5 4 2031 0132 1302 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524111636146 0.392147731104 6 4 3 6 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.287877964564 0.872476019533 ==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' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 189970416077746711438834025371239956481189496363541363/135273008419\ 3702879314781374268089830616864169339762698*c_0110_5^31 + 4170993669676950678639555269502678687200680444828513559/90182005612\ 9135252876520916178726553744576112893175132*c_0110_5^29 - 186867307189135434885190361828610149345941623443281243427/270546016\ 8387405758629562748536179661233728338679525396*c_0110_5^27 + 313994878436801519036497957095331169627149607869805623523/676365042\ 096851439657390687134044915308432084669881349*c_0110_5^25 - 423451553171941018855969865857404042775585243864901830061/150303342\ 688189208812753486029787758957429352148862522*c_0110_5^23 + 11134812677530609265635490535889686168764836813697281145539/9018200\ 56129135252876520916178726553744576112893175132*c_0110_5^21 - 115236475181364018779700728691370353693807998730853504232077/270546\ 0168387405758629562748536179661233728338679525396*c_0110_5^19 + 114268987082158470292513097210678377010922950360963622095033/901820\ 056129135252876520916178726553744576112893175132*c_0110_5^17 - 757654555018656296491988673292859058404226503368260334143599/270546\ 0168387405758629562748536179661233728338679525396*c_0110_5^15 + 1355184608540454605906829813554459233917845170239474056287043/27054\ 60168387405758629562748536179661233728338679525396*c_0110_5^13 - 49300427849422500971016987215836199083899959525700502657772/7515167\ 1344094604406376743014893879478714676074431261*c_0110_5^11 + 1302229610414744204368374556018165614768659602268819270042839/27054\ 60168387405758629562748536179661233728338679525396*c_0110_5^9 - 14679050222413365285932733151970931886182346505725073473493/1002022\ 28458792805875168990686525172638286234765908348*c_0110_5^7 + 101479143820275179795462143682618610307445929846504846957/556679046\ 9932933659731610593695842924349235264772686*c_0110_5^5 - 23966886998290019822959351469433812380404389981992204045/1590511562\ 837981045637603026770240835528352932792196*c_0110_5^3 + 35934912789771528331378293819783584606023220320089550469/1113358093\ 9865867319463221187391685848698470529545372*c_0110_5, c_0011_0 - 1, c_0011_2 - 260682183196959285490683783709023018205748347/25398516794786\ 78035972041738987254705421429452649*c_0110_5^30 + 8213985999042466798591924952299350548684615087/25398516794786780359\ 72041738987254705421429452649*c_0110_5^28 - 116420418889677290225879361157274415442268176811/253985167947867803\ 5972041738987254705421429452649*c_0110_5^26 + 231009187167833619443579741029032747183646350358/846617226492892678\ 657347246329084901807143150883*c_0110_5^24 - 4201499492453494282535538463107527360049564776164/25398516794786780\ 35972041738987254705421429452649*c_0110_5^22 + 1854309965520560655781445118252487156410365036845/28220574216429755\ 9552449082109694967269047716961*c_0110_5^20 - 53804897341129240063527550199701867841047735011451/2539851679478678\ 035972041738987254705421429452649*c_0110_5^18 + 152615379726710468774870401785028868035044434685932/253985167947867\ 8035972041738987254705421429452649*c_0110_5^16 - 283206232036444336240349236703911390500873744818351/253985167947867\ 8035972041738987254705421429452649*c_0110_5^14 + 52413860728010089042681948579347480337207952841259/2822057421642975\ 59552449082109694967269047716961*c_0110_5^12 - 443182261249998932154800622464741306725277106582454/253985167947867\ 8035972041738987254705421429452649*c_0110_5^10 + 91214706814086922400541453970810111130065881459718/2539851679478678\ 035972041738987254705421429452649*c_0110_5^8 + 22131206085274793641675509855619623036836409427183/2539851679478678\ 035972041738987254705421429452649*c_0110_5^6 + 9026067386843785120727162603620058003301760011544/84661722649289267\ 8657347246329084901807143150883*c_0110_5^4 - 11567828653565489851726091180462147046018566193/9406858072143251985\ 0816360703231655756349238987*c_0110_5^2 - 36008651253499079229881619018722665988563235021/9406858072143251985\ 0816360703231655756349238987, c_0011_4 + 482935898906759741546970266562234203459578714181/35786510163\ 85457352684606810233041879938794098782441*c_0110_5^31 - 45966326211503019278489479004935403229832239383395/1073595304915637\ 2058053820430699125639816382296347323*c_0110_5^29 + 218969532036887091547721429363650318757166245039671/357865101638545\ 7352684606810233041879938794098782441*c_0110_5^27 - 3990848574834125823197657225602948640666988889159217/10735953049156\ 372058053820430699125639816382296347323*c_0110_5^25 + 24169715097636720395897122980463369783002172001984528/1073595304915\ 6372058053820430699125639816382296347323*c_0110_5^23 - 32586052601329224693222719464574380964094961603333958/3578651016385\ 457352684606810233041879938794098782441*c_0110_5^21 + 35414177612619284184453130389280036334890952135082425/1192883672128\ 485784228202270077680626646264699594147*c_0110_5^19 - 912175105450341080124605332359622850694023290970941939/107359530491\ 56372058053820430699125639816382296347323*c_0110_5^17 + 585365830045991311255204302061816092253005266254673323/357865101638\ 5457352684606810233041879938794098782441*c_0110_5^15 - 2959875661819443071550186321739798255877104136950657106/10735953049\ 156372058053820430699125639816382296347323*c_0110_5^13 + 3050129689416331225318265628207643210582524608763558731/10735953049\ 156372058053820430699125639816382296347323*c_0110_5^11 - 355000035710384894131538973454954178742844988667243373/357865101638\ 5457352684606810233041879938794098782441*c_0110_5^9 + 102971374631383684687693383771549184306552840676230396/107359530491\ 56372058053820430699125639816382296347323*c_0110_5^7 - 76186645747926137153845183446739293076378694396269108/3578651016385\ 457352684606810233041879938794098782441*c_0110_5^5 + 940827877329942018254670204091643084597167273487590/397627890709495\ 261409400756692560208882088233198049*c_0110_5^3 - 184964595821059008223566574540651180815644413687038/132542630236498\ 420469800252230853402960696077732683*c_0110_5, c_0101_0 - 2675278947140281701105406242252497069782558325630/1073595304\ 9156372058053820430699125639816382296347323*c_0110_5^31 + 87495533110743393674897750994341220198063210314992/1073595304915637\ 2058053820430699125639816382296347323*c_0110_5^29 - 1296330842027802626344758271053955050116057199948124/10735953049156\ 372058053820430699125639816382296347323*c_0110_5^27 + 2854953691992208426633250490502365628824753019535689/35786510163854\ 57352684606810233041879938794098782441*c_0110_5^25 - 51962300340209195655458564550627202548030243118504649/1073595304915\ 6372058053820430699125639816382296347323*c_0110_5^23 + 74944819804024434714014876406505720282482047799533215/3578651016385\ 457352684606810233041879938794098782441*c_0110_5^21 - 769160195284983213254171804911749575645790453807078485/107359530491\ 56372058053820430699125639816382296347323*c_0110_5^19 + 2274565165575986651572447567562969405137534784812309270/10735953049\ 156372058053820430699125639816382296347323*c_0110_5^17 - 4933824772072288751922693891805962034715504956925086840/10735953049\ 156372058053820430699125639816382296347323*c_0110_5^15 + 2917898533774928885557498708543460704593744961569266132/35786510163\ 85457352684606810233041879938794098782441*c_0110_5^13 - 11137451102293627883913876310606690606260035782810666328/1073595304\ 9156372058053820430699125639816382296347323*c_0110_5^11 + 7708603381387476241369072448410728438453572884744743686/10735953049\ 156372058053820430699125639816382296347323*c_0110_5^9 - 2094678580242625356843441677603383214025231295960954990/10735953049\ 156372058053820430699125639816382296347323*c_0110_5^7 + 68627007325188694213207185377303508140423801141825554/3578651016385\ 457352684606810233041879938794098782441*c_0110_5^5 - 8811484259711381183945540020123311513409346228809540/39762789070949\ 5261409400756692560208882088233198049*c_0110_5^3 + 438555572646694938692511189968724376851768086374387/132542630236498\ 420469800252230853402960696077732683*c_0110_5, c_0101_1 + 1605530780591390149770982168590160220235406406/7619555038436\ 034107916125216961764116264288357947*c_0110_5^30 - 17075212445013602836518445727798508843038786114/2539851679478678035\ 972041738987254705421429452649*c_0110_5^28 + 737010932433541665793178538007594717795353384190/761955503843603410\ 7916125216961764116264288357947*c_0110_5^26 - 4550640595696215512611576417418169454299836583478/76195550384360341\ 07916125216961764116264288357947*c_0110_5^24 + 9181654218613759351816079145538388731819486417247/25398516794786780\ 35972041738987254705421429452649*c_0110_5^22 - 37642566585494817053166504319883268199131474133511/2539851679478678\ 035972041738987254705421429452649*c_0110_5^20 + 371406688621622530906390221638022595955782412247938/761955503843603\ 4107916125216961764116264288357947*c_0110_5^18 - 356342630155398402870799639649895704893945394545922/253985167947867\ 8035972041738987254705421429452649*c_0110_5^16 + 2110115318221975412656317504908700094909767755777320/76195550384360\ 34107916125216961764116264288357947*c_0110_5^14 - 3579268155579831504347803715049037895915580696167260/76195550384360\ 34107916125216961764116264288357947*c_0110_5^12 + 1288071180818100650398856217357476311419132812170628/25398516794786\ 78035972041738987254705421429452649*c_0110_5^10 - 1608614685013090892065458529099594050731378894499950/76195550384360\ 34107916125216961764116264288357947*c_0110_5^8 + 36521517930433364972897678821240251056360238286477/2539851679478678\ 035972041738987254705421429452649*c_0110_5^6 - 16548323997309737183524820470630605175230555627962/8466172264928926\ 78657347246329084901807143150883*c_0110_5^4 + 452267867128558738928819446652587055526883455971/940685807214325198\ 50816360703231655756349238987*c_0110_5^2 + 50160536695440435681540340024303595455288404887/9406858072143251985\ 0816360703231655756349238987, c_0101_3 + 180658761728381425067319003332855946336748868/25398516794786\ 78035972041738987254705421429452649*c_0110_5^30 - 5899413408115177275570926758708965329218726514/25398516794786780359\ 72041738987254705421429452649*c_0110_5^28 + 87208589154685814137292855678904257513363346106/2539851679478678035\ 972041738987254705421429452649*c_0110_5^26 - 572910925713282692893642945761236513695982550863/253985167947867803\ 5972041738987254705421429452649*c_0110_5^24 + 3465109731703966854902547977057028270585361577068/25398516794786780\ 35972041738987254705421429452649*c_0110_5^22 - 4974575437546783935375127439867368705632659744416/84661722649289267\ 8657347246329084901807143150883*c_0110_5^20 + 50669172774360474245167494216653854782009618440531/2539851679478678\ 035972041738987254705421429452649*c_0110_5^18 - 149078952637761763510144911756616717953321978981536/253985167947867\ 8035972041738987254705421429452649*c_0110_5^16 + 319424356912181194414191632042576133435379783019218/253985167947867\ 8035972041738987254705421429452649*c_0110_5^14 - 557566796626332659575033924628568118517049736773566/253985167947867\ 8035972041738987254705421429452649*c_0110_5^12 + 694351709046687522236224504250629869408458730391744/253985167947867\ 8035972041738987254705421429452649*c_0110_5^10 - 434853472011469651691146889674205591637392271467180/253985167947867\ 8035972041738987254705421429452649*c_0110_5^8 + 82012690047440466704018857690189861409479163720759/2539851679478678\ 035972041738987254705421429452649*c_0110_5^6 - 2767502397569977351070034994865313248040329338381/84661722649289267\ 8657347246329084901807143150883*c_0110_5^4 + 466822541372095586246690238704979953452373314270/940685807214325198\ 50816360703231655756349238987*c_0110_5^2 - 14606256828376939792297757251625015142366911191/9406858072143251985\ 0816360703231655756349238987, c_0110_5^32 - 33*c_0110_5^30 + 494*c_0110_5^28 - 3338*c_0110_5^26 + 20277*c_0110_5^24 - 89229*c_0110_5^22 + 309013*c_0110_5^20 - 921921*c_0110_5^18 + 2052527*c_0110_5^16 - 3695168*c_0110_5^14 + 4900617*c_0110_5^12 - 3725761*c_0110_5^10 + 1260018*c_0110_5^8 - 197235*c_0110_5^6 + 117045*c_0110_5^4 - 29646*c_0110_5^2 + 1458 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB