Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 4021187282] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2410 geometric_solution 5.76542689 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519779877244 0.200593859070 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 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 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.805720193191 0.445630470862 1 4 3 5 0132 0132 3012 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 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.698644095513 0.968720543610 5 2 4 1 3201 1230 0132 0132 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 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.698644095513 0.968720543610 6 2 6 3 0132 0132 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.204402432064 1.660185725922 5 5 2 3 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 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.078581037941 1.215716312968 4 6 4 6 0132 2310 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502271828249 0.317046680586 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(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_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 720080945524640909780399212526622847887994795/201612714039523044493\ 0627050388957807387449*c_0101_4^39 + 36655256330734116733558231475126188168002308347/2016127140395230444\ 930627050388957807387449*c_0101_4^37 - 688489727026490569414514200984172097001643356090/201612714039523044\ 4930627050388957807387449*c_0101_4^35 + 6728724141922034483611090977853454506156091189341/20161271403952304\ 44930627050388957807387449*c_0101_4^33 - 41299152449797477482068711044709944691369202166295/2016127140395230\ 444930627050388957807387449*c_0101_4^31 + 176739871773397961435335876658330720556293595966961/201612714039523\ 0444930627050388957807387449*c_0101_4^29 - 554443572887576404316886386799346100567451356940679/201612714039523\ 0444930627050388957807387449*c_0101_4^27 + 1288874367842331581339550443187328829756803426333376/20161271403952\ 30444930627050388957807387449*c_0101_4^25 - 729341008851233415969115314812251847394798085697755/672042380131743\ 481643542350129652602462483*c_0101_4^23 + 291801065972451150085642719735826804348910242203406/224014126710581\ 160547847450043217534154161*c_0101_4^21 - 2098540613829187036155919545754038371214333754334777/20161271403952\ 30444930627050388957807387449*c_0101_4^19 + 104804238784053898027249993967557286972840838465140/224014126710581\ 160547847450043217534154161*c_0101_4^17 - 5461588215071633414015512745845124390660656732324/20161271403952304\ 44930627050388957807387449*c_0101_4^15 - 326903623438857860787937333298557951461056032483888/201612714039523\ 0444930627050388957807387449*c_0101_4^13 + 267096597159385285865016653620118933697493298883911/201612714039523\ 0444930627050388957807387449*c_0101_4^11 - 123577478572999186092763316320703453492179876448593/201612714039523\ 0444930627050388957807387449*c_0101_4^9 + 11803832789362045970850497792052331850576725786003/6720423801317434\ 81643542350129652602462483*c_0101_4^7 - 5753517373287184775682379231321295230052420357749/20161271403952304\ 44930627050388957807387449*c_0101_4^5 + 431900625518192956466236649872392044155922867446/201612714039523044\ 4930627050388957807387449*c_0101_4^3 - 3844856878554663724925689139648387175383251153/67204238013174348164\ 3542350129652602462483*c_0101_4, c_0011_0 - 1, c_0011_1 + 51049690068773410158861053867056576122487/224014126710581160\ 547847450043217534154161*c_0101_4^38 - 23362897725415810118503762320940949210180458/2016127140395230444930\ 627050388957807387449*c_0101_4^36 + 438039096519835861977721992089216543731988425/201612714039523044493\ 0627050388957807387449*c_0101_4^34 - 4270364132308283029399094240210962188446774320/20161271403952304449\ 30627050388957807387449*c_0101_4^32 + 26135399946213466037578535702406310776417243760/2016127140395230444\ 930627050388957807387449*c_0101_4^30 - 111503487751643533194811849740812329755073949651/201612714039523044\ 4930627050388957807387449*c_0101_4^28 + 348608135451766160194420518391156339401218677819/201612714039523044\ 4930627050388957807387449*c_0101_4^26 - 807093567966483119297613337175241322188576088720/201612714039523044\ 4930627050388957807387449*c_0101_4^24 + 1363057487367490509957775745393644601750320706939/20161271403952304\ 44930627050388957807387449*c_0101_4^22 - 541666116225090646043806371948249334215205966112/672042380131743481\ 643542350129652602462483*c_0101_4^20 + 142963621795262064984914728306779790597045101316/224014126710581160\ 547847450043217534154161*c_0101_4^18 - 569481803175470479608418888391743478730360631772/201612714039523044\ 4930627050388957807387449*c_0101_4^16 - 1146515378455678133910246583767619598370992801/67204238013174348164\ 3542350129652602462483*c_0101_4^14 + 202337829094674199398364028373135790380069613106/201612714039523044\ 4930627050388957807387449*c_0101_4^12 - 163367946244980249600772189614474900619403954965/201612714039523044\ 4930627050388957807387449*c_0101_4^10 + 75050927802932792101197626441256026544248202023/2016127140395230444\ 930627050388957807387449*c_0101_4^8 - 21391811564952213806472232734781571358673519765/2016127140395230444\ 930627050388957807387449*c_0101_4^6 + 387195244580194082535820360063530615758406964/224014126710581160547\ 847450043217534154161*c_0101_4^4 - 262581685347489951187909507813993993749419107/201612714039523044493\ 0627050388957807387449*c_0101_4^2 + 6027558285241007722777849044381325028390524/20161271403952304449306\ 27050388957807387449, c_0011_3 - 4737833656400623516399878925576793193249805/6048381421185691\ 334791881151166873422162347*c_0101_4^39 + 241312258903497660289995828214518777050326865/604838142118569133479\ 1881151166873422162347*c_0101_4^37 - 4536872986885494327139095319325848438994206721/60483814211856913347\ 91881151166873422162347*c_0101_4^35 + 44401084320659005662735427717315798581113312135/6048381421185691334\ 791881151166873422162347*c_0101_4^33 - 90993882738281032344300031843544578599323927498/2016127140395230444\ 930627050388957807387449*c_0101_4^31 + 390161100669410671785533112306465122472348381652/201612714039523044\ 4930627050388957807387449*c_0101_4^29 - 3680248144090661031275332820695400362143342193643/60483814211856913\ 34791881151166873422162347*c_0101_4^27 + 2860066947150811102138894292237004845847478895623/20161271403952304\ 44930627050388957807387449*c_0101_4^25 - 14624979589386280169530065569475773813087668754138/6048381421185691\ 334791881151166873422162347*c_0101_4^23 + 5886258335536982462190982292101386337999314790424/20161271403952304\ 44930627050388957807387449*c_0101_4^21 - 14246323877728761413618371700642407062752978215784/6048381421185691\ 334791881151166873422162347*c_0101_4^19 + 6533214711319576245879749125782331203677153843348/60483814211856913\ 34791881151166873422162347*c_0101_4^17 - 157476716933390960022370181339100042380293360444/604838142118569133\ 4791881151166873422162347*c_0101_4^15 - 725336801550218261992326539723401756357399444904/201612714039523044\ 4930627050388957807387449*c_0101_4^13 + 606382140334958885343263241399638524395712347593/201612714039523044\ 4930627050388957807387449*c_0101_4^11 - 94918430192609459389859252393229571606858532896/6720423801317434816\ 43542350129652602462483*c_0101_4^9 + 248980052529280384996955574092798822240831864506/604838142118569133\ 4791881151166873422162347*c_0101_4^7 - 41188716809488241226904574511955323849630376078/6048381421185691334\ 791881151166873422162347*c_0101_4^5 + 3038206655185225188536403873577164296527288592/60483814211856913347\ 91881151166873422162347*c_0101_4^3 - 48397886899442658335893678396462861057268035/6048381421185691334791\ 881151166873422162347*c_0101_4, c_0011_5 - 86095251415908719768919593737513324302238/604838142118569133\ 4791881151166873422162347*c_0101_4^39 + 4748202300609407977583073117218112737934053/60483814211856913347918\ 81151166873422162347*c_0101_4^37 - 100826653994829406634872178267351629520398142/604838142118569133479\ 1881151166873422162347*c_0101_4^35 + 1148900837578942995761030967104122911516470291/60483814211856913347\ 91881151166873422162347*c_0101_4^33 - 2752385107112826687281475805041980260602544441/20161271403952304449\ 30627050388957807387449*c_0101_4^31 + 13717451840431663930414792049907535412943113729/2016127140395230444\ 930627050388957807387449*c_0101_4^29 - 150227095380156013734821335399730113083623978519/604838142118569133\ 4791881151166873422162347*c_0101_4^27 + 45661424740540216424194213204098982199873328040/6720423801317434816\ 43542350129652602462483*c_0101_4^25 - 839477476837071438334333760386616041235763634082/604838142118569133\ 4791881151166873422162347*c_0101_4^23 + 416661890349328664082602713230535467990947590340/201612714039523044\ 4930627050388957807387449*c_0101_4^21 - 1295643404775749661226191058504244875126479548186/60483814211856913\ 34791881151166873422162347*c_0101_4^19 + 848916150221709831444771691124177049227308719503/604838142118569133\ 4791881151166873422162347*c_0101_4^17 - 240981139644822049539985557978099263536134146707/604838142118569133\ 4791881151166873422162347*c_0101_4^15 - 4400217375354688255783102558558925752640776577/22401412671058116054\ 7847450043217534154161*c_0101_4^13 + 58523284074151568728939305394968795263591202535/2016127140395230444\ 930627050388957807387449*c_0101_4^11 - 35017631160496798844198087475073377907575447829/2016127140395230444\ 930627050388957807387449*c_0101_4^9 + 37707432322006642471259507833986908072297236453/6048381421185691334\ 791881151166873422162347*c_0101_4^7 - 7554860806020286681191939935041224611739523123/60483814211856913347\ 91881151166873422162347*c_0101_4^5 + 617312910118552874883352108687081458379322207/604838142118569133479\ 1881151166873422162347*c_0101_4^3 + 1243508320425868841791292774698858272166814/60483814211856913347918\ 81151166873422162347*c_0101_4, c_0101_0 - 2047031687274355326417957157315753919022692/6048381421185691\ 334791881151166873422162347*c_0101_4^38 + 104051671400098367431323382019367361256956786/604838142118569133479\ 1881151166873422162347*c_0101_4^36 - 1949579908291140837767918105669137610504999302/60483814211856913347\ 91881151166873422162347*c_0101_4^34 + 18986250987160241308017982872299472600562565119/6048381421185691334\ 791881151166873422162347*c_0101_4^32 - 38679251463243491687230224178783563737167043296/2016127140395230444\ 930627050388957807387449*c_0101_4^30 + 164732492378029829071225373941537710794882695709/201612714039523044\ 4930627050388957807387449*c_0101_4^28 - 1541635484726731500241823425240825013192498011753/60483814211856913\ 34791881151166873422162347*c_0101_4^26 + 1186074675015046009257758325361373247929768162360/20161271403952304\ 44930627050388957807387449*c_0101_4^24 - 5981520203898188508584885832888258823139738444701/60483814211856913\ 34791881151166873422162347*c_0101_4^22 + 2359085500635578841730338995114419881016023462316/20161271403952304\ 44930627050388957807387449*c_0101_4^20 - 5527093434915781048054509167951642008266789831706/60483814211856913\ 34791881151166873422162347*c_0101_4^18 + 2364520302141148395508589660102481896477189114371/60483814211856913\ 34791881151166873422162347*c_0101_4^16 + 96639111846938442112697314344923523096121731853/6048381421185691334\ 791881151166873422162347*c_0101_4^14 - 300958081594150257350253248365147345070963831986/201612714039523044\ 4930627050388957807387449*c_0101_4^12 + 233434129502744440064278129447799635617144688798/201612714039523044\ 4930627050388957807387449*c_0101_4^10 - 11563472509504965186983499472795954438304550711/2240141267105811605\ 47847450043217534154161*c_0101_4^8 + 85308639818352232449266601840171273948460419122/6048381421185691334\ 791881151166873422162347*c_0101_4^6 - 12827893493006225511295421663726614240955476418/6048381421185691334\ 791881151166873422162347*c_0101_4^4 + 824884136261651437545737893848369757976499181/604838142118569133479\ 1881151166873422162347*c_0101_4^2 - 10570507043004957188655452546608547715923933/6048381421185691334791\ 881151166873422162347, c_0101_1 + 1735686110254945343657422291015460753827064/6048381421185691\ 334791881151166873422162347*c_0101_4^38 - 88177810560388557292451735648424172496488798/6048381421185691334791\ 881151166873422162347*c_0101_4^36 + 1650623334777935901954671656864596814596517798/60483814211856913347\ 91881151166873422162347*c_0101_4^34 - 16053199323286646223502143800548676206542592783/6048381421185691334\ 791881151166873422162347*c_0101_4^32 + 10883603938400511247294555298994460528276514771/6720423801317434816\ 43542350129652602462483*c_0101_4^30 - 46268031224018893044658058456942532296585049826/6720423801317434816\ 43542350129652602462483*c_0101_4^28 + 1296282163426434277082739630907418231911228902451/60483814211856913\ 34791881151166873422162347*c_0101_4^26 - 994752819826750217266993812375688888686231212638/201612714039523044\ 4930627050388957807387449*c_0101_4^24 + 4999815163313927373600174868789224979213046952883/60483814211856913\ 34791881151166873422162347*c_0101_4^22 - 1963074603309238450036269252801840706058697706720/20161271403952304\ 44930627050388957807387449*c_0101_4^20 + 4571714896510853188926166462310413971507998019445/60483814211856913\ 34791881151166873422162347*c_0101_4^18 - 1937778636511923781758985322396987784569041960765/60483814211856913\ 34791881151166873422162347*c_0101_4^16 - 90069721307638924923599375465007564996685794514/6048381421185691334\ 791881151166873422162347*c_0101_4^14 + 248934424085431349086434671367240602341396087739/201612714039523044\ 4930627050388957807387449*c_0101_4^12 - 64139926383038161842007510560231589248701475020/6720423801317434816\ 43542350129652602462483*c_0101_4^10 + 85730769014780500008768367847744424342084202756/2016127140395230444\ 930627050388957807387449*c_0101_4^8 - 70637832855660462355460817414450632115688984436/6048381421185691334\ 791881151166873422162347*c_0101_4^6 + 10957163924652050414777607690325252875858635933/6048381421185691334\ 791881151166873422162347*c_0101_4^4 - 775029165461656044041703415110652910122887166/604838142118569133479\ 1881151166873422162347*c_0101_4^2 + 11948198183121423113772746388239588338706987/6048381421185691334791\ 881151166873422162347, c_0101_4^40 - 51*c_0101_4^38 + 961*c_0101_4^36 - 9436*c_0101_4^34 + 58250*c_0101_4^32 - 250956*c_0101_4^30 + 793601*c_0101_4^28 - 1864157*c_0101_4^26 + 3211556*c_0101_4^24 - 3941483*c_0101_4^22 + 3268643*c_0101_4^20 - 1593805*c_0101_4^18 + 135291*c_0101_4^16 + 453623*c_0101_4^14 - 415587*c_0101_4^12 + 207879*c_0101_4^10 - 65833*c_0101_4^8 + 12689*c_0101_4^6 - 1329*c_0101_4^4 + 63*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB