Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 492601636] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0126 geometric_solution 3.63731723 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 -1 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 -1 0 1 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.639850497398 0.033354704138 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 -1 1 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 -1 1 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 2.422724807337 0.253276228628 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 1 -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 1.869787922567 0.522698788098 2 4 4 2 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.105245610301 0.209444730922 3 3 5 6 2310 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.019500736345 1.982135255109 6 6 6 4 1302 2031 1230 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 -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.495299591864 0.499759465493 5 5 4 5 1302 2031 0132 3012 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 -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.495299591864 0.499759465493 ==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_0110_6'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : d['c_0110_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_5'], '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_0110_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : 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_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 13461495011342905519602771949589665978346/1266207428448133024768436\ 4751533069539*c_0110_6^21 - 130301743885579547633777362629579116025\ 649/12662074284481330247684364751533069539*c_0110_6^20 + 132988882199924220101982421717278877154387/126620742844813302476843\ 64751533069539*c_0110_6^19 - 37215457074641903156603881083950976970\ 7845/12662074284481330247684364751533069539*c_0110_6^18 + 2583762523619862674077285784661887193923345/12662074284481330247684\ 364751533069539*c_0110_6^17 + 5255934392414600352731066895995055755\ 32255/12662074284481330247684364751533069539*c_0110_6^16 - 3866633071650825292244894226491454246615841/12662074284481330247684\ 364751533069539*c_0110_6^15 - 6024412744438238218656771139090561419\ 478350/12662074284481330247684364751533069539*c_0110_6^14 - 15947828938804476603289002185701808231925570/1266207428448133024768\ 4364751533069539*c_0110_6^13 + 122041115174185574511086070621373737\ 71664279/12662074284481330247684364751533069539*c_0110_6^12 + 16849800466153332106948639741871503310560540/1266207428448133024768\ 4364751533069539*c_0110_6^11 + 122153295378507182995925435254866671\ 9862348/12662074284481330247684364751533069539*c_0110_6^10 + 18871064110365360880505120712611017046215431/1266207428448133024768\ 4364751533069539*c_0110_6^9 + 1748469163571360845234051863223949555\ 5726766/12662074284481330247684364751533069539*c_0110_6^8 + 754529756259197450500545196714970291994603/126620742844813302476843\ 64751533069539*c_0110_6^7 - 294028447791238932583441650805112610219\ 85974/12662074284481330247684364751533069539*c_0110_6^6 - 29366987174644743108692855771032246362988840/1266207428448133024768\ 4364751533069539*c_0110_6^5 + 6196050990706409185127441891846945532\ 093373/12662074284481330247684364751533069539*c_0110_6^4 + 13656076998919336429352085709427134945629059/1266207428448133024768\ 4364751533069539*c_0110_6^3 + 2333284619398328470475392163198385368\ 953677/12662074284481330247684364751533069539*c_0110_6^2 - 692658622485479466969621274989779488382382/126620742844813302476843\ 64751533069539*c_0110_6 - 93372268980556246618278322047988341848540\ /12662074284481330247684364751533069539, c_0011_0 - 1, c_0011_2 + 957033654204005144601878900786090770/12662074284481330247684\ 364751533069539*c_0110_6^21 - 1233495165210111256427300011830112915\ 9/12662074284481330247684364751533069539*c_0110_6^20 + 41122821462116716721820449164934679068/1266207428448133024768436475\ 1533069539*c_0110_6^19 - 76809964274205482519370370043899701324/126\ 62074284481330247684364751533069539*c_0110_6^18 + 300412181645329051291084740080476160507/126620742844813302476843647\ 51533069539*c_0110_6^17 - 625082223009599014062361170092164563972/1\ 2662074284481330247684364751533069539*c_0110_6^16 + 23267778376360655406456364818731453373/1266207428448133024768436475\ 1533069539*c_0110_6^15 + 266066778456524545446380270688949928061/12\ 662074284481330247684364751533069539*c_0110_6^14 - 215330178233293998693977450240294256856/126620742844813302476843647\ 51533069539*c_0110_6^13 + 3919427939753809601596818190289454224836/\ 12662074284481330247684364751533069539*c_0110_6^12 - 3492545930941686879241282695586890073116/12662074284481330247684364\ 751533069539*c_0110_6^11 - 735599619994070211567672079858070378916/\ 12662074284481330247684364751533069539*c_0110_6^10 + 1708331976385023161775196268006669172693/12662074284481330247684364\ 751533069539*c_0110_6^9 - 3319371544385105856419642503828720927824/\ 12662074284481330247684364751533069539*c_0110_6^8 - 1129470370504017575523332396794575607184/12662074284481330247684364\ 751533069539*c_0110_6^7 - 1579773622896040441006307233507278854494/\ 12662074284481330247684364751533069539*c_0110_6^6 + 4113012977173803439115140523979444421296/12662074284481330247684364\ 751533069539*c_0110_6^5 + 3019165064445002841271190616321021552246/\ 12662074284481330247684364751533069539*c_0110_6^4 - 2211142063491881203087630671468737421565/12662074284481330247684364\ 751533069539*c_0110_6^3 - 850957923030370383122102054828198816814/1\ 2662074284481330247684364751533069539*c_0110_6^2 + 245292602280323867412329408370061019084/126620742844813302476843647\ 51533069539*c_0110_6 + 13735975489884756439129161478424907053/12662\ 074284481330247684364751533069539, c_0011_5 - 755036908059981122195400121891615496/12662074284481330247684\ 364751533069539*c_0110_6^21 + 7809064372038265079465502766926207918\ /12662074284481330247684364751533069539*c_0110_6^20 - 12609848434885570327860329438596760034/1266207428448133024768436475\ 1533069539*c_0110_6^19 + 29079684872450302061669406341686478947/126\ 62074284481330247684364751533069539*c_0110_6^18 - 164941428152013133267789313537761187516/126620742844813302476843647\ 51533069539*c_0110_6^17 + 79984902809980380882281584630425929231/12\ 662074284481330247684364751533069539*c_0110_6^16 + 165961876719246889059432683659807907580/126620742844813302476843647\ 51533069539*c_0110_6^15 + 248864976160391248132489937270564097919/1\ 2662074284481330247684364751533069539*c_0110_6^14 + 729714826527065845400537277864897800274/126620742844813302476843647\ 51533069539*c_0110_6^13 - 1203024354740450889407037392542338579977/\ 12662074284481330247684364751533069539*c_0110_6^12 - 228303251544845166325440809049818817511/126620742844813302476843647\ 51533069539*c_0110_6^11 - 37396038818340168674629092651693655088/12\ 662074284481330247684364751533069539*c_0110_6^10 - 954708612269753759182918395876615321609/126620742844813302476843647\ 51533069539*c_0110_6^9 - 253164679264456010046416860429010090894/12\ 662074284481330247684364751533069539*c_0110_6^8 + 197792284215940613419415439809251234966/126620742844813302476843647\ 51533069539*c_0110_6^7 + 1744256458428172151382953490399239301450/1\ 2662074284481330247684364751533069539*c_0110_6^6 + 698608271464897159087533007527762616029/126620742844813302476843647\ 51533069539*c_0110_6^5 - 741979321137110569829497378792950481263/12\ 662074284481330247684364751533069539*c_0110_6^4 - 457751957788104645534256756888917194722/126620742844813302476843647\ 51533069539*c_0110_6^3 - 16480363017559661269317153413675660058/126\ 62074284481330247684364751533069539*c_0110_6^2 + 53369663536080494005697525340007817838/1266207428448133024768436475\ 1533069539*c_0110_6 + 1408633122861764199503611919401744753/1266207\ 4284481330247684364751533069539, c_0101_0 + 1116552705711725684555718802729007824/1266207428448133024768\ 4364751533069539*c_0110_6^21 - 104818885875414878256167393644924451\ 49/12662074284481330247684364751533069539*c_0110_6^20 + 7490187531147440072798269165262584648/12662074284481330247684364751\ 533069539*c_0110_6^19 - 23623829140047602171632918780320556097/1266\ 2074284481330247684364751533069539*c_0110_6^18 + 198511778088618677786916507340898278290/126620742844813302476843647\ 51533069539*c_0110_6^17 + 121608895032888030298318273125597207239/1\ 2662074284481330247684364751533069539*c_0110_6^16 - 393411373197670622245191297613251074131/126620742844813302476843647\ 51533069539*c_0110_6^15 - 545461008508259638219633784311538513208/1\ 2662074284481330247684364751533069539*c_0110_6^14 - 1388109502302267996493765057993310179986/12662074284481330247684364\ 751533069539*c_0110_6^13 + 741445827598681888893933702491117374048/\ 12662074284481330247684364751533069539*c_0110_6^12 + 2058339430416500681473675563656674920584/12662074284481330247684364\ 751533069539*c_0110_6^11 - 126534125117797856274128940731160441396/\ 12662074284481330247684364751533069539*c_0110_6^10 + 1545955622394090224084980573884735020977/12662074284481330247684364\ 751533069539*c_0110_6^9 + 1915954496446161625760317945567644429798/\ 12662074284481330247684364751533069539*c_0110_6^8 - 34856314040390224171609825898698371350/1266207428448133024768436475\ 1533069539*c_0110_6^7 - 2522267143270554058941221733227194418710/12\ 662074284481330247684364751533069539*c_0110_6^6 - 3032805400751496608084720021620434655730/12662074284481330247684364\ 751533069539*c_0110_6^5 + 630035977253468468109835845255365984962/1\ 2662074284481330247684364751533069539*c_0110_6^4 + 1533289360448224984729398495598811560274/12662074284481330247684364\ 751533069539*c_0110_6^3 + 127154626567562994195252456817409434230/1\ 2662074284481330247684364751533069539*c_0110_6^2 - 150549544690703744702773587556311569187/126620742844813302476843647\ 51533069539*c_0110_6 - 3330739205764232590439909127527171418/126620\ 74284481330247684364751533069539, c_0101_1 + 4237011375633440875243066920061637866/1266207428448133024768\ 4364751533069539*c_0110_6^21 - 446055294742048362514128881988561565\ 13/12662074284481330247684364751533069539*c_0110_6^20 + 78786746384706448975412861665164510335/1266207428448133024768436475\ 1533069539*c_0110_6^19 - 174706979862769263550590569416106881013/12\ 662074284481330247684364751533069539*c_0110_6^18 + 946897294130474595909740397766965258033/126620742844813302476843647\ 51533069539*c_0110_6^17 - 604597950603228761322524041476071918678/1\ 2662074284481330247684364751533069539*c_0110_6^16 - 896487241024865619301835254732558682034/126620742844813302476843647\ 51533069539*c_0110_6^15 - 1054545598667717390032548705683160494955/\ 12662074284481330247684364751533069539*c_0110_6^14 - 3901572697501136393447215779496710399043/12662074284481330247684364\ 751533069539*c_0110_6^13 + 7425132879288903605279443698285512188197\ /12662074284481330247684364751533069539*c_0110_6^12 - 113978491193823294607668477875311666200/126620742844813302476843647\ 51533069539*c_0110_6^11 - 924113983635477250941004256340253118116/1\ 2662074284481330247684364751533069539*c_0110_6^10 + 6326127767790952420192809051267878588938/12662074284481330247684364\ 751533069539*c_0110_6^9 + 289175535620702063845742629134309076955/1\ 2662074284481330247684364751533069539*c_0110_6^8 - 1293067443026179500254557682301370299799/12662074284481330247684364\ 751533069539*c_0110_6^7 - 8464322388872600294462907138307995815329/\ 12662074284481330247684364751533069539*c_0110_6^6 - 1732431921963122094538642803098786954178/12662074284481330247684364\ 751533069539*c_0110_6^5 + 5407038355531976691270237864469221934007/\ 12662074284481330247684364751533069539*c_0110_6^4 + 644931827845603198208666464402002294341/126620742844813302476843647\ 51533069539*c_0110_6^3 - 825182216655422221195986901166207294974/12\ 662074284481330247684364751533069539*c_0110_6^2 + 4910452214024368195288249869022260855/12662074284481330247684364751\ 533069539*c_0110_6 + 13574014257754702204283657923670138345/1266207\ 4284481330247684364751533069539, c_0101_4 - 368590573204451596950346912663318744/12662074284481330247684\ 364751533069539*c_0110_6^21 + 5009521157347389487969390071370035501\ /12662074284481330247684364751533069539*c_0110_6^20 - 18506143210708638096300625840959351119/1266207428448133024768436475\ 1533069539*c_0110_6^19 + 33778389233986354495707352969538916073/126\ 62074284481330247684364751533069539*c_0110_6^18 - 125129432103869099461249383898005327219/126620742844813302476843647\ 51533069539*c_0110_6^17 + 295917829948461716000812025049414460837/1\ 2662074284481330247684364751533069539*c_0110_6^16 - 32322345847094639233852352259776593784/1266207428448133024768436475\ 1533069539*c_0110_6^15 - 169435831160511199191456036477725093786/12\ 662074284481330247684364751533069539*c_0110_6^14 + 9067137447592372999379604497342843483/12662074284481330247684364751\ 533069539*c_0110_6^13 - 1761010423897485697144532247093495141892/12\ 662074284481330247684364751533069539*c_0110_6^12 + 1751046674529909162707229027204864614941/12662074284481330247684364\ 751533069539*c_0110_6^11 + 396226108018234116366200913001002530637/\ 12662074284481330247684364751533069539*c_0110_6^10 - 739650575523684682747824512348192134298/126620742844813302476843647\ 51533069539*c_0110_6^9 + 1667061792689479073475333909944435692745/1\ 2662074284481330247684364751533069539*c_0110_6^8 + 529349239578586645189383314681616737419/126620742844813302476843647\ 51533069539*c_0110_6^7 + 500094379140612472874861491964366105122/12\ 662074284481330247684364751533069539*c_0110_6^6 - 2122984722652688907280320907450209905557/12662074284481330247684364\ 751533069539*c_0110_6^5 - 1401063364174804745981072642796160740817/\ 12662074284481330247684364751533069539*c_0110_6^4 + 1158923834003485870248497463091247923666/12662074284481330247684364\ 751533069539*c_0110_6^3 + 439864039420763113233154215270752385935/1\ 2662074284481330247684364751533069539*c_0110_6^2 - 137028930685106786562297872812322643190/126620742844813302476843647\ 51533069539*c_0110_6 - 7392172456561236706598220635455577124/126620\ 74284481330247684364751533069539, c_0110_6^22 - 10*c_0110_6^21 + 13*c_0110_6^20 - 31*c_0110_6^19 + 201*c_0110_6^18 - 23*c_0110_6^17 - 296*c_0110_6^16 - 355*c_0110_6^15 - 1047*c_0110_6^14 + 1278*c_0110_6^13 + 939*c_0110_6^12 - 291*c_0110_6^11 + 1396*c_0110_6^10 + 849*c_0110_6^9 - 333*c_0110_6^8 - 2179*c_0110_6^7 - 1483*c_0110_6^6 + 1117*c_0110_6^5 + 828*c_0110_6^4 - 139*c_0110_6^3 - 88*c_0110_6^2 + 11*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB