Magma V2.19-8 Tue Aug 20 2013 16:14:16 on localhost [Seed = 4088557523] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s243 geometric_solution 4.40701491 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510599501868 0.129006409040 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.648437063676 0.336125423215 1 3 1 4 0132 0132 1023 0132 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 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.667968128964 1.597260527806 4 2 5 4 3201 0132 0132 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 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.166368474729 0.799826806976 3 5 2 3 3201 1023 0132 2310 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 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.166368474729 0.799826806976 4 5 5 3 1023 3201 2310 0132 0 0 0 0 0 0 0 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 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.249277986362 1.198419449392 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : negation(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' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_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_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1789811623428262479539445264945829648664613/11812595272954417661616\ 057111675120166673*c_0101_5^19 + 5156330724975992418098245266612387\ 8166401870/11812595272954417661616057111675120166673*c_0101_5^18 - 907570207658549706978961145359311508700561635/236251905459088353232\ 32114223350240333346*c_0101_5^17 + 2972996704750706423378278724107035755820431197/23625190545908835323\ 232114223350240333346*c_0101_5^16 - 551936839092014806744323138194912825427177537/236251905459088353232\ 32114223350240333346*c_0101_5^15 - 1911925530885644600907323566659413660426803299/33750272208441193318\ 90302031907177190478*c_0101_5^14 + 365682949186093467961589616984370515035339608/168751361042205966594\ 5151015953588595239*c_0101_5^13 + 130028357931921591898458852305607\ 63611545411481/11812595272954417661616057111675120166673*c_0101_5^1\ 2 + 25314387255616050399135954461553299922288078679/118125952729544\ 17661616057111675120166673*c_0101_5^11 - 51820591394700089328267378933825123898592891347/2362519054590883532\ 3232114223350240333346*c_0101_5^10 - 7206643870108028220400043022554913455884022652/16875136104220596659\ 45151015953588595239*c_0101_5^9 + 167141214789913858573916132330512\ 57894875364485/11812595272954417661616057111675120166673*c_0101_5^8 + 29292532175453205485836765520684240276675334574/11812595272954417\ 661616057111675120166673*c_0101_5^7 + 4149149970769714685326371595997534442124702136/11812595272954417661\ 616057111675120166673*c_0101_5^6 - 5920528356076901306938230679809071977051342021/11812595272954417661\ 616057111675120166673*c_0101_5^5 - 6872895797112097143788059679334906748579017295/23625190545908835323\ 232114223350240333346*c_0101_5^4 - 6648346301134048393863520510859055097131945/23625190545908835323232\ 114223350240333346*c_0101_5^3 + 34422007370834697384830693815538154\ 5830421183/11812595272954417661616057111675120166673*c_0101_5^2 + 37441221682328939866862021441068000205304931/1181259527295441766161\ 6057111675120166673*c_0101_5 - 434121422207697450001502293491166516\ 7211104/11812595272954417661616057111675120166673, c_0011_0 - 1, c_0011_1 + 623001373328229582199267230729533699371/16875136104220596659\ 45151015953588595239*c_0101_5^19 - 18391095492597124590656208112207410206400/1687513610422059665945151\ 015953588595239*c_0101_5^18 + 1707925778462334517335218308526161608\ 37044/1687513610422059665945151015953588595239*c_0101_5^17 - 632039381263671208890554870788803186769629/168751361042205966594515\ 1015953588595239*c_0101_5^16 + 484952460053001151980564745585211873\ 435390/1687513610422059665945151015953588595239*c_0101_5^15 + 2187671925296761459348582143120916042406943/16875136104220596659451\ 51015953588595239*c_0101_5^14 - 25110709025524524256617520269737551\ 85015216/1687513610422059665945151015953588595239*c_0101_5^13 - 3605541354968780680453583947535528990101006/16875136104220596659451\ 51015953588595239*c_0101_5^12 - 57969269815765125101207677884923587\ 97330696/1687513610422059665945151015953588595239*c_0101_5^11 + 14771703672078428674310133554369321831709947/1687513610422059665945\ 151015953588595239*c_0101_5^10 + 1016600146919130788128731021576883\ 3936963787/1687513610422059665945151015953588595239*c_0101_5^9 - 16857182580272912314467947156152348932765414/1687513610422059665945\ 151015953588595239*c_0101_5^8 - 42903236205471615980346147164875497\ 71001271/1687513610422059665945151015953588595239*c_0101_5^7 + 4538790975561522569241495340371911098085221/16875136104220596659451\ 51015953588595239*c_0101_5^6 + 224604689165994471933378304814301785\ 9635364/1687513610422059665945151015953588595239*c_0101_5^5 - 193041042745393275104973529433684583922925/168751361042205966594515\ 1015953588595239*c_0101_5^4 - 6383463151608261480867237480618306411\ 77860/1687513610422059665945151015953588595239*c_0101_5^3 - 53131152970445837664269465625116066058931/1687513610422059665945151\ 015953588595239*c_0101_5^2 + 47934397106520253355236857988126111064\ 364/1687513610422059665945151015953588595239*c_0101_5 + 5305665178966510624725963269774054605737/16875136104220596659451510\ 15953588595239, c_0011_4 - 341486349154686693233649128821358991467/16875136104220596659\ 45151015953588595239*c_0101_5^19 + 10164115192433374365799339349813066701696/1687513610422059665945151\ 015953588595239*c_0101_5^18 - 9604078313232565945300186755504452026\ 2199/1687513610422059665945151015953588595239*c_0101_5^17 + 368219262362774597534970270809691435984991/168751361042205966594515\ 1015953588595239*c_0101_5^16 - 340882837310622341651884063571171006\ 789642/1687513610422059665945151015953588595239*c_0101_5^15 - 1165563135889413500642605442830181844675390/16875136104220596659451\ 51015953588595239*c_0101_5^14 + 16755147560545333820703569956251611\ 88343859/1687513610422059665945151015953588595239*c_0101_5^13 + 1780960580299126914643161927956382742849129/16875136104220596659451\ 51015953588595239*c_0101_5^12 + 26378365240335070130579180494941109\ 94421160/1687513610422059665945151015953588595239*c_0101_5^11 - 9147011300567506461686948247715714854770140/16875136104220596659451\ 51015953588595239*c_0101_5^10 - 41184204120752838887152159508483830\ 88212396/1687513610422059665945151015953588595239*c_0101_5^9 + 11162007464029902387655104297554090112393865/1687513610422059665945\ 151015953588595239*c_0101_5^8 + 11538761407489645387841531054285808\ 30249486/1687513610422059665945151015953588595239*c_0101_5^7 - 3445214567254589532724142528032781463953009/16875136104220596659451\ 51015953588595239*c_0101_5^6 - 125088717587352950969050902052028943\ 8783726/1687513610422059665945151015953588595239*c_0101_5^5 + 335151581911076100593139358440272602163814/168751361042205966594515\ 1015953588595239*c_0101_5^4 + 4582025564972325527358384563120374041\ 99868/1687513610422059665945151015953588595239*c_0101_5^3 + 15751002198586867195915599840686232941986/1687513610422059665945151\ 015953588595239*c_0101_5^2 - 35467133638264495840425470835055994872\ 280/1687513610422059665945151015953588595239*c_0101_5 - 3529760827590866973582966359251772446617/16875136104220596659451510\ 15953588595239, c_0101_0 - 1360241964162306679466194262781906452292/1687513610422059665\ 945151015953588595239*c_0101_5^19 + 39619901821318771719861442416109100527894/1687513610422059665945151\ 015953588595239*c_0101_5^18 - 3574376717788251122208705964492131579\ 24455/1687513610422059665945151015953588595239*c_0101_5^17 + 1242597542964068533743063476821241016526097/16875136104220596659451\ 51015953588595239*c_0101_5^16 - 59836521138877030747163498198142950\ 8865029/1687513610422059665945151015953588595239*c_0101_5^15 - 4915897023825607792526615673131251509560206/16875136104220596659451\ 51015953588595239*c_0101_5^14 + 35115591351526675911899708974759865\ 97299897/1687513610422059665945151015953588595239*c_0101_5^13 + 8856570326048478918417158596125369162280247/16875136104220596659451\ 51015953588595239*c_0101_5^12 + 16390280499438225878388970130085138\ 412435905/1687513610422059665945151015953588595239*c_0101_5^11 - 25073490802657567058816548065353850731178414/1687513610422059665945\ 151015953588595239*c_0101_5^10 - 3072207888018572487602557262634792\ 3475992013/1687513610422059665945151015953588595239*c_0101_5^9 + 22812538567522364498975187548880610284039371/1687513610422059665945\ 151015953588595239*c_0101_5^8 + 15692187901151893353653684823531965\ 830406800/1687513610422059665945151015953588595239*c_0101_5^7 - 2030852163220077564186444034500224579624168/16875136104220596659451\ 51015953588595239*c_0101_5^6 - 422751014200167193481220299419972342\ 7418272/1687513610422059665945151015953588595239*c_0101_5^5 - 1347201784515549138948313624833936898034849/16875136104220596659451\ 51015953588595239*c_0101_5^4 + 491995698421861877213684668413247389\ 101703/1687513610422059665945151015953588595239*c_0101_5^3 + 146062992938189136785912953756257814550790/168751361042205966594515\ 1015953588595239*c_0101_5^2 - 1820713617125248277852696731935801240\ 6331/1687513610422059665945151015953588595239*c_0101_5 - 1316992047338112133568308887685327091239/16875136104220596659451510\ 15953588595239, c_0101_1 + 551289439526868167515454438925359183671/16875136104220596659\ 45151015953588595239*c_0101_5^19 - 15658316916647936351852408374008340477176/1687513610422059665945151\ 015953588595239*c_0101_5^18 + 1333146825129120796348553083059173407\ 81714/1687513610422059665945151015953588595239*c_0101_5^17 - 400909567257159862829496424474815912397638/168751361042205966594515\ 1015953588595239*c_0101_5^16 - 102670253542342184449681175969840036\ 204123/1687513610422059665945151015953588595239*c_0101_5^15 + 2102455283591373561007114291125173660649771/16875136104220596659451\ 51015953588595239*c_0101_5^14 + 40996057740650897149358523791097189\ 371256/1687513610422059665945151015953588595239*c_0101_5^13 - 4344078200754595860840970614214816731295273/16875136104220596659451\ 51015953588595239*c_0101_5^12 - 93873595988068648458918894114084319\ 47098348/1687513610422059665945151015953588595239*c_0101_5^11 + 4840702417205031334300540467938412158593319/16875136104220596659451\ 51015953588595239*c_0101_5^10 + 18808948835743830685370171982502476\ 776099595/1687513610422059665945151015953588595239*c_0101_5^9 + 966592124255602445874841831285964816606674/168751361042205966594515\ 1015953588595239*c_0101_5^8 - 1116367237715605640620934145139755890\ 1448607/1687513610422059665945151015953588595239*c_0101_5^7 - 4705840342545495669442855064396345506486081/16875136104220596659451\ 51015953588595239*c_0101_5^6 + 132865794120558084041287181714901576\ 6938633/1687513610422059665945151015953588595239*c_0101_5^5 + 1742057265372981969517681231399882331248789/16875136104220596659451\ 51015953588595239*c_0101_5^4 + 398729569680646019175413838415915914\ 763429/1687513610422059665945151015953588595239*c_0101_5^3 - 106486159068109535640720897218342473402976/168751361042205966594515\ 1015953588595239*c_0101_5^2 - 4959555854073781384699350005288800646\ 3614/1687513610422059665945151015953588595239*c_0101_5 - 2958150739649525590197640549661688530459/16875136104220596659451510\ 15953588595239, c_0101_5^20 - 29*c_0101_5^19 + 259*c_0101_5^18 - 878*c_0101_5^17 + 305*c_0101_5^16 + 3733*c_0101_5^15 - 2142*c_0101_5^14 - 7108*c_0101_5^13 - 12739*c_0101_5^12 + 17407*c_0101_5^11 + 25901*c_0101_5^10 - 15066*c_0101_5^9 - 15550*c_0101_5^8 + 920*c_0101_5^7 + 4329*c_0101_5^6 + 1450*c_0101_5^5 - 459*c_0101_5^4 - 271*c_0101_5^3 + 6*c_0101_5^2 + 13*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB