Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 2395935728] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3014 geometric_solution 6.18965549 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 0 1 -1 0 0 1 -1 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.502966334658 0.527147687821 0 3 5 4 0132 0132 0132 0132 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 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.445351908792 0.796711184354 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 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.445351908792 0.796711184354 3 1 3 2 2310 0132 3201 2310 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.134886026450 1.276434111010 2 6 1 6 2310 0132 0132 2310 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 0 0 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.059956578386 1.568957516546 2 5 5 1 3201 3201 2310 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.531871755367 0.641906433691 4 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433832114765 0.209561189716 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : 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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 5653738661827206546718070802494954/26493694725494477863847434727753\ 1*c_0110_6^24 - 4172092300713274148887511699670913/2943743858388275\ 3182052705253059*c_0110_6^23 + 20576538947802678331699324633806512/\ 264936947254944778638474347277531*c_0110_6^22 + 94535939112386735592567980024179426/2649369472549447786384743472775\ 31*c_0110_6^21 - 462765984562376163408109212193920403/2649369472549\ 44778638474347277531*c_0110_6^20 - 28494014801246058393730158589031219/2943743858388275318205270525305\ 9*c_0110_6^19 + 545835001331836660804853601566553818/88312315751648\ 259546158115759177*c_0110_6^18 - 3531751726666076696966228068017181\ 0/88312315751648259546158115759177*c_0110_6^17 - 42187647329999382677043311234666182/4205348369126107597436100750437\ *c_0110_6^16 + 516773728993698222467146888855732540/378481353221349\ 68376924906753933*c_0110_6^15 + 54127651067755447919309906281389129\ 32/264936947254944778638474347277531*c_0110_6^14 - 7179225197189025529101968590586238257/26493694725494477863847434727\ 7531*c_0110_6^13 - 1108446899400167698302125168269954018/2943743858\ 3882753182052705253059*c_0110_6^12 + 4308352362606912201630424974803279477/26493694725494477863847434727\ 7531*c_0110_6^11 + 25071977479659512772653310828996464/674139814898\ 078317146245158467*c_0110_6^10 + 1189294261213029758608534820914119\ 47/88312315751648259546158115759177*c_0110_6^9 - 5343993403711039238433553136052799498/26493694725494477863847434727\ 7531*c_0110_6^8 - 1299714057920108870921696109685341176/26493694725\ 4944778638474347277531*c_0110_6^7 + 82733023675338184949553239301195419/1261604510737832279230830225131\ 1*c_0110_6^6 + 497171748493704032165225618156623888/264936947254944\ 778638474347277531*c_0110_6^5 - 21754898681947762206029853967039458\ /29437438583882753182052705253059*c_0110_6^4 - 288426609960818229596114630746398/4205348369126107597436100750437*c\ _0110_6^3 - 22212116825939662014204215230122956/8831231575164825954\ 6158115759177*c_0110_6^2 - 23179717559173521959460751398747332/2649\ 36947254944778638474347277531*c_0110_6 - 721840988515658422587700744455638/88312315751648259546158115759177, c_0011_0 - 1, c_0011_4 - 74245761883168189009427898420972/294374385838827531820527052\ 53059*c_0110_6^24 - 414072791198895373547768959030358/2943743858388\ 2753182052705253059*c_0110_6^23 + 728897907692136268969810040342574\ /29437438583882753182052705253059*c_0110_6^22 + 611646669952761713943879749295237/29437438583882753182052705253059*\ c_0110_6^21 - 6648823806839746885610019699346672/294374385838827531\ 82052705253059*c_0110_6^20 + 3143909222714638398350184740321876/294\ 37438583882753182052705253059*c_0110_6^19 + 19562920521327166799953420521320889/2943743858388275318205270525305\ 9*c_0110_6^18 - 19192181211515981448380282272807385/294374385838827\ 53182052705253059*c_0110_6^17 - 3030475120812543259345017683731758/\ 4205348369126107597436100750437*c_0110_6^16 + 9329691738967337794581776748103187/4205348369126107597436100750437*\ c_0110_6^15 + 16651274272434733884406209390447604/29437438583882753\ 182052705253059*c_0110_6^14 - 120779891523067072416555584308415474/\ 29437438583882753182052705253059*c_0110_6^13 - 38794561811455858032862643433809812/2943743858388275318205270525305\ 9*c_0110_6^12 + 119840706416022064936946698541794341/29437438583882\ 753182052705253059*c_0110_6^11 + 480201748715035731988056059723490/\ 224713271632692772382081719489*c_0110_6^10 - 68148828492696768250952440953652159/2943743858388275318205270525305\ 9*c_0110_6^9 - 51883163346906665019595061668460405/2943743858388275\ 3182052705253059*c_0110_6^8 + 25313715725026745176530456501829346/2\ 9437438583882753182052705253059*c_0110_6^7 + 3342673722010662533733659517210801/4205348369126107597436100750437*\ c_0110_6^6 - 6685334050083304110665779239467052/2943743858388275318\ 2052705253059*c_0110_6^5 - 4476278395468455129021721833954734/29437\ 438583882753182052705253059*c_0110_6^4 + 105546273781351375178506216069595/4205348369126107597436100750437*c\ _0110_6^3 - 394249855998253551675926191772703/294374385838827531820\ 52705253059*c_0110_6^2 + 107538897172979715387473338233640/29437438\ 583882753182052705253059*c_0110_6 + 125306486854285726769489003336010/29437438583882753182052705253059, c_0101_0 + 7904433190003801105269823408232/2943743858388275318205270525\ 3059*c_0110_6^24 + 56485256123461249789678618772634/294374385838827\ 53182052705253059*c_0110_6^23 - 1903490194321141137518248731445/294\ 37438583882753182052705253059*c_0110_6^22 - 144124384452292143803971710989460/29437438583882753182052705253059*\ c_0110_6^21 + 582271844944735146592741596515307/2943743858388275318\ 2052705253059*c_0110_6^20 + 693310147168478852131142885191807/29437\ 438583882753182052705253059*c_0110_6^19 - 2107954943213459261530859038211880/29437438583882753182052705253059\ *c_0110_6^18 - 976239372103502913506321891438740/294374385838827531\ 82052705253059*c_0110_6^17 + 556690173349026160124423282095226/4205\ 348369126107597436100750437*c_0110_6^16 - 484369727555519881021248618244664/4205348369126107597436100750437*c\ _0110_6^15 - 10306985662394122712182052277717433/294374385838827531\ 82052705253059*c_0110_6^14 + 6621087962049728531283720836402354/294\ 37438583882753182052705253059*c_0110_6^13 + 18550457626843073376187269495307418/2943743858388275318205270525305\ 9*c_0110_6^12 - 116771497442483435152255632056190/29437438583882753\ 182052705253059*c_0110_6^11 - 122085291378798940724065917575181/224\ 713271632692772382081719489*c_0110_6^10 - 5557703905059958965163478198686340/29437438583882753182052705253059\ *c_0110_6^9 + 7292417014308017712990009181492057/294374385838827531\ 82052705253059*c_0110_6^8 + 4294491833911627807027924944134033/2943\ 7438583882753182052705253059*c_0110_6^7 - 286592160840079745364311035631308/4205348369126107597436100750437*c\ _0110_6^6 - 1482733781892445000036349176149170/29437438583882753182\ 052705253059*c_0110_6^5 + 145281717527240061705973951538269/2943743\ 8583882753182052705253059*c_0110_6^4 + 4126834685835238737029602539203/4205348369126107597436100750437*c_0\ 110_6^3 + 58369090522876997923006685599689/294374385838827531820527\ 05253059*c_0110_6^2 + 105742978059001559028753589092575/29437438583\ 882753182052705253059*c_0110_6 + 6276673655419960245304856303863/29\ 437438583882753182052705253059, c_0101_1 + 41235083286649421677378070109240/294374385838827531820527052\ 53059*c_0110_6^24 + 248646691320106379314910414281656/2943743858388\ 2753182052705253059*c_0110_6^23 - 285293885728944473796767796900044\ /29437438583882753182052705253059*c_0110_6^22 - 431849834180967123966598040677765/29437438583882753182052705253059*\ c_0110_6^21 + 3423127105214752185348781888021626/294374385838827531\ 82052705253059*c_0110_6^20 - 224914831529608034052037230189398/2943\ 7438583882753182052705253059*c_0110_6^19 - 10347010065505156299042977262138424/2943743858388275318205270525305\ 9*c_0110_6^18 + 5506442345599351417691866773460988/2943743858388275\ 3182052705253059*c_0110_6^17 + 1818442727382210323040636634869671/4\ 205348369126107597436100750437*c_0110_6^16 - 4043447612759076024199715533378411/4205348369126107597436100750437*\ c_0110_6^15 - 21226894157783750292177053664097954/29437438583882753\ 182052705253059*c_0110_6^14 + 51485347125051551999582138441385995/2\ 9437438583882753182052705253059*c_0110_6^13 + 45540885244381074505410141467673021/2943743858388275318205270525305\ 9*c_0110_6^12 - 36607810770959269539615825757219009/294374385838827\ 53182052705253059*c_0110_6^11 - 390778313388789643964552518091351/2\ 24713271632692772382081719489*c_0110_6^10 + 6404810726139957511927467264042170/29437438583882753182052705253059\ *c_0110_6^9 + 29768525780421142748301879983706039/29437438583882753\ 182052705253059*c_0110_6^8 + 4102756429487425927240388291271995/294\ 37438583882753182052705253059*c_0110_6^7 - 1372144789765758833438070254311682/4205348369126107597436100750437*\ c_0110_6^6 - 2610106048353307995304385219975387/2943743858388275318\ 2052705253059*c_0110_6^5 + 967814518922892726307303749152917/294374\ 38583882753182052705253059*c_0110_6^4 + 79550954028415267849120248579408/4205348369126107597436100750437*c_\ 0110_6^3 + 328077059699062498615783240734914/2943743858388275318205\ 2705253059*c_0110_6^2 + 69428126316971440852593746573248/2943743858\ 3882753182052705253059*c_0110_6 + 24229496001029869148434757426430/\ 29437438583882753182052705253059, c_0101_2 - 18904451490338076621488030153022/294374385838827531820527052\ 53059*c_0110_6^24 - 70969387531409422632759337614579/29437438583882\ 753182052705253059*c_0110_6^23 + 403402397105727034158289287114060/\ 29437438583882753182052705253059*c_0110_6^22 - 30744845326096243943338393427370/29437438583882753182052705253059*c\ _0110_6^21 - 2167033151393618246213656637704123/2943743858388275318\ 2052705253059*c_0110_6^20 + 3651612460376139388583933992139741/2943\ 7438583882753182052705253059*c_0110_6^19 + 5650599074692201772630081319085076/29437438583882753182052705253059\ *c_0110_6^18 - 14320591607875876365534817650118288/2943743858388275\ 3182052705253059*c_0110_6^17 - 386805576914994068365755507648024/42\ 05348369126107597436100750437*c_0110_6^16 + 4346034546258807932449841523439240/4205348369126107597436100750437*\ c_0110_6^15 - 18895187172521359579696268294728776/29437438583882753\ 182052705253059*c_0110_6^14 - 56453669811999954721772103310600595/2\ 9437438583882753182052705253059*c_0110_6^13 + 34942223381480667426566633558352914/2943743858388275318205270525305\ 9*c_0110_6^12 + 80458013208723572785130231520212368/294374385838827\ 53182052705253059*c_0110_6^11 - 115113288205145118724929682111081/2\ 24713271632692772382081719489*c_0110_6^10 - 70197707273614515395724561175050221/2943743858388275318205270525305\ 9*c_0110_6^9 - 9470092179891755378362614920882905/29437438583882753\ 182052705253059*c_0110_6^8 + 36865031269373020492616401052449824/29\ 437438583882753182052705253059*c_0110_6^7 + 1534943441536175561624277518790199/4205348369126107597436100750437*\ c_0110_6^6 - 12027617618185803521025917570168547/294374385838827531\ 82052705253059*c_0110_6^5 - 3483039282804164652094591758840134/2943\ 7438583882753182052705253059*c_0110_6^4 + 217555956806265260470999985263505/4205348369126107597436100750437*c\ _0110_6^3 + 102945586327222482598216803479534/294374385838827531820\ 52705253059*c_0110_6^2 + 343526814203269896302519736548951/29437438\ 583882753182052705253059*c_0110_6 + 154444682203879161862928004289642/29437438583882753182052705253059, c_0101_5 + 82945550656610347143434813432796/294374385838827531820527052\ 53059*c_0110_6^24 + 481471823645093780690344647560600/2943743858388\ 2753182052705253059*c_0110_6^23 - 699972479113227976222961632793785\ /29437438583882753182052705253059*c_0110_6^22 - 814423745844330376801392054701089/29437438583882753182052705253059*\ c_0110_6^21 + 7208831247811576067739337929049441/294374385838827531\ 82052705253059*c_0110_6^20 - 1910487142561465868548901381903551/294\ 37438583882753182052705253059*c_0110_6^19 - 21906230002063906748851564839386684/2943743858388275318205270525305\ 9*c_0110_6^18 + 16387019179855645279568482075017944/294374385838827\ 53182052705253059*c_0110_6^17 + 3767352793787309745240226791933284/\ 4205348369126107597436100750437*c_0110_6^16 - 9471797103050641818134207303650797/4205348369126107597436100750437*\ c_0110_6^15 - 32632244295938425244007690248844478/29437438583882753\ 182052705253059*c_0110_6^14 + 124552803322431698950333635940716817/\ 29437438583882753182052705253059*c_0110_6^13 + 69766843145419816341251460811809074/2943743858388275318205270525305\ 9*c_0110_6^12 - 113123850045198967322958998158511227/29437438583882\ 753182052705253059*c_0110_6^11 - 696898850120921555120667873177191/\ 224713271632692772382081719489*c_0110_6^10 + 52668764848317643414241285176723879/2943743858388275318205270525305\ 9*c_0110_6^9 + 64792755392993303141779351712799525/2943743858388275\ 3182052705253059*c_0110_6^8 - 13976940351523821291532305395303328/2\ 9437438583882753182052705253059*c_0110_6^7 - 3829660784159178602291464468760820/4205348369126107597436100750437*\ c_0110_6^6 + 2388542777065989988983616357494757/2943743858388275318\ 2052705253059*c_0110_6^5 + 5084364944261664706823978931467275/29437\ 438583882753182052705253059*c_0110_6^4 - 20369221382390627736748155032103/4205348369126107597436100750437*c_\ 0110_6^3 + 319373689293536526548365909398528/2943743858388275318205\ 2705253059*c_0110_6^2 + 41567947791613743357488900607418/2943743858\ 3882753182052705253059*c_0110_6 - 85360454407510120069671757192038/\ 29437438583882753182052705253059, c_0110_6^25 + 11/2*c_0110_6^24 - 21/2*c_0110_6^23 - 9*c_0110_6^22 + 92*c_0110_6^21 - 93/2*c_0110_6^20 - 563/2*c_0110_6^19 + 561/2*c_0110_6^18 + 663/2*c_0110_6^17 - 938*c_0110_6^16 - 240*c_0110_6^15 + 3653/2*c_0110_6^14 + 528*c_0110_6^13 - 1995*c_0110_6^12 - 997*c_0110_6^11 + 2497/2*c_0110_6^10 + 1891/2*c_0110_6^9 - 471*c_0110_6^8 - 969/2*c_0110_6^7 + 110*c_0110_6^6 + 245/2*c_0110_6^5 - 13/2*c_0110_6^4 - 3*c_0110_6^3 - 7/2*c_0110_6^2 - 7/2*c_0110_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB