Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 2884253336] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2727 geometric_solution 5.97664455 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1302 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 1 0 -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.146485335811 1.041912264735 0 3 0 4 0132 1230 2031 0132 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 1 0 -1 -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.541295347332 0.173271811025 5 0 4 6 0132 0132 3012 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 -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.048633988409 0.868997307117 4 5 1 0 0132 2103 3012 0132 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 -1 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.155159245319 0.392417548008 3 2 1 5 0132 1230 0132 3012 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 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.781435374952 1.397038473214 2 3 4 6 0132 2103 1230 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 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.048633988409 0.868997307117 6 6 2 5 1230 3012 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 1 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.331761344645 0.697871434970 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_4' : negation(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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_3'], '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_2']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0011_3']})} 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_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 142771529880210336886503496155456/2339797642889074262896030975*c_01\ 01_3^22 - 3237931023306462032312959416998883/1357082632875663072479\ 69796550*c_0101_3^21 + 273558984158700633381589381404218439/2714165\ 26575132614495939593100*c_0101_3^20 - 4607346127269498014873059802612271/67854131643783153623984898275*c_\ 0101_3^19 - 477370404818318564207796963787634869/678541316437831536\ 23984898275*c_0101_3^18 + 689701468973358520586761645356435537/2714\ 16526575132614495939593100*c_0101_3^17 + 1798941382588964925168084649641308431/67854131643783153623984898275\ *c_0101_3^16 - 3745700160173831981360169459699694037/27141652657513\ 2614495939593100*c_0101_3^15 - 163831215378614568120548012048393112\ 79/271416526575132614495939593100*c_0101_3^14 + 9767493985972726213792955967594222551/27141652657513261449593959310\ 0*c_0101_3^13 + 955593567491333111391951982283760317/10856661063005\ 304579837583724*c_0101_3^12 - 735523257756802585914519763209467936/\ 13570826328756630724796979655*c_0101_3^11 - 22935842548521919119707994250169610091/2714165265751326144959395931\ 00*c_0101_3^10 + 678876191390810708537902948153533227/1357082632875\ 6630724796979655*c_0101_3^9 + 1459361802666513854206146357371552329\ 1/271416526575132614495939593100*c_0101_3^8 - 3864350799420722649076325177942923777/13570826328756630724796979655\ 0*c_0101_3^7 - 1518085998640480456183417312336200592/67854131643783\ 153623984898275*c_0101_3^6 + 1307248896132675856802001336832512977/\ 135708263287566307247969796550*c_0101_3^5 + 395675450566462741006960986549033379/67854131643783153623984898275*\ c_0101_3^4 - 94666886198247606510730958126393593/542833053150265228\ 99187918620*c_0101_3^3 - 2008339952681478422272527079577718/2339797\ 642889074262896030975*c_0101_3^2 + 590569477123894438635495152619061/4679595285778148525792061950*c_01\ 01_3 + 2918489896230827505815534369026541/5428330531502652289918791\ 8620, c_0011_0 - 1, c_0011_3 - 39390311646635978075211124539/4946718061076266940583575*c_01\ 01_3^22 - 16481798960967474964180466199/4946718061076266940583575*c\ _0101_3^21 + 648970779907139828042142327916/49467180610762669405835\ 75*c_0101_3^20 - 27307612385522320638957684506/49467180610762669405\ 83575*c_0101_3^19 - 4523173377789344836038764379269/494671806107626\ 6940583575*c_0101_3^18 + 1527191707136192388664907745113/4946718061\ 076266940583575*c_0101_3^17 + 17025736478900778403660385907701/4946\ 718061076266940583575*c_0101_3^16 - 8473646895230474513026979696453/4946718061076266940583575*c_0101_3^\ 15 - 38709897009376238844946720568121/4946718061076266940583575*c_0\ 101_3^14 + 22203225666041686093824217779279/49467180610762669405835\ 75*c_0101_3^13 + 11265766454728102381756715786851/98934361221525338\ 8116715*c_0101_3^12 - 1337363356747503390836968056143/1978687224430\ 50677623343*c_0101_3^11 - 53904730588166266769959140222104/49467180\ 61076266940583575*c_0101_3^10 + 1231089934155279484283313309163/197\ 868722443050677623343*c_0101_3^9 + 34133456081255841070838989227649/4946718061076266940583575*c_0101_3\ ^8 - 17444935596403346512094482309291/4946718061076266940583575*c_0\ 101_3^7 - 14106473791614726292623885506882/494671806107626694058357\ 5*c_0101_3^6 + 5870468364824594107336303165976/49467180610762669405\ 83575*c_0101_3^5 + 3643728890277739049144605004489/4946718061076266\ 940583575*c_0101_3^4 - 211369457102537125045709469052/9893436122152\ 53388116715*c_0101_3^3 - 530507016712385052399061084102/49467180610\ 76266940583575*c_0101_3^2 + 76080731674964787260609518847/494671806\ 1076266940583575*c_0101_3 + 6569190404716826370656925981/9893436122\ 15253388116715, c_0011_6 + 5500030818041994044257367976/4946718061076266940583575*c_010\ 1_3^22 + 2606251012368826428861533466/4946718061076266940583575*c_0\ 101_3^21 - 90865016994128314217344993569/4946718061076266940583575*\ c_0101_3^20 - 960184669153392328921453771/4946718061076266940583575\ *c_0101_3^19 + 637597414982390140456008303646/494671806107626694058\ 3575*c_0101_3^18 - 184936145711645485015326815067/49467180610762669\ 40583575*c_0101_3^17 - 2423316247771503617676749201284/494671806107\ 6266940583575*c_0101_3^16 + 1104282112923084036446715796777/4946718\ 061076266940583575*c_0101_3^15 + 5564593609826789469933396070389/49\ 46718061076266940583575*c_0101_3^14 - 2987305594971675856518956891361/4946718061076266940583575*c_0101_3^\ 13 - 1633053567223231269565098066774/989343612215253388116715*c_010\ 1_3^12 + 183573914161524369586257777239/197868722443050677623343*c_\ 0101_3^11 + 7857821115212431490255456532561/49467180610762669405835\ 75*c_0101_3^10 - 171283857113596250869781189993/1978687224430506776\ 23343*c_0101_3^9 - 4987464042425196018102871471366/4946718061076266\ 940583575*c_0101_3^8 + 2447928042489979206121709353494/494671806107\ 6266940583575*c_0101_3^7 + 2060335969783017558330568873388/49467180\ 61076266940583575*c_0101_3^6 - 827664268585087138340718829284/49467\ 18061076266940583575*c_0101_3^5 - 531172318618071290897190326776/49\ 46718061076266940583575*c_0101_3^4 + 29874498940264695533004745243/989343612215253388116715*c_0101_3^3 + 77187529700154671939887046743/4946718061076266940583575*c_0101_3^2 - 10780117439004604127120499148/4946718061076266940583575*c_0101_3 - 953806254488984344376670739/989343612215253388116715, c_0101_0 + 44119946751423518058618948414/4946718061076266940583575*c_01\ 01_3^22 + 17213921229202296517449956154/4946718061076266940583575*c\ _0101_3^21 - 729066440848695126568161458821/49467180610762669405835\ 75*c_0101_3^20 + 49647227631508379212174846771/49467180610762669405\ 83575*c_0101_3^19 + 5091198803662580730496526465184/494671806107626\ 6940583575*c_0101_3^18 - 1842777673918031283296206983988/4946718061\ 076266940583575*c_0101_3^17 - 19194863654767279827027482374986/4946\ 718061076266940583575*c_0101_3^16 + 10009639562431197020117595825153/4946718061076266940583575*c_0101_3\ ^15 + 43720186337061117491371269069756/4946718061076266940583575*c_\ 0101_3^14 - 26116393118841654567106695755979/4946718061076266940583\ 575*c_0101_3^13 - 12753989176298898745956193881802/9893436122152533\ 88116715*c_0101_3^12 + 7871112760865404940276700966817/989343612215\ 253388116715*c_0101_3^11 + 61227841314729154139821020674084/4946718\ 061076266940583575*c_0101_3^10 - 7268274976228620424481472283126/98\ 9343612215253388116715*c_0101_3^9 - 38952026552982168398682147418589/4946718061076266940583575*c_0101_3\ ^8 + 20692750075348394642298990660366/4946718061076266940583575*c_0\ 101_3^7 + 16202137095042965264107620260352/494671806107626694058357\ 5*c_0101_3^6 - 7001099385414295270607133066226/49467180610762669405\ 83575*c_0101_3^5 - 4221064520208998767300163436159/4946718061076266\ 940583575*c_0101_3^4 + 253511580080307067333214332729/9893436122152\ 53388116715*c_0101_3^3 + 621075411031384531658596167182/49467180610\ 76266940583575*c_0101_3^2 - 91724938636708576654956765167/494671806\ 1076266940583575*c_0101_3 - 7777100954659577035894272591/9893436122\ 15253388116715, c_0101_1 - 12762696688994010900943713129/4946718061076266940583575*c_01\ 01_3^22 - 11302811212686948984531625923/9893436122152533881167150*c\ _0101_3^21 + 419272285007285055715552922747/98934361221525338811671\ 50*c_0101_3^20 - 4360908374563360763973439196/494671806107626694058\ 3575*c_0101_3^19 - 2915571445769564848375556265953/9893436122152533\ 881167150*c_0101_3^18 + 930505548455877578248615152261/989343612215\ 2533881167150*c_0101_3^17 + 5472842403245603565689136672431/4946718\ 061076266940583575*c_0101_3^16 - 2633317434259124499935482411083/49\ 46718061076266940583575*c_0101_3^15 - 12394744694187199996161473251401/4946718061076266940583575*c_0101_3\ ^14 + 13847577562532520918154210866163/9893436122152533881167150*c_\ 0101_3^13 + 7172751866515373195124153062531/19786872244305067762334\ 30*c_0101_3^12 - 2080854222550937037853324225309/989343612215253388\ 116715*c_0101_3^11 - 34042432804139146456909718683283/9893436122152\ 533881167150*c_0101_3^10 + 1904907081900646187728467624617/98934361\ 2215253388116715*c_0101_3^9 + 21331887791910756831125049643513/9893\ 436122152533881167150*c_0101_3^8 - 5354201537036437359256009568326/4946718061076266940583575*c_0101_3^\ 7 - 4354575023114136905152727361767/4946718061076266940583575*c_010\ 1_3^6 + 3567316301332233103330256849697/9893436122152533881167150*c\ _0101_3^5 + 2220979306055124572690869876063/98934361221525338811671\ 50*c_0101_3^4 - 127096361836300051022154722897/19786872244305067762\ 33430*c_0101_3^3 - 319501172172564993375574254389/98934361221525338\ 81167150*c_0101_3^2 + 22679810465863891648541306682/494671806107626\ 6940583575*c_0101_3 + 3916987432193996317953292957/1978687224430506\ 776233430, c_0101_2 + 4969505683803017617862584281/989343612215253388116715*c_0101\ _3^22 + 1981627570984521480859058628/989343612215253388116715*c_010\ 1_3^21 - 82238255176428776699181049366/989343612215253388116715*c_0\ 101_3^20 + 987428549659247404658548985/197868722443050677623343*c_0\ 101_3^19 + 575633026260951559917199473227/989343612215253388116715*\ c_0101_3^18 - 204401656448256348063981633207/9893436122152533881167\ 15*c_0101_3^17 - 2176984049319944754465859856293/989343612215253388\ 116715*c_0101_3^16 + 1123847820114897893280546770517/98934361221525\ 3388116715*c_0101_3^15 + 4974417558203050392668660925963/9893436122\ 15253388116715*c_0101_3^14 - 2954087854539984959444014121706/989343\ 612215253388116715*c_0101_3^13 - 7276682044676532600961469446087/98\ 9343612215253388116715*c_0101_3^12 + 4478074684982792557533703285504/989343612215253388116715*c_0101_3^1\ 1 + 7003263642610418864499438257368/989343612215253388116715*c_0101\ _3^10 - 4155663803515972896291648972122/989343612215253388116715*c_\ 0101_3^9 - 4463782665359312546635719778587/989343612215253388116715\ *c_0101_3^8 + 2375819275131336067766249137974/989343612215253388116\ 715*c_0101_3^7 + 1859876371326803260153719128361/989343612215253388\ 116715*c_0101_3^6 - 806387943689516363140821311099/9893436122152533\ 88116715*c_0101_3^5 - 485479663740215389527120912374/98934361221525\ 3388116715*c_0101_3^4 + 146353424830843973236477842114/989343612215\ 253388116715*c_0101_3^3 + 14320198820434421585179853535/19786872244\ 3050677623343*c_0101_3^2 - 10610377775431447475211058261/9893436122\ 15253388116715*c_0101_3 - 898704332554574965843203829/1978687224430\ 50677623343, c_0101_3^23 + 32/29*c_0101_3^22 - 1414/87*c_0101_3^21 - 32/3*c_0101_3^20 + 10118/87*c_0101_3^19 + 3530/87*c_0101_3^18 - 40501/87*c_0101_3^17 - 7262/87*c_0101_3^16 + 100501/87*c_0101_3^15 + 9974/87*c_0101_3^14 - 162934/87*c_0101_3^13 - 4010/29*c_0101_3^12 + 176707/87*c_0101_3^11 + 4798/29*c_0101_3^10 - 128467/87*c_0101_3^9 - 13961/87*c_0101_3^8 + 61357/87*c_0101_3^7 + 2998/29*c_0101_3^6 - 6091/29*c_0101_3^5 - 3449/87*c_0101_3^4 + 3026/87*c_0101_3^3 + 8*c_0101_3^2 - 69/29*c_0101_3 - 55/87 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB