Magma V2.19-8 Tue Aug 20 2013 16:14:51 on localhost [Seed = 2446331389] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s824 geometric_solution 5.39104762 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 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 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.515824095964 0.246269899995 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.905396555644 0.507486729998 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563577013651 0.696175415160 5 4 2 1 1023 1023 0213 0132 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 1 0 -1 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563577013651 0.696175415160 3 5 5 2 1023 2310 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 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811628884248 1.055704943420 4 3 2 4 2310 1023 0132 3201 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 -1 0 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 0.195087604129 0.815387498579 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_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' : d['c_0011_3'], 'c_0011_4' : 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' : negation(d['c_0011_1']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : 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' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 18790150742985263656314276065479110775752868245257/5479542040867963\ 0541327309226167228900444527550330*c_0101_4^20 - 29540779339242016147660531841303345456316946862912/2739771020433981\ 5270663654613083614450222263775165*c_0101_4^19 + 24877763222093692889346946543308991353657467030753/4981401855334511\ 867393391747833384445494957050030*c_0101_4^18 + 153332319166881375249919028355269138183410621697021/547954204086796\ 30541327309226167228900444527550330*c_0101_4^17 + 105083992404560254764488299294218975531798914636419/547954204086796\ 3054132730922616722890044452755033*c_0101_4^16 + 4581605598329230045739802890582189982324117059485661/54795420408679\ 630541327309226167228900444527550330*c_0101_4^15 + 301279374437876402660498530873045139393626982236238/547954204086796\ 3054132730922616722890044452755033*c_0101_4^14 - 2585803882659065847595651691793041041722508745028478/27397710204339\ 815270663654613083614450222263775165*c_0101_4^13 - 2967708183111812403045431678938192828093929102429557/54795420408679\ 630541327309226167228900444527550330*c_0101_4^12 + 51018647863918194229061032835228947597783839992629813/5479542040867\ 9630541327309226167228900444527550330*c_0101_4^11 + 6242607297821204380565555614340562333246832316087177/27397710204339\ 815270663654613083614450222263775165*c_0101_4^10 - 61966212974030002902830786336242808372091687115057753/5479542040867\ 9630541327309226167228900444527550330*c_0101_4^9 - 90322345632813615899707117387376605210800394689704752/2739771020433\ 9815270663654613083614450222263775165*c_0101_4^8 - 628471624260222014231026803663757167452639747349607/547954204086796\ 30541327309226167228900444527550330*c_0101_4^7 + 95706455446312243242458713396758208353037487507745121/5479542040867\ 9630541327309226167228900444527550330*c_0101_4^6 + 14491805173210243567618724299051137423504306402463371/5479542040867\ 963054132730922616722890044452755033*c_0101_4^5 - 5941075791879976436906080736898441011048750546701139/27397710204339\ 815270663654613083614450222263775165*c_0101_4^4 - 17148768761266330198910922017211091317663877620130607/5479542040867\ 9630541327309226167228900444527550330*c_0101_4^3 - 14609495620462986188484797088846424472414821881536981/2739771020433\ 9815270663654613083614450222263775165*c_0101_4^2 + 3955814141079725279408082903198634327131299699281427/27397710204339\ 815270663654613083614450222263775165*c_0101_4 - 4189861025963112838370511843870139751375326646039087/54795420408679\ 630541327309226167228900444527550330, c_0011_0 - 1, c_0011_1 - 33951642617365885868840272557787747223036293/121497606227671\ 02115593638409349718159743797683*c_0101_4^20 - 104310055503699331776542212763546939851104368/121497606227671021155\ 93638409349718159743797683*c_0101_4^19 + 500887554609626552356542028103895459670188366/121497606227671021155\ 93638409349718159743797683*c_0101_4^18 + 229696156826112413356373899335764652056547573/121497606227671021155\ 93638409349718159743797683*c_0101_4^17 + 1880682892882270974322339165405687126069882240/12149760622767102115\ 593638409349718159743797683*c_0101_4^16 + 8286300312491986632655513137040385165455506081/12149760622767102115\ 593638409349718159743797683*c_0101_4^15 + 4845501800185518243890726671353633321890945860/12149760622767102115\ 593638409349718159743797683*c_0101_4^14 - 8989710049551745284496416423993173420258713085/12149760622767102115\ 593638409349718159743797683*c_0101_4^13 - 2934710570652385040748423300287842797570639229/12149760622767102115\ 593638409349718159743797683*c_0101_4^12 + 91688357180286441316753727550040903416904388291/1214976062276710211\ 5593638409349718159743797683*c_0101_4^11 + 13711470911118934191911209813191229934603867433/1214976062276710211\ 5593638409349718159743797683*c_0101_4^10 - 107885549964623274913230378805350513864393920569/121497606227671021\ 15593638409349718159743797683*c_0101_4^9 - 297282939971583290999541401132775489076501623855/121497606227671021\ 15593638409349718159743797683*c_0101_4^8 + 527701021328604374309952700096173361584676860/121497606227671021155\ 93638409349718159743797683*c_0101_4^7 + 145566470882377766730344865109648592751564416194/121497606227671021\ 15593638409349718159743797683*c_0101_4^6 + 210630558217342549920589412322941989739281864640/121497606227671021\ 15593638409349718159743797683*c_0101_4^5 + 13045798034257679290139231571392718561868715815/1214976062276710211\ 5593638409349718159743797683*c_0101_4^4 - 20200574831190937851000350889929408491484028338/1214976062276710211\ 5593638409349718159743797683*c_0101_4^3 - 37656568994531367964888292115643266310831599188/1214976062276710211\ 5593638409349718159743797683*c_0101_4^2 + 1583977874391206759787699712756625803522568844/12149760622767102115\ 593638409349718159743797683*c_0101_4 - 249727293868948248670814743614925937982690261/121497606227671021155\ 93638409349718159743797683, c_0011_3 + 61680546610404673374647405717507331836425230/121497606227671\ 02115593638409349718159743797683*c_0101_4^20 + 182544133240315520836134704079170150105885404/121497606227671021155\ 93638409349718159743797683*c_0101_4^19 - 928598836357916622228661594559358214182709078/121497606227671021155\ 93638409349718159743797683*c_0101_4^18 - 329744066574395986399400862726119849743958403/121497606227671021155\ 93638409349718159743797683*c_0101_4^17 - 3469828454009426913136043294588079606918079949/12149760622767102115\ 593638409349718159743797683*c_0101_4^16 - 14310326556106004869589842379826125433532695886/1214976062276710211\ 5593638409349718159743797683*c_0101_4^15 - 7318012469410519386694020501687315336521357427/12149760622767102115\ 593638409349718159743797683*c_0101_4^14 + 18001846454346620420997556685325945865852799005/1214976062276710211\ 5593638409349718159743797683*c_0101_4^13 + 8266189751833632749676345543991027307913629673/12149760622767102115\ 593638409349718159743797683*c_0101_4^12 - 165680044679639064676909466726957200568527559157/121497606227671021\ 15593638409349718159743797683*c_0101_4^11 - 11232182191066142921967135357527190712528680487/1214976062276710211\ 5593638409349718159743797683*c_0101_4^10 + 195013856472751906912056445120271479593882486188/121497606227671021\ 15593638409349718159743797683*c_0101_4^9 + 579577160727866504266909048535104476138465198015/121497606227671021\ 15593638409349718159743797683*c_0101_4^8 - 77427910874953097623693225856183743301692250941/1214976062276710211\ 5593638409349718159743797683*c_0101_4^7 - 293303559667511223279503169094989164673987645974/121497606227671021\ 15593638409349718159743797683*c_0101_4^6 - 504955068867864096434883023896088682852390186830/121497606227671021\ 15593638409349718159743797683*c_0101_4^5 + 89219022871953994565948884432764259879163918037/1214976062276710211\ 5593638409349718159743797683*c_0101_4^4 + 54760341671555979297774824469488328931711769059/1214976062276710211\ 5593638409349718159743797683*c_0101_4^3 + 128107882072182933864249338707972705659327685272/121497606227671021\ 15593638409349718159743797683*c_0101_4^2 - 35392325204079526208134211091158270034481843393/1214976062276710211\ 5593638409349718159743797683*c_0101_4 + 15162740392209092727593015508690931575966306570/1214976062276710211\ 5593638409349718159743797683, c_0101_0 - 38200207926727902989741786445239358571999904/121497606227671\ 02115593638409349718159743797683*c_0101_4^20 - 113936030050299844116979470403981533727672812/121497606227671021155\ 93638409349718159743797683*c_0101_4^19 + 577215440203571365485063418537156055995393261/121497606227671021155\ 93638409349718159743797683*c_0101_4^18 + 214771481135702896883227980045101730696766446/121497606227671021155\ 93638409349718159743797683*c_0101_4^17 + 2036618246172626581628998649534095579591585806/12149760622767102115\ 593638409349718159743797683*c_0101_4^16 + 9151936168640905546841909184972015967015451182/12149760622767102115\ 593638409349718159743797683*c_0101_4^15 + 4507536823140731950801448878310458499967963712/12149760622767102115\ 593638409349718159743797683*c_0101_4^14 - 11287095846738286589901092298002639818413885424/1214976062276710211\ 5593638409349718159743797683*c_0101_4^13 - 2134752674860299104481743523155435023442265319/12149760622767102115\ 593638409349718159743797683*c_0101_4^12 + 104869164621800607269062854892587039384208666941/121497606227671021\ 15593638409349718159743797683*c_0101_4^11 + 4501957600966946488376018714266417464367179934/12149760622767102115\ 593638409349718159743797683*c_0101_4^10 - 132951407362006360292874988939171459872927369637/121497606227671021\ 15593638409349718159743797683*c_0101_4^9 - 315698317401604250360941355117532644381196262783/121497606227671021\ 15593638409349718159743797683*c_0101_4^8 + 46397717594779593974067077635647374032745854120/1214976062276710211\ 5593638409349718159743797683*c_0101_4^7 + 165973596020202376954280350849273589269678164179/121497606227671021\ 15593638409349718159743797683*c_0101_4^6 + 190111824999173584686150801245656630528951713573/121497606227671021\ 15593638409349718159743797683*c_0101_4^5 - 14486536577153846336328357246681310540999576021/1214976062276710211\ 5593638409349718159743797683*c_0101_4^4 + 5569964206405662377634904780503745482021712105/12149760622767102115\ 593638409349718159743797683*c_0101_4^3 - 22604339462505700681920405023798882412864182034/1214976062276710211\ 5593638409349718159743797683*c_0101_4^2 + 294026056309643653013432733437321072891962337/121497606227671021155\ 93638409349718159743797683*c_0101_4 - 12152216657454195934167481002411129206587953044/1214976062276710211\ 5593638409349718159743797683, c_0101_1 + 34781562438977352036239660094969960721646520/121497606227671\ 02115593638409349718159743797683*c_0101_4^20 + 115867093600066893109851661877604335807819581/121497606227671021155\ 93638409349718159743797683*c_0101_4^19 - 483178367528776716910351105498667513372314570/121497606227671021155\ 93638409349718159743797683*c_0101_4^18 - 363962589630332824593450894585988683665680802/121497606227671021155\ 93638409349718159743797683*c_0101_4^17 - 2026709303864422570757914529228902011249916449/12149760622767102115\ 593638409349718159743797683*c_0101_4^16 - 8954313887347667475734304269688936000100635855/12149760622767102115\ 593638409349718159743797683*c_0101_4^15 - 7316337710144773680201259121278727004979616780/12149760622767102115\ 593638409349718159743797683*c_0101_4^14 + 7525720326681740717029357450352210936649400416/12149760622767102115\ 593638409349718159743797683*c_0101_4^13 + 5547462570102447815488164937107342738817304604/12149760622767102115\ 593638409349718159743797683*c_0101_4^12 - 92808407377591482878607562759647869687671594003/1214976062276710211\ 5593638409349718159743797683*c_0101_4^11 - 39157741480965189346267218841165570547789066195/1214976062276710211\ 5593638409349718159743797683*c_0101_4^10 + 100971230436788796918622990203905262825910728258/121497606227671021\ 15593638409349718159743797683*c_0101_4^9 + 339502009779526230118526547949147293520187569644/121497606227671021\ 15593638409349718159743797683*c_0101_4^8 + 78675182870876375876721612493709046552792822689/1214976062276710211\ 5593638409349718159743797683*c_0101_4^7 - 136613978646189046132963857585959199766465026090/121497606227671021\ 15593638409349718159743797683*c_0101_4^6 - 275695919114373850736836026071142895128579618452/121497606227671021\ 15593638409349718159743797683*c_0101_4^5 - 52656277105208085492151739439435722967861021404/1214976062276710211\ 5593638409349718159743797683*c_0101_4^4 + 7156588522119542350874929425955028382358568981/12149760622767102115\ 593638409349718159743797683*c_0101_4^3 + 57081024959883524321407637154056693728789016379/1214976062276710211\ 5593638409349718159743797683*c_0101_4^2 - 3354555164827491771590064596747054095367821725/12149760622767102115\ 593638409349718159743797683*c_0101_4 + 12205611738788509526258515345682671142911898700/1214976062276710211\ 5593638409349718159743797683, c_0101_4^21 + 3*c_0101_4^20 - 15*c_0101_4^19 - 6*c_0101_4^18 - 55*c_0101_4^17 - 236*c_0101_4^16 - 126*c_0101_4^15 + 294*c_0101_4^14 + 115*c_0101_4^13 - 2731*c_0101_4^12 - 267*c_0101_4^11 + 3343*c_0101_4^10 + 9113*c_0101_4^9 - 1267*c_0101_4^8 - 4908*c_0101_4^7 - 6987*c_0101_4^6 + 1549*c_0101_4^5 + 670*c_0101_4^4 + 1485*c_0101_4^3 - 556*c_0101_4^2 + 311*c_0101_4 - 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB