Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 2951623529] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0289 geometric_solution 4.33425377 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.328380169452 0.045441031422 0 2 0 2 0132 0132 1023 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 0 0 -1 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 -2.781309739651 1.644032556491 1 1 3 4 3201 0132 0132 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439162730251 0.389180699047 5 4 4 2 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753856896186 0.517342349644 3 5 2 3 1230 3201 0132 1302 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 0 0 0 -1 0 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.753856896186 0.517342349645 3 6 4 6 0132 0132 2310 2310 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 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.712861237282 1.909932973376 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 -1 0 1 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 -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.388725738973 0.251323260638 ==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_0101_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(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_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1306939949654266625289622662624682/84558722616743750845258447654271\ *c_0110_6^19 + 11853273743596355699227631002780000/8455872261674375\ 0845258447654271*c_0110_6^18 - 38632107469947162534877997671057664/\ 84558722616743750845258447654271*c_0110_6^17 + 73805870038666639208189678189197759/8455872261674375084525844765427\ 1*c_0110_6^16 + 30914090486003182467920136910161464/845587226167437\ 50845258447654271*c_0110_6^15 - 49949153380043963857352202762802553\ 3/84558722616743750845258447654271*c_0110_6^14 + 1418614845347674234196845183122949759/84558722616743750845258447654\ 271*c_0110_6^13 - 1709054262745298701592054056638014584/84558722616\ 743750845258447654271*c_0110_6^12 - 2337179215785897540965473885474335426/84558722616743750845258447654\ 271*c_0110_6^11 + 7973107076983947794080933477667459134/84558722616\ 743750845258447654271*c_0110_6^10 - 4809749734761669135838218773770203798/84558722616743750845258447654\ 271*c_0110_6^9 - 2344043657623664310454118938977256697/845587226167\ 43750845258447654271*c_0110_6^8 + 258842767738564166284211244866489\ 6368/84558722616743750845258447654271*c_0110_6^7 - 1054955307425352394719818442674295708/84558722616743750845258447654\ 271*c_0110_6^6 + 1909067210759791891888516635425021391/845587226167\ 43750845258447654271*c_0110_6^5 - 128649493776733184293945970016979\ 0918/84558722616743750845258447654271*c_0110_6^4 - 4114215671019780873915015171093728/84558722616743750845258447654271\ *c_0110_6^3 + 144803980723437357689372453318642716/8455872261674375\ 0845258447654271*c_0110_6^2 + 4113051216044782289572400659376833/84\ 558722616743750845258447654271*c_0110_6 - 10151656053869381497957217468010893/8455872261674375084525844765427\ 1, c_0011_0 - 1, c_0011_3 + 16474558065447728807152742426399/845587226167437508452584476\ 54271*c_0110_6^19 - 141371723493563681581011435919893/8455872261674\ 3750845258447654271*c_0110_6^18 + 418131086199624463464617479512642\ /84558722616743750845258447654271*c_0110_6^17 - 727803804020086382893661870168814/84558722616743750845258447654271*\ c_0110_6^16 - 739738544242692251620037613785597/8455872261674375084\ 5258447654271*c_0110_6^15 + 5923210151467570516573032039710561/8455\ 8722616743750845258447654271*c_0110_6^14 - 14989167862357514959968941453414815/8455872261674375084525844765427\ 1*c_0110_6^13 + 14278425485133201604095399482385732/845587226167437\ 50845258447654271*c_0110_6^12 + 36234970232490496762076859553465159\ /84558722616743750845258447654271*c_0110_6^11 - 82514865065829110622442725513057279/8455872261674375084525844765427\ 1*c_0110_6^10 + 20439428192818237584266746871216464/845587226167437\ 50845258447654271*c_0110_6^9 + 38761515765954233774550227633973951/\ 84558722616743750845258447654271*c_0110_6^8 - 12580345668110703478557597326420015/8455872261674375084525844765427\ 1*c_0110_6^7 + 6438421439937122035027290187488844/84558722616743750\ 845258447654271*c_0110_6^6 - 21041238742462609511574897322427843/84\ 558722616743750845258447654271*c_0110_6^5 + 5928111213246768787427453797027291/84558722616743750845258447654271\ *c_0110_6^4 + 3047546055811715198167293291713689/845587226167437508\ 45258447654271*c_0110_6^3 - 99013750025326954865381773213759/845587\ 22616743750845258447654271*c_0110_6^2 - 229755754148782710823904619027610/84558722616743750845258447654271*\ c_0110_6 - 22307605625113261211688142840490/84558722616743750845258\ 447654271, c_0101_0 - 29839975611404523660185526985366/845587226167437508452584476\ 54271*c_0110_6^19 + 253295517127519509161964428116016/8455872261674\ 3750845258447654271*c_0110_6^18 - 736661917460916995629747364343202\ /84558722616743750845258447654271*c_0110_6^17 + 1271800749931202565412845192740353/84558722616743750845258447654271\ *c_0110_6^16 + 1404713663075834490743948796882880/84558722616743750\ 845258447654271*c_0110_6^15 - 10523535531025608596007528270385373/8\ 4558722616743750845258447654271*c_0110_6^14 + 26377775221606997233802430602105034/8455872261674375084525844765427\ 1*c_0110_6^13 - 24296639913810142200016921733996527/845587226167437\ 50845258447654271*c_0110_6^12 - 66079538854020748864383333038795749\ /84558722616743750845258447654271*c_0110_6^11 + 142609688612574118655140457062094172/845587226167437508452584476542\ 71*c_0110_6^10 - 31235680058407051221868435578906054/84558722616743\ 750845258447654271*c_0110_6^9 - 64393856954483875993945588219460857\ /84558722616743750845258447654271*c_0110_6^8 + 22338914660025638158029475820234023/8455872261674375084525844765427\ 1*c_0110_6^7 - 15259849021628958295844009926203665/8455872261674375\ 0845258447654271*c_0110_6^6 + 34315007807458303078534999478909344/8\ 4558722616743750845258447654271*c_0110_6^5 - 9127838038461115921248641262940893/84558722616743750845258447654271\ *c_0110_6^4 - 4202875152648399759031629736347912/845587226167437508\ 45258447654271*c_0110_6^3 + 1095163910420981880727924599634795/8455\ 8722616743750845258447654271*c_0110_6^2 + 121111178897541008804143529150210/84558722616743750845258447654271*\ c_0110_6 - 48958449466087733682919214113443/84558722616743750845258\ 447654271, c_0101_1 + 17613064240520847422619376702126/845587226167437508452584476\ 54271*c_0110_6^19 - 152944763968150117929409977614974/8455872261674\ 3750845258447654271*c_0110_6^18 + 463369163965079426204521474567805\ /84558722616743750845258447654271*c_0110_6^17 - 831034756802048383552230309416541/84558722616743750845258447654271*\ c_0110_6^16 - 692076593219050918458652735245361/8455872261674375084\ 5258447654271*c_0110_6^15 + 6385946325917855221834993729403606/8455\ 8722616743750845258447654271*c_0110_6^14 - 16732806220925955649872564557878108/8455872261674375084525844765427\ 1*c_0110_6^13 + 17216945405024795445600256597636433/845587226167437\ 50845258447654271*c_0110_6^12 + 36524120633957601095824939140330671\ /84558722616743750845258447654271*c_0110_6^11 - 91818882592438165829011612890037223/8455872261674375084525844765427\ 1*c_0110_6^10 + 33316378528620529772185690382093830/845587226167437\ 50845258447654271*c_0110_6^9 + 35400603591735034165971797292179462/\ 84558722616743750845258447654271*c_0110_6^8 - 19201873174014237059504890342659028/8455872261674375084525844765427\ 1*c_0110_6^7 + 11618094077851678403415520328485896/8455872261674375\ 0845258447654271*c_0110_6^6 - 22445399278483618640668589758677835/8\ 4558722616743750845258447654271*c_0110_6^5 + 8666819006875420345887686040559419/84558722616743750845258447654271\ *c_0110_6^4 + 1488287298944187075667069245775948/845587226167437508\ 45258447654271*c_0110_6^3 - 1052039110464704369975296341509868/8455\ 8722616743750845258447654271*c_0110_6^2 + 123091028056361251209004572130082/84558722616743750845258447654271*\ c_0110_6 + 92752468034804873038377180860293/84558722616743750845258\ 447654271, c_0101_3 + 26097901079254511349092094594940/845587226167437508452584476\ 54271*c_0110_6^19 - 219827001297386730219867017848394/8455872261674\ 3750845258447654271*c_0110_6^18 + 628693302607735152074289048334858\ /84558722616743750845258447654271*c_0110_6^17 - 1061578255320797522433710339037415/84558722616743750845258447654271\ *c_0110_6^16 - 1321758727959210214040058992659933/84558722616743750\ 845258447654271*c_0110_6^15 + 9151983814057655638320470598196796/84\ 558722616743750845258447654271*c_0110_6^14 - 22384909876094111097598804973532772/8455872261674375084525844765427\ 1*c_0110_6^13 + 19397787941942410301319721706546118/845587226167437\ 50845258447654271*c_0110_6^12 + 59876595628657798819615371143408232\ /84558722616743750845258447654271*c_0110_6^11 - 121184766033330720757636672294897252/845587226167437508452584476542\ 71*c_0110_6^10 + 16180403103730731554917509395669495/84558722616743\ 750845258447654271*c_0110_6^9 + 61348928395960445102350018698920560\ /84558722616743750845258447654271*c_0110_6^8 - 13419397211068395232959835915694289/8455872261674375084525844765427\ 1*c_0110_6^7 + 9922662776106888171214723604276224/84558722616743750\ 845258447654271*c_0110_6^6 - 30212244928024168291261726961836972/84\ 558722616743750845258447654271*c_0110_6^5 + 5531756688948957063145206304362503/84558722616743750845258447654271\ *c_0110_6^4 + 4939607701065664993479799476406490/845587226167437508\ 45258447654271*c_0110_6^3 - 218932399534033550897572045007520/84558\ 722616743750845258447654271*c_0110_6^2 - 320071405979089493175490463661195/84558722616743750845258447654271*\ c_0110_6 - 14718310966841516596063230946592/84558722616743750845258\ 447654271, c_0101_4 - 11089637695288975934805692463021/845587226167437508452584476\ 54271*c_0110_6^19 + 90480700970600115316324935425770/84558722616743\ 750845258447654271*c_0110_6^18 - 241232037171493545275280590909226/\ 84558722616743750845258447654271*c_0110_6^17 + 370282386330575011663774155911575/84558722616743750845258447654271*\ c_0110_6^16 + 708976575580804398541778871434134/8455872261674375084\ 5258447654271*c_0110_6^15 - 3786571931276612723395269321396217/8455\ 8722616743750845258447654271*c_0110_6^14 + 8414617388018945114561322824650944/84558722616743750845258447654271\ *c_0110_6^13 - 5307129414789969073562404197545861/84558722616743750\ 845258447654271*c_0110_6^12 - 28617424669334611974344064098594546/8\ 4558722616743750845258447654271*c_0110_6^11 + 45543616245634517820942409498847235/8455872261674375084525844765427\ 1*c_0110_6^10 + 9691964668991364337136018381213127/8455872261674375\ 0845258447654271*c_0110_6^9 - 33152784084969026331356630892177121/8\ 4558722616743750845258447654271*c_0110_6^8 - 1096124185249052758394798236604582/84558722616743750845258447654271\ *c_0110_6^7 + 71728424235280695618140478165040/84558722616743750845\ 258447654271*c_0110_6^6 + 11019374580950048614490900642922780/84558\ 722616743750845258447654271*c_0110_6^5 + 1616981380807604570149846092215015/84558722616743750845258447654271\ *c_0110_6^4 - 3781748441687271367091380463088003/845587226167437508\ 45258447654271*c_0110_6^3 - 347881575355103308421638012414342/84558\ 722616743750845258447654271*c_0110_6^2 + 454485952784236887842965182582882/84558722616743750845258447654271*\ c_0110_6 + 20956299243080827312817933048021/84558722616743750845258\ 447654271, c_0110_6^20 - 9*c_0110_6^19 + 29*c_0110_6^18 - 55*c_0110_6^17 - 26*c_0110_6^16 + 378*c_0110_6^15 - 1063*c_0110_6^14 + 1256*c_0110_6^13 + 1824*c_0110_6^12 - 5936*c_0110_6^11 + 3426*c_0110_6^10 + 1765*c_0110_6^9 - 1884*c_0110_6^8 + 826*c_0110_6^7 - 1383*c_0110_6^6 + 883*c_0110_6^5 + 13*c_0110_6^4 - 121*c_0110_6^3 + 8*c_0110_6^2 + 8*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB