Magma V2.19-8 Tue Aug 20 2013 16:16:28 on localhost [Seed = 3515895095] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0750 geometric_solution 4.69430254 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548166960069 0.468787372867 3 2 2 0 0132 3012 2031 0132 0 0 0 0 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 1 -1 0 -1 0 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.692141382483 0.702101491371 1 3 0 1 1230 3201 0132 1302 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 1 0 -1 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.692141382483 0.702101491371 1 4 2 4 0132 0132 2310 1023 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.942426937968 1.070654050425 5 3 5 3 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.727240868887 0.411081238175 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476504840186 0.136317701826 6 5 6 5 2310 2310 3201 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 -1.406685695647 0.197254626834 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 156347411560868274981075858235137430733809/441253940131253952079882\ 987767279107361*c_0101_5^19 - 1262080506706759925369005893065911440\ 763694/441253940131253952079882987767279107361*c_0101_5^18 - 803387070404219691234693530990154823984167/147084646710417984026627\ 662589093035787*c_0101_5^17 + 1183567245743344921156216272198005590\ 1776748/147084646710417984026627662589093035787*c_0101_5^16 - 13311089621162847316393866912960040370068686/1470846467104179840266\ 27662589093035787*c_0101_5^15 - 50097452999650893374134727094818467\ 402907391/147084646710417984026627662589093035787*c_0101_5^14 + 217120887017394506946280496331835725100422623/441253940131253952079\ 882987767279107361*c_0101_5^13 - 7668860057826226269860371360708250\ 1836446360/441253940131253952079882987767279107361*c_0101_5^12 + 36808974708328613392702016614898308589284750/1470846467104179840266\ 27662589093035787*c_0101_5^11 + 53134321466482860868322863272022853\ 9103068372/147084646710417984026627662589093035787*c_0101_5^10 - 969360846672087601202033669466916034833248845/441253940131253952079\ 882987767279107361*c_0101_5^9 - 96333028448630632308768967794267692\ 1068553494/147084646710417984026627662589093035787*c_0101_5^8 - 258392814531398386044416809404043070981382395/441253940131253952079\ 882987767279107361*c_0101_5^7 + 50116601885948354124704825775668941\ 6181735888/441253940131253952079882987767279107361*c_0101_5^6 + 303866182632648218063496853026356712022883949/147084646710417984026\ 627662589093035787*c_0101_5^5 + 16154459757034940541875217606230145\ 16096153702/441253940131253952079882987767279107361*c_0101_5^4 + 540825209709321280364618565971296572834295409/441253940131253952079\ 882987767279107361*c_0101_5^3 - 87450788223551787570761740984919818\ 513094399/441253940131253952079882987767279107361*c_0101_5^2 + 1341342469051723764942445215278773322018604/14708464671041798402662\ 7662589093035787*c_0101_5 + 204909520403221880130864423087784550302\ 4026/441253940131253952079882987767279107361, c_0011_0 - 1, c_0011_1 + 53144626411751854464849044305408962368/441253940131253952079\ 882987767279107361*c_0101_5^19 - 4826073975609599042751200071506929\ 74426/441253940131253952079882987767279107361*c_0101_5^18 - 113672366900781507993889533664896045422/147084646710417984026627662\ 589093035787*c_0101_5^17 + 4163737929337802601748895040319378885522\ /147084646710417984026627662589093035787*c_0101_5^16 - 8705784407164833231692656738648680817891/14708464671041798402662766\ 2589093035787*c_0101_5^15 - 892107867613307890166523128048340362558\ 4/147084646710417984026627662589093035787*c_0101_5^14 + 104985438131471948520453068948659448801470/441253940131253952079882\ 987767279107361*c_0101_5^13 - 1274828756300093518752419033303475086\ 60795/441253940131253952079882987767279107361*c_0101_5^12 + 49685726648124769963816780314386814372179/1470846467104179840266276\ 62589093035787*c_0101_5^11 + 13719416984564452359755781426155170463\ 7861/147084646710417984026627662589093035787*c_0101_5^10 - 767713835834054649444510826586273487800569/441253940131253952079882\ 987767279107361*c_0101_5^9 - 91879285520093821456387327043199728140\ 280/147084646710417984026627662589093035787*c_0101_5^8 + 314131607094186648680535299140691789236988/441253940131253952079882\ 987767279107361*c_0101_5^7 - 96886132068798325306749673922997800952\ 152/441253940131253952079882987767279107361*c_0101_5^6 + 117518767660859974217403177701164550600238/147084646710417984026627\ 662589093035787*c_0101_5^5 + 20503748524205332489363095808554173069\ 2085/441253940131253952079882987767279107361*c_0101_5^4 - 78006720489613357756123692666453140201174/4412539401312539520798829\ 87767279107361*c_0101_5^3 + 152657334943357297204058588202209674191\ 98/441253940131253952079882987767279107361*c_0101_5^2 + 194291730143679708696882992776116876407/147084646710417984026627662\ 589093035787*c_0101_5 - 35502920774291851019451479418571140805/4412\ 53940131253952079882987767279107361, c_0011_6 - 36823337908068616475020550558832957131/441253940131253952079\ 882987767279107361*c_0101_5^19 + 3200755384713576423757704860855604\ 44441/441253940131253952079882987767279107361*c_0101_5^18 + 366168241472453874314808277409694270929/441253940131253952079882987\ 767279107361*c_0101_5^17 - 8562291054071769041200328446262567717302\ /441253940131253952079882987767279107361*c_0101_5^16 + 14736563399876269291658166064223191946876/4412539401312539520798829\ 87767279107361*c_0101_5^15 + 25542210566530330262546043094392006281\ 900/441253940131253952079882987767279107361*c_0101_5^14 - 65560967603630419342089498698098509526334/4412539401312539520798829\ 87767279107361*c_0101_5^13 + 20169435652875401628077267168819938745\ 681/147084646710417984026627662589093035787*c_0101_5^12 - 23171540295949071708433538733335720053408/1470846467104179840266276\ 62589093035787*c_0101_5^11 - 10862538823208699687163119087152323281\ 0792/147084646710417984026627662589093035787*c_0101_5^10 + 423159068114176813777193872210651836675724/441253940131253952079882\ 987767279107361*c_0101_5^9 + 39274203375002463730400249848663948851\ 9619/441253940131253952079882987767279107361*c_0101_5^8 - 140259064257979085381420117848282681661662/441253940131253952079882\ 987767279107361*c_0101_5^7 - 77630558971183753881698944094747751051\ 59/441253940131253952079882987767279107361*c_0101_5^6 - 229295916478096834971326663290675869216335/441253940131253952079882\ 987767279107361*c_0101_5^5 - 23543814064117714896928152692575812692\ 4688/441253940131253952079882987767279107361*c_0101_5^4 - 1593859337040039119969505261667623219221/44125394013125395207988298\ 7767279107361*c_0101_5^3 + 6643832550299601463246797422417075512706\ /441253940131253952079882987767279107361*c_0101_5^2 - 548197637025561786619638886810038157204/441253940131253952079882987\ 767279107361*c_0101_5 - 6595776341901670007807906708083932585/14708\ 4646710417984026627662589093035787, c_0101_0 + 43103259524543440098215214071726682229/441253940131253952079\ 882987767279107361*c_0101_5^19 - 3920192718164443660653978284664381\ 28618/441253940131253952079882987767279107361*c_0101_5^18 - 275777743098409859340572696277796158121/441253940131253952079882987\ 767279107361*c_0101_5^17 + 1017602748163004816004906550380132602807\ 0/441253940131253952079882987767279107361*c_0101_5^16 - 21285677801280716706338893737955339962418/4412539401312539520798829\ 87767279107361*c_0101_5^15 - 22494035526287027719005808974868676329\ 603/441253940131253952079882987767279107361*c_0101_5^14 + 87519937001787861102295790860876142205046/4412539401312539520798829\ 87767279107361*c_0101_5^13 - 33939383619282529965788138638282566819\ 339/147084646710417984026627662589093035787*c_0101_5^12 + 37875193505000437594374540278869070961260/1470846467104179840266276\ 62589093035787*c_0101_5^11 + 11382655574139453437473239731247847543\ 8702/147084646710417984026627662589093035787*c_0101_5^10 - 638205190254692259137005042655781899510888/441253940131253952079882\ 987767279107361*c_0101_5^9 - 25308060501610273050060661869920289462\ 0152/441253940131253952079882987767279107361*c_0101_5^8 + 318094542891298435763060329597866611151587/441253940131253952079882\ 987767279107361*c_0101_5^7 - 45262308075613852322944772677534517697\ 905/441253940131253952079882987767279107361*c_0101_5^6 + 264614337863210182484791705039179700940917/441253940131253952079882\ 987767279107361*c_0101_5^5 + 16478709315619444439510147540810398133\ 5784/441253940131253952079882987767279107361*c_0101_5^4 - 95919303684539750373850701663788732167823/4412539401312539520798829\ 87767279107361*c_0101_5^3 - 101654536046324675995645369518656951520\ 70/441253940131253952079882987767279107361*c_0101_5^2 + 3799509105136153206151437992654096248046/44125394013125395207988298\ 7767279107361*c_0101_5 - 35074840415178486111322945116682075837/147\ 084646710417984026627662589093035787, c_0101_1 - 17422772741772672659376300382855637437/441253940131253952079\ 882987767279107361*c_0101_5^19 + 1282700676959906196950043682412183\ 06141/441253940131253952079882987767279107361*c_0101_5^18 + 126429876341425209457848169108767755558/147084646710417984026627662\ 589093035787*c_0101_5^17 - 1287943116228800831207589744966206641102\ /147084646710417984026627662589093035787*c_0101_5^16 + 521692828285218116597812539597226260661/147084646710417984026627662\ 589093035787*c_0101_5^15 + 7481868611048825231776875299655469105057\ /147084646710417984026627662589093035787*c_0101_5^14 - 17464380946121192655172649256614631509093/4412539401312539520798829\ 87767279107361*c_0101_5^13 - 14288221935490937856169725026986861858\ 730/441253940131253952079882987767279107361*c_0101_5^12 + 4786889562217433104072896339996716073642/14708464671041798402662766\ 2589093035787*c_0101_5^11 - 703050218299298384607088514372083748137\ 02/147084646710417984026627662589093035787*c_0101_5^10 + 11935992319724081356814579092909452526652/4412539401312539520798829\ 87767279107361*c_0101_5^9 + 160653462199130758521317275280086324679\ 220/147084646710417984026627662589093035787*c_0101_5^8 + 110418173571497978188669432997649101280419/441253940131253952079882\ 987767279107361*c_0101_5^7 - 10027291443507262671594411145777421055\ 9632/441253940131253952079882987767279107361*c_0101_5^6 - 30832595572703652953427075506530519572526/1470846467104179840266276\ 62589093035787*c_0101_5^5 - 261265342089634033395619381780993856880\ 463/441253940131253952079882987767279107361*c_0101_5^4 - 117205965574909263235691493410624769076547/441253940131253952079882\ 987767279107361*c_0101_5^3 + 13000572556572954600913989465621809408\ 006/441253940131253952079882987767279107361*c_0101_5^2 - 657367649573080143013085364386761258871/147084646710417984026627662\ 589093035787*c_0101_5 - 299749541672575980485132177755428702004/441\ 253940131253952079882987767279107361, c_0101_4 - 23812848955533093774421437860053015361/441253940131253952079\ 882987767279107361*c_0101_5^19 + 2170653302083854006381519963980881\ 68368/441253940131253952079882987767279107361*c_0101_5^18 + 145575936186295400009987753028120112115/441253940131253952079882987\ 767279107361*c_0101_5^17 - 5603709399726312532202626407061339935040\ /441253940131253952079882987767279107361*c_0101_5^16 + 11888291109831641521208334185519260146659/4412539401312539520798829\ 87767279107361*c_0101_5^15 + 11639038162096887537597291213954571025\ 894/441253940131253952079882987767279107361*c_0101_5^14 - 47422373597765723416804095240659947981208/4412539401312539520798829\ 87767279107361*c_0101_5^13 + 19432717692093242097314515061329376299\ 517/147084646710417984026627662589093035787*c_0101_5^12 - 22839671596952171138637577033916267923417/1470846467104179840266276\ 62589093035787*c_0101_5^11 - 60497335517037486078152412506403490332\ 021/147084646710417984026627662589093035787*c_0101_5^10 + 349282696808126642451134097340933326800554/441253940131253952079882\ 987767279107361*c_0101_5^9 + 11574621978981089059627839354604704992\ 4562/441253940131253952079882987767279107361*c_0101_5^8 - 144614217073185301955901964423143114874333/441253940131253952079882\ 987767279107361*c_0101_5^7 + 38186258752534270644993962350709292407\ 554/441253940131253952079882987767279107361*c_0101_5^6 - 159155867795094438217330623141545726582702/441253940131253952079882\ 987767279107361*c_0101_5^5 - 85483411016787446166189125238593661308\ 347/441253940131253952079882987767279107361*c_0101_5^4 + 39870964604686514395529396650834439158552/4412539401312539520798829\ 87767279107361*c_0101_5^3 - 287430711733161918563169539975400904260\ 4/441253940131253952079882987767279107361*c_0101_5^2 + 926055785129359781560431412396888330040/441253940131253952079882987\ 767279107361*c_0101_5 + 14187499966648347616275994926805492716/1470\ 84646710417984026627662589093035787, c_0101_5^20 - 8*c_0101_5^19 - 16*c_0101_5^18 + 226*c_0101_5^17 - 239*c_0101_5^16 - 980*c_0101_5^15 + 1320*c_0101_5^14 - 390*c_0101_5^13 + 668*c_0101_5^12 + 10251*c_0101_5^11 - 5468*c_0101_5^10 - 18939*c_0101_5^9 - 2964*c_0101_5^8 + 3079*c_0101_5^7 + 6046*c_0101_5^6 + 10761*c_0101_5^5 + 4198*c_0101_5^4 - 307*c_0101_5^3 - 7*c_0101_5^2 + 14*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB