Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3886447580] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0107 geometric_solution 3.63455540 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 0 0 0 0 0 0 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.467229572826 0.036101209124 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 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 -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 1.274773174591 0.054922882030 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -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 -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 1.880336779996 0.523473548600 2 4 4 2 0132 0132 3201 1023 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 0 1 0 -1 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.105373225448 0.210689293225 3 3 5 6 2310 0132 0132 0132 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 -1 1 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.020722266460 1.979445880386 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 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.494800861142 0.499938032742 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 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.494800861142 0.499938032742 ==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_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), '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_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), '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_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_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_5, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 17397219859239922108708116762325406990857097/1751473901789190270225\ 61422466542973896889*c_0110_6^19 - 353495029696016747000234262805749958335936317/175147390178919027022\ 561422466542973896889*c_0110_6^18 - 1277690639637378881391835446134917430430824332/17514739017891902702\ 2561422466542973896889*c_0110_6^17 - 2742799196224168239330507728368237158657770226/17514739017891902702\ 2561422466542973896889*c_0110_6^16 + 7144795148128475431971389501705793886402939351/17514739017891902702\ 2561422466542973896889*c_0110_6^15 + 22849386359929575008927321322501105888177084898/1751473901789190270\ 22561422466542973896889*c_0110_6^14 + 73302217850635401123907685974884617598165985941/1751473901789190270\ 22561422466542973896889*c_0110_6^13 - 1446725425607204840177599326641018285910838882/17514739017891902702\ 2561422466542973896889*c_0110_6^12 - 122793630759167317402584089516806750449015243585/175147390178919027\ 022561422466542973896889*c_0110_6^11 - 255941979819837277437256418140613588012790068867/175147390178919027\ 022561422466542973896889*c_0110_6^10 - 217962171633824117233517520105620858874848098116/175147390178919027\ 022561422466542973896889*c_0110_6^9 + 183657716197422172023143983318015971270788873847/175147390178919027\ 022561422466542973896889*c_0110_6^8 + 211378933995065972403190894796684954577725434508/175147390178919027\ 022561422466542973896889*c_0110_6^7 - 33154103708218861051096779898559849230313289612/1751473901789190270\ 22561422466542973896889*c_0110_6^6 - 35105681423481726556827240513534309861956726584/1751473901789190270\ 22561422466542973896889*c_0110_6^5 + 8105714758552866496451313947309691820346276102/17514739017891902702\ 2561422466542973896889*c_0110_6^4 - 2449101140296272779711296953521182029611190962/17514739017891902702\ 2561422466542973896889*c_0110_6^3 - 2332442978548871478836106044867774825176829860/17514739017891902702\ 2561422466542973896889*c_0110_6^2 + 275593188768182247371590306155563490065469016/175147390178919027022\ 561422466542973896889*c_0110_6 + 3597061342240541744655929034279836\ 8501298821/175147390178919027022561422466542973896889, c_0011_0 - 1, c_0011_1 + 11225535234693702255446300140155296061587/175147390178919027\ 022561422466542973896889*c_0110_6^19 + 226947516927873483001529821076591511935695/175147390178919027022561\ 422466542973896889*c_0110_6^18 + 8036484741885294820512504303630039\ 47824881/175147390178919027022561422466542973896889*c_0110_6^17 + 1732847328802520396043637624957971976650286/17514739017891902702256\ 1422466542973896889*c_0110_6^16 - 467191771201461245956641084676201\ 6126159242/175147390178919027022561422466542973896889*c_0110_6^15 - 14067074292214805102301193065820272522795373/1751473901789190270225\ 61422466542973896889*c_0110_6^14 - 47165783013976032333264594566409294249895492/1751473901789190270225\ 61422466542973896889*c_0110_6^13 + 4144275620872212735104500829511464072886498/17514739017891902702256\ 1422466542973896889*c_0110_6^12 + 715542920027282996754017320516071\ 50678263687/175147390178919027022561422466542973896889*c_0110_6^11 + 168447564851800649670765316417981724944190511/175147390178919027022\ 561422466542973896889*c_0110_6^10 + 131400672255785174688893699962522670172837505/175147390178919027022\ 561422466542973896889*c_0110_6^9 - 111075379438733586670197765946531289008898010/175147390178919027022\ 561422466542973896889*c_0110_6^8 - 127400034564478657172814655977947588972473946/175147390178919027022\ 561422466542973896889*c_0110_6^7 - 2117025852290841856067652907505857323143706/17514739017891902702256\ 1422466542973896889*c_0110_6^6 + 3479799880066691929673343490702559\ 9722507522/175147390178919027022561422466542973896889*c_0110_6^5 - 3324413559315064287604298135082569122960281/17514739017891902702256\ 1422466542973896889*c_0110_6^4 - 1690490150668847847353079546589928\ 082306885/175147390178919027022561422466542973896889*c_0110_6^3 + 3292320946036575088562026408295074326533549/17514739017891902702256\ 1422466542973896889*c_0110_6^2 - 5814770004085316456408100234275018\ 46121186/175147390178919027022561422466542973896889*c_0110_6 - 103122358752639271862510583740698940711698/175147390178919027022561\ 422466542973896889, c_0011_5 - 1699153374895895833318757613988105902572/1751473901789190270\ 22561422466542973896889*c_0110_6^19 - 33813568907250630491923490469088445004954/1751473901789190270225614\ 22466542973896889*c_0110_6^18 - 11197408002077696240574115298598255\ 4676514/175147390178919027022561422466542973896889*c_0110_6^17 - 247935017748985461779980458529742145846179/175147390178919027022561\ 422466542973896889*c_0110_6^16 + 7103741097363445207769148456637376\ 50719734/175147390178919027022561422466542973896889*c_0110_6^15 + 1740086856190493287973085916609993290284909/17514739017891902702256\ 1422466542973896889*c_0110_6^14 + 700806833297152756498485207083185\ 1696632096/175147390178919027022561422466542973896889*c_0110_6^13 - 1553627653906605848680973842804689477190825/17514739017891902702256\ 1422466542973896889*c_0110_6^12 - 595521271038391144329675761654538\ 8452495672/175147390178919027022561422466542973896889*c_0110_6^11 - 23654966833395346821844786387739745204958187/1751473901789190270225\ 61422466542973896889*c_0110_6^10 - 18608380080370319323526839509063296356403533/1751473901789190270225\ 61422466542973896889*c_0110_6^9 + 827196432836787472435431562106530\ 8325488870/175147390178919027022561422466542973896889*c_0110_6^8 + 3029744101912932250180143850136529302182592/17514739017891902702256\ 1422466542973896889*c_0110_6^7 + 7413117650975524084712410903038518\ 145747505/175147390178919027022561422466542973896889*c_0110_6^6 - 188227892281393382030663896518802605507818/175147390178919027022561\ 422466542973896889*c_0110_6^5 - 11837912647476099225073010243558488\ 29013754/175147390178919027022561422466542973896889*c_0110_6^4 + 1417123427988213240402946281732423580281446/17514739017891902702256\ 1422466542973896889*c_0110_6^3 - 5339895869928978227186213968939475\ 98931532/175147390178919027022561422466542973896889*c_0110_6^2 + 41676304439123205416747557476657914611428/1751473901789190270225614\ 22466542973896889*c_0110_6 + 57421748994518143639680840647071318551\ 010/175147390178919027022561422466542973896889, c_0101_0 + 166297399064999830940436975943426187238418/17514739017891902\ 7022561422466542973896889*c_0110_6^19 + 3240780330308994188370337136572832860677415/17514739017891902702256\ 1422466542973896889*c_0110_6^18 + 947808538187846630520636872704761\ 0365367557/175147390178919027022561422466542973896889*c_0110_6^17 + 17511908405276592892183981418784824319146915/1751473901789190270225\ 61422466542973896889*c_0110_6^16 - 85615318707977086894695002112878416893005969/1751473901789190270225\ 61422466542973896889*c_0110_6^15 - 152921975855622654666264665534973278046326082/175147390178919027022\ 561422466542973896889*c_0110_6^14 - 554884636696844389372077742845253792556876970/175147390178919027022\ 561422466542973896889*c_0110_6^13 + 522472301979669042489469655682586856146201257/175147390178919027022\ 561422466542973896889*c_0110_6^12 + 899849562425313855626376952829723977382828771/175147390178919027022\ 561422466542973896889*c_0110_6^11 + 1644637942559497932779929498079525009708626800/17514739017891902702\ 2561422466542973896889*c_0110_6^10 + 459129560824649946125862615232752360801353749/175147390178919027022\ 561422466542973896889*c_0110_6^9 - 2665806601081789463411021520767837475701841406/17514739017891902702\ 2561422466542973896889*c_0110_6^8 - 167100605761730493149177665866886934708989742/175147390178919027022\ 561422466542973896889*c_0110_6^7 + 964474613362990920036176897893067827268827084/175147390178919027022\ 561422466542973896889*c_0110_6^6 - 171424173819922826979222368206231280886366816/175147390178919027022\ 561422466542973896889*c_0110_6^5 - 61571994485946882575131848052092909238489059/1751473901789190270225\ 61422466542973896889*c_0110_6^4 + 560524713444143915128353575118715\ 30797990295/175147390178919027022561422466542973896889*c_0110_6^3 - 11387615762488034601609834263881528169446099/1751473901789190270225\ 61422466542973896889*c_0110_6^2 - 261820628401648341422276725425132\ 4147054540/175147390178919027022561422466542973896889*c_0110_6 + 352195402364124540491927280667244597056203/175147390178919027022561\ 422466542973896889, c_0101_2 - 64215541864110074522542770202157378684765/175147390178919027\ 022561422466542973896889*c_0110_6^19 - 1244967323391365073830759541563143341127681/17514739017891902702256\ 1422466542973896889*c_0110_6^18 - 353779932732828182262068319387348\ 4598983611/175147390178919027022561422466542973896889*c_0110_6^17 - 6467846195715680498316328220544270498777687/17514739017891902702256\ 1422466542973896889*c_0110_6^16 + 334873353866988948960182387084440\ 54386480706/175147390178919027022561422466542973896889*c_0110_6^15 + 55195440930875163932899450534560955564987845/1751473901789190270225\ 61422466542973896889*c_0110_6^14 + 209917370390089852021357384901274919337180310/175147390178919027022\ 561422466542973896889*c_0110_6^13 - 218932383165012691434377006651425363381583735/175147390178919027022\ 561422466542973896889*c_0110_6^12 - 312506758343103576818487224149833196121519412/175147390178919027022\ 561422466542973896889*c_0110_6^11 - 603121320217530717195571315713874250108674073/175147390178919027022\ 561422466542973896889*c_0110_6^10 - 136255427263155195718725537046710003196593687/175147390178919027022\ 561422466542973896889*c_0110_6^9 + 998180611407679434946635646061533445236769324/175147390178919027022\ 561422466542973896889*c_0110_6^8 - 77123300446669085166404127482490349078148518/1751473901789190270225\ 61422466542973896889*c_0110_6^7 - 339268320996539447483410890317441\ 284289181716/175147390178919027022561422466542973896889*c_0110_6^6 + 132644478922091982270195459416473614041189518/175147390178919027022\ 561422466542973896889*c_0110_6^5 + 9153174228854200077182012912885662790253566/17514739017891902702256\ 1422466542973896889*c_0110_6^4 - 2563022467010228786194379162028149\ 3068281266/175147390178919027022561422466542973896889*c_0110_6^3 + 7262329034797705912592782822176526339780431/17514739017891902702256\ 1422466542973896889*c_0110_6^2 - 1569047110118133369030583408906779\ 97061117/175147390178919027022561422466542973896889*c_0110_6 - 215124892714461511460741224545891150795510/175147390178919027022561\ 422466542973896889, c_0101_4 + 18557327754937669029214945791745089364710/175147390178919027\ 022561422466542973896889*c_0110_6^19 + 369164438037903819449771648598074104815058/175147390178919027022561\ 422466542973896889*c_0110_6^18 + 1207488669644462669954370057829492\ 159247911/175147390178919027022561422466542973896889*c_0110_6^17 + 2446298881038204257778888354200009906900438/17514739017891902702256\ 1422466542973896889*c_0110_6^16 - 856867205228095817183513789923985\ 2800474907/175147390178919027022561422466542973896889*c_0110_6^15 - 20556705617494839133040284692521745183663799/1751473901789190270225\ 61422466542973896889*c_0110_6^14 - 70407316903395437600612366732645481332959708/1751473901789190270225\ 61422466542973896889*c_0110_6^13 + 30120100870151354016862672184086458590563915/1751473901789190270225\ 61422466542973896889*c_0110_6^12 + 112474040447085535465939449544250920115340085/175147390178919027022\ 561422466542973896889*c_0110_6^11 + 232193049226371320270615547535011486362694436/175147390178919027022\ 561422466542973896889*c_0110_6^10 + 141373605629420736765785246335294285179564666/175147390178919027022\ 561422466542973896889*c_0110_6^9 - 240515760022837176644795189233150356367680160/175147390178919027022\ 561422466542973896889*c_0110_6^8 - 122072744565169432198472351746907237685471970/175147390178919027022\ 561422466542973896889*c_0110_6^7 + 59022453492690462341309324306158644878011802/1751473901789190270225\ 61422466542973896889*c_0110_6^6 + 193719902847361752221766109171946\ 44338094413/175147390178919027022561422466542973896889*c_0110_6^5 - 6806710276498348737528330872324180587792025/17514739017891902702256\ 1422466542973896889*c_0110_6^4 + 6175819224282276649870836924732032\ 22829693/175147390178919027022561422466542973896889*c_0110_6^3 + 1408173517682256920119003315024973355556021/17514739017891902702256\ 1422466542973896889*c_0110_6^2 - 4390520946954941657247350430273217\ 19455153/175147390178919027022561422466542973896889*c_0110_6 - 45189148025162262495954341534474427104142/1751473901789190270225614\ 22466542973896889, c_0110_6^20 + 20*c_0110_6^19 + 67*c_0110_6^18 + 135*c_0110_6^17 - 459*c_0110_6^16 - 1179*c_0110_6^15 - 3817*c_0110_6^14 + 1399*c_0110_6^13 + 6910*c_0110_6^12 + 12643*c_0110_6^11 + 7994*c_0110_6^10 - 14225*c_0110_6^9 - 8834*c_0110_6^8 + 5101*c_0110_6^7 + 1619*c_0110_6^6 - 907*c_0110_6^5 + 190*c_0110_6^4 + 99*c_0110_6^3 - 48*c_0110_6^2 - 3*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB