Magma V2.19-8 Tue Aug 20 2013 16:14:24 on localhost [Seed = 1090575683] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s393 geometric_solution 4.63633794 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578063277924 0.195032635518 2 0 2 0 0132 2310 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 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.868816822885 0.328974127724 1 3 1 4 0132 0132 1023 0132 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 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 1.417632255762 0.527271005894 4 2 5 4 3120 0132 0132 2310 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 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 0.311708653501 0.679147808689 3 5 2 3 3201 1023 0132 3120 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 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.311708653501 0.679147808689 4 5 5 3 1023 1230 3012 0132 0 0 0 0 0 -1 1 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 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.100501431378 1.130581896345 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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_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' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_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_4'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 3824635448181052644247565243902447830588735/11329487029387919612958\ 392394095497671632*c_0101_5^18 + 6602391032307985215544335767391369\ 1873712663/11329487029387919612958392394095497671632*c_0101_5^17 + 373036360116317850080359014187899544146674571/113294870293879196129\ 58392394095497671632*c_0101_5^16 + 158346754607634338330919389904972806932697043/283237175734697990323\ 9598098523874417908*c_0101_5^15 - 177035218751525269874579473629564\ 884191907650/708092939336744975809899524630968604477*c_0101_5^14 - 3053596157272691216404518087944560096723637363/56647435146939598064\ 79196197047748835816*c_0101_5^13 + 2441612162807058479902396822358034374612359305/28323717573469799032\ 39598098523874417908*c_0101_5^12 + 7301961017276453396977628510643315256627602923/28323717573469799032\ 39598098523874417908*c_0101_5^11 + 5920905785312461683550505767345795119032327493/56647435146939598064\ 79196197047748835816*c_0101_5^10 - 43501399203484513538318185186230562816043246381/1132948702938791961\ 2958392394095497671632*c_0101_5^9 - 11220006051491873140187591315668745820445148891/1416185878673489951\ 619799049261937208954*c_0101_5^8 - 62975698722552737619459356573725533020341290613/1132948702938791961\ 2958392394095497671632*c_0101_5^7 - 8775940094683319617877094916434010152523496479/11329487029387919612\ 958392394095497671632*c_0101_5^6 + 1196493055216037215374717517569413944880520433/28323717573469799032\ 39598098523874417908*c_0101_5^5 + 750270655123002237894089028340454\ 9338657316141/11329487029387919612958392394095497671632*c_0101_5^4 + 377358283205128603563137896167660590560204756/708092939336744975809\ 899524630968604477*c_0101_5^3 - 88971127387913126554310277424326241\ 2432962059/11329487029387919612958392394095497671632*c_0101_5^2 - 185512793011238882215781356468968092551246505/283237175734697990323\ 9598098523874417908*c_0101_5 + 117877060872370950735763490681606411\ 117372719/11329487029387919612958392394095497671632, c_0011_0 - 1, c_0011_1 - 85690013722079113076952174636637249076/708092939336744975809\ 899524630968604477*c_0101_5^18 - 1445200606295564538827739162417341\ 620409/708092939336744975809899524630968604477*c_0101_5^17 - 7788330408048789890977807159484571725792/70809293933674497580989952\ 4630968604477*c_0101_5^16 - 111666925229065176708043504198851185308\ 43/708092939336744975809899524630968604477*c_0101_5^15 + 67633400312518800569237256593685638599159/7080929393367449758098995\ 24630968604477*c_0101_5^14 + 11018919261736282375806202977534352900\ 6839/708092939336744975809899524630968604477*c_0101_5^13 - 257853808827764006553565596629907038562131/708092939336744975809899\ 524630968604477*c_0101_5^12 - 5542023904727790721791310878801307071\ 21672/708092939336744975809899524630968604477*c_0101_5^11 - 68475108461795040270869054540227541355613/7080929393367449758098995\ 24630968604477*c_0101_5^10 + 10045171038228531586814790761904660664\ 29614/708092939336744975809899524630968604477*c_0101_5^9 + 1656461018919950021796797333054249857478836/70809293933674497580989\ 9524630968604477*c_0101_5^8 + 8004036842620690328033548468059318137\ 87192/708092939336744975809899524630968604477*c_0101_5^7 - 135081511255244875753388040389620751792970/708092939336744975809899\ 524630968604477*c_0101_5^6 - 15706926945298611853205301013585405436\ 3892/708092939336744975809899524630968604477*c_0101_5^5 - 159348264761058787553135512451194595218086/708092939336744975809899\ 524630968604477*c_0101_5^4 - 75019334458473877411139206880455147720\ 670/708092939336744975809899524630968604477*c_0101_5^3 + 43569656534189950663443714197766892141622/7080929393367449758098995\ 24630968604477*c_0101_5^2 + 124672518137346808145682323117948672013\ 53/708092939336744975809899524630968604477*c_0101_5 - 3708965834161555199056297579298708119167/70809293933674497580989952\ 4630968604477, c_0011_4 + 95839590380098083328951954275289367160/708092939336744975809\ 899524630968604477*c_0101_5^18 + 1636328472473865005605684436045524\ 912764/708092939336744975809899524630968604477*c_0101_5^17 + 9043754492320916642986896135826942498271/70809293933674497580989952\ 4630968604477*c_0101_5^16 + 142492172039868323378912100030762958625\ 29/708092939336744975809899524630968604477*c_0101_5^15 - 73262280331553907482787113526945922318114/7080929393367449758098995\ 24630968604477*c_0101_5^14 - 13891710743313695812360448960657888323\ 3799/708092939336744975809899524630968604477*c_0101_5^13 + 266151148259107132492706054052487312769977/708092939336744975809899\ 524630968604477*c_0101_5^12 + 6792669979499189306683624291254657119\ 93981/708092939336744975809899524630968604477*c_0101_5^11 + 189212864104528443330638586687587542041332/708092939336744975809899\ 524630968604477*c_0101_5^10 - 1109896294564758337436175975895886400\ 498314/708092939336744975809899524630968604477*c_0101_5^9 - 2058631068010115857572412483694472668376344/70809293933674497580989\ 9524630968604477*c_0101_5^8 - 1243765383602834377043291563507065677\ 806811/708092939336744975809899524630968604477*c_0101_5^7 - 32889504735160172876422916187365895047662/7080929393367449758098995\ 24630968604477*c_0101_5^6 + 146657301318238926483231601322576622591\ 857/708092939336744975809899524630968604477*c_0101_5^5 + 178327236292892735751633334413344035699765/708092939336744975809899\ 524630968604477*c_0101_5^4 + 11803122844948424823882954572860100391\ 0458/708092939336744975809899524630968604477*c_0101_5^3 - 36781416528188280857007478836353011290368/7080929393367449758098995\ 24630968604477*c_0101_5^2 - 168897598001722761279285222617681047508\ 56/708092939336744975809899524630968604477*c_0101_5 + 4053921772335970787822504161534505549367/70809293933674497580989952\ 4630968604477, c_0101_0 - 840058180377577366913058417129350678888/70809293933674497580\ 9899524630968604477*c_0101_5^18 - 144634306594796509565813344825437\ 66440315/708092939336744975809899524630968604477*c_0101_5^17 - 81293344635975662139806914031364763522125/7080929393367449758098995\ 24630968604477*c_0101_5^16 - 13570221633506338179630027465162881427\ 5906/708092939336744975809899524630968604477*c_0101_5^15 + 626907409088673319447961158824756079786913/708092939336744975809899\ 524630968604477*c_0101_5^14 + 1311428630024811167547694449450745529\ 742740/708092939336744975809899524630968604477*c_0101_5^13 - 2189866313322653774842357938237078343404174/70809293933674497580989\ 9524630968604477*c_0101_5^12 - 630248817319610270798625645651347178\ 9424364/708092939336744975809899524630968604477*c_0101_5^11 - 2376095797003185186372428871863512159587897/70809293933674497580989\ 9524630968604477*c_0101_5^10 + 958928913140130004465154922217990805\ 1754474/708092939336744975809899524630968604477*c_0101_5^9 + 19312372014289175627450303348379456852880532/7080929393367449758098\ 99524630968604477*c_0101_5^8 + 131376723490769980908938535814981734\ 65420305/708092939336744975809899524630968604477*c_0101_5^7 + 1550576481971335578952856225728478892872981/70809293933674497580989\ 9524630968604477*c_0101_5^6 - 1101836785289469951098709911468676046\ 823305/708092939336744975809899524630968604477*c_0101_5^5 - 1636359294274699833987749537677344208328023/70809293933674497580989\ 9524630968604477*c_0101_5^4 - 1256517189675006786862153922071615826\ 512213/708092939336744975809899524630968604477*c_0101_5^3 + 224730556373864246251831624163505949596953/708092939336744975809899\ 524630968604477*c_0101_5^2 + 15766904747368464808562544157681735148\ 5941/708092939336744975809899524630968604477*c_0101_5 - 27255748683698295759560084990812057492174/7080929393367449758098995\ 24630968604477, c_0101_1 - 63725742751851604518635531315777682911/708092939336744975809\ 899524630968604477*c_0101_5^18 - 1132028365900272054959416321744938\ 849734/708092939336744975809899524630968604477*c_0101_5^17 - 6741946723992103173299493245941140082536/70809293933674497580989952\ 4630968604477*c_0101_5^16 - 132617567351644839834127964824830779369\ 55/708092939336744975809899524630968604477*c_0101_5^15 + 43949698520967485589118054698609892546048/7080929393367449758098995\ 24630968604477*c_0101_5^14 + 12756816595677284450830398815910589390\ 8578/708092939336744975809899524630968604477*c_0101_5^13 - 132384506031302406526245430964621537788238/708092939336744975809899\ 524630968604477*c_0101_5^12 - 5883177198082296463779749709590185640\ 22023/708092939336744975809899524630968604477*c_0101_5^11 - 357331608142342647157713218061829860268769/708092939336744975809899\ 524630968604477*c_0101_5^10 + 7368104078255784430216358335001964841\ 20856/708092939336744975809899524630968604477*c_0101_5^9 + 1826541736172713392843498972788413878884588/70809293933674497580989\ 9524630968604477*c_0101_5^8 + 1541045215603440858988344905737515801\ 348983/708092939336744975809899524630968604477*c_0101_5^7 + 333985459001795621345453008547800587354862/708092939336744975809899\ 524630968604477*c_0101_5^6 - 82578582416662328559776796700382562199\ 985/708092939336744975809899524630968604477*c_0101_5^5 - 133588960230213897911273435679884779379732/708092939336744975809899\ 524630968604477*c_0101_5^4 - 15442531546636953220810890893453935460\ 2460/708092939336744975809899524630968604477*c_0101_5^3 + 6374619721545759985062665927060907184977/70809293933674497580989952\ 4630968604477*c_0101_5^2 + 1875223928023011119031038074951239451807\ 9/708092939336744975809899524630968604477*c_0101_5 - 1871696101976503192403567847879690712169/70809293933674497580989952\ 4630968604477, c_0101_5^19 + 17*c_0101_5^18 + 93*c_0101_5^17 + 140*c_0101_5^16 - 784*c_0101_5^15 - 1402*c_0101_5^14 + 2972*c_0101_5^13 + 6964*c_0101_5^12 + 1094*c_0101_5^11 - 12179*c_0101_5^10 - 20480*c_0101_5^9 - 10315*c_0101_5^8 + 2007*c_0101_5^7 + 1844*c_0101_5^6 + 1635*c_0101_5^5 + 1064*c_0101_5^4 - 645*c_0101_5^3 - 132*c_0101_5^2 + 81*c_0101_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB