Magma V2.19-8 Tue Aug 20 2013 16:16:47 on localhost [Seed = 3684321042] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1064 geometric_solution 4.93574878 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.501014160168 0.510144402975 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944635404442 2.953436544455 3 3 1 4 1023 2031 0132 0132 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 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.260888279890 0.740921688888 2 2 4 1 1302 1023 2310 0132 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 -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.260888279890 0.740921688888 5 3 2 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.331133755567 0.217665601883 4 6 6 4 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.115522923315 0.689867505781 5 5 6 6 2310 0132 2031 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 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 1.855806216669 0.547186268073 ==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' : negation(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' : negation(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_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : 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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0011_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 51666453601842192055997438/128123772981567480104965*c_0101_5*c_0101\ _6^17 - 185226106594555281681956984/128123772981567480104965*c_0101\ _5*c_0101_6^16 + 227386809605342981432146578/2562475459631349602099\ 3*c_0101_5*c_0101_6^15 + 5073036083782988967502378727/1281237729815\ 67480104965*c_0101_5*c_0101_6^14 - 1704307510713680327739138562/128123772981567480104965*c_0101_5*c_01\ 01_6^13 - 26666655559134173246237375364/128123772981567480104965*c_\ 0101_5*c_0101_6^12 + 849569814141198657021408615/256247545963134960\ 20993*c_0101_5*c_0101_6^11 + 86721530263841885135509984649/12812377\ 2981567480104965*c_0101_5*c_0101_6^10 - 14566761996278558448535432669/25624754596313496020993*c_0101_5*c_01\ 01_6^9 - 241931641181311791380629991113/128123772981567480104965*c_\ 0101_5*c_0101_6^8 + 59896188834787185380287713402/12812377298156748\ 0104965*c_0101_5*c_0101_6^7 + 143381010271969276925070248892/128123\ 772981567480104965*c_0101_5*c_0101_6^6 - 33524958210211579498083755802/128123772981567480104965*c_0101_5*c_0\ 101_6^5 - 26550918258382214628946085329/128123772981567480104965*c_\ 0101_5*c_0101_6^4 + 5546211819284610207845714758/128123772981567480\ 104965*c_0101_5*c_0101_6^3 + 1788626396935007921766859843/128123772\ 981567480104965*c_0101_5*c_0101_6^2 - 50093721403988405882238981/128123772981567480104965*c_0101_5*c_0101\ _6 - 104066821607390870809639213/128123772981567480104965*c_0101_5, c_0011_0 - 1, c_0011_2 - 415663342389777268889843/128123772981567480104965*c_0101_5*c\ _0101_6^17 - 1338780253818679062068793/128123772981567480104965*c_0\ 101_5*c_0101_6^16 + 9669702133504687208069134/128123772981567480104\ 965*c_0101_5*c_0101_6^15 + 37429384890909562485631546/1281237729815\ 67480104965*c_0101_5*c_0101_6^14 - 28077581531212261292991737/128123772981567480104965*c_0101_5*c_0101\ _6^13 - 41603377874788180407933096/25624754596313496020993*c_0101_5\ *c_0101_6^12 + 109935352400709687345549982/128123772981567480104965\ *c_0101_5*c_0101_6^11 + 675963322351152947609221496/128123772981567\ 480104965*c_0101_5*c_0101_6^10 - 829219299485533233040192451/128123\ 772981567480104965*c_0101_5*c_0101_6^9 - 1703141107771634883580348419/128123772981567480104965*c_0101_5*c_01\ 01_6^8 + 1133228230367959013262188492/128123772981567480104965*c_01\ 01_5*c_0101_6^7 + 917444669088974312118096168/128123772981567480104\ 965*c_0101_5*c_0101_6^6 - 117893638727009177381970067/2562475459631\ 3496020993*c_0101_5*c_0101_6^5 - 96001022526265823179374998/1281237\ 72981567480104965*c_0101_5*c_0101_6^4 + 71853423707935324341930522/128123772981567480104965*c_0101_5*c_0101\ _6^3 + 5111274833240486743745016/128123772981567480104965*c_0101_5*\ c_0101_6^2 - 502899317372430868312344/128123772981567480104965*c_01\ 01_5*c_0101_6 - 1078876020655170869927559/128123772981567480104965*\ c_0101_5, c_0011_4 - 700646274648377313516122/128123772981567480104965*c_0101_6^1\ 7 - 2425591890525724055836441/128123772981567480104965*c_0101_6^16 + 3137701271999324356840958/25624754596313496020993*c_0101_6^15 + 66779326395231160417371333/128123772981567480104965*c_0101_6^14 - 30663919014632899655697858/128123772981567480104965*c_0101_6^13 - 355459548606052090176507921/128123772981567480104965*c_0101_6^12 + 19796800093518054834450709/25624754596313496020993*c_0101_6^11 + 1150223864715879880849281041/128123772981567480104965*c_0101_6^10 - 223845533014244645126481224/25624754596313496020993*c_0101_6^9 - 3099157612343839727537620882/128123772981567480104965*c_0101_6^8 + 1129500624138309520739317308/128123772981567480104965*c_0101_6^7 + 1702247566800208253459194768/128123772981567480104965*c_0101_6^6 - 567597260923954921316649708/128123772981567480104965*c_0101_6^5 - 243470841014765590153127606/128123772981567480104965*c_0101_6^4 + 58601956126872328479825392/128123772981567480104965*c_0101_6^3 + 17352328955087439811064487/128123772981567480104965*c_0101_6^2 + 1079561210540211992152746/128123772981567480104965*c_0101_6 - 1551493133541759341043697/128123772981567480104965, c_0101_0 + 1805965986955080385608963/128123772981567480104965*c_0101_6^\ 17 + 6251938693190622513885558/128123772981567480104965*c_0101_6^16 - 40443434776488138540261269/128123772981567480104965*c_0101_6^15 - 172138171078882923031279251/128123772981567480104965*c_0101_6^14 + 79162942860561405557234867/128123772981567480104965*c_0101_6^13 + 183321881115532972051371607/25624754596313496020993*c_0101_6^12 - 255569712248566457460582117/128123772981567480104965*c_0101_6^11 - 2966963103617212069732295711/128123772981567480104965*c_0101_6^10 + 2886555339375512976138972431/128123772981567480104965*c_0101_6^9 + 7995087098746963871695117939/128123772981567480104965*c_0101_6^8 - 2921636942579260520402821917/128123772981567480104965*c_0101_6^7 - 4404678316081370908322590968/128123772981567480104965*c_0101_6^6 + 295273162292719192804637333/25624754596313496020993*c_0101_6^5 + 635759402134498230512339093/128123772981567480104965*c_0101_6^4 - 156803869867969558359176652/128123772981567480104965*c_0101_6^3 - 45486384021737524301921456/128123772981567480104965*c_0101_6^2 - 2651581533495331428367961/128123772981567480104965*c_0101_6 + 3974590042035144448398049/128123772981567480104965, c_0101_1 + 2640156115652343664693563/128123772981567480104965*c_0101_5*\ c_0101_6^17 + 9446027307758099074139783/128123772981567480104965*c_\ 0101_5*c_0101_6^16 - 57967966803483328322809929/1281237729815674801\ 04965*c_0101_5*c_0101_6^15 - 258138107049929949884286936/1281237729\ 81567480104965*c_0101_5*c_0101_6^14 + 84519480559504902368029072/128123772981567480104965*c_0101_5*c_0101\ _6^13 + 268690765310177114539933089/25624754596313496020993*c_0101_\ 5*c_0101_6^12 - 217753440682244580344663592/12812377298156748010496\ 5*c_0101_5*c_0101_6^11 - 4331502617725497984310317036/1281237729815\ 67480104965*c_0101_5*c_0101_6^10 + 3722069286773860447373192606/128123772981567480104965*c_0101_5*c_01\ 01_6^9 + 12020416061869152496327373054/128123772981567480104965*c_0\ 101_5*c_0101_6^8 - 2821985972957692192300838887/1281237729815674801\ 04965*c_0101_5*c_0101_6^7 - 6469200353770143116311663233/1281237729\ 81567480104965*c_0101_5*c_0101_6^6 + 286627239021392133574059549/25624754596313496020993*c_0101_5*c_0101\ _6^5 + 944451034049181229703417478/128123772981567480104965*c_0101_\ 5*c_0101_6^4 - 134347577569130069161222822/128123772981567480104965\ *c_0101_5*c_0101_6^3 - 60564482067494027357575816/12812377298156748\ 0104965*c_0101_5*c_0101_6^2 - 6772592104080552391881851/12812377298\ 1567480104965*c_0101_5*c_0101_6 + 4283584869473980255240754/1281237\ 72981567480104965*c_0101_5, c_0101_5^2 - 64730613316118423057615/25624754596313496020993*c_0101_6^1\ 7 - 1127004231564433740182138/128123772981567480104965*c_0101_6^16 + 7224393050119088768500963/128123772981567480104965*c_0101_6^15 + 30992953154424303933720878/128123772981567480104965*c_0101_6^14 - 2708833315528792236128077/25624754596313496020993*c_0101_6^13 - 164458998800199595709808327/128123772981567480104965*c_0101_6^12 + 42502104496795348180292159/128123772981567480104965*c_0101_6^11 + 532195604275002102325093434/128123772981567480104965*c_0101_6^10 - 506766396144843667527969482/128123772981567480104965*c_0101_6^9 - 1441871203821235219864850432/128123772981567480104965*c_0101_6^8 + 98866677861281152991480088/25624754596313496020993*c_0101_6^7 + 795159743267138953472207582/128123772981567480104965*c_0101_6^6 - 250477303761249363288288826/128123772981567480104965*c_0101_6^5 - 116559612535221999899205108/128123772981567480104965*c_0101_6^4 + 26460730525516344886774073/128123772981567480104965*c_0101_6^3 + 7957900184042417647209001/128123772981567480104965*c_0101_6^2 + 550445690403372599504669/128123772981567480104965*c_0101_6 - 700646274648377313516122/128123772981567480104965, c_0101_6^18 + 3*c_0101_6^17 - 24*c_0101_6^16 - 85*c_0101_6^15 + 88*c_0101_6^14 + 488*c_0101_6^13 - 376*c_0101_6^12 - 1581*c_0101_6^11 + 2357*c_0101_6^10 + 3700*c_0101_6^9 - 3670*c_0101_6^8 - 1724*c_0101_6^7 + 1945*c_0101_6^6 - 10*c_0101_6^5 - 250*c_0101_6^4 + 13*c_0101_6^3 + 10*c_0101_6^2 + 3*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB