Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 762098127] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2071 geometric_solution 5.58893610 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 2310 0 0 0 0 0 -1 -1 2 1 0 0 -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 0 -1 0 1 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.771457302867 0.811858306525 0 0 3 2 3201 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 -2 1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.574407961975 1.443525700213 4 5 1 5 0132 0132 0132 2310 0 0 0 0 0 0 0 0 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 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.051144938148 0.647231850613 6 4 6 1 0132 2310 2310 0132 0 0 0 0 0 0 -1 1 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 -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 1.051144938148 0.647231850613 2 4 4 3 0132 3201 2310 3201 0 0 0 0 0 1 -1 0 0 0 -1 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.599878125376 0.703412171229 2 2 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 -1 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 0 -1 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.477294727696 0.310702037653 3 3 5 5 0132 3201 1230 3012 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477294727696 0.310702037653 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_5'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0101_1, c_0101_2, c_0101_3, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 3298318924256326330499210835642883/24137385365656866344578976285780\ *c_0110_5^17 + 36500692222284056244062801536600047/2413738536565686\ 6344578976285780*c_0110_5^16 + 32347281047002238623450609054753943/\ 24137385365656866344578976285780*c_0110_5^15 + 20973832648751287631422085487978979/6034346341414216586144744071445\ *c_0110_5^14 + 591446476052147797888792070646479182/603434634141421\ 6586144744071445*c_0110_5^13 - 127042701737812292854482548837075929\ 4/6034346341414216586144744071445*c_0110_5^12 + 1594576787138573947026256408317378653/60343463414142165861447440714\ 45*c_0110_5^11 - 6229933292711024096012889641406727981/241373853656\ 56866344578976285780*c_0110_5^10 + 26323017864807064081479074391579104/6034346341414216586144744071445\ *c_0110_5^9 - 267300366933391840979484489860434283/2413738536565686\ 634457897628578*c_0110_5^8 - 640801181686323760207478545179418873/4\ 827477073131373268915795257156*c_0110_5^7 - 1722771504302981097025825153483320987/24137385365656866344578976285\ 780*c_0110_5^6 - 1814868057656794151596641996681552441/241373853656\ 56866344578976285780*c_0110_5^5 - 103641773532021678861236823039725\ 5203/24137385365656866344578976285780*c_0110_5^4 - 316313709609839473717212993568283169/120686926828284331722894881428\ 90*c_0110_5^3 + 70243476702806149512921995674670621/241373853656568\ 66344578976285780*c_0110_5^2 + 2542034908507968832810420475505751/1\ 2068692682828433172289488142890*c_0110_5 + 31944008211546622943216776639071391/2413738536565686634457897628578\ 0, c_0011_0 - 1, c_0011_2 - 141056835608647278475742302815/24137385365656866344578976285\ 78*c_0110_5^17 - 1503752388849495496990652205979/241373853656568663\ 4457897628578*c_0110_5^16 - 371906443243500763289574787840/12068692\ 68282843317228948814289*c_0110_5^15 - 2966104825060467308264505983777/2413738536565686634457897628578*c_0\ 110_5^14 - 99734881599604077238802451528043/24137385365656866344578\ 97628578*c_0110_5^13 + 258452706336682199833049541970513/2413738536\ 565686634457897628578*c_0110_5^12 - 178413975189766466874158764702928/1206869268282843317228948814289*c\ _0110_5^11 + 181567596928650010421875883750362/12068692682828433172\ 28948814289*c_0110_5^10 - 46161569611109140927825841416807/12068692\ 68282843317228948814289*c_0110_5^9 + 95145171409984476142866595611889/2413738536565686634457897628578*c_\ 0110_5^8 + 51641091892971946073616639509418/12068692682828433172289\ 48814289*c_0110_5^7 + 5655973226118335636314211608878/1206869268282\ 843317228948814289*c_0110_5^6 + 24862248473415220963058527979714/12\ 06869268282843317228948814289*c_0110_5^5 + 16299274123367724623807183587175/2413738536565686634457897628578*c_\ 0110_5^4 + 4625671678651769034917249176313/241373853656568663445789\ 7628578*c_0110_5^3 - 12824434176821799831956481338491/2413738536565\ 686634457897628578*c_0110_5^2 - 2003495510030165636360507765689/241\ 3738536565686634457897628578*c_0110_5 - 276375040778564661845560209059/1206869268282843317228948814289, c_0101_1 + 608738837954220890398965769751/48274770731313732689157952571\ 56*c_0110_5^17 + 3393777053584650756094316999369/241373853656568663\ 4457897628578*c_0110_5^16 + 6464535893333649484746019484719/4827477\ 073131373268915795257156*c_0110_5^15 + 15237689883452380152827643747083/4827477073131373268915795257156*c_\ 0110_5^14 + 218758653550297839943355157012643/241373853656568663445\ 7897628578*c_0110_5^13 - 451406564617966471715734052217037/24137385\ 36565686634457897628578*c_0110_5^12 + 1049155260583731485416223761203955/4827477073131373268915795257156*\ c_0110_5^11 - 463377630005483857259939508322661/2413738536565686634\ 457897628578*c_0110_5^10 - 122589079188490782912844387917163/241373\ 8536565686634457897628578*c_0110_5^9 - 337560949884421082220301054395855/4827477073131373268915795257156*c\ _0110_5^8 - 637302728189707658886592260264189/482747707313137326891\ 5795257156*c_0110_5^7 - 177120489121380004864914862740341/241373853\ 6565686634457897628578*c_0110_5^6 - 69920944780914491623417651450520/1206869268282843317228948814289*c_\ 0110_5^5 - 207411332405319464608376458807477/4827477073131373268915\ 795257156*c_0110_5^4 - 24501952812902338990574113837173/12068692682\ 82843317228948814289*c_0110_5^3 + 5021082353195540693477727575833/1\ 206869268282843317228948814289*c_0110_5^2 + 4131518665364789282759910843431/2413738536565686634457897628578*c_0\ 110_5 + 885862108526932112730135229567/4827477073131373268915795257\ 156, c_0101_2 - 70373142956485364393012521567/241373853656568663445789762857\ 8*c_0110_5^17 - 762188010828838656532007630767/24137385365656866344\ 57897628578*c_0110_5^16 - 255706683667407283391979475662/1206869268\ 282843317228948814289*c_0110_5^15 - 1681251843366706443215895144345/2413738536565686634457897628578*c_0\ 110_5^14 - 50095858287297190089867045994229/24137385365656866344578\ 97628578*c_0110_5^13 + 120279448405174422724663710635575/2413738536\ 565686634457897628578*c_0110_5^12 - 82521858290827354385462765075365/1206869268282843317228948814289*c_\ 0110_5^11 + 86347691533390370802646944377861/1206869268282843317228\ 948814289*c_0110_5^10 - 19053416690424751575571025904492/1206869268\ 282843317228948814289*c_0110_5^9 + 59065451893187088596098179167107/2413738536565686634457897628578*c_\ 0110_5^8 + 30356635291379140316943920024402/12068692682828433172289\ 48814289*c_0110_5^7 + 9733800356228621453020540186087/1206869268282\ 843317228948814289*c_0110_5^6 + 14537510147684294952539591664889/12\ 06869268282843317228948814289*c_0110_5^5 + 10964695860886194283664358568675/2413738536565686634457897628578*c_\ 0110_5^4 + 1445609870669797566907647722787/241373853656568663445789\ 7628578*c_0110_5^3 - 5656903560687862880361042789499/24137385365656\ 86634457897628578*c_0110_5^2 - 878824249262095883929762830535/24137\ 38536565686634457897628578*c_0110_5 - 852379418854779968184632779491/1206869268282843317228948814289, c_0101_3 - c_0110_5, c_0101_4 - 368418081697345777045543704687/48274770731313732689157952571\ 56*c_0110_5^17 - 4233400547202097918140790903611/482747707313137326\ 8915795257156*c_0110_5^16 - 1331849191622177171751079863055/1206869\ 268282843317228948814289*c_0110_5^15 - 10710827917484585476923355799351/4827477073131373268915795257156*c_\ 0110_5^14 - 267871228905386839246600229846995/482747707313137326891\ 5795257156*c_0110_5^13 + 455925231770931057091660083785797/48274770\ 73131373268915795257156*c_0110_5^12 - 115011862916532323135061899647465/1206869268282843317228948814289*c\ _0110_5^11 + 191681845681603122780854210873309/24137385365656866344\ 57897628578*c_0110_5^10 + 68032678507494994175487797149576/12068692\ 68282843317228948814289*c_0110_5^9 + 324064106313303599837333064008855/4827477073131373268915795257156*c\ _0110_5^8 + 208583055047280293336887698220643/241373853656568663445\ 7897628578*c_0110_5^7 + 91387867818616468058672898973954/1206869268\ 282843317228948814289*c_0110_5^6 + 61701584742631289697138372805117/1206869268282843317228948814289*c_\ 0110_5^5 + 194967541877857219671695336803461/4827477073131373268915\ 795257156*c_0110_5^4 + 119594278892490234760964067598991/4827477073\ 131373268915795257156*c_0110_5^3 + 16307861288661585287285990358361/4827477073131373268915795257156*c_\ 0110_5^2 - 804573194419106462030382804479/4827477073131373268915795\ 257156*c_0110_5 - 445016873514918202599403897587/120686926828284331\ 7228948814289, c_0110_5^18 + 11*c_0110_5^17 + 9*c_0110_5^16 + 24*c_0110_5^15 + 715*c_0110_5^14 - 1590*c_0110_5^13 + 1985*c_0110_5^12 - 1899*c_0110_5^11 + 8*c_0110_5^10 - 671*c_0110_5^9 - 920*c_0110_5^8 - 419*c_0110_5^7 - 450*c_0110_5^6 - 255*c_0110_5^5 - 143*c_0110_5^4 + 50*c_0110_5^3 + 8*c_0110_5^2 + 5*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB