Magma V2.19-8 Tue Aug 20 2013 16:18:46 on localhost [Seed = 728413787] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2937 geometric_solution 6.13291000 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.187716570636 0.299810223349 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.312035280796 2.096300737853 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 1 -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.380807699982 0.507343189372 6 5 4 1 0132 0132 3201 0132 0 0 0 0 0 0 0 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 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.380807699982 0.507343189372 3 2 4 4 2310 0132 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.201085265458 1.130940544826 5 3 5 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -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 0 0 0 0 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 0.789981799452 0.803549332970 3 6 2 6 0132 1302 0132 2031 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 1 0 -1 0 0 1 -1 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.952957758445 0.749866987990 ==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' : 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' : 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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], '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' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 95791657289721428201659331701812244560357358907/4728238331934067992\ 50140253415632655372016564*c_0101_4^23 + 24619204611916471447103697157621389865258027253/4728238331934067992\ 50140253415632655372016564*c_0101_4^22 + 2100168620167737197919232495095468292658044904841/47282383319340679\ 9250140253415632655372016564*c_0101_4^21 + 9710804593511857534279415510771982824667083906183/47282383319340679\ 9250140253415632655372016564*c_0101_4^20 + 12275995436287393612783164132049773543496895099325/4728238331934067\ 99250140253415632655372016564*c_0101_4^19 + 1530202443520149334446656553356645950965941298336/11820595829835169\ 9812535063353908163843004141*c_0101_4^18 - 41940660641738393781620438657361909480140745053/2883072153618334141\ 769147886680686923000101*c_0101_4^17 + 12684877013777712803671455652810990159109372138235/4728238331934067\ 99250140253415632655372016564*c_0101_4^16 - 1124462184113066157572371192501780622375173962501/11820595829835169\ 9812535063353908163843004141*c_0101_4^15 - 28429220006209789489115316714392805897824613154324/1182059582983516\ 99812535063353908163843004141*c_0101_4^14 - 182324797189100445299414075800867890380828119555619/472823833193406\ 799250140253415632655372016564*c_0101_4^13 - 200164131361820185550164202953267014714373207237541/472823833193406\ 799250140253415632655372016564*c_0101_4^12 + 166890173362190856409582773654843282500882055745903/472823833193406\ 799250140253415632655372016564*c_0101_4^11 + 29439291288435479988766192157425698462111226301465/3637106409180052\ 3019241557955048665797847428*c_0101_4^10 + 77438246366217164338107851158480514790851485975965/1182059582983516\ 99812535063353908163843004141*c_0101_4^9 + 100670318710030763437341625029274608565470050137099/472823833193406\ 799250140253415632655372016564*c_0101_4^8 - 300458311479422019854549347869131269149008362825311/472823833193406\ 799250140253415632655372016564*c_0101_4^7 - 131150497860445882733335482023335166800722503374721/472823833193406\ 799250140253415632655372016564*c_0101_4^6 - 38661629657119333516021362692332220998953804202017/2364119165967033\ 99625070126707816327686008282*c_0101_4^5 + 25725419322006709351604274033386799197478417102385/4728238331934067\ 99250140253415632655372016564*c_0101_4^4 + 6380160636231424780099920292722454846572699483160/11820595829835169\ 9812535063353908163843004141*c_0101_4^3 - 9603916363219120939079603003414512252235323775365/47282383319340679\ 9250140253415632655372016564*c_0101_4^2 - 5459453406679995320043388464342419837884292013147/47282383319340679\ 9250140253415632655372016564*c_0101_4 - 100275968582974722910046224798099691309225442396/118205958298351699\ 812535063353908163843004141, c_0011_0 - 1, c_0011_1 + 4320351918883076613614932052990829546225/1529481248603890791\ 3894683748969161395226*c_0101_4^23 + 2253870548129923860853303107736749467335/30589624972077815827789367\ 497938322790452*c_0101_4^22 - 3834317257659136089160124275746737245\ 66577/61179249944155631655578734995876645580904*c_0101_4^21 - 486725346476218314791514459930633261249015/152948124860389079138946\ 83748969161395226*c_0101_4^20 - 30728826590420371976691857174286349\ 57970659/61179249944155631655578734995876645580904*c_0101_4^19 - 254580810411020569854517263787616261415905/764740624301945395694734\ 1874484580697613*c_0101_4^18 + 897746020099375747251601649631125911\ 808167/61179249944155631655578734995876645580904*c_0101_4^17 - 1567198934162391081225673816807157010004177/61179249944155631655578\ 734995876645580904*c_0101_4^16 - 5562513808918313204119968570466374\ 06174343/61179249944155631655578734995876645580904*c_0101_4^15 + 10643065831688465179734882947529482027524295/3058962497207781582778\ 9367497938322790452*c_0101_4^14 + 216589494296716634682817227528082\ 59386021075/30589624972077815827789367497938322790452*c_0101_4^13 + 12630487822035549504407813189783503497379223/1529481248603890791389\ 4683748969161395226*c_0101_4^12 - 149589811484789535200714214892255\ 83296324587/61179249944155631655578734995876645580904*c_0101_4^11 - 22080763806605652067679834722411865092375969/1529481248603890791389\ 4683748969161395226*c_0101_4^10 - 867140036710452519414848687655567\ 17901587077/61179249944155631655578734995876645580904*c_0101_4^9 - 19736859024735727268428529893248243210229047/3058962497207781582778\ 9367497938322790452*c_0101_4^8 + 1246381813284121064594734248998939\ 8704540607/15294812486038907913894683748969161395226*c_0101_4^7 + 52631731645114462859801458290327965957340799/6117924994415563165557\ 8734995876645580904*c_0101_4^6 + 2367435357085285083666704290121774\ 312588641/7647406243019453956947341874484580697613*c_0101_4^5 + 1504382714561175455442880121595815687984533/61179249944155631655578\ 734995876645580904*c_0101_4^4 - 83837711182880204648368457245057089\ 76792199/61179249944155631655578734995876645580904*c_0101_4^3 + 74385092439906922855442389801649378074707/1529481248603890791389468\ 3748969161395226*c_0101_4^2 + 1121937238411728286522584110013999367\ 243011/30589624972077815827789367497938322790452*c_0101_4 + 284678632411848450976985964480876296051049/611792499441556316555787\ 34995876645580904, c_0011_3 - 437499246464065549869122918416803003326893/10400472490506457\ 38144838494929902974875368*c_0101_4^23 + 8675382446754414857467570369652738339683/52002362452532286907241924\ 7464951487437684*c_0101_4^22 + 482150607726483668946774102806329534\ 7706953/520023624525322869072419247464951487437684*c_0101_4^21 + 11605166643013101845943720713003002184568727/2600118122626614345362\ 09623732475743718842*c_0101_4^20 + 8140815335336993376450135459693073402106155/13000590613133071726810\ 4811866237871859421*c_0101_4^19 + 376179743060762154456943969932777\ 62963381587/1040047249050645738144838494929902974875368*c_0101_4^18 - 6993482684608845197807489696232260301257259/260011812262661434536\ 209623732475743718842*c_0101_4^17 + 50184240289524481352710326681184988764829745/1040047249050645738144\ 838494929902974875368*c_0101_4^16 - 5815943615580512129994199257742800533325319/10400472490506457381448\ 38494929902974875368*c_0101_4^15 - 66006986278460269954380758230341305295159173/1300059061313307172681\ 04811866237871859421*c_0101_4^14 - 942978017079890358818013273452619187062614693/104004724905064573814\ 4838494929902974875368*c_0101_4^13 - 133048052262748779164056008482207519320672485/130005906131330717268\ 104811866237871859421*c_0101_4^12 + 302276303342577925362426922562769788174736443/520023624525322869072\ 419247464951487437684*c_0101_4^11 + 244638730587488466896957646363632906850609273/130005906131330717268\ 104811866237871859421*c_0101_4^10 + 1735566773891448267127636892825091933651057951/10400472490506457381\ 44838494929902974875368*c_0101_4^9 + 679863309232690092533973157524073842669719689/104004724905064573814\ 4838494929902974875368*c_0101_4^8 - 19580122451813155005192171764928352491371541/1529481248603890791389\ 4683748969161395226*c_0101_4^7 - 1135622209460547201878888919519600\ 86220294651/130005906131330717268104811866237871859421*c_0101_4^6 - 396878862991151873581647217515613373352211525/104004724905064573814\ 4838494929902974875368*c_0101_4^5 + 49833231998181119139159599199086059948502457/1040047249050645738144\ 838494929902974875368*c_0101_4^4 + 160680905813303072276374512489526687899635043/104004724905064573814\ 4838494929902974875368*c_0101_4^3 - 31297899618889195045839755425728181747264139/1040047249050645738144\ 838494929902974875368*c_0101_4^2 - 4785035889003727454037945512777648778917644/13000590613133071726810\ 4811866237871859421*c_0101_4 - 327475976155286137169523766240070981\ 6469753/1040047249050645738144838494929902974875368, c_0101_0 + 3046442287017604698562913693325971356262753/1040047249050645\ 738144838494929902974875368*c_0101_4^23 - 496239619176333006308602058323007999712873/104004724905064573814483\ 8494929902974875368*c_0101_4^22 - 836597964361047921102259043960215\ 3584595566/130005906131330717268104811866237871859421*c_0101_4^21 - 315073284853913043912644819981191108237951541/104004724905064573814\ 4838494929902974875368*c_0101_4^20 - 209057691979341150199666371824944352361642007/520023624525322869072\ 419247464951487437684*c_0101_4^19 - 56404597933651207816063926314280168693219037/2600118122626614345362\ 09623732475743718842*c_0101_4^18 + 205948000752334400851134465441733478670939391/104004724905064573814\ 4838494929902974875368*c_0101_4^17 - 190652944121374195207395561160678551095823525/520023624525322869072\ 419247464951487437684*c_0101_4^16 + 99836840716258301447851868972141652347993893/1040047249050645738144\ 838494929902974875368*c_0101_4^15 + 1820340325614973746787087375434469681991129689/52002362452532286907\ 2419247464951487437684*c_0101_4^14 + 6131508102692156504389126447341082698339498503/10400472490506457381\ 44838494929902974875368*c_0101_4^13 + 6840015184042371919696042960563822203947330303/10400472490506457381\ 44838494929902974875368*c_0101_4^12 - 599601588696867389939491265599042995264683375/130005906131330717268\ 104811866237871859421*c_0101_4^11 - 12762466891137838602666604313829501840503346147/1040047249050645738\ 144838494929902974875368*c_0101_4^10 - 10845452924825055788819028791144635395486578769/1040047249050645738\ 144838494929902974875368*c_0101_4^9 - 3942728750239456089258639038773960275773052315/10400472490506457381\ 44838494929902974875368*c_0101_4^8 + 551229115864943904320201801369645344037945417/611792499441556316555\ 78734995876645580904*c_0101_4^7 + 253948539272177825608010047113046\ 4342731919083/520023624525322869072419247464951487437684*c_0101_4^6 + 1323535798400112564832949539946890015826930241/520023624525322869\ 072419247464951487437684*c_0101_4^5 - 290356014080067533904403698826005978428492075/520023624525322869072\ 419247464951487437684*c_0101_4^4 - 933299416055191743349622594776410892368238875/104004724905064573814\ 4838494929902974875368*c_0101_4^3 + 268759592966567122501759092200889422501690867/104004724905064573814\ 4838494929902974875368*c_0101_4^2 + 202973762165687177284507798509073617023725411/104004724905064573814\ 4838494929902974875368*c_0101_4 + 203814304864938997237459380995082\ 01426894369/1040047249050645738144838494929902974875368, c_0101_1 - 86819970662465583643465528273684199236939/611792499441556316\ 55578734995876645580904*c_0101_4^23 + 17046544960304845750530352840820142693127/6117924994415563165557873\ 4995876645580904*c_0101_4^22 + 953255167050238764874674419080739551\ 477709/30589624972077815827789367497938322790452*c_0101_4^21 + 8915531716181513822567352183102819116787751/61179249944155631655578\ 734995876645580904*c_0101_4^20 + 1452968568587562541485469366939499\ 538173131/7647406243019453956947341874484580697613*c_0101_4^19 + 1517321233675254663215731810360657046756451/15294812486038907913894\ 683748969161395226*c_0101_4^18 - 6038508918227040932158543237297375\ 016845475/61179249944155631655578734995876645580904*c_0101_4^17 + 1385178223162850415801599240795853187067890/76474062430194539569473\ 41874484580697613*c_0101_4^16 - 32472537678910351913202639706398781\ 38382705/61179249944155631655578734995876645580904*c_0101_4^15 - 51809331250793836558617024706595985936339677/3058962497207781582778\ 9367497938322790452*c_0101_4^14 - 171299245996835401191195124120148\ 104301124977/61179249944155631655578734995876645580904*c_0101_4^13 - 189547120148426219574153307582642778903471181/611792499441556316555\ 78734995876645580904*c_0101_4^12 + 71248151745697694375775808571216779865344743/3058962497207781582778\ 9367497938322790452*c_0101_4^11 + 358389348996059256303042544528344\ 239555671753/61179249944155631655578734995876645580904*c_0101_4^10 + 297726365164871293449787535213033623930228085/611792499441556316555\ 78734995876645580904*c_0101_4^9 + 103598589216282912139375614545887\ 400509993509/61179249944155631655578734995876645580904*c_0101_4^8 - 269573437796712502203344164613706934101089131/611792499441556316555\ 78734995876645580904*c_0101_4^7 - 169452158641337753970427987641578\ 97801249259/7647406243019453956947341874484580697613*c_0101_4^6 - 35980749033289313231043956014884184712846919/3058962497207781582778\ 9367497938322790452*c_0101_4^5 + 2329437101721066170604995508770938\ 972086522/7647406243019453956947341874484580697613*c_0101_4^4 + 25726246092665848814093203446179236532038015/6117924994415563165557\ 8734995876645580904*c_0101_4^3 - 8331486855346346701693770631935207\ 157088233/61179249944155631655578734995876645580904*c_0101_4^2 - 5440376904822621321317334288140548147169181/61179249944155631655578\ 734995876645580904*c_0101_4 - 4801587427142920299055370963690393802\ 43797/61179249944155631655578734995876645580904, c_0101_3 + 32438781343426521312157321856610279309679/104004724905064573\ 8144838494929902974875368*c_0101_4^23 - 56585450491508173990124903552925891190999/5200236245253228690724192\ 47464951487437684*c_0101_4^22 - 66313157879558375660951708157528913\ 2331373/1040047249050645738144838494929902974875368*c_0101_4^21 - 499609297969081626846744703000016812925433/520023624525322869072419\ 247464951487437684*c_0101_4^20 + 6007624733082361596083309454691010\ 475602891/1040047249050645738144838494929902974875368*c_0101_4^19 + 9302735763675359079364018322749585724276465/10400472490506457381448\ 38494929902974875368*c_0101_4^18 + 6711640258435297283968898669765088146901247/10400472490506457381448\ 38494929902974875368*c_0101_4^17 - 3158851259052009226607312206574724482895615/26001181226266143453620\ 9623732475743718842*c_0101_4^16 + 215691774640902763581424720033273\ 7441718068/130005906131330717268104811866237871859421*c_0101_4^15 + 15311945489007950248502161979761629613643387/5200236245253228690724\ 19247464951487437684*c_0101_4^14 - 61172399333467619802257093795592052405710935/1040047249050645738144\ 838494929902974875368*c_0101_4^13 - 53315966533913101114998521032574433518043143/5200236245253228690724\ 19247464951487437684*c_0101_4^12 - 239611823673939439291432335988530158117824631/104004724905064573814\ 4838494929902974875368*c_0101_4^11 + 44872384057671428388660537407116931540240175/5200236245253228690724\ 19247464951487437684*c_0101_4^10 + 67043468249976839741523667913647574917331813/2600118122626614345362\ 09623732475743718842*c_0101_4^9 + 225501822478367356153023763543962\ 168309748139/1040047249050645738144838494929902974875368*c_0101_4^8 + 4673401285438466148968913631563704691510453/305896249720778158277\ 89367497938322790452*c_0101_4^7 - 293950273867284835537533297668682\ 873470792431/1040047249050645738144838494929902974875368*c_0101_4^6 - 46517366182894910065996480604538641155134027/10400472490506457381\ 44838494929902974875368*c_0101_4^5 - 38287002469769438148115777361966547766454269/5200236245253228690724\ 19247464951487437684*c_0101_4^4 + 154535578469716775899127837188512\ 35452052415/520023624525322869072419247464951487437684*c_0101_4^3 + 24045707137410706493934181745424878458700041/1040047249050645738144\ 838494929902974875368*c_0101_4^2 - 1618319568890296283840111050687658692173337/13000590613133071726810\ 4811866237871859421*c_0101_4 - 118867681547145499506511474347970668\ 1188799/520023624525322869072419247464951487437684, c_0101_4^24 - 22*c_0101_4^22 - 107*c_0101_4^21 - 154*c_0101_4^20 - 96*c_0101_4^19 + 56*c_0101_4^18 - 114*c_0101_4^17 + 12*c_0101_4^16 + 1201*c_0101_4^15 + 2207*c_0101_4^14 + 2568*c_0101_4^13 - 1216*c_0101_4^12 - 4453*c_0101_4^11 - 4233*c_0101_4^10 - 1858*c_0101_4^9 + 2876*c_0101_4^8 + 2170*c_0101_4^7 + 1126*c_0101_4^6 - 53*c_0101_4^5 - 340*c_0101_4^4 + 40*c_0101_4^3 + 82*c_0101_4^2 + 17*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB