Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 3987501524] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0134 geometric_solution 3.64045867 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0321 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 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.796674104640 0.403333699828 0 0 2 3 0132 0321 2031 1302 0 0 0 0 0 -1 0 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 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.000869859387 0.505831498572 2 0 2 1 2310 0132 3201 1302 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 0 0 0 0 0 0 -1 1 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.996600335734 1.976937074093 4 4 1 0 0132 2310 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 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.511931655595 0.374647805884 3 5 5 3 0132 0132 3201 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.465623049230 0.196965216426 4 4 6 6 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6.079792131522 1.034899153645 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.488996514000 0.049519830154 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : 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' : 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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_5'], '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_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], '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_0101_0'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_6, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1639455690361716040/2075980160818587*c_0101_5^19 - 21041646457752745384/2075980160818587*c_0101_5^18 - 8273223336966215907/691993386939529*c_0101_5^17 + 167610646953579081449/691993386939529*c_0101_5^16 + 371765608738377569732/2075980160818587*c_0101_5^15 - 3444742656322895471635/2075980160818587*c_0101_5^14 - 2595810198913372384349/2075980160818587*c_0101_5^13 + 3573059584044059837398/691993386939529*c_0101_5^12 + 2758869072180318481847/691993386939529*c_0101_5^11 - 5912389646694445639660/691993386939529*c_0101_5^10 - 13546806026245460883517/2075980160818587*c_0101_5^9 + 16479540907416766214251/2075980160818587*c_0101_5^8 + 11909201330732696035396/2075980160818587*c_0101_5^7 - 8544336867685692032579/2075980160818587*c_0101_5^6 - 5500866388923012674063/2075980160818587*c_0101_5^5 + 768569563084028849189/691993386939529*c_0101_5^4 + 400412508914585261823/691993386939529*c_0101_5^3 - 90852046069729218271/691993386939529*c_0101_5^2 - 92400939249443890225/2075980160818587*c_0101_5 + 10878415454085217106/2075980160818587, c_0011_0 - 1, c_0011_3 - 12532275619525940/2075980160818587*c_0101_5^19 + 59107829379117144/691993386939529*c_0101_5^18 - 14121610646994225/691993386939529*c_0101_5^17 - 1267405294028067240/691993386939529*c_0101_5^16 + 2150254519598576036/2075980160818587*c_0101_5^15 + 23826415951481122660/2075980160818587*c_0101_5^14 - 11436672083924383243/2075980160818587*c_0101_5^13 - 68999367217528997170/2075980160818587*c_0101_5^12 + 27012588930731037194/2075980160818587*c_0101_5^11 + 106296211339464929069/2075980160818587*c_0101_5^10 - 34579958455566522545/2075980160818587*c_0101_5^9 - 90266878621476587368/2075980160818587*c_0101_5^8 + 8313595685903280699/691993386939529*c_0101_5^7 + 40957570747561649737/2075980160818587*c_0101_5^6 - 9621026368054064554/2075980160818587*c_0101_5^5 - 8907542049735339409/2075980160818587*c_0101_5^4 + 1728236317488424487/2075980160818587*c_0101_5^3 + 8453533630592782/25011809166489*c_0101_5^2 - 115426469267144762/2075980160818587*c_0101_5 + 303251468527482/691993386939529, c_0011_6 + 8257481176946746/2075980160818587*c_0101_5^19 - 39010246325391729/691993386939529*c_0101_5^18 + 10086685968668874/691993386939529*c_0101_5^17 + 836624069605769216/691993386939529*c_0101_5^16 - 1474651016462539489/2075980160818587*c_0101_5^15 - 15780030992745659852/2075980160818587*c_0101_5^14 + 7923046939857968405/2075980160818587*c_0101_5^13 + 45986739235361097806/2075980160818587*c_0101_5^12 - 18921752692588350616/2075980160818587*c_0101_5^11 - 71542546633731008212/2075980160818587*c_0101_5^10 + 24434932954077939880/2075980160818587*c_0101_5^9 + 61644801035145149117/2075980160818587*c_0101_5^8 - 5907173192387816448/691993386939529*c_0101_5^7 - 28586480168506703885/2075980160818587*c_0101_5^6 + 6859881188538261932/2075980160818587*c_0101_5^5 + 6431533014249375317/2075980160818587*c_0101_5^4 - 1232922791157906622/2075980160818587*c_0101_5^3 - 536774486609405110/2075980160818587*c_0101_5^2 + 82336586628633757/2075980160818587*c_0101_5 + 184914493703915/691993386939529, c_0101_0 - 4452139907912638/691993386939529*c_0101_5^19 + 191228931564253787/2075980160818587*c_0101_5^18 - 25821416762615260/691993386939529*c_0101_5^17 - 16212225087469203/8337269722163*c_0101_5^16 + 990609500924507283/691993386939529*c_0101_5^15 + 24834825204419763169/2075980160818587*c_0101_5^14 - 16371147061932698098/2075980160818587*c_0101_5^13 - 70353558853377197936/2075980160818587*c_0101_5^12 + 40595932279142687890/2075980160818587*c_0101_5^11 + 105108515363707433815/2075980160818587*c_0101_5^10 - 54345887137193258480/2075980160818587*c_0101_5^9 - 84990248462168220775/2075980160818587*c_0101_5^8 + 40519093498424981362/2075980160818587*c_0101_5^7 + 11766867919406837506/691993386939529*c_0101_5^6 - 15934605738986794180/2075980160818587*c_0101_5^5 - 6382384087843968026/2075980160818587*c_0101_5^4 + 2875727969964293836/2075980160818587*c_0101_5^3 + 286950747473957530/2075980160818587*c_0101_5^2 - 191976702346594862/2075980160818587*c_0101_5 + 17171322880764311/2075980160818587, c_0101_2 - 883710906151147/691993386939529*c_0101_5^19 + 37739951475913373/2075980160818587*c_0101_5^18 - 3877505469848828/691993386939529*c_0101_5^17 - 270704149094905389/691993386939529*c_0101_5^16 + 178839596192057751/691993386939529*c_0101_5^15 + 5148465986839344583/2075980160818587*c_0101_5^14 - 3120106818144778018/2075980160818587*c_0101_5^13 - 14982215128080026651/2075980160818587*c_0101_5^12 + 8111276529694922242/2075980160818587*c_0101_5^11 + 22857206283834190048/2075980160818587*c_0101_5^10 - 11216129153412776297/2075980160818587*c_0101_5^9 - 18718538149095448696/2075980160818587*c_0101_5^8 + 8365145188677592564/2075980160818587*c_0101_5^7 + 2603814741892505304/691993386939529*c_0101_5^6 - 3075998080626430723/2075980160818587*c_0101_5^5 - 1457985632795693465/2075980160818587*c_0101_5^4 + 437967940772259019/2075980160818587*c_0101_5^3 + 108720029460705268/2075980160818587*c_0101_5^2 - 15394230337388048/2075980160818587*c_0101_5 - 2387990651978599/2075980160818587, c_0101_3 - 5996016996308930/2075980160818587*c_0101_5^19 + 88118058124043926/2075980160818587*c_0101_5^18 - 22537082800414390/691993386939529*c_0101_5^17 - 597854156068530789/691993386939529*c_0101_5^16 + 2005425046309801796/2075980160818587*c_0101_5^15 + 3520735903870544472/691993386939529*c_0101_5^14 - 3752997358823792892/691993386939529*c_0101_5^13 - 28579561026506324384/2075980160818587*c_0101_5^12 + 28644121136786804359/2075980160818587*c_0101_5^11 + 40379878079808573622/2075980160818587*c_0101_5^10 - 12977048767490354876/691993386939529*c_0101_5^9 - 10020212004405378694/691993386939529*c_0101_5^8 + 28993568950603814450/2075980160818587*c_0101_5^7 + 10720770384471524512/2075980160818587*c_0101_5^6 - 3708527069612598154/691993386939529*c_0101_5^5 - 1314828640469751284/2075980160818587*c_0101_5^4 + 1861700615920687105/2075980160818587*c_0101_5^3 - 26222095230734708/2075980160818587*c_0101_5^2 - 33931124220288309/691993386939529*c_0101_5 + 9801207490175284/2075980160818587, c_0101_5^20 - 13*c_0101_5^19 - 13*c_0101_5^18 + 309*c_0101_5^17 + 176*c_0101_5^16 - 2134*c_0101_5^15 - 1237*c_0101_5^14 + 6770*c_0101_5^13 + 3973*c_0101_5^12 - 11564*c_0101_5^11 - 6486*c_0101_5^10 + 11276*c_0101_5^9 + 5616*c_0101_5^8 - 6289*c_0101_5^7 - 2504*c_0101_5^6 + 1904*c_0101_5^5 + 505*c_0101_5^4 - 275*c_0101_5^3 - 30*c_0101_5^2 + 15*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB