Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 492601633] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0185 geometric_solution 3.99611098 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 0 -1 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 2.372312642329 0.079487699923 0 2 2 0 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.073884041753 0.267164391994 1 1 3 3 2310 0132 0132 3201 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 -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.309148426908 0.150929844501 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 0 -1 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.584414995071 0.647331596016 3 6 5 5 0132 0132 3012 1230 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 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.987580637375 1.714574646805 4 4 6 3 3012 1230 3201 0132 0 0 0 0 0 0 1 -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 0 -1 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.987580637375 1.714574646805 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 1 0 -1 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 -1 0 1 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.458477688133 0.861805217316 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], '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_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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : 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_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: 18 Groebner basis: [ t - 1947461629132905741533743297260197575/16225991785041932276710482722\ 410888*c_0101_5^17 + 1836159285361629732231395617598719595/81129958\ 92520966138355241361205444*c_0101_5^16 + 54925341033991323976745345671858041269/1622599178504193227671048272\ 2410888*c_0101_5^15 + 2382654388192641194273354574705559193/8539995\ 67633785909300551722232152*c_0101_5^14 - 245388019430764428201055089906280923243/162259917850419322767104827\ 22410888*c_0101_5^13 - 145842565228521592848295569885902978928/2028\ 248973130241534588810340301361*c_0101_5^12 + 1577473997484912825152533968602212578693/81129958925209661383552413\ 61205444*c_0101_5^11 - 169930025660652744249951637818129923094/2028\ 248973130241534588810340301361*c_0101_5^10 - 3423105762192692961546569678710062624865/16225991785041932276710482\ 722410888*c_0101_5^9 + 2824543251907563979181715830312489144699/162\ 25991785041932276710482722410888*c_0101_5^8 + 4129906118180523946533556628404943501237/16225991785041932276710482\ 722410888*c_0101_5^7 + 673765331230241919310619123843155771009/1622\ 5991785041932276710482722410888*c_0101_5^6 - 11647400675494981229231804763872689650037/1622599178504193227671048\ 2722410888*c_0101_5^5 + 866531022316337624545324881253683011256/202\ 8248973130241534588810340301361*c_0101_5^4 + 36753339151024254887756775163341330887/7375450811382696489413855782\ 91404*c_0101_5^3 - 1227497975208940145174368845048004606113/1622599\ 1785041932276710482722410888*c_0101_5^2 + 209267666436403854066633611870849349221/162259917850419322767104827\ 22410888*c_0101_5 - 4569220528226523723617633723167490935/162259917\ 85041932276710482722410888, c_0011_0 - 1, c_0011_3 + 44990069662004074265846630656436/184386270284567412235346394\ 572851*c_0101_5^17 - 71135878654124859633090193141978/1843862702845\ 67412235346394572851*c_0101_5^16 - 1289524085935849152935750104238276/18438627028456741223534639457285\ 1*c_0101_5^15 - 75752775022342656508718005240407/970454054129302169\ 6597178661729*c_0101_5^14 + 5200747392880056821716209024727262/1843\ 86270284567412235346394572851*c_0101_5^13 + 28480091812622836517259559651428346/1843862702845674122353463945728\ 51*c_0101_5^12 - 64143867469328052621726504659490453/18438627028456\ 7412235346394572851*c_0101_5^11 + 125641871478444694043077030319877\ 38/184386270284567412235346394572851*c_0101_5^10 + 82026281120088657521516561076035388/1843862702845674122353463945728\ 51*c_0101_5^9 - 40700134302428696046605307774173296/184386270284567\ 412235346394572851*c_0101_5^8 - 10614580737554157621787119597940639\ 3/184386270284567412235346394572851*c_0101_5^7 - 47652368394156212012056195383970484/1843862702845674122353463945728\ 51*c_0101_5^6 + 252371359974253505720809773620881882/18438627028456\ 7412235346394572851*c_0101_5^5 - 8587094282082186231556367967832098\ 6/184386270284567412235346394572851*c_0101_5^4 - 41347712269386470735488082325516069/1843862702845674122353463945728\ 51*c_0101_5^3 + 16306956160990963369153220910125859/184386270284567\ 412235346394572851*c_0101_5^2 - 854963868914356701647494960836160/1\ 84386270284567412235346394572851*c_0101_5 - 42216582169900120163153734890047/184386270284567412235346394572851, c_0011_5 + 51573764418720650885896568424946/184386270284567412235346394\ 572851*c_0101_5^17 - 88328890151655914395061658828966/1843862702845\ 67412235346394572851*c_0101_5^16 - 1469133982099668801905539782792368/18438627028456741223534639457285\ 1*c_0101_5^15 - 76514824588768925507183713542578/970454054129302169\ 6597178661729*c_0101_5^14 + 6226148014406404996983888740282789/1843\ 86270284567412235346394572851*c_0101_5^13 + 31940713828237399286173062774240894/1843862702845674122353463945728\ 51*c_0101_5^12 - 77963352991305867860895154063663721/18438627028456\ 7412235346394572851*c_0101_5^11 + 229926004511444767402652129186718\ 24/184386270284567412235346394572851*c_0101_5^10 + 93887006891892920548540610813270358/1843862702845674122353463945728\ 51*c_0101_5^9 - 58769279205387819846798119302654423/184386270284567\ 412235346394572851*c_0101_5^8 - 11826824746225108869540972458460058\ 5/184386270284567412235346394572851*c_0101_5^7 - 38327418790526190538621503161157823/1843862702845674122353463945728\ 51*c_0101_5^6 + 300052340948427575348355851420622850/18438627028456\ 7412235346394572851*c_0101_5^5 - 1331951830232243412954828425231549\ 02/184386270284567412235346394572851*c_0101_5^4 - 41334409493165406653076840992221170/1843862702845674122353463945728\ 51*c_0101_5^3 + 25448237234903383449037937734774709/184386270284567\ 412235346394572851*c_0101_5^2 - 2112326839205858293104677035138383/\ 184386270284567412235346394572851*c_0101_5 - 168058520547754602903825402080321/184386270284567412235346394572851\ , c_0101_0 + 8896590195147154609808326666897/1843862702845674122353463945\ 72851*c_0101_5^17 - 19426402416469918500320628761506/18438627028456\ 7412235346394572851*c_0101_5^16 - 246254133518458798736889712803188\ /184386270284567412235346394572851*c_0101_5^15 - 6946360995849798915743996472098/9704540541293021696597178661729*c_0\ 101_5^14 + 1192020602409876902728847970732333/184386270284567412235\ 346394572851*c_0101_5^13 + 5019801604413640942804191326514727/18438\ 6270284567412235346394572851*c_0101_5^12 - 15998004815133536120473456003845583/1843862702845674122353463945728\ 51*c_0101_5^11 + 10307274424569775931452848875509881/18438627028456\ 7412235346394572851*c_0101_5^10 + 139674402530528878151996859426164\ 80/184386270284567412235346394572851*c_0101_5^9 - 17644838080445495081490822876993089/1843862702845674122353463945728\ 51*c_0101_5^8 - 15322004058460304469489875119640528/184386270284567\ 412235346394572851*c_0101_5^7 + 2524175771326981737199138626660761/\ 184386270284567412235346394572851*c_0101_5^6 + 54260691998480980618107823036922755/1843862702845674122353463945728\ 51*c_0101_5^5 - 46911425510827372428745385538038193/184386270284567\ 412235346394572851*c_0101_5^4 + 5641638233226016962948086446384650/\ 184386270284567412235346394572851*c_0101_5^3 + 7803867357494779192863405461728524/18438627028456741223534639457285\ 1*c_0101_5^2 - 2687295353860266822214817750488827/18438627028456741\ 2235346394572851*c_0101_5 + 36966356653603927301686524377074/184386\ 270284567412235346394572851, c_0101_1 - 9129205935541240660539946651794/1843862702845674122353463945\ 72851*c_0101_5^17 + 13959285175898620045172033233843/18438627028456\ 7412235346394572851*c_0101_5^16 + 261440805887266853338313508828866\ /184386270284567412235346394572851*c_0101_5^15 + 16131717125330562787674938390388/9704540541293021696597178661729*c_\ 0101_5^14 - 1011952573106859053269827880938441/18438627028456741223\ 5346394572851*c_0101_5^13 - 5781601859548124525269931415109240/1843\ 86270284567412235346394572851*c_0101_5^12 + 12653067354949292053696398090346550/1843862702845674122353463945728\ 51*c_0101_5^11 - 2512924058008687630820940041027334/184386270284567\ 412235346394572851*c_0101_5^10 - 1588817520738644833993856501214048\ 2/184386270284567412235346394572851*c_0101_5^9 + 7498406670290821616474951337097135/18438627028456741223534639457285\ 1*c_0101_5^8 + 20657929348159289864899632864071489/1843862702845674\ 12235346394572851*c_0101_5^7 + 10759140844377165318210760576389776/\ 184386270284567412235346394572851*c_0101_5^6 - 48993630566672303719212774034168236/1843862702845674122353463945728\ 51*c_0101_5^5 + 17021194159751755138446243095248985/184386270284567\ 412235346394572851*c_0101_5^4 + 6231306103164107993804955648367615/\ 184386270284567412235346394572851*c_0101_5^3 - 2252717051129106804444839024628818/18438627028456741223534639457285\ 1*c_0101_5^2 + 78741309527716401810145989510787/1843862702845674122\ 35346394572851*c_0101_5 - 119863075761437883751513037289593/1843862\ 70284567412235346394572851, c_0101_2 - 26731924527737920525028539304876/184386270284567412235346394\ 572851*c_0101_5^17 + 43359269034163831037141912973389/1843862702845\ 67412235346394572851*c_0101_5^16 + 763532777052764326162845372323591/184386270284567412235346394572851\ *c_0101_5^15 + 43399212507705981332091709084190/9704540541293021696\ 597178661729*c_0101_5^14 - 3097693463841496640410811748955921/18438\ 6270284567412235346394572851*c_0101_5^13 - 16742535452298486007156143557694216/1843862702845674122353463945728\ 51*c_0101_5^12 + 38745522179230190257261188428475195/18438627028456\ 7412235346394572851*c_0101_5^11 - 965547221740607083943331525894541\ 1/184386270284567412235346394572851*c_0101_5^10 - 47628812162214331308408044798092371/1843862702845674122353463945728\ 51*c_0101_5^9 + 26469007935146368600697052194992282/184386270284567\ 412235346394572851*c_0101_5^8 + 60720152018438965236743303644742910\ /184386270284567412235346394572851*c_0101_5^7 + 25480557197779063199144208141437465/1843862702845674122353463945728\ 51*c_0101_5^6 - 149286430304686982635927718334368913/18438627028456\ 7412235346394572851*c_0101_5^5 + 5961113218568692783219038233387105\ 3/184386270284567412235346394572851*c_0101_5^4 + 19360104535529620131750580575791961/1843862702845674122353463945728\ 51*c_0101_5^3 - 10914791414564672491116974104320805/184386270284567\ 412235346394572851*c_0101_5^2 + 1426015368178603698565209688406427/\ 184386270284567412235346394572851*c_0101_5 + 29646455265423133662261105682335/184386270284567412235346394572851, c_0101_5^18 - 2*c_0101_5^17 - 28*c_0101_5^16 - 20*c_0101_5^15 + 129*c_0101_5^14 + 585*c_0101_5^13 - 1690*c_0101_5^12 + 876*c_0101_5^11 + 1697*c_0101_5^10 - 1659*c_0101_5^9 - 1976*c_0101_5^8 - 87*c_0101_5^7 + 6046*c_0101_5^6 - 4238*c_0101_5^5 - 79*c_0101_5^4 + 718*c_0101_5^3 - 174*c_0101_5^2 + 7*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB