Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 997894107] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0660 geometric_solution 4.63876458 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 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 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 1.921980853271 0.512139289201 0 2 3 0 0132 0132 0132 3201 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 -1 1 0 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.388256943078 0.889428917088 3 1 4 3 2310 0132 0132 3201 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 1 0 -1 1 0 0 -1 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.202882917980 0.701887146398 4 2 2 1 1023 2310 3201 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 0 0 -1 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.202882917980 0.701887146398 5 3 5 2 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.835488902250 1.530499380805 4 4 6 6 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.122282825718 0.304349716131 5 6 6 5 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.446627187364 0.977793887501 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), '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_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], '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_6'], '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_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(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_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : 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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 281685970260596538566949109139769675/491733201348046950204340560880\ 5061*c_0101_4^16 + 742708808949562212011125303937572435/49173320134\ 80469502043405608805061*c_0101_4^15 - 8276568303424051512605853349722269905/49173320134804695020434056088\ 05061*c_0101_4^14 - 3772745964525082424150550179062070244/491733201\ 3480469502043405608805061*c_0101_4^13 + 52379307703813764312459645880372059250/4917332013480469502043405608\ 805061*c_0101_4^12 - 7908661991978662268456916395967272946/49173320\ 13480469502043405608805061*c_0101_4^11 - 45048372858536759197710635988676613620/4917332013480469502043405608\ 805061*c_0101_4^10 - 79857080646035147896366288360270276666/4917332\ 013480469502043405608805061*c_0101_4^9 - 53564436096982837735639470340070664522/4917332013480469502043405608\ 805061*c_0101_4^8 + 229814518233931277242446933016393466327/4917332\ 013480469502043405608805061*c_0101_4^7 - 93577111558925728641137082573681401995/4917332013480469502043405608\ 805061*c_0101_4^6 + 119241805088162180620414168981473021417/4917332\ 013480469502043405608805061*c_0101_4^5 - 54492763034153474975060685406318520668/4917332013480469502043405608\ 805061*c_0101_4^4 - 8036191704738776783060143785534459257/491733201\ 3480469502043405608805061*c_0101_4^3 + 29678366720657807332270201580394389484/4917332013480469502043405608\ 805061*c_0101_4^2 - 21313124124630077912226755266970440820/49173320\ 13480469502043405608805061*c_0101_4 + 2988398266586765380857996504315035723/49173320134804695020434056088\ 05061, c_0011_0 - 1, c_0011_3 + 199958929461998072336937445577255/49173320134804695020434056\ 08805061*c_0101_4^16 + 697442411677801543540534231655136/4917332013\ 480469502043405608805061*c_0101_4^15 - 5289815368263737705885021208551154/49173320134804695020434056088050\ 61*c_0101_4^14 - 7219692624520182455731805179347299/491733201348046\ 9502043405608805061*c_0101_4^13 + 311978704783875641788247524326738\ 21/4917332013480469502043405608805061*c_0101_4^12 + 21430199540524495172465234925657138/4917332013480469502043405608805\ 061*c_0101_4^11 - 13966322124810112368846704173477727/4917332013480\ 469502043405608805061*c_0101_4^10 - 70527868442064744368421897775768373/4917332013480469502043405608805\ 061*c_0101_4^9 - 103254674626686796134383265441308226/4917332013480\ 469502043405608805061*c_0101_4^8 + 78694721266886293644171986396624378/4917332013480469502043405608805\ 061*c_0101_4^7 + 13790867763186219119363433839375115/49173320134804\ 69502043405608805061*c_0101_4^6 + 105915454851851167704804672465392\ 654/4917332013480469502043405608805061*c_0101_4^5 + 51007516620310518554689638438804486/4917332013480469502043405608805\ 061*c_0101_4^4 + 12836791772552735590747197003336988/49173320134804\ 69502043405608805061*c_0101_4^3 + 294962183156155151354268880763549\ 10/4917332013480469502043405608805061*c_0101_4^2 - 908634006572161203753875561591871/491733201348046950204340560880506\ 1*c_0101_4 + 1956114690377574109943567241715645/4917332013480469502\ 043405608805061, c_0011_6 + 268125855874500995528318793587855/49173320134804695020434056\ 08805061*c_0101_4^16 + 916653866646583057276219598448851/4917332013\ 480469502043405608805061*c_0101_4^15 - 7215331798815116319932455542809165/49173320134804695020434056088050\ 61*c_0101_4^14 - 9396057283303149234563592353832330/491733201348046\ 9502043405608805061*c_0101_4^13 + 440393836509947269858538239815227\ 14/4917332013480469502043405608805061*c_0101_4^12 + 28188165327817055230342187884198570/4917332013480469502043405608805\ 061*c_0101_4^11 - 30368718695613905118324667916395741/4917332013480\ 469502043405608805061*c_0101_4^10 - 101846105296380215202129526515125575/491733201348046950204340560880\ 5061*c_0101_4^9 - 123058198819374579188740015041414506/491733201348\ 0469502043405608805061*c_0101_4^8 + 141686561547340981245399773009718175/491733201348046950204340560880\ 5061*c_0101_4^7 + 37974428919776931728870769285841060/4917332013480\ 469502043405608805061*c_0101_4^6 + 106310046823915587466016550940060636/491733201348046950204340560880\ 5061*c_0101_4^5 + 35801110291009319643812909449369250/4917332013480\ 469502043405608805061*c_0101_4^4 - 3291102764796662907474158061948362/49173320134804695020434056088050\ 61*c_0101_4^3 + 30059368776310429766233650240316826/491733201348046\ 9502043405608805061*c_0101_4^2 - 446863286016310386476831797905881/\ 4917332013480469502043405608805061*c_0101_4 + 688170410935602279887038763691288/491733201348046950204340560880506\ 1, c_0101_0 - 4322879202579352341946013687687710/4917332013480469502043405\ 608805061*c_0101_4^16 - 14261364957137822292318149580253917/4917332\ 013480469502043405608805061*c_0101_4^15 + 117842073831032726923299168924364987/491733201348046950204340560880\ 5061*c_0101_4^14 + 136828860212477037936248096654907537/49173320134\ 80469502043405608805061*c_0101_4^13 - 720713389358316855407253056701863358/491733201348046950204340560880\ 5061*c_0101_4^12 - 363899251680577948283274024651234620/49173320134\ 80469502043405608805061*c_0101_4^11 + 496357574041934092018968319215098421/491733201348046950204340560880\ 5061*c_0101_4^10 + 1572360437713403187565243263499980026/4917332013\ 480469502043405608805061*c_0101_4^9 + 1831329615002071439682858906462238444/49173320134804695020434056088\ 05061*c_0101_4^8 - 2407861713775950448596446276596059222/4917332013\ 480469502043405608805061*c_0101_4^7 - 265575827821044997104379272630188794/491733201348046950204340560880\ 5061*c_0101_4^6 - 1846713895337816355139241924693240128/49173320134\ 80469502043405608805061*c_0101_4^5 - 391476273930087264112669421437357611/491733201348046950204340560880\ 5061*c_0101_4^4 - 19176979498134955196235333629513315/4917332013480\ 469502043405608805061*c_0101_4^3 - 446798080188772810390327079490778657/491733201348046950204340560880\ 5061*c_0101_4^2 + 32158632568822824768050352069699737/4917332013480\ 469502043405608805061*c_0101_4 + 8476819091059373512287335846195873\ /4917332013480469502043405608805061, c_0101_1 - 2343308151993789760071056810753435/4917332013480469502043405\ 608805061*c_0101_4^16 - 7420604533193730556104599260117762/49173320\ 13480469502043405608805061*c_0101_4^15 + 64925591220231995830796725693638297/4917332013480469502043405608805\ 061*c_0101_4^14 + 65796937775326272654219747237844718/4917332013480\ 469502043405608805061*c_0101_4^13 - 401148252097187843290413271616501639/491733201348046950204340560880\ 5061*c_0101_4^12 - 146316534439172981601054002676265383/49173320134\ 80469502043405608805061*c_0101_4^11 + 299320591163949919670799005693969574/491733201348046950204340560880\ 5061*c_0101_4^10 + 818566776855151285725323026337906213/49173320134\ 80469502043405608805061*c_0101_4^9 + 875772374834423733975678754048058312/491733201348046950204340560880\ 5061*c_0101_4^8 - 1444076765925385198878528494921648844/49173320134\ 80469502043405608805061*c_0101_4^7 + 21722012227822302370632835474291134/4917332013480469502043405608805\ 061*c_0101_4^6 - 967592949873279144752613875667857721/4917332013480\ 469502043405608805061*c_0101_4^5 - 80000258364927846713226941965774463/4917332013480469502043405608805\ 061*c_0101_4^4 + 19448437595779642115913524307602017/49173320134804\ 69502043405608805061*c_0101_4^3 - 239064186889331847165279116728859\ 503/4917332013480469502043405608805061*c_0101_4^2 + 48869706321167625146756649754224348/4917332013480469502043405608805\ 061*c_0101_4 + 3543143738875697612906059414588789/49173320134804695\ 02043405608805061, c_0101_2 - 187958679744822754546544210013185/49173320134804695020434056\ 08805061*c_0101_4^16 - 480240365296078017888125748595472/4917332013\ 480469502043405608805061*c_0101_4^15 + 5611812143933019030071822927660380/49173320134804695020434056088050\ 61*c_0101_4^14 + 2207350473721051260537884351688612/491733201348046\ 9502043405608805061*c_0101_4^13 - 365555639481511098576009936638157\ 91/4917332013480469502043405608805061*c_0101_4^12 + 7098467581541423284231135665741702/49173320134804695020434056088050\ 61*c_0101_4^11 + 38453995079186080717797286053922672/49173320134804\ 69502043405608805061*c_0101_4^10 + 52100938608450403434836032505078972/4917332013480469502043405608805\ 061*c_0101_4^9 + 24145091685877098761386740163646821/49173320134804\ 69502043405608805061*c_0101_4^8 - 173364868011930128038057509855945\ 027/4917332013480469502043405608805061*c_0101_4^7 + 59683504197710408233892928212197685/4917332013480469502043405608805\ 061*c_0101_4^6 - 49525271716242212436433411051055458/49173320134804\ 69502043405608805061*c_0101_4^5 + 380185133736599720005165496259380\ 42/4917332013480469502043405608805061*c_0101_4^4 + 27469355177352687645282909621243068/4917332013480469502043405608805\ 061*c_0101_4^3 - 23258566812992519011118965719304753/49173320134804\ 69502043405608805061*c_0101_4^2 + 151075387911513160902782831016531\ 57/4917332013480469502043405608805061*c_0101_4 + 292205066067604783093690122287028/491733201348046950204340560880506\ 1, c_0101_4^17 + 16/5*c_0101_4^16 - 138/5*c_0101_4^15 - 29*c_0101_4^14 + 851/5*c_0101_4^13 + 341/5*c_0101_4^12 - 626/5*c_0101_4^11 - 1771/5*c_0101_4^10 - 1933/5*c_0101_4^9 + 3022/5*c_0101_4^8 + 68/5*c_0101_4^7 + 2079/5*c_0101_4^6 + 224/5*c_0101_4^5 - 58/5*c_0101_4^4 + 504/5*c_0101_4^3 - 91/5*c_0101_4^2 - 8/5*c_0101_4 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB