Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 576962281] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1626 geometric_solution 5.37697032 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 -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.430413224624 0.247009441499 0 3 0 3 0132 0132 2310 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.747734635231 1.003005789413 4 0 5 0 0132 2310 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821852140145 0.755996347914 1 1 4 5 3201 0132 3012 3012 0 0 0 0 0 1 -1 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 -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 0 0.295305095578 1.253170113630 2 3 4 4 0132 1230 1230 3012 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 0 0 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.115272412339 1.114385692915 6 6 3 2 0132 3201 1230 0132 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 0 0.147795366804 1.649748577212 5 6 5 6 0132 2310 2310 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.573413430803 0.524339711365 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(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_0011_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_5']})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1654736861008933133529403867351429/29355063569201154464037273666420\ 6*c_0101_5^20 - 2417264112716047558499051668584905/1467753178460057\ 72320186368332103*c_0101_5^19 + 6734750936038438661390132421813177/\ 97850211897337181546790912221402*c_0101_5^18 + 38014288037760526905489720930233935/2935506356920115446403727366642\ 06*c_0101_5^17 + 9204082885154834021653218083697873/489251059486685\ 90773395456110701*c_0101_5^16 + 30863531801751971679871182397253879\ /97850211897337181546790912221402*c_0101_5^15 - 91374688051348126441325556577688065/2935506356920115446403727366642\ 06*c_0101_5^14 - 77109928020362944555235097643510923/97850211897337\ 181546790912221402*c_0101_5^13 - 4176305864021615228622441010537027\ 06/146775317846005772320186368332103*c_0101_5^12 - 564308213203529657618123882704833911/293550635692011544640372736664\ 206*c_0101_5^11 - 524167398587903476297074640490775643/293550635692\ 011544640372736664206*c_0101_5^10 - 12206831209606791060338570151842275/6989300849809798681913636587243\ *c_0101_5^9 + 744273943550804152230145935479024126/1467753178460057\ 72320186368332103*c_0101_5^8 + 704086178955493100849983706957282309\ /293550635692011544640372736664206*c_0101_5^7 + 71776328806451431256344765331458618/4892510594866859077339545611070\ 1*c_0101_5^6 + 61488691871018720107561521001326535/2935506356920115\ 44640372736664206*c_0101_5^5 - 27725937534475393549165924666376135/\ 41935805098858792091481819523458*c_0101_5^4 + 60069637091583557007977728496672285/2935506356920115446403727366642\ 06*c_0101_5^3 - 2988803620327164825005038983509418/6989300849809798\ 681913636587243*c_0101_5^2 - 4196151070781306384239119122936653/293\ 550635692011544640372736664206*c_0101_5 - 2737781023939112877532929555233105/97850211897337181546790912221402\ , c_0011_0 - 1, c_0011_2 - 234458387509771736256516947336/69893008498097986819136365872\ 43*c_0101_5^20 - 769120307274538483546989252811/6989300849809798681\ 913636587243*c_0101_5^19 + 2644651397625933409292727380313/69893008\ 49809798681913636587243*c_0101_5^18 + 6507770703117322638927914394549/6989300849809798681913636587243*c_0\ 101_5^17 + 9461973713203117991378171023803/698930084980979868191363\ 6587243*c_0101_5^16 + 15134436660643535811433367998358/698930084980\ 9798681913636587243*c_0101_5^15 - 9518195652836537863386525060709/6\ 989300849809798681913636587243*c_0101_5^14 - 39507629532839988731638255380217/6989300849809798681913636587243*c_\ 0101_5^13 - 129446186237654629446789391352705/698930084980979868191\ 3636587243*c_0101_5^12 - 117933309052421402850511607803441/69893008\ 49809798681913636587243*c_0101_5^11 - 86508492447368569186136669920651/6989300849809798681913636587243*c_\ 0101_5^10 - 82040001126425038847632348877208/6989300849809798681913\ 636587243*c_0101_5^9 + 199994815662795021938786044149244/6989300849\ 809798681913636587243*c_0101_5^8 + 189077490120994323505350367335028/6989300849809798681913636587243*c\ _0101_5^7 + 74067654457500006841985866653097/6989300849809798681913\ 636587243*c_0101_5^6 + 3814753010428786982663687907063/698930084980\ 9798681913636587243*c_0101_5^5 - 46978843168694882015066644232055/6\ 989300849809798681913636587243*c_0101_5^4 - 7169185010749936617230081477107/6989300849809798681913636587243*c_0\ 101_5^3 - 8605593158597030439438978862855/6989300849809798681913636\ 587243*c_0101_5^2 - 5278285878216979355925422408868/698930084980979\ 8681913636587243*c_0101_5 + 5298474390130042318589113068235/6989300\ 849809798681913636587243, c_0011_5 + 291235646183102689314913981006/69893008498097986819136365872\ 43*c_0101_5^20 + 1023983536753062557570022596991/698930084980979868\ 1913636587243*c_0101_5^19 - 3150259783404674113225468208510/6989300\ 849809798681913636587243*c_0101_5^18 - 9112313104026241520372289021288/6989300849809798681913636587243*c_0\ 101_5^17 - 12510116618642371278431932055714/69893008498097986819136\ 36587243*c_0101_5^16 - 19546622424704852073670454048841/69893008498\ 09798681913636587243*c_0101_5^15 + 9954346912511890531144395023850/6989300849809798681913636587243*c_0\ 101_5^14 + 56129056179727014173064293425531/69893008498097986819136\ 36587243*c_0101_5^13 + 166312375521281723947806093505036/6989300849\ 809798681913636587243*c_0101_5^12 + 171211992231466727903709652395570/6989300849809798681913636587243*c\ _0101_5^11 + 99135672850957555969705241887475/698930084980979868191\ 3636587243*c_0101_5^10 + 104419195044988418527656305633656/69893008\ 49809798681913636587243*c_0101_5^9 - 240557923185695890441106278138140/6989300849809798681913636587243*c\ _0101_5^8 - 311790271576859908064765651129250/698930084980979868191\ 3636587243*c_0101_5^7 - 62907541994870779370668759199360/6989300849\ 809798681913636587243*c_0101_5^6 + 6712202790252725391191139987232/6989300849809798681913636587243*c_0\ 101_5^5 + 51422489235155723859895479551362/698930084980979868191363\ 6587243*c_0101_5^4 + 14094490819008013463869971560388/6989300849809\ 798681913636587243*c_0101_5^3 + 8910947381494199948435268075525/698\ 9300849809798681913636587243*c_0101_5^2 + 12987863417793816950961912731489/6989300849809798681913636587243*c_\ 0101_5 - 506545332773130397694904030759/698930084980979868191363658\ 7243, c_0101_0 - 1690826459679756363324523519008/6989300849809798681913636587\ 243*c_0101_5^20 - 4838020991529497353717053609688/69893008498097986\ 81913636587243*c_0101_5^19 + 21059037823431614843441271480907/69893\ 00849809798681913636587243*c_0101_5^18 + 37935183634688219310495837075879/6989300849809798681913636587243*c_\ 0101_5^17 + 52671155385674150077430408770731/6989300849809798681913\ 636587243*c_0101_5^16 + 88605960948222751081444193078661/6989300849\ 809798681913636587243*c_0101_5^15 - 103057412563990866704308590986774/6989300849809798681913636587243*c\ _0101_5^14 - 237342467460407891181993908714459/69893008498097986819\ 13636587243*c_0101_5^13 - 832958823661914294743815880427911/6989300\ 849809798681913636587243*c_0101_5^12 - 509686215521293275889880498832319/6989300849809798681913636587243*c\ _0101_5^11 - 441730249101577953409905676988207/69893008498097986819\ 13636587243*c_0101_5^10 - 452865148190473710714386332642901/6989300\ 849809798681913636587243*c_0101_5^9 + 1593638856080127227659756374870360/6989300849809798681913636587243*\ c_0101_5^8 + 664017505233560479720045474063844/69893008498097986819\ 13636587243*c_0101_5^7 + 296189703807095752768787882620268/69893008\ 49809798681913636587243*c_0101_5^6 - 3052943150950239582355878854761/6989300849809798681913636587243*c_0\ 101_5^5 - 237148804446235165121447933530167/69893008498097986819136\ 36587243*c_0101_5^4 + 80795372362290009281557114612215/698930084980\ 9798681913636587243*c_0101_5^3 - 121333625924911546995433705967501/\ 6989300849809798681913636587243*c_0101_5^2 - 4921018518841020467157209289209/6989300849809798681913636587243*c_0\ 101_5 - 3175846420181802460697195186172/698930084980979868191363658\ 7243, c_0101_1 + 1, c_0101_2 - 560252948616317754450832074037/69893008498097986819136365872\ 43*c_0101_5^20 - 1853962745875470560777394506505/698930084980979868\ 1913636587243*c_0101_5^19 + 6283170471579771469856803368457/6989300\ 849809798681913636587243*c_0101_5^18 + 15787350901714209556027717197465/6989300849809798681913636587243*c_\ 0101_5^17 + 22880931006403837188199987395347/6989300849809798681913\ 636587243*c_0101_5^16 + 36350776348381093066290091595796/6989300849\ 809798681913636587243*c_0101_5^15 - 22513905640908447755428652378019/6989300849809798681913636587243*c_\ 0101_5^14 - 96159318812389019534870603759979/6989300849809798681913\ 636587243*c_0101_5^13 - 311128572704141132858256207338100/698930084\ 9809798681913636587243*c_0101_5^12 - 287699078604507478369832628403896/6989300849809798681913636587243*c\ _0101_5^11 - 205462094609071760047907118999385/69893008498097986819\ 13636587243*c_0101_5^10 - 194040251103299666354398695210048/6989300\ 849809798681913636587243*c_0101_5^9 + 478985198551217959222831121127542/6989300849809798681913636587243*c\ _0101_5^8 + 467752328944538347240192845242972/698930084980979868191\ 3636587243*c_0101_5^7 + 176930460963334927814293755634174/698930084\ 9809798681913636587243*c_0101_5^6 + 8203572683374613390724685969605/6989300849809798681913636587243*c_0\ 101_5^5 - 112291845231404049950165742428912/69893008498097986819136\ 36587243*c_0101_5^4 - 18742000182073421522484531013142/698930084980\ 9798681913636587243*c_0101_5^3 - 19227860842848452232428373555724/6\ 989300849809798681913636587243*c_0101_5^2 - 13772400734277954549212788315745/6989300849809798681913636587243*c_\ 0101_5 + 2226635156512548889993539853703/69893008498097986819136365\ 87243, c_0101_5^21 + 3*c_0101_5^20 - 12*c_0101_5^19 - 24*c_0101_5^18 - 35*c_0101_5^17 - 58*c_0101_5^16 + 52*c_0101_5^15 + 146*c_0101_5^14 + 516*c_0101_5^13 + 378*c_0101_5^12 + 331*c_0101_5^11 + 319*c_0101_5^10 - 894*c_0101_5^9 - 511*c_0101_5^8 - 287*c_0101_5^7 - 42*c_0101_5^6 + 138*c_0101_5^5 - 20*c_0101_5^4 + 76*c_0101_5^3 + 8*c_0101_5^2 + 5*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB