Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 3246415124] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1542 geometric_solution 5.33372177 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 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 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.898943475636 0.910445209217 0 4 3 2 0132 0132 3012 1302 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 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.401603044012 0.777703255885 4 0 1 3 2310 0132 2031 3012 0 0 0 0 0 1 0 -1 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.401603044012 0.777703255885 0 1 2 0 3201 1230 1230 0132 0 0 0 0 0 0 0 0 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 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.830994669427 0.709775591644 5 1 2 5 0132 0132 3201 3201 0 0 0 0 0 1 0 -1 1 0 -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 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.085094100247 0.564728377761 4 4 6 6 0132 2310 2310 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 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 -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 2.801784210188 1.390635521857 6 5 5 6 3201 3201 0132 2310 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 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 -0.550485942906 0.129100158345 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_1']), '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_0']), 'c_0011_4' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), '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_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 3725356769458405050722225690082826976021/19660124180518568402528062\ 186687947888*c_0101_5^18 + 8066875112510912754860065895211149414938\ 1/98300620902592842012640310933439739440*c_0101_5^17 + 207951956809764309255116624999677246357/491503104512964210063201554\ 6671986972*c_0101_5^16 - 2847074178113862599029727583424600436597/7\ 50386419103762152768246648346868240*c_0101_5^15 - 85626975281761151659151324399490401633063/3276687363419761400421343\ 6977813246480*c_0101_5^14 + 372472357029030959719759326842102357829\ 527/49150310451296421006320155466719869720*c_0101_5^13 + 73072854504931417397996263457443094393653/9830062090259284201264031\ 093343973944*c_0101_5^12 - 1193149891522612323799269827971729748533\ 57/16383436817098807002106718488906623240*c_0101_5^11 - 189838250810759812312641975060002461612997/196601241805185684025280\ 62186687947888*c_0101_5^10 + 10465570289599001085245173522220505384\ 59/409585920427470175052667962222665581*c_0101_5^9 + 65877427548823171065037401884698706753465/9830062090259284201264031\ 093343973944*c_0101_5^8 + 14135834426070422504014272774049343881997\ /24575155225648210503160077733359934860*c_0101_5^7 - 315710333094081919439476925258961279110617/983006209025928420126403\ 10933439739440*c_0101_5^6 - 374726026362619391091946523451639927276\ 11/32766873634197614004213436977813246480*c_0101_5^5 + 6827315303432202158597274442308068714503/12287577612824105251580038\ 866679967430*c_0101_5^4 + 1505719991956819324040072811117163554031/\ 10922291211399204668071145659271082160*c_0101_5^3 - 1600279600080454548880797536943179010755/49150310451296421006320155\ 46671986972*c_0101_5^2 - 3582990417348781189752222526379875074023/1\ 6383436817098807002106718488906623240*c_0101_5 - 2793403443682025992793664199945563193403/98300620902592842012640310\ 933439739440, c_0011_0 - 1, c_0011_3 - 4004058622125675192325376318285213/2084406719732672646578462\ 912074634*c_0101_5^18 - 36135964880384669642915722313116409/5211016\ 799331681616446157280186585*c_0101_5^17 + 10538553375418136009294390784165835/2084406719732672646578462912074\ 634*c_0101_5^16 + 191669031071960303243541596953695508/521101679933\ 1681616446157280186585*c_0101_5^15 - 2015080375302745019179727346929899/52110167993316816164461572801865\ 85*c_0101_5^14 - 448005076492537156041669246741261071/5211016799331\ 681616446157280186585*c_0101_5^13 - 18873038962328486131505315985084700/1042203359866336323289231456037\ 317*c_0101_5^12 + 553889447557495269680793330767826748/521101679933\ 1681616446157280186585*c_0101_5^11 + 77428204475343911576649077680961877/2084406719732672646578462912074\ 634*c_0101_5^10 - 149786277140954344653214792873279221/208440671973\ 2672646578462912074634*c_0101_5^9 - 41020403552740564083027452637193280/1042203359866336323289231456037\ 317*c_0101_5^8 + 304149981549310584567186366243059071/1042203359866\ 3363232892314560373170*c_0101_5^7 + 155297422970799137699908169624501343/521101679933168161644615728018\ 6585*c_0101_5^6 - 37798858674860590064522815542204178/5211016799331\ 681616446157280186585*c_0101_5^5 - 48068886471268865636032855658984656/5211016799331681616446157280186\ 585*c_0101_5^4 + 8304928121196688908876631420430003/104220335986633\ 63232892314560373170*c_0101_5^3 + 714850929418940519641537428181201\ 3/2084406719732672646578462912074634*c_0101_5^2 + 5263631323156945377994768347221262/52110167993316816164461572801865\ 85*c_0101_5 - 4405100113889651989309341226337893/521101679933168161\ 6446157280186585, c_0011_6 + 1033846306954777319188260945289948/1042203359866336323289231\ 456037317*c_0101_5^18 + 31616455854725207072522982916193181/1042203\ 3598663363232892314560373170*c_0101_5^17 - 4788037339654870934712886943971065/10422033598663363232892314560373\ 17*c_0101_5^16 - 187415947037530741294377223111446507/1042203359866\ 3363232892314560373170*c_0101_5^15 + 49805875066980468213301430086732513/5211016799331681616446157280186\ 585*c_0101_5^14 + 238771938325806736745879449955917117/521101679933\ 1681616446157280186585*c_0101_5^13 - 10286279192774093951482707317786278/1042203359866336323289231456037\ 317*c_0101_5^12 - 323306635203509455546488360697879171/521101679933\ 1681616446157280186585*c_0101_5^11 + 882099893699950162593026344914069/104220335986633632328923145603731\ 7*c_0101_5^10 + 98515778518314562101267775346942353/208440671973267\ 2646578462912074634*c_0101_5^9 + 2014230207993691388093410866407899\ 9/2084406719732672646578462912074634*c_0101_5^8 - 118360112681436098519861313624360631/521101679933168161644615728018\ 6585*c_0101_5^7 - 117999816231932477634753280958922527/104220335986\ 63363232892314560373170*c_0101_5^6 + 47494804500323105073382166567121961/5211016799331681616446157280186\ 585*c_0101_5^5 + 19752886621327846939721262286443412/52110167993316\ 81616446157280186585*c_0101_5^4 - 108729228984236052657714617837971\ 03/5211016799331681616446157280186585*c_0101_5^3 - 4029800963600878002051286892737435/20844067197326726465784629120746\ 34*c_0101_5^2 + 6015093128548369116400719902445537/1042203359866336\ 3232892314560373170*c_0101_5 + 5223008612857985046773247221793581/5\ 211016799331681616446157280186585, c_0101_0 - 1764088472138379435900446377199959031/2730572802849801167017\ 78641481777054*c_0101_5^18 - 30273611949937743544842072218625207191\ /1365286401424900583508893207408885270*c_0101_5^17 + 6366852881785778513006010823296839589/27305728028498011670177864148\ 1777054*c_0101_5^16 + 1325187104012057366402833928617368897/1042203\ 3598663363232892314560373170*c_0101_5^15 - 22438401753709990386100437354424595743/6826432007124502917544466037\ 04442635*c_0101_5^14 - 220395137273805586429420358261775722747/6826\ 43200712450291754446603704442635*c_0101_5^13 + 2054694537197486684216968475953583817/13652864014249005835088932074\ 0888527*c_0101_5^12 + 302778050458945026048236602417612983891/68264\ 3200712450291754446603704442635*c_0101_5^11 + 4557474982333665117857658435234590523/27305728028498011670177864148\ 1777054*c_0101_5^10 - 47004450769666076562617807226826071387/136528\ 640142490058350889320740888527*c_0101_5^9 - 10012849725411915956120742978927710821/2730572802849801167017786414\ 81777054*c_0101_5^8 + 217840199477949928420638642541410919377/13652\ 86401424900583508893207408885270*c_0101_5^7 + 66781806153054012925056022080449537907/1365286401424900583508893207\ 408885270*c_0101_5^6 - 35123580173868033588097828621321133896/68264\ 3200712450291754446603704442635*c_0101_5^5 - 14374202662712044015427616631711834902/6826432007124502917544466037\ 04442635*c_0101_5^4 + 23699390330116035656240417012451555601/136528\ 6401424900583508893207408885270*c_0101_5^3 + 801979568290362355025319260957747968/136528640142490058350889320740\ 888527*c_0101_5^2 - 3171195460450557151313395296578443347/136528640\ 1424900583508893207408885270*c_0101_5 - 1562444851509116339550122113600392921/68264320071245029175444660370\ 4442635, c_0101_1 - 1283685081289605224941366812422788181/2730572802849801167017\ 78641481777054*c_0101_5^18 - 11571935348494504288154437862515679608\ /682643200712450291754446603704442635*c_0101_5^17 + 4018797320160930640999575101552880719/27305728028498011670177864148\ 1777054*c_0101_5^16 + 511387973589686063271639190028533491/52110167\ 99331681616446157280186585*c_0101_5^15 - 5064201211537433965585754057181291518/68264320071245029175444660370\ 4442635*c_0101_5^14 - 172908796704748598488114387944729686277/68264\ 3200712450291754446603704442635*c_0101_5^13 - 5534675984745970425050383384984800777/13652864014249005835088932074\ 0888527*c_0101_5^12 + 245860703576838591957516201726161352746/68264\ 3200712450291754446603704442635*c_0101_5^11 + 27023040075144549529398819084939628121/2730572802849801167017786414\ 81777054*c_0101_5^10 - 81889760323116051578133669051053032019/27305\ 7280284980116701778641481777054*c_0101_5^9 - 15063866695759381273515233696910770523/1365286401424900583508893207\ 40888527*c_0101_5^8 + 213117440313557118021225515468438650757/13652\ 86401424900583508893207408885270*c_0101_5^7 + 56146362061338062254905712642426197091/6826432007124502917544466037\ 04442635*c_0101_5^6 - 36936967445267883570342259500207281886/682643\ 200712450291754446603704442635*c_0101_5^5 - 22455047412132077260238473683242612942/6826432007124502917544466037\ 04442635*c_0101_5^4 + 20300449998131354542444145720934719841/136528\ 6401424900583508893207408885270*c_0101_5^3 + 2783300320620769338923659249300319297/27305728028498011670177864148\ 1777054*c_0101_5^2 - 2497701032223954100358261624974115991/68264320\ 0712450291754446603704442635*c_0101_5 - 1701862543063663822496077353612656426/68264320071245029175444660370\ 4442635, c_0101_2 - 40972029548203386950890633823903/208440671973267264657846291\ 2074634*c_0101_5^18 + 9577982228421363985306322322655817/1042203359\ 8663363232892314560373170*c_0101_5^17 + 6424821858801077124607291422177869/20844067197326726465784629120746\ 34*c_0101_5^16 - 43736202505417015549925370452692949/10422033598663\ 363232892314560373170*c_0101_5^15 - 93571566639903669127217963469943674/5211016799331681616446157280186\ 585*c_0101_5^14 + 44806288144305796386098848598415764/5211016799331\ 681616446157280186585*c_0101_5^13 + 47460788097325685030000971254172138/1042203359866336323289231456037\ 317*c_0101_5^12 - 44964810519811344953530285577358797/5211016799331\ 681616446157280186585*c_0101_5^11 - 128221605736130355590729702807269319/208440671973267264657846291207\ 4634*c_0101_5^10 - 41269747825413972592899158824623/104220335986633\ 6323289231456037317*c_0101_5^9 + 9742652212300866717989043898430688\ 3/2084406719732672646578462912074634*c_0101_5^8 + 104480937118119281004152481632194071/104220335986633632328923145603\ 73170*c_0101_5^7 - 232941804784292757867495371480716939/10422033598\ 663363232892314560373170*c_0101_5^6 - 59421120566077646807615674678406998/5211016799331681616446157280186\ 585*c_0101_5^5 + 46831257485200981928616523131534849/52110167993316\ 81616446157280186585*c_0101_5^4 + 397186279327475797677483710364110\ 03/10422033598663363232892314560373170*c_0101_5^3 - 2133412686577745942364616890575401/10422033598663363232892314560373\ 17*c_0101_5^2 - 9708983499051571631873484990903511/1042203359866336\ 3232892314560373170*c_0101_5 + 2947087837745738096967948162287497/5\ 211016799331681616446157280186585, c_0101_5^19 + 761/205*c_0101_5^18 - 508/205*c_0101_5^17 - 4147/205*c_0101_5^16 - 273/205*c_0101_5^15 + 10006/205*c_0101_5^14 + 2938/205*c_0101_5^13 - 12942/205*c_0101_5^12 - 5509/205*c_0101_5^11 + 1848/41*c_0101_5^10 + 1090/41*c_0101_5^9 - 92/5*c_0101_5^8 - 3781/205*c_0101_5^7 + 843/205*c_0101_5^6 + 1328/205*c_0101_5^5 - 213/205*c_0101_5^4 - 412/205*c_0101_5^3 - 18/205*c_0101_5^2 + 121/205*c_0101_5 + 24/205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB