Magma V2.19-8 Tue Aug 20 2013 16:18:48 on localhost [Seed = 3616950952] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2956 geometric_solution 6.14373422 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 0 -1 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 0.734807749517 0.484316911084 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.604769912302 0.630516589692 4 5 3 0 0132 1023 0132 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 1 0 0 -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.604769912302 0.630516589692 3 1 3 2 2310 0132 3201 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 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.334210140834 0.906816864118 2 6 1 6 0132 0132 0132 1023 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 -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 2.101028076963 0.716943921411 2 5 5 1 1023 3201 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.275640913583 0.618430884346 6 4 6 4 2310 0132 3201 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499707420707 0.574595724088 ==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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], '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_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), '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_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], '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_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_2, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 915647799775519849607472854227094696303/110183123527515731053393815\ 43772505334*c_0101_6^20 + 19066844341081583605190899358004690143529\ /11018312352751573105339381543772505334*c_0101_6^19 + 25495519970672391985474214855782349497705/5509156176375786552669690\ 771886252667*c_0101_6^18 - 1834616890030752807331522425401333552547\ 99/11018312352751573105339381543772505334*c_0101_6^17 - 24271428212500230584815999608852831921381/5509156176375786552669690\ 771886252667*c_0101_6^16 + 3908189913426896216478155105425967692162\ 5/5509156176375786552669690771886252667*c_0101_6^15 - 42034938241901791058543168921784425116657/5509156176375786552669690\ 771886252667*c_0101_6^14 + 4442803755367992815132872814470357126538\ 88/5509156176375786552669690771886252667*c_0101_6^13 - 266316204318573753242626335712355931204582/550915617637578655266969\ 0771886252667*c_0101_6^12 - 120796217756891304555461107011548450809\ 871/11018312352751573105339381543772505334*c_0101_6^11 + 181838376426575742540417571333053070628850/550915617637578655266969\ 0771886252667*c_0101_6^10 - 105858169046136774615878672827800991142\ 7897/11018312352751573105339381543772505334*c_0101_6^9 + 40664294019614279680407263281515828726823/1101831235275157310533938\ 1543772505334*c_0101_6^8 + 5287595112425844849895851017943393767041\ 09/5509156176375786552669690771886252667*c_0101_6^7 - 113081470241590405875114484156583974749151/787022310910826650381384\ 395983750381*c_0101_6^6 + 12730931122238146987926172190889111195865\ 57/5509156176375786552669690771886252667*c_0101_6^5 - 1102893568795780560942171464683819984016583/55091561763757865526696\ 90771886252667*c_0101_6^4 + 389983911453235513160840472078955761126\ 046/5509156176375786552669690771886252667*c_0101_6^3 - 46130594879392592297355216501218893642295/1101831235275157310533938\ 1543772505334*c_0101_6^2 - 1483654182411988842090487400864749312265\ 6/5509156176375786552669690771886252667*c_0101_6 + 4586884886410549018809335284507964318487/11018312352751573105339381\ 543772505334, c_0011_0 - 1, c_0011_2 - 349968498589974764454606841068739466/39634217096228680235033\ 746560332753*c_0101_6^20 + 7258155318440660651944296570720705543/39\ 634217096228680235033746560332753*c_0101_6^19 + 20091168623963586775648674283286909420/3963421709622868023503374656\ 0332753*c_0101_6^18 - 68293666004197081054665438141977021640/396342\ 17096228680235033746560332753*c_0101_6^17 - 23855194413483629526078994068378952773/3963421709622868023503374656\ 0332753*c_0101_6^16 + 26623393296726277569743311123920398471/396342\ 17096228680235033746560332753*c_0101_6^15 - 30633399174350727502761434249666756673/3963421709622868023503374656\ 0332753*c_0101_6^14 + 337395014906805475301371262213679493046/39634\ 217096228680235033746560332753*c_0101_6^13 - 175823846601856298730546684522720103935/396342170962286802350337465\ 60332753*c_0101_6^12 - 54401819990907641240137020197282561615/39634\ 217096228680235033746560332753*c_0101_6^11 + 132361742522134885512578822916342151413/396342170962286802350337465\ 60332753*c_0101_6^10 - 394934087222626891232858260852710262168/3963\ 4217096228680235033746560332753*c_0101_6^9 - 15257061999990112605635543871800530816/3963421709622868023503374656\ 0332753*c_0101_6^8 + 395669502097038814569098635248284558857/396342\ 17096228680235033746560332753*c_0101_6^7 - 81957051901364963459288806400827916383/5662031013746954319290535222\ 904679*c_0101_6^6 + 932373798367248336668662821185785026192/3963421\ 7096228680235033746560332753*c_0101_6^5 - 774665228018682933080752456574209913045/396342170962286802350337465\ 60332753*c_0101_6^4 + 249409340345538319755759988708717950986/39634\ 217096228680235033746560332753*c_0101_6^3 - 8576738349830160038608595448994812528/39634217096228680235033746560\ 332753*c_0101_6^2 - 9568265502891644148840481217935337938/396342170\ 96228680235033746560332753*c_0101_6 + 1263133695073399488618514752801304632/39634217096228680235033746560\ 332753, c_0101_0 + 186126915033756920535885936076357806/39634217096228680235033\ 746560332753*c_0101_6^20 - 3842245340612742040838183610577447734/39\ 634217096228680235033746560332753*c_0101_6^19 - 11049186011221723760920248123136787086/3963421709622868023503374656\ 0332753*c_0101_6^18 + 35132967743563083051537413839679645533/396342\ 17096228680235033746560332753*c_0101_6^17 + 15666607500708091189573664970324163940/3963421709622868023503374656\ 0332753*c_0101_6^16 - 11627530077834638146379768295235564355/396342\ 17096228680235033746560332753*c_0101_6^15 + 16033232413443763977105104336647980474/3963421709622868023503374656\ 0332753*c_0101_6^14 - 178015799312203041254223199107695533294/39634\ 217096228680235033746560332753*c_0101_6^13 + 76833714855323631498398982185370844999/3963421709622868023503374656\ 0332753*c_0101_6^12 + 30647205362021986365561680442723552261/396342\ 17096228680235033746560332753*c_0101_6^11 - 66805402342097813782146972992386803969/3963421709622868023503374656\ 0332753*c_0101_6^10 + 204952548330202218644760654267379757997/39634\ 217096228680235033746560332753*c_0101_6^9 + 26090955845438815403889167864106772700/3963421709622868023503374656\ 0332753*c_0101_6^8 - 201829789668417833096250021819280270907/396342\ 17096228680235033746560332753*c_0101_6^7 + 41224852384869595739469122131996884964/5662031013746954319290535222\ 904679*c_0101_6^6 - 473900265646681745969939751158005881259/3963421\ 7096228680235033746560332753*c_0101_6^5 + 373857401579128328241814165111769628065/396342170962286802350337465\ 60332753*c_0101_6^4 - 109568914206974884902188191452746710608/39634\ 217096228680235033746560332753*c_0101_6^3 + 1876338479893173957808821571480114367/39634217096228680235033746560\ 332753*c_0101_6^2 + 4509616700824386793163937409834255630/396342170\ 96228680235033746560332753*c_0101_6 - 524331637651395855741066639962551435/396342170962286802350337465603\ 32753, c_0101_1 - 564433694558071693485524581744191092/39634217096228680235033\ 746560332753*c_0101_6^20 + 11688110678527863585429813941113792834/3\ 9634217096228680235033746560332753*c_0101_6^19 + 32765309175877305091278563929356526242/3963421709622868023503374656\ 0332753*c_0101_6^18 - 108913186084871242347283915442491962927/39634\ 217096228680235033746560332753*c_0101_6^17 - 41311151393234871682645032399277284978/3963421709622868023503374656\ 0332753*c_0101_6^16 + 40071362015163419265414183376957329327/396342\ 17096228680235033746560332753*c_0101_6^15 - 49458176043802282967564956983748756359/3963421709622868023503374656\ 0332753*c_0101_6^14 + 542711315971724707385084353135779498163/39634\ 217096228680235033746560332753*c_0101_6^13 - 267111418670057384983811942427033000246/396342170962286802350337465\ 60332753*c_0101_6^12 - 87546889256683746888209846265546838551/39634\ 217096228680235033746560332753*c_0101_6^11 + 209821714673746065660318232579199722430/396342170962286802350337465\ 60332753*c_0101_6^10 - 632123252543579632232417310467736711841/3963\ 4217096228680235033746560332753*c_0101_6^9 - 41879678456567045528060919316176326200/3963421709622868023503374656\ 0332753*c_0101_6^8 + 627491312764323854260336462664516261215/396342\ 17096228680235033746560332753*c_0101_6^7 - 129979639852608566293945562507614377790/566203101374695431929053522\ 2904679*c_0101_6^6 + 1483473722230603289492107883795651229067/39634\ 217096228680235033746560332753*c_0101_6^5 - 1213886157269295983664096424499850400212/39634217096228680235033746\ 560332753*c_0101_6^4 + 383445304386872406206816025984885573098/3963\ 4217096228680235033746560332753*c_0101_6^3 - 13663876043853622691973261965595894677/3963421709622868023503374656\ 0332753*c_0101_6^2 - 14532509775298063328877537168873801403/3963421\ 7096228680235033746560332753*c_0101_6 + 2001038205947911127229533234777786984/39634217096228680235033746560\ 332753, c_0101_2 + 37026725314700137967327817299143421/396342170962286802350337\ 46560332753*c_0101_6^20 - 762078870413008741971999101183312685/3963\ 4217096228680235033746560332753*c_0101_6^19 - 2243482006013111292941862180426143804/39634217096228680235033746560\ 332753*c_0101_6^18 + 6826159305499257039198510403390356733/39634217\ 096228680235033746560332753*c_0101_6^17 + 3444782249157524657077818066760506926/39634217096228680235033746560\ 332753*c_0101_6^16 - 1913694883658666659663425441921275104/39634217\ 096228680235033746560332753*c_0101_6^15 + 3294352061361642187965002497401999740/39634217096228680235033746560\ 332753*c_0101_6^14 - 35170424575266260208530200112591720761/3963421\ 7096228680235033746560332753*c_0101_6^13 + 13246913006116773717588508588565766901/3963421709622868023503374656\ 0332753*c_0101_6^12 + 5756699287566347247854889653719080231/3963421\ 7096228680235033746560332753*c_0101_6^11 - 13093010153825438090039756718758391516/3963421709622868023503374656\ 0332753*c_0101_6^10 + 40150187901147429178858689770948652994/396342\ 17096228680235033746560332753*c_0101_6^9 + 7329546325403220201974907040906423680/39634217096228680235033746560\ 332753*c_0101_6^8 - 38482852158695109149583980974627562861/39634217\ 096228680235033746560332753*c_0101_6^7 + 7992404494643471246247068583636389671/56620310137469543192905352229\ 04679*c_0101_6^6 - 91761165751351520899622101003395114868/396342170\ 96228680235033746560332753*c_0101_6^5 + 70100454969586684812185720924222821053/3963421709622868023503374656\ 0332753*c_0101_6^4 - 19914191820721077479150810085984811896/3963421\ 7096228680235033746560332753*c_0101_6^3 + 239532796077584768115468534770577725/396342170962286802350337465603\ 32753*c_0101_6^2 + 909554142642606193850843391539196024/39634217096\ 228680235033746560332753*c_0101_6 - 94256581607677893631257116316945247/3963421709622868023503374656033\ 2753, c_0101_5 - 65707631469332558958351248260985093/396342170962286802350337\ 46560332753*c_0101_6^20 + 1359759425099133205733858172901598285/396\ 34217096228680235033746560332753*c_0101_6^19 + 3831006027167333440922555448941450160/39634217096228680235033746560\ 332753*c_0101_6^18 - 12590475039184501376864224247633332776/3963421\ 7096228680235033746560332753*c_0101_6^17 - 4861199851660412498316313628450555858/39634217096228680235033746560\ 332753*c_0101_6^16 + 4300074385027661624987858081986321380/39634217\ 096228680235033746560332753*c_0101_6^15 - 5957045422029802500690242540905008669/39634217096228680235033746560\ 332753*c_0101_6^14 + 63129039430932753215403625011594836200/3963421\ 7096228680235033746560332753*c_0101_6^13 - 30370818645168094618268781889071052291/3963421709622868023503374656\ 0332753*c_0101_6^12 - 8930847691307369631058939556721346154/3963421\ 7096228680235033746560332753*c_0101_6^11 + 24148847217829141535509456466724472615/3963421709622868023503374656\ 0332753*c_0101_6^10 - 73660443336731044175143862145796604192/396342\ 17096228680235033746560332753*c_0101_6^9 - 5389633935392788860946358413231227895/39634217096228680235033746560\ 332753*c_0101_6^8 + 71166834525630755957580343735985453041/39634217\ 096228680235033746560332753*c_0101_6^7 - 15121630585763113799321343222378690773/5662031013746954319290535222\ 904679*c_0101_6^6 + 172954113083115961552522373800037538395/3963421\ 7096228680235033746560332753*c_0101_6^5 - 141091666291940326997166803832122870842/396342170962286802350337465\ 60332753*c_0101_6^4 + 46508959863233248609361076065992569353/396342\ 17096228680235033746560332753*c_0101_6^3 - 3184610764628397524145626556225905638/39634217096228680235033746560\ 332753*c_0101_6^2 - 1545722993958655886303825424376565541/396342170\ 96228680235033746560332753*c_0101_6 + 277080632559855731066421776736182834/396342170962286802350337465603\ 32753, c_0101_6^21 - 21*c_0101_6^20 - 52*c_0101_6^19 + 210*c_0101_6^18 + 17*c_0101_6^17 - 93*c_0101_6^16 + 108*c_0101_6^15 - 987*c_0101_6^14 + 754*c_0101_6^13 + 20*c_0101_6^12 - 418*c_0101_6^11 + 1228*c_0101_6^10 - 252*c_0101_6^9 - 1137*c_0101_6^8 + 1936*c_0101_6^7 - 3096*c_0101_6^6 + 2914*c_0101_6^5 - 1300*c_0101_6^4 + 217*c_0101_6^3 + 20*c_0101_6^2 - 11*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB