Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 526287871] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0637 geometric_solution 4.62738315 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.637281726600 0.212930351860 2 0 2 0 0132 2310 1023 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 -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.951139452771 0.258710309419 1 3 1 4 0132 0132 1023 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 -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 1.249475784116 0.316875546660 4 2 5 4 3012 0132 0132 1230 0 0 0 0 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 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 1.134999292858 0.594614294026 3 5 2 3 3012 0132 0132 1230 0 0 0 0 0 0 -1 1 -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 -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 1.134999292858 0.594614294026 6 4 6 3 0132 0132 2310 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 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.380566771753 0.412869384195 5 5 6 6 0132 3201 1230 3012 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 -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.560310728770 0.463772427055 ==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' : 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' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 2048862345416495572421952774004146667338212227/72019201155227190258\ 15750732052996286188817550*c_1001_3^13 - 3309189423358329747333950751622684247290495997/72019201155227190258\ 15750732052996286188817550*c_1001_3^12 - 846411538695457215734609144932867473069677/298834859565258050863724\ 0967656844932028555*c_1001_3^11 - 863042250426858448157429221715836\ 76461329080599/1440384023104543805163150146410599257237763510*c_100\ 1_3^10 - 1070652362607728082656281570612023494320463494511/72019201\ 15522719025815750732052996286188817550*c_1001_3^9 + 1684928239746711796851521808767525404161562571681/24006400385075730\ 08605250244017665428729605850*c_1001_3^8 + 1522746948188015561467200529980937255847230264471/23232000372653932\ 3413411313937193428586736050*c_1001_3^7 + 92734867442463239705117313567433914953649724184903/7201920115522719\ 025815750732052996286188817550*c_1001_3^6 + 66668231962023262422375661235273364686351632392256/3600960057761359\ 512907875366026498143094408775*c_1001_3^5 - 514525929759327469750907506057060036533484304371/232320003726539323\ 413411313937193428586736050*c_1001_3^4 - 47033328457911090135847716789035639554066086204997/7201920115522719\ 025815750732052996286188817550*c_1001_3^3 + 4099036261614511801627011413058412152600723515212/72019201155227190\ 2581575073205299628618881755*c_1001_3^2 - 27503270281377462772160152051569626117039367437482/3600960057761359\ 512907875366026498143094408775*c_1001_3 - 4142570347385151107949395324372709682398779974661/72019201155227190\ 25815750732052996286188817550, c_0011_0 - 1, c_0011_1 - 262945868047559050783107950510046029/75654394826647607813601\ 03715586949195009*c_1001_3^13 - 78825195326523901236021232571698537\ /7565439482664760781360103715586949195009*c_1001_3^12 + 358732881715878274263897937284601976/756543948266476078136010371558\ 6949195009*c_1001_3^11 - 54966782802414620341986296582138506576/756\ 5439482664760781360103715586949195009*c_1001_3^10 - 64574306788093657206324387511644509692/7565439482664760781360103715\ 586949195009*c_1001_3^9 + 280838678138055644774727067613247096871/2\ 521813160888253593786701238528983065003*c_1001_3^8 + 168743855773787481647588368661067651305/244046434924669702624519474\ 696353199839*c_1001_3^7 + 3758101864981202361017775429833740801297/\ 7565439482664760781360103715586949195009*c_1001_3^6 + 114546233825128766532783638021028293626/756543948266476078136010371\ 5586949195009*c_1001_3^5 - 854263969738749608601121189756023163790/\ 244046434924669702624519474696353199839*c_1001_3^4 - 5727140708296604930863645487550541632716/75654394826647607813601037\ 15586949195009*c_1001_3^3 + 143692929504052493660137700449563039494\ 66/7565439482664760781360103715586949195009*c_1001_3^2 - 14754235505136344145818322837581635651171/7565439482664760781360103\ 715586949195009*c_1001_3 + 6656955777428584152767098449482032867301\ /7565439482664760781360103715586949195009, c_0101_0 + 455130889543505808814262340795455401/75654394826647607813601\ 03715586949195009*c_1001_3^13 + 10619981485431045727309497316964192\ 12/7565439482664760781360103715586949195009*c_1001_3^12 + 931975743340175842616291150304607061/756543948266476078136010371558\ 6949195009*c_1001_3^11 + 96236242557781942362891042424178614328/756\ 5439482664760781360103715586949195009*c_1001_3^10 + 306882687912872774826328769026541621843/756543948266476078136010371\ 5586949195009*c_1001_3^9 - 320748246857627073589958168109571247360/\ 2521813160888253593786701238528983065003*c_1001_3^8 - 364210606236922163439774827075295624418/244046434924669702624519474\ 696353199839*c_1001_3^7 - 27933626584641620498238457175649049341773\ /7565439482664760781360103715586949195009*c_1001_3^6 - 43600274898632116257599105249292996756146/7565439482664760781360103\ 715586949195009*c_1001_3^5 - 60386354878019967481149175402980749529\ 5/244046434924669702624519474696353199839*c_1001_3^4 + 9592774916328865447835979987783486211150/75654394826647607813601037\ 15586949195009*c_1001_3^3 - 100352179917737720584701117188259370074\ 28/7565439482664760781360103715586949195009*c_1001_3^2 + 7935768955527638795435707748252852633120/75654394826647607813601037\ 15586949195009*c_1001_3 + 11365817237966822218424247413224924161215\ /7565439482664760781360103715586949195009, c_0101_1 + 271219973870638833644226066065129095/75654394826647607813601\ 03715586949195009*c_1001_3^13 + 57131949750450482720371113438850313\ 0/7565439482664760781360103715586949195009*c_1001_3^12 + 576773935914774057261923209168712372/756543948266476078136010371558\ 6949195009*c_1001_3^11 + 57419063122708129155563032102253098526/756\ 5439482664760781360103715586949195009*c_1001_3^10 + 169877845650032547621295732671975332336/756543948266476078136010371\ 5586949195009*c_1001_3^9 - 193442822289164151765803051111395574105/\ 2521813160888253593786701238528983065003*c_1001_3^8 - 210517273004098541884276376295866875180/244046434924669702624519474\ 696353199839*c_1001_3^7 - 15572544245539156656896533501502233830650\ /7565439482664760781360103715586949195009*c_1001_3^6 - 25861767615201361130819767163400521095202/7565439482664760781360103\ 715586949195009*c_1001_3^5 - 35151858761405405298231979202719243379\ 9/244046434924669702624519474696353199839*c_1001_3^4 + 1374825913347994809551396569131649483546/75654394826647607813601037\ 15586949195009*c_1001_3^3 - 172966007726954657183456258618475946989\ 7/7565439482664760781360103715586949195009*c_1001_3^2 + 4870889342636688517163595144842203942853/75654394826647607813601037\ 15586949195009*c_1001_3 + 7723181339860854775548436738069718565086/\ 7565439482664760781360103715586949195009, c_0101_3 + 217931215137246666114728684522317094/25218131608882535937867\ 01238528983065003*c_1001_3^13 + 25396313776735776519564279455322203\ 8/2521813160888253593786701238528983065003*c_1001_3^12 + 90165135686914358978752211960468443/2521813160888253593786701238528\ 983065003*c_1001_3^11 + 45878862668965811675202132423642292513/2521\ 813160888253593786701238528983065003*c_1001_3^10 + 93280489761705546009563843167505695480/2521813160888253593786701238\ 528983065003*c_1001_3^9 - 194078541829177697163848536387766818531/8\ 40604386962751197928900412842994355001*c_1001_3^8 - 153458545706893659023611475431815579677/813488116415565675415064915\ 65451066613*c_1001_3^7 - 7675804871471262866601601310005862420491/2\ 521813160888253593786701238528983065003*c_1001_3^6 - 10542881196706702319364464020587054882226/2521813160888253593786701\ 238528983065003*c_1001_3^5 + 19819223211638876638538460582168135629\ 6/81348811641556567541506491565451066613*c_1001_3^4 + 1627649062629753045944888748550925507864/25218131608882535937867012\ 38528983065003*c_1001_3^3 - 727906473999890290795772923690881729356\ 3/2521813160888253593786701238528983065003*c_1001_3^2 + 8352923300948816694794152063518114357316/25218131608882535937867012\ 38528983065003*c_1001_3 - 1916091970733749144322833883074846408787/\ 2521813160888253593786701238528983065003, c_0101_5 + 153482442521287004577978767930529959/75654394826647607813601\ 03715586949195009*c_1001_3^13 + 15005334209538236182045846092647339\ 2/7565439482664760781360103715586949195009*c_1001_3^12 - 22309035149875227001346300710190282/7565439482664760781360103715586\ 949195009*c_1001_3^11 + 32176610213508946355213060342846660359/7565\ 439482664760781360103715586949195009*c_1001_3^10 + 59389755424356394313901187161200923705/7565439482664760781360103715\ 586949195009*c_1001_3^9 - 144490392563667090117682386623277322144/2\ 521813160888253593786701238528983065003*c_1001_3^8 - 106730120687517920272714443310586691752/244046434924669702624519474\ 696353199839*c_1001_3^7 - 4695825022047035957972857764628185525316/\ 7565439482664760781360103715586949195009*c_1001_3^6 - 5144110714421205808145910108637715634898/75654394826647607813601037\ 15586949195009*c_1001_3^5 + 301774980511951919576266938840044626841\ /244046434924669702624519474696353199839*c_1001_3^4 + 7780732250480554536253040082185781317810/75654394826647607813601037\ 15586949195009*c_1001_3^3 - 142319301597856664686416969841845399925\ 1/7565439482664760781360103715586949195009*c_1001_3^2 + 4842154840242075492902411479727124586156/75654394826647607813601037\ 15586949195009*c_1001_3 - 4303056199459334135789315847152025414017/\ 7565439482664760781360103715586949195009, c_1001_3^14 + c_1001_3^13 + 210*c_1001_3^11 + 393*c_1001_3^10 - 2789*c_1001_3^9 - 21523*c_1001_3^8 - 31084*c_1001_3^7 - 37191*c_1001_3^6 + 47898*c_1001_3^5 + 18306*c_1001_3^4 - 34145*c_1001_3^3 + 39207*c_1001_3^2 - 14502*c_1001_3 - 1205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB