Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 1326371756] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0631 geometric_solution 4.62501130 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 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 1 0 -1 1 0 -1 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.566200290082 0.088262833675 0 0 2 2 0132 2310 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 -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 2.900822215659 0.926921196312 3 1 1 4 0132 3201 0132 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 1 0 -1 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.090200748874 0.836114002401 2 4 4 5 0132 2310 1302 0132 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 -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.176563144296 0.658132934819 3 5 2 3 2031 1023 0132 3201 0 0 0 0 0 -1 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 0 0 0 0 0 -1 1 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.176563144296 0.658132934819 4 6 3 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 1 0 0 -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 1.376629826775 0.566356895653 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 0 1 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 -1 1 -1 0 0 1 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.493694138082 0.439646286692 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(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' : 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' : negation(d['1']), 's_1_0' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), '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_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0101_6'], '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' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), '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_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 901343646022080420387553149124528/7064704407481949969719598303063*c\ _0110_6^18 - 22981850753307308747180646774315816/706470440748194996\ 9719598303063*c_0110_6^16 + 110127692273686398188098390646513836/70\ 64704407481949969719598303063*c_0110_6^14 - 900427654284824656172819146950142279/706470440748194996971959830306\ 3*c_0110_6^12 + 6308002670242872108168197438359064156/7064704407481\ 949969719598303063*c_0110_6^10 - 9757284929750844542073280173451705\ 334/7064704407481949969719598303063*c_0110_6^8 - 2533110920820053195850974076639126389/70647044074819499697195983030\ 63*c_0110_6^6 - 275885879231488879759736914726767860/70647044074819\ 49969719598303063*c_0110_6^4 + 396602652517908482633716645676143806\ /7064704407481949969719598303063*c_0110_6^2 - 22557316232118053663691371132095429/7064704407481949969719598303063\ , c_0011_0 - 1, c_0011_2 - 34810536074805042395200683184/415570847498938233512917547239\ *c_0110_6^18 + 885228790176660359210991692392/415570847498938233512\ 917547239*c_0110_6^16 - 4193559718958754652847502233836/41557084749\ 8938233512917547239*c_0110_6^14 + 34493173028142664031759970168983/\ 415570847498938233512917547239*c_0110_6^12 - 241298555552582115122177102318016/415570847498938233512917547239*c_\ 0110_6^10 + 360596353715354521374082111650380/415570847498938233512\ 917547239*c_0110_6^8 + 121910482840499301815847906126537/4155708474\ 98938233512917547239*c_0110_6^6 + 19415410363269211200686895908400/\ 415570847498938233512917547239*c_0110_6^4 - 14115920253810059875204224369916/415570847498938233512917547239*c_0\ 110_6^2 + 225339060798830319453408625358/41557084749893823351291754\ 7239, c_0011_4 + 17607078176551114171763910112/415570847498938233512917547239\ *c_0110_6^19 - 452231928196994411770988873808/415570847498938233512\ 917547239*c_0110_6^17 + 2235341826549595583453620618200/41557084749\ 8938233512917547239*c_0110_6^15 - 17991604899430234215778781196118/\ 415570847498938233512917547239*c_0110_6^13 + 126515171521304983759991903588564/415570847498938233512917547239*c_\ 0110_6^11 - 213664078417610648497629767922264/415570847498938233512\ 917547239*c_0110_6^9 - 13917717557305746058749194859999/41557084749\ 8938233512917547239*c_0110_6^7 + 3937212194639161152817164438007/41\ 5570847498938233512917547239*c_0110_6^5 + 8894399778666400405262714363559/415570847498938233512917547239*c_01\ 10_6^3 - 1787414758930433607656195037517/41557084749893823351291754\ 7239*c_0110_6, c_0101_0 + 124525884184925241956427769360/41557084749893823351291754723\ 9*c_0110_6^19 - 3181643582901939781120166438296/4155708474989382335\ 12917547239*c_0110_6^17 + 15381592821894178455300316271140/41557084\ 7498938233512917547239*c_0110_6^15 - 125185711116642993681936295057141/415570847498938233512917547239*c_\ 0110_6^13 + 877971002312676693853794460546546/415570847498938233512\ 917547239*c_0110_6^11 - 1393357045794964257329206300967745/41557084\ 7498938233512917547239*c_0110_6^9 - 283260124025197699604866755651805/415570847498938233512917547239*c_\ 0110_6^7 - 12858005277809761317538100936492/41557084749893823351291\ 7547239*c_0110_6^5 + 58396103784772904515377546628403/4155708474989\ 38233512917547239*c_0110_6^3 - 5462879730891671401242337483307/4155\ 70847498938233512917547239*c_0110_6, c_0101_1 - 344203039931390958074237861632/41557084749893823351291754723\ 9*c_0110_6^19 + 8776370089724116111566336580816/4155708474989382335\ 12917547239*c_0110_6^17 - 42057780965018549390803855176328/41557084\ 7498938233512917547239*c_0110_6^15 + 343856134928831005666922196633100/415570847498938233512917547239*c_\ 0110_6^13 - 2408945191528224093508288535768533/41557084749893823351\ 2917547239*c_0110_6^11 + 3726449376665135670009774655384431/4155708\ 47498938233512917547239*c_0110_6^9 + 969175520300354783110826256048050/415570847498938233512917547239*c_\ 0110_6^7 + 99965470382480111763549653110465/41557084749893823351291\ 7547239*c_0110_6^5 - 151956911846965560918619001115567/415570847498\ 938233512917547239*c_0110_6^3 + 8131141016431533942123726208613/415\ 570847498938233512917547239*c_0110_6, c_0101_6 + 9602266660385521639219687776/415570847498938233512917547239*\ c_0110_6^18 - 244516754536858263387785981088/4155708474989382335129\ 17547239*c_0110_6^16 + 1165018081608338822440392900160/415570847498\ 938233512917547239*c_0110_6^14 - 9549874344592652954668446730906/41\ 5570847498938233512917547239*c_0110_6^12 + 66867013786788898464845056384677/415570847498938233512917547239*c_0\ 110_6^10 - 101580953910043107120473378618837/4155708474989382335129\ 17547239*c_0110_6^8 - 31503048671050880472170287838898/415570847498\ 938233512917547239*c_0110_6^6 - 2311955492655782421671115443582/415\ 570847498938233512917547239*c_0110_6^4 + 4565576830469582244987419087054/415570847498938233512917547239*c_01\ 10_6^2 - 58777765700598457932327315567/4155708474989382335129175472\ 39, c_0110_6^20 - 51/2*c_0110_6^18 + 489/4*c_0110_6^16 - 15989/16*c_0110_6^14 + 56009/8*c_0110_6^12 - 173505/16*c_0110_6^10 - 44495/16*c_0110_6^8 - 2393/8*c_0110_6^6 + 7045/16*c_0110_6^4 - 105/4*c_0110_6^2 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB