Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 4155927317] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2017 geometric_solution 5.56358805 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 1 -1 0 0 1 -1 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.588728550364 0.147661426596 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 -1 1 0 -1 0 0 1 -1 1 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802991386841 0.479408872011 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 -1 0 1 0 0 1 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 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.689884368695 0.938175530693 2 5 1 4 3012 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689884368695 0.938175530693 2 4 3 4 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.031873484209 1.178148208493 6 6 3 2 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 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 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.077068011444 1.559936811106 5 6 5 6 0132 2310 2310 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.551668798795 0.579596609550 ==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' : negation(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' : negation(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_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_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' : negation(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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_5']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 3548037731137232222519751748481/8317717436728409754916126967*c_0101\ _5^29 - 15007102923938271887082846757394/83177174367284097549161269\ 67*c_0101_5^28 + 156189301329366992723186503040267/8317717436728409\ 754916126967*c_0101_5^27 + 3814722120509323755634360392427/83177174\ 36728409754916126967*c_0101_5^26 - 2254650541652709711982941688078086/8317717436728409754916126967*c_0\ 101_5^25 + 5883704842269896409214527450978299/831771743672840975491\ 6126967*c_0101_5^24 - 76580414146252708694735718439599/831771743672\ 8409754916126967*c_0101_5^23 - 25087366206611118740630508258884312/\ 8317717436728409754916126967*c_0101_5^22 + 43571540666233514049110424082957389/8317717436728409754916126967*c_\ 0101_5^21 + 500469848496371236200550674636602/831771743672840975491\ 6126967*c_0101_5^20 - 101265283556706723960282678567991127/83177174\ 36728409754916126967*c_0101_5^19 + 137674359001110539677263020374211130/8317717436728409754916126967*c\ _0101_5^18 - 6405709179063558846511141781119413/8317717436728409754\ 916126967*c_0101_5^17 - 194569841114196127437517179126821615/831771\ 7436728409754916126967*c_0101_5^16 + 233181362119256219936493436585660079/8317717436728409754916126967*c\ _0101_5^15 - 35859247732385635677804634402682330/831771743672840975\ 4916126967*c_0101_5^14 - 194211708363551409301338916538079998/83177\ 17436728409754916126967*c_0101_5^13 + 222672928770442729827985020763190869/8317717436728409754916126967*c\ _0101_5^12 - 59928677474118197393180499852748098/831771743672840975\ 4916126967*c_0101_5^11 - 94829274261893287269562295531226257/831771\ 7436728409754916126967*c_0101_5^10 + 113823969716316475281511177643251277/8317717436728409754916126967*c\ _0101_5^9 - 43179104407612100091174804618709261/8317717436728409754\ 916126967*c_0101_5^8 - 15622149644308455297547608761192639/83177174\ 36728409754916126967*c_0101_5^7 + 260806658686899095794410087596313\ 82/8317717436728409754916126967*c_0101_5^6 - 12454025298802474220880059606229856/8317717436728409754916126967*c_\ 0101_5^5 + 1525394548745367636929186906575738/831771743672840975491\ 6126967*c_0101_5^4 + 1260008218664895339826303672335055/83177174367\ 28409754916126967*c_0101_5^3 - 728376189647992008918980304684304/83\ 17717436728409754916126967*c_0101_5^2 + 167340657592059730818970525714873/8317717436728409754916126967*c_01\ 01_5 - 15915035238600512812605879313018/831771743672840975491612696\ 7, c_0011_0 - 1, c_0011_3 - 52703443538696890569184962852/8317717436728409754916126967*c\ _0101_5^29 - 248141458822138138517518284962/83177174367284097549161\ 26967*c_0101_5^28 + 2199579329959552735919951854046/831771743672840\ 9754916126967*c_0101_5^27 + 1102423046420257595017842175792/8317717\ 436728409754916126967*c_0101_5^26 - 32883514288970817226632611304000/8317717436728409754916126967*c_010\ 1_5^25 + 71648221368716935435041257188710/8317717436728409754916126\ 967*c_0101_5^24 + 31993409667494147242472860751209/8317717436728409\ 754916126967*c_0101_5^23 - 354194577551839242076935546334852/831771\ 7436728409754916126967*c_0101_5^22 + 477638178314043720818509617432868/8317717436728409754916126967*c_01\ 01_5^21 + 222329612762635479627918005591663/83177174367284097549161\ 26967*c_0101_5^20 - 1374363029163947892780509757171371/831771743672\ 8409754916126967*c_0101_5^19 + 1389587930556483348786969863903975/8\ 317717436728409754916126967*c_0101_5^18 + 511859602730430374225652374822021/8317717436728409754916126967*c_01\ 01_5^17 - 2572835204717455079125803416138854/8317717436728409754916\ 126967*c_0101_5^16 + 2240803012281355305671718170020141/83177174367\ 28409754916126967*c_0101_5^15 + 423510739931867445830914958897342/8\ 317717436728409754916126967*c_0101_5^14 - 2564105117580435286203623029640323/8317717436728409754916126967*c_0\ 101_5^13 + 2087239384483643422394438993252547/831771743672840975491\ 6126967*c_0101_5^12 - 14006627743170536748233465792186/831771743672\ 8409754916126967*c_0101_5^11 - 1306675096809020497262268078687023/8\ 317717436728409754916126967*c_0101_5^10 + 1061835779671373791812301360627994/8317717436728409754916126967*c_0\ 101_5^9 - 200368654315931436704393018303195/83177174367284097549161\ 26967*c_0101_5^8 - 274238879781766408090045879228998/83177174367284\ 09754916126967*c_0101_5^7 + 248887273484448642325739369941596/83177\ 17436728409754916126967*c_0101_5^6 - 81931598862710461197801020510069/8317717436728409754916126967*c_010\ 1_5^5 - 4334291844537985832626937210020/831771743672840975491612696\ 7*c_0101_5^4 + 13817644322271880456545317678824/8317717436728409754\ 916126967*c_0101_5^3 - 5073367733861263054144484001456/831771743672\ 8409754916126967*c_0101_5^2 + 752485592376740751224348919925/831771\ 7436728409754916126967*c_0101_5 - 28504784858926905431185301990/831\ 7717436728409754916126967, c_0011_5 + 12270853250344874765846670354/8317717436728409754916126967*c\ _0101_5^29 + 32375494878764115336075008737/831771743672840975491612\ 6967*c_0101_5^28 - 641417778148338601600341576244/83177174367284097\ 54916126967*c_0101_5^27 + 755452849297288744976246265555/8317717436\ 728409754916126967*c_0101_5^26 + 8583756589061122601061072650024/83\ 17717436728409754916126967*c_0101_5^25 - 32226680580141230602316052387368/8317717436728409754916126967*c_010\ 1_5^24 + 21021914501462185711964534539979/8317717436728409754916126\ 967*c_0101_5^23 + 109616297746145079947050358797020/831771743672840\ 9754916126967*c_0101_5^22 - 272288023628808787428059469713778/83177\ 17436728409754916126967*c_0101_5^21 + 113914170974687964537646680916578/8317717436728409754916126967*c_01\ 01_5^20 + 497523458829674649632859281334735/83177174367284097549161\ 26967*c_0101_5^19 - 918718256196067719107314349763804/8317717436728\ 409754916126967*c_0101_5^18 + 307087747075890686274803989265597/831\ 7717436728409754916126967*c_0101_5^17 + 1028182259001530734860071608159652/8317717436728409754916126967*c_0\ 101_5^16 - 1591859531748727362587376665004004/831771743672840975491\ 6126967*c_0101_5^15 + 537955648269701900083895666473950/83177174367\ 28409754916126967*c_0101_5^14 + 1070401549912084326261071899098484/\ 8317717436728409754916126967*c_0101_5^13 - 1526320277903915669921338043581075/8317717436728409754916126967*c_0\ 101_5^12 + 573550770389481016558628699319312/8317717436728409754916\ 126967*c_0101_5^11 + 533723953088105950087993631168153/831771743672\ 8409754916126967*c_0101_5^10 - 774416310154068794350500798722999/83\ 17717436728409754916126967*c_0101_5^9 + 334487656550545870447518878849817/8317717436728409754916126967*c_01\ 01_5^8 + 83588976772332421265288851531401/8317717436728409754916126\ 967*c_0101_5^7 - 175445587188414994158900316598049/8317717436728409\ 754916126967*c_0101_5^6 + 87406932987817944515832651571637/83177174\ 36728409754916126967*c_0101_5^5 - 11360332171661741330993743049482/\ 8317717436728409754916126967*c_0101_5^4 - 8512577780640780810126770248427/8317717436728409754916126967*c_0101\ _5^3 + 4925516314441494113260676531471/8317717436728409754916126967\ *c_0101_5^2 - 1132668971200461331578500865363/831771743672840975491\ 6126967*c_0101_5 + 103919534009168514411767756272/83177174367284097\ 54916126967, c_0101_0 + 59599264826987205818810182030/8317717436728409754916126967*c\ _0101_5^29 + 250732078894160923731944520392/83177174367284097549161\ 26967*c_0101_5^28 - 2638741156320360049860230149622/831771743672840\ 9754916126967*c_0101_5^27 - 56517769047895769683818036265/831771743\ 6728409754916126967*c_0101_5^26 + 38224349409386757460538481246737/\ 8317717436728409754916126967*c_0101_5^25 - 99187646739298038570292899173675/8317717436728409754916126967*c_010\ 1_5^24 - 1974981780455270866068486845488/83177174367284097549161269\ 67*c_0101_5^23 + 429308003051613048085927536818258/8317717436728409\ 754916126967*c_0101_5^22 - 727713209701837879162730754880417/831771\ 7436728409754916126967*c_0101_5^21 - 44734166560257398722040890204069/8317717436728409754916126967*c_010\ 1_5^20 + 1737374328038898735742441300401380/83177174367284097549161\ 26967*c_0101_5^19 - 2268931059626114891209099162191680/831771743672\ 8409754916126967*c_0101_5^18 - 20157853873461050320236191974082/831\ 7717436728409754916126967*c_0101_5^17 + 3338376204528989972252765279290879/8317717436728409754916126967*c_0\ 101_5^16 - 3800384978360126343651162436406841/831771743672840975491\ 6126967*c_0101_5^15 + 388087997528296818405447709189747/83177174367\ 28409754916126967*c_0101_5^14 + 3341876016126603544625201988226864/\ 8317717436728409754916126967*c_0101_5^13 - 3600026011920146797734627742817409/8317717436728409754916126967*c_0\ 101_5^12 + 811475725075578144421589056637953/8317717436728409754916\ 126967*c_0101_5^11 + 1650708519688404181442626387650211/83177174367\ 28409754916126967*c_0101_5^10 - 1830354564872471612906197666060018/\ 8317717436728409754916126967*c_0101_5^9 + 632148011516092358240168045155262/8317717436728409754916126967*c_01\ 01_5^8 + 289414951878422915701934578787384/831771743672840975491612\ 6967*c_0101_5^7 - 419176659405522216716050851828810/831771743672840\ 9754916126967*c_0101_5^6 + 188843135498165581693474322389683/831771\ 7436728409754916126967*c_0101_5^5 - 19086710903654085752366746812197/8317717436728409754916126967*c_010\ 1_5^4 - 20558956215818654626928854100806/83177174367284097549161269\ 67*c_0101_5^3 + 11143013172870363590932088856838/831771743672840975\ 4916126967*c_0101_5^2 - 2496052630944523218664248695770/83177174367\ 28409754916126967*c_0101_5 + 223994727620517645961493368740/8317717\ 436728409754916126967, c_0101_1 + 68340328857482832622362717066/8317717436728409754916126967*c\ _0101_5^29 + 308403240633162613479053208237/83177174367284097549161\ 26967*c_0101_5^28 - 2929594649853793291268091272839/831771743672840\ 9754916126967*c_0101_5^27 - 947646722109322140421405748399/83177174\ 36728409754916126967*c_0101_5^26 + 43487761553136693847178219809224/8317717436728409754916126967*c_010\ 1_5^25 - 100634788192965150038175346240339/831771743672840975491612\ 6967*c_0101_5^24 - 32132168524469500205622436762384/831771743672840\ 9754916126967*c_0101_5^23 + 482465033313627631129638859441601/83177\ 17436728409754916126967*c_0101_5^22 - 691443505450972362475964648104359/8317717436728409754916126967*c_01\ 01_5^21 - 257218678211346902859434849815367/83177174367284097549161\ 26967*c_0101_5^20 + 1920970491115125432437428140301304/831771743672\ 8409754916126967*c_0101_5^19 - 2035963492848326260543022623337775/8\ 317717436728409754916126967*c_0101_5^18 - 639084954150002818575072155419405/8317717436728409754916126967*c_01\ 01_5^17 + 3664689308580627082246140908865733/8317717436728409754916\ 126967*c_0101_5^16 - 3277607571296062370223669885874660/83177174367\ 28409754916126967*c_0101_5^15 - 563960995743366432069008212344904/8\ 317717436728409754916126967*c_0101_5^14 + 3713804052000233781058404283678599/8317717436728409754916126967*c_0\ 101_5^13 - 3030553241278781460366904015556962/831771743672840975491\ 6126967*c_0101_5^12 - 16754216298715101638752946097581/831771743672\ 8409754916126967*c_0101_5^11 + 1934271225179090720290699814182965/8\ 317717436728409754916126967*c_0101_5^10 - 1525135120416985874984843259697975/8317717436728409754916126967*c_0\ 101_5^9 + 241536483272763856859511664024228/83177174367284097549161\ 26967*c_0101_5^8 + 425267513483640496531360017773160/83177174367284\ 09754916126967*c_0101_5^7 - 354169178000359302013457632775772/83177\ 17436728409754916126967*c_0101_5^6 + 102916585834422562417275546288886/8317717436728409754916126967*c_01\ 01_5^5 + 13216092535155426220169312405528/8317717436728409754916126\ 967*c_0101_5^4 - 19753566589069051264582056339808/83177174367284097\ 54916126967*c_0101_5^3 + 6129361822030100947836767411775/8317717436\ 728409754916126967*c_0101_5^2 - 789800794789153093265768476452/8317\ 717436728409754916126967*c_0101_5 + 33747651112747114066410974619/8317717436728409754916126967, c_0101_2 - 22709202616553486899705326103/8317717436728409754916126967*c\ _0101_5^29 - 115290446299157124150302466068/83177174367284097549161\ 26967*c_0101_5^28 + 898788874588520971108264476552/8317717436728409\ 754916126967*c_0101_5^27 + 774371330927350161533472977938/831771743\ 6728409754916126967*c_0101_5^26 - 13618722754039639986282810987721/\ 8317717436728409754916126967*c_0101_5^25 + 26047907705154778063382784167963/8317717436728409754916126967*c_010\ 1_5^24 + 19347118377959184649670089135947/8317717436728409754916126\ 967*c_0101_5^23 - 137547194278472415561402819251997/831771743672840\ 9754916126967*c_0101_5^22 + 161196274193916409507550084539783/83177\ 17436728409754916126967*c_0101_5^21 + 112194358331928002891579589436072/8317717436728409754916126967*c_01\ 01_5^20 - 502497323760047753140967170863820/83177174367284097549161\ 26967*c_0101_5^19 + 456091214481389173498994037268100/8317717436728\ 409754916126967*c_0101_5^18 + 225899163105459876437331572490872/831\ 7717436728409754916126967*c_0101_5^17 - 898281316703175898163993493819467/8317717436728409754916126967*c_01\ 01_5^16 + 741693834718471659009411472813615/83177174367284097549161\ 26967*c_0101_5^15 + 159081501151648997483950980247895/8317717436728\ 409754916126967*c_0101_5^14 - 857446503369850203203596854670949/831\ 7717436728409754916126967*c_0101_5^13 + 705122101518574747850601118552005/8317717436728409754916126967*c_01\ 01_5^12 - 37253225919218633058496908598209/831771743672840975491612\ 6967*c_0101_5^11 - 411255665506907293800306579539325/83177174367284\ 09754916126967*c_0101_5^10 + 367635356246151818868867568116404/8317\ 717436728409754916126967*c_0101_5^9 - 99607696408336726209486637265126/8317717436728409754916126967*c_010\ 1_5^8 - 74014303731389431800262954611739/83177174367284097549161269\ 67*c_0101_5^7 + 86944545695035402855419139801914/831771743672840975\ 4916126967*c_0101_5^6 - 37007393919936764769154079748703/8317717436\ 728409754916126967*c_0101_5^5 + 3095435115897538796265158950155/831\ 7717436728409754916126967*c_0101_5^4 + 4428787990235714694149746861410/8317717436728409754916126967*c_0101\ _5^3 - 2321009694893140897782509939481/8317717436728409754916126967\ *c_0101_5^2 + 468286417433479966048072530684/8317717436728409754916\ 126967*c_0101_5 - 39261792882288418087282998029/8317717436728409754\ 916126967, c_0101_5^30 + 4*c_0101_5^29 - 45*c_0101_5^28 + 9*c_0101_5^27 + 636*c_0101_5^26 - 1804*c_0101_5^25 + 398*c_0101_5^24 + 7074*c_0101_5^23 - 13896*c_0101_5^22 + 2631*c_0101_5^21 + 28622*c_0101_5^20 - 45299*c_0101_5^19 + 10530*c_0101_5^18 + 54551*c_0101_5^17 - 78165*c_0101_5^16 + 24849*c_0101_5^15 + 52614*c_0101_5^14 - 75156*c_0101_5^13 + 30947*c_0101_5^12 + 23036*c_0101_5^11 - 38130*c_0101_5^10 + 19349*c_0101_5^9 + 1709*c_0101_5^8 - 8353*c_0101_5^7 + 5155*c_0101_5^6 - 1211*c_0101_5^5 - 261*c_0101_5^4 + 285*c_0101_5^3 - 93*c_0101_5^2 + 15*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB