Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 3903419452] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1544 geometric_solution 5.33545782 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 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 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.720622854606 0.932866053508 0 5 2 5 0132 0132 2031 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 0 0 0 0 -1 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.882124105586 0.721317023648 3 0 4 1 1302 0132 2031 1302 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 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.481393312953 0.671350582870 3 2 3 0 2310 2031 3201 0132 0 0 0 0 0 0 1 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.358725193863 1.005389412267 4 4 0 2 1302 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510312806071 0.372097856498 1 1 6 6 3201 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.162801458391 0.407404195976 5 6 6 5 3201 1230 3012 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 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 0 0 0 -0.818941976656 0.802377191706 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0110_4'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 9909081665775564930646950466043078506959826001/10822600958736211464\ 032031106974910900046332768*c_0110_4^30 + 28167771515794506928522641371561425889041367/9469775838894185031028\ 027218603047037540541172*c_0110_4^28 + 1317774625524282969952774537254486508414236206621/37879103355576740\ 124112108874412188150162164688*c_0110_4^26 - 7972652504353096616007375517605912612269300297373/37879103355576740\ 124112108874412188150162164688*c_0110_4^24 - 59368031292465855589809588539242849897017098052417/7575820671115348\ 0248224217748824376300324329376*c_0110_4^22 + 6641284559015611021947027795206372067065536617375/94697758388941850\ 31028027218603047037540541172*c_0110_4^20 + 728419637812492482602992651529439425586375459663865/757582067111534\ 80248224217748824376300324329376*c_0110_4^18 + 1104532421665959295712028391954538223133873737232047/75758206711153\ 480248224217748824376300324329376*c_0110_4^16 - 1278305365461574895884649180501969682213029540977953/37879103355576\ 740124112108874412188150162164688*c_0110_4^14 - 9667244886210620306125358900756788143265544034750151/75758206711153\ 480248224217748824376300324329376*c_0110_4^12 + 4480121338261646795441306325406871331054399916289459/10822600958736\ 211464032031106974910900046332768*c_0110_4^10 - 31141857355927413993723386867135306296675469467965971/3787910335557\ 6740124112108874412188150162164688*c_0110_4^8 + 43359473391208653711757710988299011139190717326046299/3787910335557\ 6740124112108874412188150162164688*c_0110_4^6 - 8967591614692185339904277483303032100592258594334793/10822600958736\ 211464032031106974910900046332768*c_0110_4^4 + 4496848852897222898082292552569893957163003133166285/18939551677788\ 370062056054437206094075081082344*c_0110_4^2 - 38024419783654015940714768072412765445177714682691/4734887919447092\ 515514013609301523518770270586, c_0011_0 - 1, c_0011_3 + 41379812337857232176930211989702808263303989/530307446978074\ 361737569524241770634102270305632*c_0110_4^31 + 5684959759323948642019399274759150345572755/13257686174451859043439\ 2381060442658525567576408*c_0110_4^29 + 796705057737122872480182054620755258494333351/265153723489037180868\ 784762120885317051135152816*c_0110_4^27 - 4313432304315475863261817076411481493424270267/26515372348903718086\ 8784762120885317051135152816*c_0110_4^25 - 39779339066162833341799338959667252138474743627/5303074469780743617\ 37569524241770634102270305632*c_0110_4^23 + 2138985001429819998031608568275082087219506619/13257686174451859043\ 4392381060442658525567576408*c_0110_4^21 + 429060349050458689624232246901120768077788947739/530307446978074361\ 737569524241770634102270305632*c_0110_4^19 + 883608715212303823080571160273679670088001498201/530307446978074361\ 737569524241770634102270305632*c_0110_4^17 - 480120122417872087234677338637864948328197987409/265153723489037180\ 868784762120885317051135152816*c_0110_4^15 - 6005860578804006865329396037353661881361694536221/53030744697807436\ 1737569524241770634102270305632*c_0110_4^13 + 15537063192990402097176344628455529737379877935867/5303074469780743\ 61737569524241770634102270305632*c_0110_4^11 - 14944540097407733980353095743409986600334199866403/2651537234890371\ 80868784762120885317051135152816*c_0110_4^9 + 18612540367100230978360569154356581283757920585469/2651537234890371\ 80868784762120885317051135152816*c_0110_4^7 - 20871385610240505464641048901778820094728515078309/5303074469780743\ 61737569524241770634102270305632*c_0110_4^5 + 238963912716969319664466421150456635960161043123/662884308722592952\ 17196190530221329262783788204*c_0110_4^3 + 24683848269934013742993175239749709358932426164/1657210771806482380\ 4299047632555332315695947051*c_0110_4, c_0011_4 - 10935288478646837474857802075595088120079723/530307446978074\ 361737569524241770634102270305632*c_0110_4^31 - 1007593349590243678776232113220394528772721/13257686174451859043439\ 2381060442658525567576408*c_0110_4^29 - 208607986844102783658426925530665640975205593/265153723489037180868\ 784762120885317051135152816*c_0110_4^27 + 1179496594089493032879692013038001533038156245/26515372348903718086\ 8784762120885317051135152816*c_0110_4^25 + 10207284691074641357485507297633234158273663637/5303074469780743617\ 37569524241770634102270305632*c_0110_4^23 - 1172669743729255243752077432318243949031675793/13257686174451859043\ 4392381060442658525567576408*c_0110_4^21 - 115987289479768256766656823755617751403766976421/530307446978074361\ 737569524241770634102270305632*c_0110_4^19 - 213946524116994962232552193741254466886384902839/530307446978074361\ 737569524241770634102270305632*c_0110_4^17 + 162794893156402689649876948951979902302626998615/265153723489037180\ 868784762120885317051135152816*c_0110_4^15 + 1620072627316645260835165491709841124802695753763/53030744697807436\ 1737569524241770634102270305632*c_0110_4^13 - 4416937837451374191334824338482892997795820185749/53030744697807436\ 1737569524241770634102270305632*c_0110_4^11 + 4096569134317263289827591702390761678497163399941/26515372348903718\ 0868784762120885317051135152816*c_0110_4^9 - 5262884357160567408605049871038415789709790895923/26515372348903718\ 0868784762120885317051135152816*c_0110_4^7 + 5668843974517471171098096897410135667291156517083/53030744697807436\ 1737569524241770634102270305632*c_0110_4^5 - 5801757114874732337654107873907451378518411423/66288430872259295217\ 196190530221329262783788204*c_0110_4^3 - 8239509174542873786035747595417142034062573702/16572107718064823804\ 299047632555332315695947051*c_0110_4, c_0011_6 + 98367070080902514169799264602034516957824343/265153723489037\ 180868784762120885317051135152816*c_0110_4^30 + 24571522886275999993750332616447119904632595/3314421543612964760859\ 8095265110664631391894102*c_0110_4^28 + 1959442756451952403306023078223897039159742517/13257686174451859043\ 4392381060442658525567576408*c_0110_4^26 - 7495114843488943256720355137313024098228186405/13257686174451859043\ 4392381060442658525567576408*c_0110_4^24 - 122290291692890361699564555641537824495307401681/265153723489037180\ 868784762120885317051135152816*c_0110_4^22 - 15969197266927104831193526717702182347262792415/3314421543612964760\ 8598095265110664631391894102*c_0110_4^20 + 996613864944205702974638577108146976087701588361/265153723489037180\ 868784762120885317051135152816*c_0110_4^18 + 3595229973078884271370179787284367583654086054943/26515372348903718\ 0868784762120885317051135152816*c_0110_4^16 + 683804226846801322107628133666750817296832148663/132576861744518590\ 434392381060442658525567576408*c_0110_4^14 - 16359907254261290290762655822358812913138706874567/2651537234890371\ 80868784762120885317051135152816*c_0110_4^12 + 14646541664038577084176734429855534453175780932965/2651537234890371\ 80868784762120885317051135152816*c_0110_4^10 - 13521971215182704347459484206119424731325673847067/1325768617445185\ 90434392381060442658525567576408*c_0110_4^8 + 1691002693907114707826215081088161353998266433659/13257686174451859\ 0434392381060442658525567576408*c_0110_4^6 + 45822122662110980598744423347043830638815996167857/2651537234890371\ 80868784762120885317051135152816*c_0110_4^4 - 6758328300778627681854945086022753090448731998843/66288430872259295\ 217196190530221329262783788204*c_0110_4^2 + 19193342201710536608368264172436578340276597624/1657210771806482380\ 4299047632555332315695947051, c_0101_0 + 15222261929605197351036204957053860071612133/265153723489037\ 180868784762120885317051135152816*c_0110_4^30 + 2338683204866852481621583580769377908400017/66288430872259295217196\ 190530221329262783788204*c_0110_4^28 + 294048535446510044410877564545044808759563879/132576861744518590434\ 392381060442658525567576408*c_0110_4^26 - 1566967855112991415191062531686739980193057011/13257686174451859043\ 4392381060442658525567576408*c_0110_4^24 - 14786027187544095992156915831017008990100539995/2651537234890371808\ 68784762120885317051135152816*c_0110_4^22 + 483157628850282377139765567978419069093915413/662884308722592952171\ 96190530221329262783788204*c_0110_4^20 + 156536529785345216428787711572751508337010985659/265153723489037180\ 868784762120885317051135152816*c_0110_4^18 + 334831095547654430424009483266212601600808297681/265153723489037180\ 868784762120885317051135152816*c_0110_4^16 - 158662614630734698792400194842942523012785494397/132576861744518590\ 434392381060442658525567576408*c_0110_4^14 - 2192893975743680802247115272821910378279499391229/26515372348903718\ 0868784762120885317051135152816*c_0110_4^12 + 5560062677769513952920760144986318369792028875059/26515372348903718\ 0868784762120885317051135152816*c_0110_4^10 - 5423985481545235345262752020509612460918518233231/13257686174451859\ 0434392381060442658525567576408*c_0110_4^8 + 6674828004969831784877759641659082747024064844773/13257686174451859\ 0434392381060442658525567576408*c_0110_4^6 - 7601270817861517146771476002184342213718679280613/26515372348903718\ 0868784762120885317051135152816*c_0110_4^4 + 58290538900523646831703078319137296145410657925/1657210771806482380\ 4299047632555332315695947051*c_0110_4^2 + 16444339095391139956957427644332567324869852462/1657210771806482380\ 4299047632555332315695947051, c_0101_6 + 208134916223618663471327824413469707388982669/53030744697807\ 4361737569524241770634102270305632*c_0110_4^31 + 29841598052398047912265067865039832399596019/1325768617445185904343\ 92381060442658525567576408*c_0110_4^29 + 4011959759960354944797849733108574956489946503/26515372348903718086\ 8784762120885317051135152816*c_0110_4^27 - 21603498357662913920279519464723518961356508243/2651537234890371808\ 68784762120885317051135152816*c_0110_4^25 - 200909950895185876383895081844635581904012514963/530307446978074361\ 737569524241770634102270305632*c_0110_4^23 + 9100002886305602711476615846886708652043683795/13257686174451859043\ 4392381060442658525567576408*c_0110_4^21 + 2153814777371160439887687299245667157837878913203/53030744697807436\ 1737569524241770634102270305632*c_0110_4^19 + 4512463813504013880022910168875946922337322912337/53030744697807436\ 1737569524241770634102270305632*c_0110_4^17 - 2309531640458800568378058672347512689980346036337/26515372348903718\ 0868784762120885317051135152816*c_0110_4^15 - 30241278357883733271895913688334754408212949483301/5303074469780743\ 61737569524241770634102270305632*c_0110_4^13 + 76776700916643424512195988776412877775551175057987/5303074469780743\ 61737569524241770634102270305632*c_0110_4^11 - 75174345737753267906892821627398486170175025404931/2651537234890371\ 80868784762120885317051135152816*c_0110_4^9 + 93238637534286717029947534998474504384736613547549/2651537234890371\ 80868784762120885317051135152816*c_0110_4^7 - 105948994115364507372994637158228311046538144274461/530307446978074\ 361737569524241770634102270305632*c_0110_4^5 + 1934425996441025375089391829539877101386185716867/66288430872259295\ 217196190530221329262783788204*c_0110_4^3 + 296266396597791409376344978708147983619842610051/331442154361296476\ 08598095265110664631391894102*c_0110_4, c_0110_4^32 + 38*c_0110_4^28 - 230*c_0110_4^26 - 855*c_0110_4^24 + 768*c_0110_4^22 + 10495*c_0110_4^20 + 15889*c_0110_4^18 - 36870*c_0110_4^16 - 139153*c_0110_4^14 + 452523*c_0110_4^12 - 899986*c_0110_4^10 + 1254330*c_0110_4^8 - 911401*c_0110_4^6 + 264916*c_0110_4^4 - 10656*c_0110_4^2 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB