Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2210537144] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2429 geometric_solution 5.77730390 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 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 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.997229100071 1.433200236494 0 4 4 0 0132 0132 3201 3201 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 1 0 -1 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.331768206893 0.873162854203 3 4 5 0 1302 2310 0132 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 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.433134045947 0.682172217203 4 2 0 5 2310 2031 0132 2310 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 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.433134045947 0.682172217203 1 1 3 2 2310 0132 3201 3201 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077490039837 0.651854196725 3 6 6 2 3201 0132 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 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.043122868127 0.619621242343 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.166956880201 0.688161629314 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_2']), '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_0'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 46802924217287365525705323945375506533219178141254192/8724821276291\ 340968050878088859424291493347929205*c_0101_6^19 - 37971804543964412086363048305038346644273556587081783/1080215967540\ 832691282489668144500150375366886473*c_0101_6^18 - 1465484794221607087499345065622513407752948616513237811/22684535318\ 3574865169322830310345031578827046159330*c_0101_6^17 + 235785612758895233331129637982822980690045886041666975006/793958736\ 142512028092629906086207610525894661557655*c_0101_6^16 + 2508947033623673518465159504116503475984252089650325089/11342267659\ 1787432584661415155172515789413523079665*c_0101_6^15 - 218499900530533491382863940191122353959557498065531196642/264652912\ 047504009364209968695402536841964887185885*c_0101_6^14 - 59876189485048225206250726508551260515254432971760623859/2646529120\ 47504009364209968695402536841964887185885*c_0101_6^13 + 16619292121276055913295836468503124587658226619741825104/2940587911\ 6389334373801107632822504093551654131765*c_0101_6^12 - 301121710173676733399848682510167716166779944277652003372/793958736\ 142512028092629906086207610525894661557655*c_0101_6^11 - 316178249269175876583595642595959575892009074305173473541/793958736\ 142512028092629906086207610525894661557655*c_0101_6^10 + 1825013722102235669357779944174498398408654014666508791/81431665245\ 38584903514152882935462672060458067258*c_0101_6^9 + 349034887734297808531245980386639486634228838574658294/610737489340\ 39386776356146622015970040453435504435*c_0101_6^8 - 55621254123790321478299798669320384087815060148695966519/1587917472\ 28502405618525981217241522105178932311531*c_0101_6^7 - 151984314725193471044069722148561200685068177862986925714/793958736\ 142512028092629906086207610525894661557655*c_0101_6^6 + 147255085883568945311116845221941597133355385240647357613/158791747\ 2285024056185259812172415221051789323115310*c_0101_6^5 + 71492849684157180661087333859402620471405131576801444979/1587917472\ 285024056185259812172415221051789323115310*c_0101_6^4 - 540193303368385043632678513856216742606281381871412388/214583442200\ 67892651152159623951557041240396258315*c_0101_6^3 + 421419041519318128350819321992333111562638454319305715/317583494457\ 004811237051962434483044210357864623062*c_0101_6^2 + 3009766759537334216755733240577803597460875509689161758/79395873614\ 2512028092629906086207610525894661557655*c_0101_6 - 1372406023059099538191220994550406760507196854757925703/15879174722\ 85024056185259812172415221051789323115310, c_0011_0 - 1, c_0011_2 - 61629133351541378658330705436265128742640146996/923261510718\ 6604198995638189269232054490315269*c_0101_6^19 + 399561043104775423120214669429416610498512626868/923261510718660419\ 8995638189269232054490315269*c_0101_6^18 + 102145331261919804395561090215908836415923950197/923261510718660419\ 8995638189269232054490315269*c_0101_6^17 - 3409765192546115931429989320011059843500496028113/92326151071866041\ 98995638189269232054490315269*c_0101_6^16 - 461366875855223534893583092720357200713379558162/923261510718660419\ 8995638189269232054490315269*c_0101_6^15 + 9447729714736343830458029334114017615499334234767/92326151071866041\ 98995638189269232054490315269*c_0101_6^14 + 3032556709205684476372539451414106379913432222177/92326151071866041\ 98995638189269232054490315269*c_0101_6^13 - 6197835455512627252742237607451879394891400880763/92326151071866041\ 98995638189269232054490315269*c_0101_6^12 + 4484364581662939705699474179815638582576263041557/92326151071866041\ 98995638189269232054490315269*c_0101_6^11 + 4786791925488858456335304544518068955044380069843/92326151071866041\ 98995638189269232054490315269*c_0101_6^10 - 2539992713446680531503960882602911625471840920909/92326151071866041\ 98995638189269232054490315269*c_0101_6^9 + 204665250250770075278532772485729309231093842890/923261510718660419\ 8995638189269232054490315269*c_0101_6^8 + 4053708533693858799837499064219011991173098502373/92326151071866041\ 98995638189269232054490315269*c_0101_6^7 + 2352746399007478426715737691492630076522826950802/92326151071866041\ 98995638189269232054490315269*c_0101_6^6 - 829377408972523035089617697464704834021275204973/923261510718660419\ 8995638189269232054490315269*c_0101_6^5 - 358068907254917188873929379001237177492080865281/923261510718660419\ 8995638189269232054490315269*c_0101_6^4 + 8463365021436760220777913450026413802826007576/24953013803207038375\ 6638869980249514986224737*c_0101_6^3 - 52681904091469805185890835655907107049856295698/9232615107186604198\ 995638189269232054490315269*c_0101_6^2 - 40947142315217507232195573600763986806116281693/9232615107186604198\ 995638189269232054490315269*c_0101_6 + 5564154856276637135531557204993874419052214825/92326151071866041989\ 95638189269232054490315269, c_0011_5 + 1004080740140092165254036049191098779152890685793/9232615107\ 186604198995638189269232054490315269*c_0101_6^19 - 6386867782733367794673567963693723838465779102836/92326151071866041\ 98995638189269232054490315269*c_0101_6^18 - 2495742813209415000833419189911873242335686493451/92326151071866041\ 98995638189269232054490315269*c_0101_6^17 + 55556063552917983017537122362641631851378913893919/9232615107186604\ 198995638189269232054490315269*c_0101_6^16 + 14501010948296391941825269639068887351203342630370/9232615107186604\ 198995638189269232054490315269*c_0101_6^15 - 154953266117073324434855789461165563654253982813635/923261510718660\ 4198995638189269232054490315269*c_0101_6^14 - 69480280027686966994761349549224340234989634705637/9232615107186604\ 198995638189269232054490315269*c_0101_6^13 + 100485433051263425405549388623783939037830469951479/923261510718660\ 4198995638189269232054490315269*c_0101_6^12 - 56512146857606681204409236747465837745373305660993/9232615107186604\ 198995638189269232054490315269*c_0101_6^11 - 90299783748457617982182882103452858887669500134663/9232615107186604\ 198995638189269232054490315269*c_0101_6^10 + 33097368117560003875530202453414804008416583285596/9232615107186604\ 198995638189269232054490315269*c_0101_6^9 + 5906011927495465922577852830803009594281481499851/92326151071866041\ 98995638189269232054490315269*c_0101_6^8 - 67518853387054503297850209805388791713766534703878/9232615107186604\ 198995638189269232054490315269*c_0101_6^7 - 46797608523255043467362682249736613565809898419488/9232615107186604\ 198995638189269232054490315269*c_0101_6^6 + 11156851536733192903085918427959035335182569057213/9232615107186604\ 198995638189269232054490315269*c_0101_6^5 + 9951903941405715843479654849728870144631641429647/92326151071866041\ 98995638189269232054490315269*c_0101_6^4 - 119840543044263970643221892271335931904809971569/249530138032070383\ 756638869980249514986224737*c_0101_6^3 - 169683961595054708115379332164277364268407930161/923261510718660419\ 8995638189269232054490315269*c_0101_6^2 + 805641445438250444398120656726015612011417668493/923261510718660419\ 8995638189269232054490315269*c_0101_6 - 146946793801902593592198489376707105615315007756/923261510718660419\ 8995638189269232054490315269, c_0101_0 - 284271917962654566643032339068978088388149703677/92326151071\ 86604198995638189269232054490315269*c_0101_6^19 + 1790996260248459006410563812633804281412116890712/92326151071866041\ 98995638189269232054490315269*c_0101_6^18 + 812153960914433050651159841130820080949141563608/923261510718660419\ 8995638189269232054490315269*c_0101_6^17 - 15666752264740783785389027713356699382475479000646/9232615107186604\ 198995638189269232054490315269*c_0101_6^16 - 5004311172292715743972239840975977673414538805798/92326151071866041\ 98995638189269232054490315269*c_0101_6^15 + 43386567648283240515524968979039050977746653157989/9232615107186604\ 198995638189269232054490315269*c_0101_6^14 + 21939033730177034568589656651200703610111118836568/9232615107186604\ 198995638189269232054490315269*c_0101_6^13 - 26548169116468750903919393549451995114443527579927/9232615107186604\ 198995638189269232054490315269*c_0101_6^12 + 15356628467687961951232927641502121434361871204523/9232615107186604\ 198995638189269232054490315269*c_0101_6^11 + 26165635699675581138264715698024334977258655916570/9232615107186604\ 198995638189269232054490315269*c_0101_6^10 - 7865550447880582617650168238395485382170301125708/92326151071866041\ 98995638189269232054490315269*c_0101_6^9 - 1322028367164252099647074073763475940820332424203/92326151071866041\ 98995638189269232054490315269*c_0101_6^8 + 18943838341401000764755747885037863590224168732161/9232615107186604\ 198995638189269232054490315269*c_0101_6^7 + 14372795751384763709438804558725859963798863301948/9232615107186604\ 198995638189269232054490315269*c_0101_6^6 - 2015609119871002269114148401638556922025549788990/92326151071866041\ 98995638189269232054490315269*c_0101_6^5 - 2507202910236824031026565620713535274111500776141/92326151071866041\ 98995638189269232054490315269*c_0101_6^4 + 32626172983908572968886579981820017878242019971/2495301380320703837\ 56638869980249514986224737*c_0101_6^3 + 77886413627218325064824182623197464339182505470/9232615107186604198\ 995638189269232054490315269*c_0101_6^2 - 196812350317242856685388786509304381835925593200/923261510718660419\ 8995638189269232054490315269*c_0101_6 + 22678799664671922286680555119123090660482198722/9232615107186604198\ 995638189269232054490315269, c_0101_1 - 1684381543248301064219241930284387639190925104120/9232615107\ 186604198995638189269232054490315269*c_0101_6^19 + 10893758189551901955193130749406349980817182687218/9232615107186604\ 198995638189269232054490315269*c_0101_6^18 + 2927507015346482509650576805984228725612270440044/92326151071866041\ 98995638189269232054490315269*c_0101_6^17 - 92818123127472170311140373116027697589567720035927/9232615107186604\ 198995638189269232054490315269*c_0101_6^16 - 14674778865051290739318323040132961562588896266838/9232615107186604\ 198995638189269232054490315269*c_0101_6^15 + 256274948830158796621750046829619804227732045989720/923261510718660\ 4198995638189269232054490315269*c_0101_6^14 + 91495188235326000158033841174802225661209485290297/9232615107186604\ 198995638189269232054490315269*c_0101_6^13 - 164945562482912976826846024879323265214763914776829/923261510718660\ 4198995638189269232054490315269*c_0101_6^12 + 109699408675905395974268938031261048994796895110236/923261510718660\ 4198995638189269232054490315269*c_0101_6^11 + 132251880819848101432556611060243374920428153190304/923261510718660\ 4198995638189269232054490315269*c_0101_6^10 - 58477996347310191535602940752365085132597240246969/9232615107186604\ 198995638189269232054490315269*c_0101_6^9 - 2759898541865904342190012009370573608260485147002/92326151071866041\ 98995638189269232054490315269*c_0101_6^8 + 109771501894629853800439102213085717736929747272282/923261510718660\ 4198995638189269232054490315269*c_0101_6^7 + 69108767262265425779404806038508296129468446195478/9232615107186604\ 198995638189269232054490315269*c_0101_6^6 - 21030230563168354009948104201653903829316341427813/9232615107186604\ 198995638189269232054490315269*c_0101_6^5 - 13392242443247136504327077415748189570635019675088/9232615107186604\ 198995638189269232054490315269*c_0101_6^4 + 194213674611431571844222446119618169837112081661/249530138032070383\ 756638869980249514986224737*c_0101_6^3 - 103291227628239015985076568446235348235223289063/923261510718660419\ 8995638189269232054490315269*c_0101_6^2 - 1106497190647506084044327920443738492399727571360/92326151071866041\ 98995638189269232054490315269*c_0101_6 + 210562867125870231671124563834233684143054769099/923261510718660419\ 8995638189269232054490315269, c_0101_4 - 1190088086316510977590347029998479434363914362354/9232615107\ 186604198995638189269232054490315269*c_0101_6^19 + 7700237416772744408366044321827842934360305474878/92326151071866041\ 98995638189269232054490315269*c_0101_6^18 + 2044723011102105211578715667029750837223458059018/92326151071866041\ 98995638189269232054490315269*c_0101_6^17 - 65566429260594543015787107112023956796747304184186/9232615107186604\ 198995638189269232054490315269*c_0101_6^16 - 10218089394424937511132439464746423155964225869595/9232615107186604\ 198995638189269232054490315269*c_0101_6^15 + 180986246549069892869519523374961217108849298666265/923261510718660\ 4198995638189269232054490315269*c_0101_6^14 + 64400563210892537549050756901152485427718023380253/9232615107186604\ 198995638189269232054490315269*c_0101_6^13 - 116454865808130644670786634619549411928306219416517/923261510718660\ 4198995638189269232054490315269*c_0101_6^12 + 77258512434464903403238945006112329675829108857630/9232615107186604\ 198995638189269232054490315269*c_0101_6^11 + 92973994657684634354388738388272247616538573588416/9232615107186604\ 198995638189269232054490315269*c_0101_6^10 - 41160499469236969587407002290613035186519571371259/9232615107186604\ 198995638189269232054490315269*c_0101_6^9 - 2139805092006769100182978573604510503003994932145/92326151071866041\ 98995638189269232054490315269*c_0101_6^8 + 77408298743813042469568849057006732438747280164982/9232615107186604\ 198995638189269232054490315269*c_0101_6^7 + 48668825999069549742915066684664097512667970342216/9232615107186604\ 198995638189269232054490315269*c_0101_6^6 - 14946786727028292947095247675555985656207443525336/9232615107186604\ 198995638189269232054490315269*c_0101_6^5 - 9608997834218499592825621473812826671281006242129/92326151071866041\ 98995638189269232054490315269*c_0101_6^4 + 133982029846273409294130041786544923677949813926/249530138032070383\ 756638869980249514986224737*c_0101_6^3 - 90031462374688203131620695121443178542121752778/9232615107186604198\ 995638189269232054490315269*c_0101_6^2 - 785494796758909863915657704623167439431060387876/923261510718660419\ 8995638189269232054490315269*c_0101_6 + 151201349163452938126572800127442487525471048188/923261510718660419\ 8995638189269232054490315269, c_0101_6^20 - 87/13*c_0101_6^19 - 4/13*c_0101_6^18 + 5065/91*c_0101_6^17 - 26/7*c_0101_6^16 - 14139/91*c_0101_6^15 - 138/7*c_0101_6^14 + 10323/91*c_0101_6^13 - 7957/91*c_0101_6^12 - 5989/91*c_0101_6^11 + 384/7*c_0101_6^10 - 514/91*c_0101_6^9 - 6049/91*c_0101_6^8 - 2357/91*c_0101_6^7 + 2090/91*c_0101_6^6 + 503/91*c_0101_6^5 - 587/91*c_0101_6^4 + 97/91*c_0101_6^3 + 64/91*c_0101_6^2 - 4/13*c_0101_6 + 3/91 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB