Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 543276296] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2510 geometric_solution 5.83038742 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 -1 0 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.380695415480 0.657069631297 0 5 3 4 0132 0132 0321 1023 0 0 0 0 0 -1 1 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 -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.759623191720 0.805944833906 3 0 4 4 0132 0132 3012 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -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.354262938983 0.448917222576 2 5 1 0 0132 2310 0321 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 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 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.759623191720 0.805944833906 2 2 0 1 3201 1230 0132 1023 0 0 0 0 0 0 -1 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 0 -1 1 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.920548916944 0.962315328133 6 1 6 3 0132 0132 1023 3201 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.628787854671 1.391664108424 5 6 5 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0.449315546164 0.168317997152 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_1001_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1001_1']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0011_4'])})} 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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 3997931613056232532993050517/179352009974217807713076608*c_1001_1^1\ 8 + 2588292169728535290311686819/89676004987108903856538304*c_1001_\ 1^17 - 62338706245758511602640777441/179352009974217807713076608*c_\ 1001_1^16 + 411557051801771165867994378649/896760049871089038565383\ 04*c_1001_1^15 - 1011474276399775536468119934107/179352009974217807\ 713076608*c_1001_1^14 - 413287800602778336300129479029/896760049871\ 08903856538304*c_1001_1^13 + 569012149604239074567883745945/8967600\ 4987108903856538304*c_1001_1^12 + 1652141299471185519581007527099/8\ 9676004987108903856538304*c_1001_1^11 - 5673010217938499714393884864867/179352009974217807713076608*c_1001_\ 1^10 - 641252148251568891463628361899/44838002493554451928269152*c_\ 1001_1^9 + 3445580748370824469568782875987/179352009974217807713076\ 608*c_1001_1^8 + 1604700538955693325307836089123/896760049871089038\ 56538304*c_1001_1^7 - 1219431551571943347335602134907/1793520099742\ 17807713076608*c_1001_1^6 - 263294772212541763020128538693/44838002\ 493554451928269152*c_1001_1^5 + 850601349186143388856459889915/1793\ 52009974217807713076608*c_1001_1^4 + 15396916249859163518972420387/11209500623388612982067288*c_1001_1^3 - 46681966550068412134072459069/89676004987108903856538304*c_1001_1\ ^2 - 20999715624272329003692965153/89676004987108903856538304*c_100\ 1_1 - 7808393028282880137718574671/179352009974217807713076608, c_0011_0 - 1, c_0011_4 + 740368971221646161018551/1601357231912658997438184*c_1001_1^\ 18 - 299176533088472043463755/400339307978164749359546*c_1001_1^17 + 11866338750421894648886343/1601357231912658997438184*c_1001_1^16 - 78065939111905498593914171/800678615956329498719092*c_1001_1^15 + 236503358617821556198478077/1601357231912658997438184*c_1001_1^14 + 22617062234890366983038933/400339307978164749359546*c_1001_1^13 - 131213907348935485418105337/800678615956329498719092*c_1001_1^12 - 133509864954674512691550331/400339307978164749359546*c_1001_1^11 + 1249504819187468355407267713/1601357231912658997438184*c_1001_1^10 + 29238019523138232329998029/400339307978164749359546*c_1001_1^9 - 794722175527483063298091421/1601357231912658997438184*c_1001_1^8 - 84714675425461339987893129/400339307978164749359546*c_1001_1^7 + 423333373768435136944450389/1601357231912658997438184*c_1001_1^6 + 20867775035593443369192331/400339307978164749359546*c_1001_1^5 - 235881422448640974169910429/1601357231912658997438184*c_1001_1^4 + 10133884497101151646392743/800678615956329498719092*c_1001_1^3 + 17945741595472544981094519/800678615956329498719092*c_1001_1^2 - 849739649297381760209247/200169653989082374679773*c_1001_1 - 1156022999825349256828915/1601357231912658997438184, c_0101_0 - 4046057145112615746791397/6405428927650635989752736*c_1001_1\ ^18 + 1571939603038149788904895/1601357231912658997438184*c_1001_1^\ 17 - 64331456771297409837971111/6405428927650635989752736*c_1001_1^\ 16 + 424579711188501541227149633/3202714463825317994876368*c_1001_1\ ^15 - 1237635840815555387823268599/6405428927650635989752736*c_1001\ _1^14 - 149031640886620036498401563/1601357231912658997438184*c_100\ 1_1^13 + 353210299402906623210961737/1601357231912658997438184*c_10\ 01_1^12 + 759691001902451951864851909/1601357231912658997438184*c_1\ 001_1^11 - 6640090313195346006206179665/6405428927650635989752736*c\ _1001_1^10 - 146255466872278823834246043/800678615956329498719092*c\ _1001_1^9 + 4363992091222155454965402111/6405428927650635989752736*\ c_1001_1^8 + 283604297591415254527098313/800678615956329498719092*c\ _1001_1^7 - 2135620883309755673035352501/6405428927650635989752736*\ c_1001_1^6 - 183395001817166111428965955/1601357231912658997438184*\ c_1001_1^5 + 1182614479275892687304184939/6405428927650635989752736\ *c_1001_1^4 - 4329174291950767629667469/3202714463825317994876368*c\ _1001_1^3 - 49719223591639676369332283/1601357231912658997438184*c_\ 1001_1^2 + 178984409944085005735282/200169653989082374679773*c_1001\ _1 + 309489684718787141694807/6405428927650635989752736, c_0101_1 - 594368370035826363551679/6405428927650635989752736*c_1001_1^\ 18 + 106023525390884669282537/400339307978164749359546*c_1001_1^17 - 10523153399121262798246713/6405428927650635989752736*c_1001_1^16 + 68492673167328662549739635/3202714463825317994876368*c_1001_1^15 - 342180688288661617574010173/6405428927650635989752736*c_1001_1^14 + 15556666885772594105046361/800678615956329498719092*c_1001_1^13 + 40967524105506666818971915/800678615956329498719092*c_1001_1^12 + 30349951792154972952691005/800678615956329498719092*c_1001_1^11 - 1586015817295975865802556423/6405428927650635989752736*c_1001_1^10 + 60067475337980150959974677/400339307978164749359546*c_1001_1^9 + 961498377160846251285957125/6405428927650635989752736*c_1001_1^8 - 56542728520418360369213841/1601357231912658997438184*c_1001_1^7 - 867351322430359806760158811/6405428927650635989752736*c_1001_1^6 + 34699499496066118901624903/1601357231912658997438184*c_1001_1^5 + 298535125620393286976839825/6405428927650635989752736*c_1001_1^4 - 82221899677263675852854089/3202714463825317994876368*c_1001_1^3 - 1835364363110992694486988/200169653989082374679773*c_1001_1^2 + 2628077177666886766037061/1601357231912658997438184*c_1001_1 + 5284669832747779518612409/6405428927650635989752736, c_0101_5 + 1861262777165540322475/2295030070817139372896*c_1001_1^18 - 332089677863531875569/286878758852142421612*c_1001_1^17 + 29015264542718833905341/2295030070817139372896*c_1001_1^16 - 193255353721605436728623/1147515035408569686448*c_1001_1^15 + 516425486646996157426849/2295030070817139372896*c_1001_1^14 + 24468925179493028717913/143439379426071210806*c_1001_1^13 - 86060790434081726875177/286878758852142421612*c_1001_1^12 - 93744112931559941535977/143439379426071210806*c_1001_1^11 + 2954888939292602374819939/2295030070817139372896*c_1001_1^10 + 33631317106596344942665/71719689713035605403*c_1001_1^9 - 2315997667322775652760441/2295030070817139372896*c_1001_1^8 - 325581011331236911986373/573757517704284843224*c_1001_1^7 + 1082537199452950006748359/2295030070817139372896*c_1001_1^6 + 141922565877818170850397/573757517704284843224*c_1001_1^5 - 631330479932924944283093/2295030070817139372896*c_1001_1^4 - 49585879375271874707335/1147515035408569686448*c_1001_1^3 + 9254760213679656385091/143439379426071210806*c_1001_1^2 + 1606148038536484495945/573757517704284843224*c_1001_1 - 6819789395464818935197/2295030070817139372896, c_0101_6 - 678823337492862195193/2295030070817139372896*c_1001_1^18 + 199666884850883333211/573757517704284843224*c_1001_1^17 - 10499682515440855363011/2295030070817139372896*c_1001_1^16 + 69277138943890438041661/1147515035408569686448*c_1001_1^15 - 155550222252194200947075/2295030070817139372896*c_1001_1^14 - 39099129012651089911027/573757517704284843224*c_1001_1^13 + 41767205902766101184097/573757517704284843224*c_1001_1^12 + 147129690496429912052273/573757517704284843224*c_1001_1^11 - 891531356851148603904693/2295030070817139372896*c_1001_1^10 - 67588819691622637788221/286878758852142421612*c_1001_1^9 + 492096075521973306337995/2295030070817139372896*c_1001_1^8 + 80409143654211504250735/286878758852142421612*c_1001_1^7 - 135385335087359548094969/2295030070817139372896*c_1001_1^6 - 51465545794736328878639/573757517704284843224*c_1001_1^5 + 109416293945091883702551/2295030070817139372896*c_1001_1^4 + 33788582041671637484847/1147515035408569686448*c_1001_1^3 - 2454543545326162802175/573757517704284843224*c_1001_1^2 - 798585321718226648683/143439379426071210806*c_1001_1 + 222446058931750516547/2295030070817139372896, c_1001_1^19 - c_1001_1^18 + 15*c_1001_1^17 - 201*c_1001_1^16 + 189*c_1001_1^15 + 325*c_1001_1^14 - 280*c_1001_1^13 - 952*c_1001_1^12 + 1241*c_1001_1^11 + 1231*c_1001_1^10 - 987*c_1001_1^9 - 1177*c_1001_1^8 + 273*c_1001_1^7 + 511*c_1001_1^6 - 219*c_1001_1^5 - 179*c_1001_1^4 + 58*c_1001_1^3 + 28*c_1001_1^2 - 3*c_1001_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB