Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 3734979081] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1083 geometric_solution 4.95172273 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 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 -1 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 1.809409422176 0.342751367051 2 0 0 3 0132 0132 1023 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 -1 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 -0.374748511702 0.969174142997 1 3 4 5 0132 2310 0132 0132 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 1 -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.267259423230 0.151779225096 6 5 1 2 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.051533652161 0.887018082222 6 5 6 2 1302 2310 3120 0132 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 -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 1.459306213975 0.861837460658 3 6 2 4 1023 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.983889783791 0.600094647786 3 4 4 5 0132 2031 3120 3201 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 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.459306213975 0.861837460658 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : 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' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0011_3'], '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_0011_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0110_5']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 10818073955545193800361914628856941839/8118471529704085861569863549\ 355195793*c_0110_5^23 + 723385112930176012524449909615905767937/259\ 791088950530747570235633579366265376*c_0110_5^21 + 2854212812791535158496747825260159871061/64947772237632686892558908\ 394841566344*c_0110_5^19 - 1886933071065564755268711734557872947273\ 3/259791088950530747570235633579366265376*c_0110_5^17 + 34629594699785309357579901757951417180641/2597910889505307475702356\ 33579366265376*c_0110_5^15 + 34218289941236190427596615944855506761\ 4353/259791088950530747570235633579366265376*c_0110_5^13 + 450509411741312333808546015922808970306751/259791088950530747570235\ 633579366265376*c_0110_5^11 - 3545270970527617778890828594589046830\ 1399/259791088950530747570235633579366265376*c_0110_5^9 - 241709497140637009766349140491251246718471/259791088950530747570235\ 633579366265376*c_0110_5^7 + 28313414816840239439421143553728339294\ 291/259791088950530747570235633579366265376*c_0110_5^5 + 34786597361274602680187265569212587240909/6494777223763268689255890\ 8394841566344*c_0110_5^3 + 4089934985217699770038540125732439514110\ 9/259791088950530747570235633579366265376*c_0110_5, c_0011_0 - 1, c_0011_3 + 7293179631751893685950421712081408/1980115007244898990626795\ 98764760873*c_0110_5^23 + 13767506201519914416654986607858832/19801\ 1500724489899062679598764760873*c_0110_5^21 + 238225556238970087470110299203985311/198011500724489899062679598764\ 760873*c_0110_5^19 - 445163569946170847200084394507552638/198011500\ 724489899062679598764760873*c_0110_5^17 + 834350343157323463819831267049457014/198011500724489899062679598764\ 760873*c_0110_5^15 + 6997310966762364368026946153675793443/19801150\ 0724489899062679598764760873*c_0110_5^13 + 8162774423013584662089511209761298010/19801150072448989906267959876\ 4760873*c_0110_5^11 - 1991341981858918087903057794184834624/1980115\ 00724489899062679598764760873*c_0110_5^9 - 4554813584710833956644731181867782631/19801150072448989906267959876\ 4760873*c_0110_5^7 + 942700970744168776960429943594823326/198011500\ 724489899062679598764760873*c_0110_5^5 + 2729097401704192310210218509413150212/19801150072448989906267959876\ 4760873*c_0110_5^3 + 837519622819187137280995034950790722/198011500\ 724489899062679598764760873*c_0110_5, c_0011_4 + 7615414220348831937453976766030592/1980115007244898990626795\ 98764760873*c_0110_5^23 + 12076653770056932637646788843578888/19801\ 1500724489899062679598764760873*c_0110_5^21 + 245166823158352593023999587427044171/198011500724489899062679598764\ 760873*c_0110_5^19 - 537890715016272331550078529704594691/198011500\ 724489899062679598764760873*c_0110_5^17 + 1036586865386645558264098492860891061/19801150072448989906267959876\ 4760873*c_0110_5^15 + 7016913104092741033193779640030542485/1980115\ 00724489899062679598764760873*c_0110_5^13 + 6340956776135747183092233779328266616/19801150072448989906267959876\ 4760873*c_0110_5^11 - 3772727025061311653638646544527769197/1980115\ 00724489899062679598764760873*c_0110_5^9 - 2883543664497471716857347389370063236/19801150072448989906267959876\ 4760873*c_0110_5^7 + 2358208661540912862549017063402881498/19801150\ 0724489899062679598764760873*c_0110_5^5 + 1775046997365739600295988024195412571/19801150072448989906267959876\ 4760873*c_0110_5^3 + 170793142174591330112506767250709984/198011500\ 724489899062679598764760873*c_0110_5, c_0101_0 + 141947024170374192065767118906528/48295487981582902210409658\ 23530753*c_0110_5^22 + 231371891598754891970135571111851/4829548798\ 158290221040965823530753*c_0110_5^20 + 4572667393365662010707904881003027/48295487981582902210409658235307\ 53*c_0110_5^18 - 9847256933685462244504723488693989/482954879815829\ 0221040965823530753*c_0110_5^16 + 186439153036486128692742852622396\ 39/4829548798158290221040965823530753*c_0110_5^14 + 131759940539599939356297909735520002/482954879815829022104096582353\ 0753*c_0110_5^12 + 124201934524740768649785166710991185/48295487981\ 58290221040965823530753*c_0110_5^10 - 74497983977052162846713080060532145/4829548798158290221040965823530\ 753*c_0110_5^8 - 70704524320484936057279412082744511/48295487981582\ 90221040965823530753*c_0110_5^6 + 422916553037488984514743356749260\ 35/4829548798158290221040965823530753*c_0110_5^4 + 40772237705630888994676065285335743/4829548798158290221040965823530\ 753*c_0110_5^2 + 1018005522160456110629152732956048/482954879815829\ 0221040965823530753, c_0101_1 - 341287165704252592887980207037344/48295487981582902210409658\ 23530753*c_0110_5^22 - 593169807856655980030106790955219/4829548798\ 158290221040965823530753*c_0110_5^20 - 11057108928305053790052362060606896/4829548798158290221040965823530\ 753*c_0110_5^18 + 22457598066962633374222459141765436/4829548798158\ 290221040965823530753*c_0110_5^16 - 42367161763031408416495809630725643/4829548798158290221040965823530\ 753*c_0110_5^14 - 322252887212975286236439360054315596/482954879815\ 8290221040965823530753*c_0110_5^12 - 330357371803833504448854503524080181/482954879815829022104096582353\ 0753*c_0110_5^10 + 137617737027357573649425948948064729/48295487981\ 58290221040965823530753*c_0110_5^8 + 170332237315407722687885223244479108/482954879815829022104096582353\ 0753*c_0110_5^6 - 79284771819435357836458577745954550/4829548798158\ 290221040965823530753*c_0110_5^4 - 90566770294228182925591139975584594/4829548798158290221040965823530\ 753*c_0110_5^2 - 15591115837248839779929494470917754/48295487981582\ 90221040965823530753, c_0101_2 + 48889876672530727925497482479808/482954879815829022104096582\ 3530753*c_0110_5^22 + 87512415700060947173408333670074/482954879815\ 8290221040965823530753*c_0110_5^20 + 1587817828115401038661340826341629/48295487981582902210409658235307\ 53*c_0110_5^18 - 3141891888292398778646165364364235/482954879815829\ 0221040965823530753*c_0110_5^16 + 588029434622361161680155941212190\ 0/4829548798158290221040965823530753*c_0110_5^14 + 46322031222252363992924542659727937/4829548798158290221040965823530\ 753*c_0110_5^12 + 50272499522168727650885201398058834/4829548798158\ 290221040965823530753*c_0110_5^10 - 19112654935825891482173059168126595/4829548798158290221040965823530\ 753*c_0110_5^8 - 30513991994304396501301919525923865/48295487981582\ 90221040965823530753*c_0110_5^6 + 884518479206464822780330401900001\ 0/4829548798158290221040965823530753*c_0110_5^4 + 22310294156292624043657894983937068/4829548798158290221040965823530\ 753*c_0110_5^2 + 5510063342380025514208106596502412/482954879815829\ 0221040965823530753, c_0110_5^24 + 79/32*c_0110_5^22 + 1081/32*c_0110_5^20 - 1343/32*c_0110_5^18 + 1275/16*c_0110_5^16 + 8211/8*c_0110_5^14 + 26807/16*c_0110_5^12 + 6461/16*c_0110_5^10 - 5705/8*c_0110_5^8 - 2927/16*c_0110_5^6 + 13251/32*c_0110_5^4 + 8847/32*c_0110_5^2 + 1681/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB