Magma V2.19-8 Tue Aug 20 2013 16:16:16 on localhost [Seed = 3120047451] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0538 geometric_solution 4.55702882 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 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.374141553269 0.257502584610 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 1 -1 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 1.110633049777 1.116514743228 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -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 -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.726873171488 0.128581946629 2 4 5 4 0132 1302 0132 2031 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 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.695821164590 0.345285702451 5 3 2 3 0132 1302 0132 2031 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 1 -1 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.695821164590 0.345285702451 4 6 6 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 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.708618411975 0.260610961549 6 5 5 6 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 0.981744113481 0.474490066335 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : 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' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_1']), '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 14210995087209055222921804839789/803148033066195184793971978838*c_0\ 101_6^13 - 90329818555896327743175943818119/40157401653309759239698\ 5989419*c_0101_6^12 - 1531126538833378542590772549495345/8031480330\ 66195184793971978838*c_0101_6^11 + 385159874549967154540976465321956/401574016533097592396985989419*c_\ 0101_6^10 + 9847564511936237243745513116916749/40157401653309759239\ 6985989419*c_0101_6^9 + 160434386433581961749446045372134/138473798\ 80451641117137447911*c_0101_6^8 - 756868962015086296949913180935144\ 51/803148033066195184793971978838*c_0101_6^7 - 3533389716025918778139811536894361/401574016533097592396985989419*c\ _0101_6^6 + 10555695064197707297948453166699434/4015740165330975923\ 96985989419*c_0101_6^5 - 14150378051464935998912368984209809/803148\ 033066195184793971978838*c_0101_6^4 + 4377682978226961908868016594106757/401574016533097592396985989419*c\ _0101_6^3 - 1173320105427875752375944819574301/40157401653309759239\ 6985989419*c_0101_6^2 - 764781870556703043528926776537074/401574016\ 533097592396985989419*c_0101_6 + 31724846676133711752127789895173/8\ 03148033066195184793971978838, c_0011_0 - 1, c_0011_2 - 1719727806027100987756658/48248710384848923753092153*c_0101_\ 6^13 + 22312136726245957945862684/48248710384848923753092153*c_0101\ _6^12 + 179458633208298512960468871/48248710384848923753092153*c_01\ 01_6^11 - 140221766462208411304295205/48248710384848923753092153*c_\ 0101_6^10 - 2347800601423403567619617142/48248710384848923753092153\ *c_0101_6^9 - 514225294698019638406282557/4824871038484892375309215\ 3*c_0101_6^8 + 9305748524995859285798460379/48248710384848923753092\ 153*c_0101_6^7 - 1540692370444462512829841036/482487103848489237530\ 92153*c_0101_6^6 - 2188536043451512777147998398/4824871038484892375\ 3092153*c_0101_6^5 + 2151437523989823365385599271/48248710384848923\ 753092153*c_0101_6^4 - 1544484871346656170657983443/482487103848489\ 23753092153*c_0101_6^3 + 690435019774040644600121950/48248710384848\ 923753092153*c_0101_6^2 - 57123111257081562493256609/48248710384848\ 923753092153*c_0101_6 + 11568552035223181959711626/4824871038484892\ 3753092153, c_0101_0 + 4176868531677552088487068/48248710384848923753092153*c_0101_\ 6^13 - 54133182183121739755849610/48248710384848923753092153*c_0101\ _6^12 - 436648705719221340485726407/48248710384848923753092153*c_01\ 01_6^11 + 334834793342149665172083028/48248710384848923753092153*c_\ 0101_6^10 + 5708321660024505511071292340/48248710384848923753092153\ *c_0101_6^9 + 1318632158333589405526637263/482487103848489237530921\ 53*c_0101_6^8 - 22606931759720040765867532250/482487103848489237530\ 92153*c_0101_6^7 + 3526674070844732252956296293/4824871038484892375\ 3092153*c_0101_6^6 + 5494759839549449274219292058/48248710384848923\ 753092153*c_0101_6^5 - 5596221463743768495787273066/482487103848489\ 23753092153*c_0101_6^4 + 3819100497879217615402614025/4824871038484\ 8923753092153*c_0101_6^3 - 1498117674566563808319004840/48248710384\ 848923753092153*c_0101_6^2 - 93802416328492337558759569/48248710384\ 848923753092153*c_0101_6 - 5221877915431603394602928/48248710384848\ 923753092153, c_0101_1 + 807843435346023785782076/48248710384848923753092153*c_0101_6\ ^13 - 10696225722836988789259978/48248710384848923753092153*c_0101_\ 6^12 - 81535129346840874274847476/48248710384848923753092153*c_0101\ _6^11 + 88721073799383852412450265/48248710384848923753092153*c_010\ 1_6^10 + 1086820537641133734667944552/48248710384848923753092153*c_\ 0101_6^9 - 62856209087819837478651974/48248710384848923753092153*c_\ 0101_6^8 - 4461492336302001819477585363/48248710384848923753092153*\ c_0101_6^7 + 1996018639925648764145986349/4824871038484892375309215\ 3*c_0101_6^6 + 979705911701367053953920803/482487103848489237530921\ 53*c_0101_6^5 - 1780746965721106825621154275/4824871038484892375309\ 2153*c_0101_6^4 + 1089423176765365954553511105/48248710384848923753\ 092153*c_0101_6^3 - 344178250553446270770376601/4824871038484892375\ 3092153*c_0101_6^2 + 29665477528695489849155108/4824871038484892375\ 3092153*c_0101_6 + 23758920322896204300487690/482487103848489237530\ 92153, c_0101_3 + 1323973887646844472732202/48248710384848923753092153*c_0101_\ 6^13 - 16975284981815957929628426/48248710384848923753092153*c_0101\ _6^12 - 140669326714814468024850504/48248710384848923753092153*c_01\ 01_6^11 + 85284563063714599320902670/48248710384848923753092153*c_0\ 101_6^10 + 1812811734053354118155365672/48248710384848923753092153*\ c_0101_6^9 + 688918677917101625397184174/48248710384848923753092153\ *c_0101_6^8 - 6948444667696584985175326909/482487103848489237530921\ 53*c_0101_6^7 + 28540276241900128968461737/482487103848489237530921\ 53*c_0101_6^6 + 1171598612896567328916001723/4824871038484892375309\ 2153*c_0101_6^5 - 916178374043322380225295233/482487103848489237530\ 92153*c_0101_6^4 + 1244581358169951352865248918/4824871038484892375\ 3092153*c_0101_6^3 - 696518312017931555081688415/482487103848489237\ 53092153*c_0101_6^2 + 65511698141759313771791374/482487103848489237\ 53092153*c_0101_6 - 42273046858256343392766604/48248710384848923753\ 092153, c_0101_5 + 241134727086280270541486/48248710384848923753092153*c_0101_6\ ^13 - 2738834352609988961644852/48248710384848923753092153*c_0101_6\ ^12 - 30056653718289802838980918/48248710384848923753092153*c_0101_\ 6^11 - 23095198445594359092405415/48248710384848923753092153*c_0101\ _6^10 + 343767965998245884494282664/48248710384848923753092153*c_01\ 01_6^9 + 615462094363451761747189268/48248710384848923753092153*c_0\ 101_6^8 - 964527909589308838146989261/48248710384848923753092153*c_\ 0101_6^7 - 1819155739072670402530384867/48248710384848923753092153*\ c_0101_6^6 - 226452446322426808247059449/48248710384848923753092153\ *c_0101_6^5 + 232723625918556434803755836/4824871038484892375309215\ 3*c_0101_6^4 + 2642734372207208552867494/48248710384848923753092153\ *c_0101_6^3 + 113395189419437665204192915/4824871038484892375309215\ 3*c_0101_6^2 - 93577344365801215438051709/4824871038484892375309215\ 3*c_0101_6 - 10587872959689920613886991/48248710384848923753092153, c_0101_6^14 - 13*c_0101_6^13 - 104*c_0101_6^12 + 84*c_0101_6^11 + 1361*c_0101_6^10 + 264*c_0101_6^9 - 5392*c_0101_6^8 + 1058*c_0101_6^7 + 1145*c_0101_6^6 - 1333*c_0101_6^5 + 1008*c_0101_6^4 - 462*c_0101_6^3 + 29*c_0101_6^2 - 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB