Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 3499183533] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2978 geometric_solution 6.15659151 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 0 -1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.348021327402 0.734603809624 0 0 3 2 0132 3201 0132 0132 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 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.958585118976 1.171114712326 4 5 1 6 0132 0132 0132 0132 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 1 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.247118547551 0.756835579504 5 4 6 1 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.247118547551 0.756835579504 2 3 6 6 0132 0132 3012 1230 0 0 0 0 0 0 0 0 0 0 0 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 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.661644724861 0.892719516149 5 2 5 3 2031 0132 1302 2310 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 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.747711749292 0.761427577679 4 4 2 3 3012 1230 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.057023874486 1.040867449562 ==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' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : negation(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_1100_1'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_1100_1'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_6, c_0101_1, c_0101_3, c_0101_4, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 17867153508916186743425933759/404217725809698358749522079*c_1100_1^\ 19 + 74866358288343714342066704950/404217725809698358749522079*c_11\ 00_1^18 + 302282559651111774958572172913/80843545161939671749904415\ 8*c_1100_1^17 - 953472818561090338233489924229/40421772580969835874\ 9522079*c_1100_1^16 - 19882927690624134488311330739/833438609916903\ 8324732414*c_1100_1^15 + 8756843846427319226168148736910/4042177258\ 09698358749522079*c_1100_1^14 - 1714251589644736881957640762166/404\ 217725809698358749522079*c_1100_1^13 - 45977508554099287188142064577834/404217725809698358749522079*c_1100\ _1^12 + 115881542165202668796736165224487/8084354516193967174990441\ 58*c_1100_1^11 + 97284636078248351899950731018970/40421772580969835\ 8749522079*c_1100_1^10 - 273197040638178334222921054452882/40421772\ 5809698358749522079*c_1100_1^9 + 148695894249282386243137208500019/\ 808435451619396717499044158*c_1100_1^8 + 883183504306011015014959564617667/808435451619396717499044158*c_110\ 0_1^7 - 1216782230846674066463693380104765/808435451619396717499044\ 158*c_1100_1^6 + 138063720350921708475483536718571/4042177258096983\ 58749522079*c_1100_1^5 + 396846514975632467761812465239405/40421772\ 5809698358749522079*c_1100_1^4 - 918545751204242298437535522284737/\ 808435451619396717499044158*c_1100_1^3 + 215250577292883715846698405543547/404217725809698358749522079*c_110\ 0_1^2 - 968742429391463520476214577272/9858968922187764847549319*c_\ 1100_1 - 145901406443627180718972173831/808435451619396717499044158\ , c_0011_0 - 1, c_0011_2 + 9112249821620137631139583/40844299820492168654132893*c_1100_\ 1^19 - 36724241859126601166501820/40844299820492168654132893*c_1100\ _1^18 - 83308990986879208472355156/40844299820492168654132893*c_110\ 0_1^17 + 471710055010699957195444514/40844299820492168654132893*c_1\ 100_1^16 + 5934317750988185183554799/421075255881362563444669*c_110\ 0_1^15 - 4354637947773885566430787517/40844299820492168654132893*c_\ 1100_1^14 + 91918611606880145776824202/40844299820492168654132893*c\ _1100_1^13 + 23295574714877439420218901188/408442998204921686541328\ 93*c_1100_1^12 - 25205970075327267940386240487/40844299820492168654\ 132893*c_1100_1^11 - 52955379787946408984849749523/4084429982049216\ 8654132893*c_1100_1^10 + 127836977248524093279077473626/40844299820\ 492168654132893*c_1100_1^9 - 17991595315540721683259254565/40844299\ 820492168654132893*c_1100_1^8 - 219453654274772072914910301877/4084\ 4299820492168654132893*c_1100_1^7 + 269894828098444099357417019697/40844299820492168654132893*c_1100_1^\ 6 - 38271014437978408697686052806/40844299820492168654132893*c_1100\ _1^5 - 191980284028007488185409557111/40844299820492168654132893*c_\ 1100_1^4 + 201452704456334831345761046878/4084429982049216865413289\ 3*c_1100_1^3 - 88698374594852343572784035731/4084429982049216865413\ 2893*c_1100_1^2 + 15312049944068278687264029015/4084429982049216865\ 4132893*c_1100_1 + 107562153986067699233761316/40844299820492168654\ 132893, c_0011_6 + 610825761906476928/9661808394265352569*c_1100_1^19 - 1710822353341494716/9661808394265352569*c_1100_1^18 - 7738964894195822567/9661808394265352569*c_1100_1^17 + 22303054600691156265/9661808394265352569*c_1100_1^16 + 686300090240532136/99606272105828377*c_1100_1^15 - 212708905684215402942/9661808394265352569*c_1100_1^14 - 259941316810193551488/9661808394265352569*c_1100_1^13 + 1266782199527588895405/9661808394265352569*c_1100_1^12 - 120322192409945662582/9661808394265352569*c_1100_1^11 - 3837917183118069018348/9661808394265352569*c_1100_1^10 + 3928176900702326121732/9661808394265352569*c_1100_1^9 + 4012487021564056335347/9661808394265352569*c_1100_1^8 - 10347583093666308671307/9661808394265352569*c_1100_1^7 + 5091553021842958190060/9661808394265352569*c_1100_1^6 + 4937853270477210892045/9661808394265352569*c_1100_1^5 - 7658509059820648431207/9661808394265352569*c_1100_1^4 + 3671151145922786228397/9661808394265352569*c_1100_1^3 - 443638123470460292549/9661808394265352569*c_1100_1^2 - 105646597647372602572/9661808394265352569*c_1100_1 - 7215361078333906734/9661808394265352569, c_0101_1 + 5443071800228943641/9661808394265352569*c_1100_1^19 - 22383112962822251492/9661808394265352569*c_1100_1^18 - 47887649610625474981/9661808394265352569*c_1100_1^17 + 286435623297306966046/9661808394265352569*c_1100_1^16 + 3284157594834074703/99606272105828377*c_1100_1^15 - 2638278947975995444372/9661808394265352569*c_1100_1^14 + 290522786022462835429/9661808394265352569*c_1100_1^13 + 13989408377597918236546/9661808394265352569*c_1100_1^12 - 16370592594153374420004/9661808394265352569*c_1100_1^11 - 30761499821153792504328/9661808394265352569*c_1100_1^10 + 79907587585057753355927/9661808394265352569*c_1100_1^9 - 16389517765529746353575/9661808394265352569*c_1100_1^8 - 133236883205839804366852/9661808394265352569*c_1100_1^7 + 172996082948271880629215/9661808394265352569*c_1100_1^6 - 31665697628965296158110/9661808394265352569*c_1100_1^5 - 118048234246268190750438/9661808394265352569*c_1100_1^4 + 129676956562650016967074/9661808394265352569*c_1100_1^3 - 58846355990847924253324/9661808394265352569*c_1100_1^2 + 10528343410721878308849/9661808394265352569*c_1100_1 + 30886141523268698753/9661808394265352569, c_0101_3 - 718385707579348723659461/40844299820492168654132893*c_1100_1\ ^19 + 1148349775621756455727027/40844299820492168654132893*c_1100_1\ ^18 + 11503372038299744692390683/40844299820492168654132893*c_1100_\ 1^17 - 15951351246067446474505294/40844299820492168654132893*c_1100\ _1^16 - 1122232824029405590597845/421075255881362563444669*c_1100_1\ ^15 + 166322658494025248538388524/40844299820492168654132893*c_1100\ _1^14 + 597112520778235372360572982/40844299820492168654132893*c_11\ 00_1^13 - 1215822354695163034926239667/40844299820492168654132893*c\ _1100_1^12 - 1563766212888809057239951775/4084429982049216865413289\ 3*c_1100_1^11 + 5168736033569269949306659133/4084429982049216865413\ 2893*c_1100_1^10 + 195008728418771001878207981/40844299820492168654\ 132893*c_1100_1^9 - 11517465372632959138292644294/40844299820492168\ 654132893*c_1100_1^8 + 8894279862451596593763983109/408442998204921\ 68654132893*c_1100_1^7 + 9460369785221028722380800306/4084429982049\ 2168654132893*c_1100_1^6 - 17461656530577138822567614320/4084429982\ 0492168654132893*c_1100_1^5 + 4582812259071914412598058904/40844299\ 820492168654132893*c_1100_1^4 + 8504407598892831006953112315/408442\ 99820492168654132893*c_1100_1^3 - 7701119896179594010561202867/4084\ 4299820492168654132893*c_1100_1^2 + 1944182124924655037764360192/40844299820492168654132893*c_1100_1 + 72458857627107242231083499/40844299820492168654132893, c_0101_4 - 7618515167430464226291306/40844299820492168654132893*c_1100_\ 1^19 + 23375686624079159420526125/40844299820492168654132893*c_1100\ _1^18 + 90221775449980295251033805/40844299820492168654132893*c_110\ 0_1^17 - 302651330323639998703433283/40844299820492168654132893*c_1\ 100_1^16 - 7709277646282156214209637/421075255881362563444669*c_110\ 0_1^15 + 2857980925822233757591816012/40844299820492168654132893*c_\ 1100_1^14 + 2460638174862165899760684810/40844299820492168654132893\ *c_1100_1^13 - 16501136439040377827792520005/4084429982049216865413\ 2893*c_1100_1^12 + 6050857982247938886724466364/4084429982049216865\ 4132893*c_1100_1^11 + 46431588601553471641745469902/408442998204921\ 68654132893*c_1100_1^10 - 62154737711879521138162737053/40844299820\ 492168654132893*c_1100_1^9 - 33557039081048246993596252344/40844299\ 820492168654132893*c_1100_1^8 + 140298949475852395112763326374/4084\ 4299820492168654132893*c_1100_1^7 - 102507718329301499033719085613/40844299820492168654132893*c_1100_1^\ 6 - 37163993161211139630859670006/40844299820492168654132893*c_1100\ _1^5 + 110127054324805749112883222848/40844299820492168654132893*c_\ 1100_1^4 - 75946851154608277502309171671/40844299820492168654132893\ *c_1100_1^3 + 22784254817061553385750539491/40844299820492168654132\ 893*c_1100_1^2 - 2119205566759978430569090049/408442998204921686541\ 32893*c_1100_1 - 73230944680024417484310776/40844299820492168654132\ 893, c_1100_1^20 - 5*c_1100_1^19 - 5*c_1100_1^18 + 60*c_1100_1^17 + 10*c_1100_1^16 - 531*c_1100_1^15 + 499*c_1100_1^14 + 2469*c_1100_1^13 - 5345*c_1100_1^12 - 2666*c_1100_1^11 + 19627*c_1100_1^10 - 16970*c_1100_1^9 - 20730*c_1100_1^8 + 54360*c_1100_1^7 - 36665*c_1100_1^6 - 14963*c_1100_1^5 + 44105*c_1100_1^4 - 33961*c_1100_1^3 + 12664*c_1100_1^2 - 1948*c_1100_1 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB