Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 762098148] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1651 geometric_solution 5.39222926 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 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.545435267834 0.133536713585 0 2 0 3 0132 0132 2310 0132 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 -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.646845349696 0.618043205166 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 -1 1 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 -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.796669382888 1.241941774318 2 5 1 4 3012 1023 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 -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.796669382888 1.241941774318 2 3 6 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.828986018859 0.597665063599 3 5 5 2 1023 3201 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 -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.855764508859 0.839972859456 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.303953416193 0.941336948005 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : 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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : 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_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 791482385612264603176893128774834/253286995466913899145777205789*c_\ 0101_5^23 + 230338361444498184202169371702356/253286995466913899145\ 777205789*c_0101_5^22 - 12540094563161342164549846932297162/2532869\ 95466913899145777205789*c_0101_5^21 - 24828634156299632531932373562190678/253286995466913899145777205789*\ c_0101_5^20 + 26417524637535988885393942378855208/25328699546691389\ 9145777205789*c_0101_5^19 + 153357749301137088561637237307148494/25\ 3286995466913899145777205789*c_0101_5^18 + 222119008747001396311237250904863896/253286995466913899145777205789\ *c_0101_5^17 + 929365114575025865465819985567684/261120613883416390\ 8719352637*c_0101_5^16 - 176708121955537684094758534950855981/25328\ 6995466913899145777205789*c_0101_5^15 - 338012398120999099122562978076770464/253286995466913899145777205789\ *c_0101_5^14 - 253019483853787411756516743714563706/253286995466913\ 899145777205789*c_0101_5^13 - 26898697373018679069540608180950394/2\ 53286995466913899145777205789*c_0101_5^12 + 140387545912914225312506106760191251/253286995466913899145777205789\ *c_0101_5^11 + 162528265705189026956175727247111441/253286995466913\ 899145777205789*c_0101_5^10 + 91290532669728683459918328546162283/2\ 53286995466913899145777205789*c_0101_5^9 + 14448937721325662102831781113198061/253286995466913899145777205789*\ c_0101_5^8 - 22142476309805101297635706632559816/253286995466913899\ 145777205789*c_0101_5^7 - 23625521974207769069532293936460018/25328\ 6995466913899145777205789*c_0101_5^6 - 12405646033326900025712844128785697/253286995466913899145777205789*\ c_0101_5^5 - 3762785260104197480027473275083905/2532869954669138991\ 45777205789*c_0101_5^4 - 334648263654724999411219945555530/25328699\ 5466913899145777205789*c_0101_5^3 + 243517696715555158792625586563746/253286995466913899145777205789*c_\ 0101_5^2 + 121441809410722186746469651175199/2532869954669138991457\ 77205789*c_0101_5 + 23079133216987621499437259584484/25328699546691\ 3899145777205789, c_0011_0 - 1, c_0011_3 - 49007208194248997131930130004408/253286995466913899145777205\ 789*c_0101_5^23 - 42145992578108282623510092343327/2532869954669138\ 99145777205789*c_0101_5^22 + 772639939257916751751161058280810/2532\ 86995466913899145777205789*c_0101_5^21 + 1984113850437641210793262990354494/253286995466913899145777205789*c\ _0101_5^20 - 830330785653437132087876594825840/25328699546691389914\ 5777205789*c_0101_5^19 - 10621409242445395583356316383119152/253286\ 995466913899145777205789*c_0101_5^18 - 19090451885901787594080389096776265/253286995466913899145777205789*\ c_0101_5^17 - 127513029939830799647786385500197/2611206138834163908\ 719352637*c_0101_5^16 + 9602058489233144356605161957576869/25328699\ 5466913899145777205789*c_0101_5^15 + 28181622302495145673146542749493312/253286995466913899145777205789*\ c_0101_5^14 + 26371563215412699868669183432778861/25328699546691389\ 9145777205789*c_0101_5^13 + 7775535584474794258538012763791283/2532\ 86995466913899145777205789*c_0101_5^12 - 9995609876333946749603956271959215/253286995466913899145777205789*c\ _0101_5^11 - 15298772302289672024723583685802775/253286995466913899\ 145777205789*c_0101_5^10 - 10166979990250977191594440202387089/2532\ 86995466913899145777205789*c_0101_5^9 - 2725304418970728165884192655215898/253286995466913899145777205789*c\ _0101_5^8 + 1600377735575950389264448848865617/25328699546691389914\ 5777205789*c_0101_5^7 + 2323812004203648061907104981178597/25328699\ 5466913899145777205789*c_0101_5^6 + 1387876802302718257107111130352890/253286995466913899145777205789*c\ _0101_5^5 + 470618208775472840408493398745615/253286995466913899145\ 777205789*c_0101_5^4 + 60232483537501279622834508698842/25328699546\ 6913899145777205789*c_0101_5^3 - 24814183520790329644315852427198/2\ 53286995466913899145777205789*c_0101_5^2 - 15026197380619209614930963213831/253286995466913899145777205789*c_0\ 101_5 - 3328106410799519991285184843209/253286995466913899145777205\ 789, c_0011_6 - 14018990538817610931538121980264/253286995466913899145777205\ 789*c_0101_5^23 - 12213376674779631510909549278372/2532869954669138\ 99145777205789*c_0101_5^22 + 221623022659574149452000684291601/2532\ 86995466913899145777205789*c_0101_5^21 + 569646468842194102006592236653444/253286995466913899145777205789*c_\ 0101_5^20 - 242384680653830289239205292902308/253286995466913899145\ 777205789*c_0101_5^19 - 3054573820859961979802617453778250/25328699\ 5466913899145777205789*c_0101_5^18 - 5460957598661569182960525622106754/253286995466913899145777205789*c\ _0101_5^17 - 35983488514799204081418489397705/261120613883416390871\ 9352637*c_0101_5^16 + 2825410264262698248405073055391184/2532869954\ 66913899145777205789*c_0101_5^15 + 8106655304473772612432432428910837/253286995466913899145777205789*c\ _0101_5^14 + 7501220873298993648044078278015674/2532869954669138991\ 45777205789*c_0101_5^13 + 2113683693194504209180297040618980/253286\ 995466913899145777205789*c_0101_5^12 - 2957505153927985157585999022278569/253286995466913899145777205789*c\ _0101_5^11 - 4397562365491459580316251910528942/2532869954669138991\ 45777205789*c_0101_5^10 - 2858924662088472752028609352826356/253286\ 995466913899145777205789*c_0101_5^9 - 716147821249215174194137834641247/253286995466913899145777205789*c_\ 0101_5^8 + 489382231460475027502256508904172/2532869954669138991457\ 77205789*c_0101_5^7 + 663251203821651176669533603966193/25328699546\ 6913899145777205789*c_0101_5^6 + 385510389531701186550502261794150/\ 253286995466913899145777205789*c_0101_5^5 + 126795866321000926817939986647212/253286995466913899145777205789*c_\ 0101_5^4 + 15095876463943760440818855928906/25328699546691389914577\ 7205789*c_0101_5^3 - 7101586544729965958099974734790/25328699546691\ 3899145777205789*c_0101_5^2 - 3866744804381212441667870502333/25328\ 6995466913899145777205789*c_0101_5 - 746098642658867214939687311991/253286995466913899145777205789, c_0101_0 + 11319276268070729786078433607214/253286995466913899145777205\ 789*c_0101_5^23 + 1659148191788061353519393930316/25328699546691389\ 9145777205789*c_0101_5^22 - 181176315000578258344943406128537/25328\ 6995466913899145777205789*c_0101_5^21 - 326100141810282036396922970240942/253286995466913899145777205789*c_\ 0101_5^20 + 449050044635874188065802815589362/253286995466913899145\ 777205789*c_0101_5^19 + 2126493554950222856137942991340138/25328699\ 5466913899145777205789*c_0101_5^18 + 2746987917469236774310020267308505/253286995466913899145777205789*c\ _0101_5^17 + 7719633538314045572742182508282/2611206138834163908719\ 352637*c_0101_5^16 - 2539305320619317905123699644748888/25328699546\ 6913899145777205789*c_0101_5^15 - 411695364635961135432102390491989\ 1/253286995466913899145777205789*c_0101_5^14 - 2758789320830076457773715429029970/253286995466913899145777205789*c\ _0101_5^13 - 94192817100015514292762365077338/253286995466913899145\ 777205789*c_0101_5^12 + 1669390341791548673489977758507312/25328699\ 5466913899145777205789*c_0101_5^11 + 1835297788759921989579130784564618/253286995466913899145777205789*c\ _0101_5^10 + 1041675629642250317736001325410404/2532869954669138991\ 45777205789*c_0101_5^9 + 186871144318448307079677273542584/25328699\ 5466913899145777205789*c_0101_5^8 - 232778126278802635131222491498764/253286995466913899145777205789*c_\ 0101_5^7 - 264337743936831623832771185764923/2532869954669138991457\ 77205789*c_0101_5^6 - 149130210747496418458266125887425/25328699546\ 6913899145777205789*c_0101_5^5 - 50814711938376604994998696067319/2\ 53286995466913899145777205789*c_0101_5^4 - 8428011488717061943546387563490/253286995466913899145777205789*c_01\ 01_5^3 + 2476544407769194131754410943333/25328699546691389914577720\ 5789*c_0101_5^2 + 1488006937676448509809163228603/25328699546691389\ 9145777205789*c_0101_5 + 271193704051780294662382291434/25328699546\ 6913899145777205789, c_0101_1 + 42690326340786249721479560434346/253286995466913899145777205\ 789*c_0101_5^23 + 40026067894921786695950281687278/2532869954669138\ 99145777205789*c_0101_5^22 - 684347757018948990205990308765762/2532\ 86995466913899145777205789*c_0101_5^21 - 1781321386544112144859146146891741/253286995466913899145777205789*c\ _0101_5^20 + 817648594088475026553461430302263/25328699546691389914\ 5777205789*c_0101_5^19 + 9695893668444434500407256729179963/2532869\ 95466913899145777205789*c_0101_5^18 + 16717477849111314029509107968564476/253286995466913899145777205789*\ c_0101_5^17 + 96807044973116158403899169153098/26112061388341639087\ 19352637*c_0101_5^16 - 10647591222482734127209040662085058/25328699\ 5466913899145777205789*c_0101_5^15 - 25387757430253824815648272627834852/253286995466913899145777205789*\ c_0101_5^14 - 21026316489041429284541018950988905/25328699546691389\ 9145777205789*c_0101_5^13 - 3564948127348157244018964977272859/2532\ 86995466913899145777205789*c_0101_5^12 + 10530989280709501703268408981547372/253286995466913899145777205789*\ c_0101_5^11 + 12868111011627115375878483623379974/25328699546691389\ 9145777205789*c_0101_5^10 + 7292975968856329753823043665353522/2532\ 86995466913899145777205789*c_0101_5^9 + 1135242770318897555137180384316751/253286995466913899145777205789*c\ _0101_5^8 - 1812615684633143401761331544253893/25328699546691389914\ 5777205789*c_0101_5^7 - 1882137674929827886319412974239175/25328699\ 5466913899145777205789*c_0101_5^6 - 949225206109283240350025441615995/253286995466913899145777205789*c_\ 0101_5^5 - 255420336183463627738964543966439/2532869954669138991457\ 77205789*c_0101_5^4 - 8055926100484723379504148923476/2532869954669\ 13899145777205789*c_0101_5^3 + 22144609568334312451409159708815/253\ 286995466913899145777205789*c_0101_5^2 + 8948826604846078536110260978850/253286995466913899145777205789*c_01\ 01_5 + 1401948994681774550839928863881/2532869954669138991457772057\ 89, c_0101_2 - 7757090140694486557361955027560/2532869954669138991457772057\ 89*c_0101_5^23 - 17597654075416578816225787028230/25328699546691389\ 9145777205789*c_0101_5^22 + 122247958712512003164172837325450/25328\ 6995466913899145777205789*c_0101_5^21 + 490026084678044216383166342152753/253286995466913899145777205789*c_\ 0101_5^20 + 159635042923997943452490555265186/253286995466913899145\ 777205789*c_0101_5^19 - 2173898706705225271871312157848252/25328699\ 5466913899145777205789*c_0101_5^18 - 5053531320866976469024098912350886/253286995466913899145777205789*c\ _0101_5^17 - 44295253463622645180865500217134/261120613883416390871\ 9352637*c_0101_5^16 + 1401055878338628353181033392903600/2532869954\ 66913899145777205789*c_0101_5^15 + 7364703397201566946599386202653450/253286995466913899145777205789*c\ _0101_5^14 + 7912051744212294845592632208804477/2532869954669138991\ 45777205789*c_0101_5^13 + 2985548689585778893574626724126689/253286\ 995466913899145777205789*c_0101_5^12 - 2423655074728649692587252590366674/253286995466913899145777205789*c\ _0101_5^11 - 4354664724526569968766421799235287/2532869954669138991\ 45777205789*c_0101_5^10 - 3048673605209586418842135266794182/253286\ 995466913899145777205789*c_0101_5^9 - 888738376975116561476394804227566/253286995466913899145777205789*c_\ 0101_5^8 + 432297494882188386457104150832949/2532869954669138991457\ 77205789*c_0101_5^7 + 674680640387323546240504246577347/25328699546\ 6913899145777205789*c_0101_5^6 + 405990597548357872408428856289202/\ 253286995466913899145777205789*c_0101_5^5 + 133661034718895341562339694851086/253286995466913899145777205789*c_\ 0101_5^4 + 13918234169265234537321359716313/25328699546691389914577\ 7205789*c_0101_5^3 - 8570272645156155390097791118198/25328699546691\ 3899145777205789*c_0101_5^2 - 4813577023377062093543736153406/25328\ 6995466913899145777205789*c_0101_5 - 799982805421796225020914698483/253286995466913899145777205789, c_0101_5^24 + 38/31*c_0101_5^23 - 479/31*c_0101_5^22 - 1432/31*c_0101_5^21 + 66/31*c_0101_5^20 + 6881/31*c_0101_5^19 + 14489/31*c_0101_5^18 + 12334/31*c_0101_5^17 - 2884/31*c_0101_5^16 - 19722/31*c_0101_5^15 - 23257/31*c_0101_5^14 - 11498/31*c_0101_5^13 + 4009/31*c_0101_5^12 + 11817/31*c_0101_5^11 + 10144/31*c_0101_5^10 + 4345/31*c_0101_5^9 - 211/31*c_0101_5^8 - 1799/31*c_0101_5^7 - 1447/31*c_0101_5^6 - 658/31*c_0101_5^5 - 168/31*c_0101_5^4 - 4/31*c_0101_5^3 + 15/31*c_0101_5^2 + 6/31*c_0101_5 + 1/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB