Magma V2.19-8 Tue Aug 20 2013 16:17:05 on localhost [Seed = 1014866158] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1339 geometric_solution 5.21571096 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 2 -2 0 0 0 0 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.526486547495 0.145782747125 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.289102241158 0.265950106682 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723940917857 0.825803983715 2 5 4 6 0132 0132 3201 0132 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 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.013821976684 0.775091792237 3 6 2 5 2310 1023 0132 2310 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 -1 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.013821976684 0.775091792237 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.292265402224 0.429295749218 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826406097611 1.015821086211 ==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' : 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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1139912507677860662096019880236725444855/15327979257449183026841808\ 392483812508725248*c_0110_5^22 - 1299332216744683647880424514785212\ 7333983/2554663209574863837806968065413968751454208*c_0110_5^20 + 446496273786651531779718877351769256365227/153279792574491830268418\ 08392483812508725248*c_0110_5^18 + 126319139501001571613840632729656806303011/218971132249274043240597\ 2627497687501246464*c_0110_5^16 + 649052184225289140788708571804009\ 06203787/111072313459776688600302959365824728324096*c_0110_5^14 - 27804968527926581258353643479602222681280243/3831994814362295756710\ 452098120953127181312*c_0110_5^12 - 3884628417628270943052907768013807024421177/25546632095748638378069\ 68065413968751454208*c_0110_5^10 + 358836367998723013622251986623467065561614887/510932641914972767561\ 3936130827937502908416*c_0110_5^8 - 1847779472164934192816222444857081925558021/36495188708212340540099\ 5437916281250207744*c_0110_5^6 - 4703262461777361144859886519481252\ 519235537/27768078364944172150075739841456182081024*c_0110_5^4 + 42532319180912006919018412141496201900613397/4789993517952869695888\ 06512265119140897664*c_0110_5^2 - 419476947019062419002188903552892\ 583575673/119749837948821742397201628066279785224416, c_0011_0 - 1, c_0011_1 + 59453144171793694437224380927187/341144280599767155066773016\ 05812486144*c_0110_5^22 - 503301352566444064903900150003445/4264303\ 507497089438334662700726560768*c_0110_5^20 + 20581702665858311535131686726954231/3411442805997671550667730160581\ 2486144*c_0110_5^18 + 61200916260793366342229741581665915/341144280\ 59976715506677301605812486144*c_0110_5^16 + 15643102204267208204529675796965011/1066075876874272359583665675181\ 640192*c_0110_5^14 - 1371176446173420034725326452882347227/85286070\ 14994178876669325401453121536*c_0110_5^12 - 2515277355045278015404866823224462763/17057214029988357753338650802\ 906243072*c_0110_5^10 + 54623132249104650635882342799967460085/3411\ 4428059976715506677301605812486144*c_0110_5^8 + 8447135033631783479342739102972670479/85286070149941788766693254014\ 53121536*c_0110_5^6 - 8235100757533302886685716109631611489/2132151\ 753748544719167331350363280384*c_0110_5^4 - 41417163014271143563797435359461397/1332594846092840449479582093977\ 05024*c_0110_5^2 + 74877959919694321745484085171077171/133259484609\ 284044947958209397705024, c_0011_4 + 4856167386849922339968326675200813/5492422917656251196575045\ 558535810269184*c_0110_5^23 - 42595231401957920855830446532948603/6\ 86552864707031399571880694816976283648*c_0110_5^21 + 2487966748169723634581493353361236233/54924229176562511965750455585\ 35810269184*c_0110_5^19 + 105814997762500162491282212363468947/7846\ 31845379464456653577936933687181312*c_0110_5^17 + 40027258594498165354390908165985511/7462531138119906517085659726271\ 481344*c_0110_5^15 - 136699194857063432076500519611940393125/137310\ 5729414062799143761389633952567296*c_0110_5^13 + 351874114504592635336959649284885932203/274621145882812559828752277\ 9267905134592*c_0110_5^11 + 527436768360373769808192920134516161844\ 3/5492422917656251196575045558535810269184*c_0110_5^9 - 292017512984295302707135366669682943897/196157961344866114163394484\ 233421795328*c_0110_5^7 - 43139803771832580606803048658106584377/14\ 925062276239813034171319452542962688*c_0110_5^5 + 100680375421152443128846558804083385885/214547770220947312366212717\ 13030508864*c_0110_5^3 + 4463916115250185226722067971853539949/2145\ 4777022094731236621271713030508864*c_0110_5, c_0101_0 + 119782851245052708348792210542059231/10984845835312502393150\ 091117071620538368*c_0110_5^23 - 1023484306109069905330371924056530\ 281/1373105729414062799143761389633952567296*c_0110_5^21 + 46615428950604374480301883982245966995/1098484583531250239315009111\ 7071620538368*c_0110_5^19 + 13648623697394004528903560082313587937/\ 1569263690758928913307155873867374362624*c_0110_5^17 + 1277591254374016107344989845213757233/14925062276239813034171319452\ 542962688*c_0110_5^15 - 2917499333295327955805138678026095273479/27\ 46211458828125598287522779267905134592*c_0110_5^13 - 1499731481152464544178081539073378607895/54924229176562511965750455\ 58535810269184*c_0110_5^11 + 11417260283113578682898426690388294701\ 8761/10984845835312502393150091117071620538368*c_0110_5^9 - 89520338950537018829152425918772708835/3923159226897322283267889684\ 66843590656*c_0110_5^7 - 771095462944547871658043483032633546915/29\ 850124552479626068342638905085925376*c_0110_5^5 + 495054810468438770877260585620079361687/429095540441894624732425434\ 26061017728*c_0110_5^3 + 89005409472820489773877084430484141311/429\ 09554044189462473242543426061017728*c_0110_5, c_0101_2 + 27201921849723665033758561729588473/549242291765625119657504\ 5558535810269184*c_0110_5^23 - 232971980348609757537035466524855679\ /686552864707031399571880694816976283648*c_0110_5^21 + 10880946105650539450128954143522476901/5492422917656251196575045558\ 535810269184*c_0110_5^19 + 2889116706160116982651362577890240839/78\ 4631845379464456653577936933687181312*c_0110_5^17 + 283634844097279371158574767943283063/746253113811990651708565972627\ 1481344*c_0110_5^15 - 672216052264636199164423402140336670993/13731\ 05729414062799143761389633952567296*c_0110_5^13 - 139057249434749501950462164489013789057/274621145882812559828752277\ 9267905134592*c_0110_5^11 + 263998105821916925471105638512803939963\ 83/5492422917656251196575045558535810269184*c_0110_5^9 - 152457620320319302210747291617901210517/196157961344866114163394484\ 233421795328*c_0110_5^7 - 186747684002424460542792845704809922069/1\ 4925062276239813034171319452542962688*c_0110_5^5 + 138126574870037013071394179363870978001/214547770220947312366212717\ 13030508864*c_0110_5^3 + 33024702894969424944743367466707033977/214\ 54777022094731236621271713030508864*c_0110_5, c_0101_3 - 63025176604608680945833468033121/341144280599767155066773016\ 05812486144*c_0110_5^22 + 537139317282294431014753679674551/4264303\ 507497089438334662700726560768*c_0110_5^20 - 23748552605502000020281902108354989/3411442805997671550667730160581\ 2486144*c_0110_5^18 - 56258450788117974960824757881517081/341144280\ 59976715506677301605812486144*c_0110_5^16 - 15395750458214681858949010285461377/1066075876874272359583665675181\ 640192*c_0110_5^14 + 1515336636653808446244750452332585273/85286070\ 14994178876669325401453121536*c_0110_5^12 + 1455184011986341467384055741117929513/17057214029988357753338650802\ 906243072*c_0110_5^10 - 62379651932088409154337352540080233655/3411\ 4428059976715506677301605812486144*c_0110_5^8 - 1975995186188572685979628912024676917/85286070149941788766693254014\ 53121536*c_0110_5^6 + 9879313779642577257294420288985938011/2132151\ 753748544719167331350363280384*c_0110_5^4 - 146529048771624389970507855663024281/133259484609284044947958209397\ 705024*c_0110_5^2 - 33956998347005968284731861517264129/13325948460\ 9284044947958209397705024, c_0110_5^24 - 68*c_0110_5^22 + 365*c_0110_5^20 + 925*c_0110_5^18 + 8180*c_0110_5^16 - 94436*c_0110_5^14 - 58082*c_0110_5^12 + 931311*c_0110_5^10 + 295872*c_0110_5^8 - 2259360*c_0110_5^6 + 331072*c_0110_5^4 + 357632*c_0110_5^2 + 62464 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB