Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 1073863809] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0390 geometric_solution 4.45673703 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.802814540186 0.090325978968 0 3 0 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.670595928442 0.318244769110 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 -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.850383749107 0.048754219144 4 1 5 1 0132 0132 0132 1023 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 -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 1.719336279982 1.601375389877 3 5 5 6 0132 3201 2310 0132 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 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.172472748197 0.815190860209 6 4 4 3 1023 3201 2310 0132 0 0 0 0 0 0 0 0 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 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.172472748197 0.815190860209 6 5 4 6 3201 1023 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248418514233 1.174147825825 ==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' : negation(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' : negation(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' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_5'], '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' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3629210750684805526/8885107532932367*c_0101_4^25 + 24761368717078170902/8885107532932367*c_0101_4^23 - 166182129434015756430/8885107532932367*c_0101_4^21 + 761702364214237570144/8885107532932367*c_0101_4^19 - 1376469636983693013261/8885107532932367*c_0101_4^17 + 1749819966554672656937/8885107532932367*c_0101_4^15 - 2547266552614581493775/8885107532932367*c_0101_4^13 + 2391237936658047413347/8885107532932367*c_0101_4^11 - 1322381582507626213068/8885107532932367*c_0101_4^9 + 842781618244316641109/8885107532932367*c_0101_4^7 - 494364020247420302637/8885107532932367*c_0101_4^5 + 126228433804395658565/8885107532932367*c_0101_4^3 - 10167962068553840044/8885107532932367*c_0101_4, c_0011_0 - 1, c_0011_5 - 319884307225714/807737048448397*c_0101_4^24 + 2091318253758644/807737048448397*c_0101_4^22 - 14057745482005394/807737048448397*c_0101_4^20 + 63175786917747018/807737048448397*c_0101_4^18 - 103619494182382235/807737048448397*c_0101_4^16 + 126116201719387476/807737048448397*c_0101_4^14 - 191368845739838487/807737048448397*c_0101_4^12 + 159789871516516796/807737048448397*c_0101_4^10 - 75826533733867771/807737048448397*c_0101_4^8 + 57745329275059615/807737048448397*c_0101_4^6 - 30347314663615132/807737048448397*c_0101_4^4 + 3365804579598888/807737048448397*c_0101_4^2 - 308174643608685/807737048448397, c_0101_0 + 1843017502848328/807737048448397*c_0101_4^25 - 12682206970226026/807737048448397*c_0101_4^23 + 85213866355472822/807737048448397*c_0101_4^21 - 392277525937840566/807737048448397*c_0101_4^19 + 725213799437959344/807737048448397*c_0101_4^17 - 945126936433010657/807737048448397*c_0101_4^15 + 1367037116870831419/807737048448397*c_0101_4^13 - 1314980299988451279/807737048448397*c_0101_4^11 + 783253248101350935/807737048448397*c_0101_4^9 - 492127199116746247/807737048448397*c_0101_4^7 + 284707241272922790/807737048448397*c_0101_4^5 - 88051218482644419/807737048448397*c_0101_4^3 + 10948286566570953/807737048448397*c_0101_4, c_0101_1 - 12536593363395556/807737048448397*c_0101_4^25 + 86825801626882676/807737048448397*c_0101_4^23 - 582509870844898408/807737048448397*c_0101_4^21 + 2688046450862995498/807737048448397*c_0101_4^19 - 5010528743166446728/807737048448397*c_0101_4^17 + 6465993606636070068/807737048448397*c_0101_4^15 - 9313268731771765404/807737048448397*c_0101_4^13 + 9034749842672471623/807737048448397*c_0101_4^11 - 5218285105895679221/807737048448397*c_0101_4^9 + 3222305432272336623/807737048448397*c_0101_4^7 - 1933458438576530765/807737048448397*c_0101_4^5 + 556103177149022589/807737048448397*c_0101_4^3 - 53037729814595937/807737048448397*c_0101_4, c_0101_2 - 42168362407296806/807737048448397*c_0101_4^25 + 288037282578738546/807737048448397*c_0101_4^23 - 1933228594138366830/807737048448397*c_0101_4^21 + 8865908098820988544/807737048448397*c_0101_4^19 - 16065722672946918649/807737048448397*c_0101_4^17 + 20468672926571746895/807737048448397*c_0101_4^15 - 29768367228197381163/807737048448397*c_0101_4^13 + 28030796810227714751/807737048448397*c_0101_4^11 - 15607805553569285386/807737048448397*c_0101_4^9 + 9918512355374507985/807737048448397*c_0101_4^7 - 5822734299477403801/807737048448397*c_0101_4^5 + 1515286268086183857/807737048448397*c_0101_4^3 - 128768433383518861/807737048448397*c_0101_4, c_0101_3 + 616349287217370/807737048448397*c_0101_4^25 - 3994560703295876/807737048448397*c_0101_4^23 + 26877098245457746/807737048448397*c_0101_4^21 - 120306399131381266/807737048448397*c_0101_4^19 + 193533691208287587/807737048448397*c_0101_4^17 - 235064439143562580/807737048448397*c_0101_4^15 + 359258861964291399/807737048448397*c_0101_4^13 - 291540820794970908/807737048448397*c_0101_4^11 + 136982310278646859/807737048448397*c_0101_4^9 - 107229204569691119/807737048448397*c_0101_4^7 + 51656669206023560/807737048448397*c_0101_4^5 - 6017293282209698/807737048448397*c_0101_4^3 + 1373601956909045/807737048448397*c_0101_4, c_0101_4^26 - 7*c_0101_4^24 + 47*c_0101_4^22 - 218*c_0101_4^20 + 833/2*c_0101_4^18 - 1099/2*c_0101_4^16 + 1575/2*c_0101_4^14 - 1567/2*c_0101_4^12 + 963/2*c_0101_4^10 - 297*c_0101_4^8 + 355/2*c_0101_4^6 - 59*c_0101_4^4 + 9*c_0101_4^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB