Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 4071845431] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1693 geometric_solution 5.41012178 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 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 -1 0 1 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.555888758619 0.206571517525 0 2 0 3 0132 0132 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 1 -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 0 0 0 1.007860910204 0.682119705710 4 1 5 3 0132 0132 0132 1230 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 -1 1 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.994046380234 0.881269410957 2 5 1 4 3012 3201 0132 1023 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 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.994046380234 0.881269410957 2 4 4 3 0132 3201 2310 1023 0 0 0 0 0 1 0 -1 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 0 1 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.058248205433 0.801097878119 6 6 3 2 0132 2310 2310 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 1 -1 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.762418120338 1.141413991999 5 6 6 5 0132 3201 2310 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.752724072261 0.402412776530 ==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' : 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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], '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' : negation(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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 172541940273065891575/598381992327809024*c_0101_5^20 + 974558012642561151239/299190996163904512*c_0101_5^19 - 5353287307606087090079/299190996163904512*c_0101_5^18 + 2332944458379367303435/37398874520488064*c_0101_5^17 - 11382365561959981477479/74797749040976128*c_0101_5^16 + 39706647613083256778201/149595498081952256*c_0101_5^15 - 44336293045856146235819/149595498081952256*c_0101_5^14 + 11378284402792746335555/149595498081952256*c_0101_5^13 + 138473697744891347757583/299190996163904512*c_0101_5^12 - 685135009323449086902993/598381992327809024*c_0101_5^11 + 474616603380209713604999/299190996163904512*c_0101_5^10 - 214181995209527661635515/149595498081952256*c_0101_5^9 + 26349697567073128091781/37398874520488064*c_0101_5^8 + 27743782549491573392335/149595498081952256*c_0101_5^7 - 449696455250404787657683/598381992327809024*c_0101_5^6 + 478776543369137182170475/598381992327809024*c_0101_5^5 - 310287487188382914952833/598381992327809024*c_0101_5^4 + 126592755265070758230635/598381992327809024*c_0101_5^3 - 25766244550391144299757/598381992327809024*c_0101_5^2 - 139974078814164515187/37398874520488064*c_0101_5 + 498044849193614016347/149595498081952256, c_0011_0 - 1, c_0011_3 - 8382374323063135235/598381992327809024*c_0101_5^20 + 47328001861751822483/299190996163904512*c_0101_5^19 - 259863445645508462027/299190996163904512*c_0101_5^18 + 113192701633223705847/37398874520488064*c_0101_5^17 - 551961207818526925043/74797749040976128*c_0101_5^16 + 1924206905785198099725/149595498081952256*c_0101_5^15 - 2146077749524253666631/149595498081952256*c_0101_5^14 + 545443607640256710847/149595498081952256*c_0101_5^13 + 6723138472189997529083/299190996163904512*c_0101_5^12 - 33203050304636020417637/598381992327809024*c_0101_5^11 + 22980897787306166092179/299190996163904512*c_0101_5^10 - 10362744391699404236695/149595498081952256*c_0101_5^9 + 1273598602438628361737/37398874520488064*c_0101_5^8 + 1345287215398167785147/149595498081952256*c_0101_5^7 - 21749452472500857797391/598381992327809024*c_0101_5^6 + 23148612332760415092999/598381992327809024*c_0101_5^5 - 15011072560365981661269/598381992327809024*c_0101_5^4 + 6138272026707503443975/598381992327809024*c_0101_5^3 - 1262695452498946307633/598381992327809024*c_0101_5^2 - 6280548679163869351/37398874520488064*c_0101_5 + 23715957990520083063/149595498081952256, c_0011_5 + 3841114245313315601/598381992327809024*c_0101_5^20 - 21734385406653469889/299190996163904512*c_0101_5^19 + 119602200740990842153/299190996163904512*c_0101_5^18 - 52221136744830859117/37398874520488064*c_0101_5^17 + 255311889928644221921/74797749040976128*c_0101_5^16 - 892865233198713010591/149595498081952256*c_0101_5^15 + 1001472570216797510461/149595498081952256*c_0101_5^14 - 266971611840148202213/149595498081952256*c_0101_5^13 - 3087641893207368740409/299190996163904512*c_0101_5^12 + 15389351362428633334759/598381992327809024*c_0101_5^11 - 10700010267119973770433/299190996163904512*c_0101_5^10 + 4846873866622164977581/149595498081952256*c_0101_5^9 - 600671554409155424883/37398874520488064*c_0101_5^8 - 606540246867068203129/149595498081952256*c_0101_5^7 + 10127647761518239457365/598381992327809024*c_0101_5^6 - 10829175373654850079869/598381992327809024*c_0101_5^5 + 7035369094255228200759/598381992327809024*c_0101_5^4 - 2874345798640806649213/598381992327809024*c_0101_5^3 + 585643818097180503147/598381992327809024*c_0101_5^2 + 3100884028823205965/37398874520488064*c_0101_5 - 11113644490483546317/149595498081952256, c_0101_0 - 5905934389856384659/299190996163904512*c_0101_5^20 + 33375502086361632931/149595498081952256*c_0101_5^19 - 183427407503124750299/149595498081952256*c_0101_5^18 + 79979903630489013287/18699437260244032*c_0101_5^17 - 390445296797310031363/37398874520488064*c_0101_5^16 + 1363000183496535299453/74797749040976128*c_0101_5^15 - 1523894299743421944471/74797749040976128*c_0101_5^14 + 395546973679413686159/74797749040976128*c_0101_5^13 + 4741070219741839703307/149595498081952256*c_0101_5^12 - 23507384673087433156437/299190996163904512*c_0101_5^11 + 16302194229297317791395/149595498081952256*c_0101_5^10 - 7365834843147162744807/74797749040976128*c_0101_5^9 + 908629288629414715705/18699437260244032*c_0101_5^8 + 940841639173215284683/74797749040976128*c_0101_5^7 - 15427732952825911731167/299190996163904512*c_0101_5^6 + 16455733194299545787735/299190996163904512*c_0101_5^5 - 10680041109220072499525/299190996163904512*c_0101_5^4 + 4366549819947296348247/299190996163904512*c_0101_5^3 - 894561134199697082465/299190996163904512*c_0101_5^2 - 4607926238194090023/18699437260244032*c_0101_5 + 16877515113614203463/74797749040976128, c_0101_1 + 4013593677549061459/299190996163904512*c_0101_5^20 - 22643251413088911955/149595498081952256*c_0101_5^19 + 124239153853129861403/149595498081952256*c_0101_5^18 - 54078023234447150819/18699437260244032*c_0101_5^17 + 263491289646446893651/37398874520488064*c_0101_5^16 - 917606975353222230077/74797749040976128*c_0101_5^15 + 1021276684054301777783/74797749040976128*c_0101_5^14 - 254487705284101607279/74797749040976128*c_0101_5^13 - 3221461706791831603595/149595498081952256*c_0101_5^12 + 15852227656319769828693/299190996163904512*c_0101_5^11 - 10948473110096824454963/149595498081952256*c_0101_5^10 + 4924235769678081949319/74797749040976128*c_0101_5^9 - 601451027500943100769/18699437260244032*c_0101_5^8 - 660336445078371357771/74797749040976128*c_0101_5^7 + 10391643467135806100255/299190996163904512*c_0101_5^6 - 11009024986013492297591/299190996163904512*c_0101_5^5 + 7109018811836881774885/299190996163904512*c_0101_5^4 - 2891139085919364909815/299190996163904512*c_0101_5^3 + 587466835436793114177/299190996163904512*c_0101_5^2 + 3128700928592446657/18699437260244032*c_0101_5 - 11050896984706210679/74797749040976128, c_0101_2 + 268825165124826207/598381992327809024*c_0101_5^20 - 1553576969308104463/299190996163904512*c_0101_5^19 + 8735517103911293383/299190996163904512*c_0101_5^18 - 3901924198310338715/37398874520488064*c_0101_5^17 + 19549578861613404975/74797749040976128*c_0101_5^16 - 70372602771276951793/149595498081952256*c_0101_5^15 + 82974697636230019251/149595498081952256*c_0101_5^14 - 31053043099143283339/149595498081952256*c_0101_5^13 - 219786020821541512247/299190996163904512*c_0101_5^12 + 1197909818314899489961/598381992327809024*c_0101_5^11 - 868066727633993753551/299190996163904512*c_0101_5^10 + 409649363706029256899/149595498081952256*c_0101_5^9 - 54729280613834349933/37398874520488064*c_0101_5^8 - 32211039908033593335/149595498081952256*c_0101_5^7 + 812033873323418717147/598381992327809024*c_0101_5^6 - 911140722881727569395/598381992327809024*c_0101_5^5 + 607137641922429905689/598381992327809024*c_0101_5^4 - 251726602746542041587/598381992327809024*c_0101_5^3 + 51341513462527550117/598381992327809024*c_0101_5^2 + 234622546772492839/37398874520488064*c_0101_5 - 864367683935130435/149595498081952256, c_0101_5^21 - 12*c_0101_5^20 + 70*c_0101_5^19 - 260*c_0101_5^18 + 680*c_0101_5^17 - 1292*c_0101_5^16 + 1676*c_0101_5^15 - 988*c_0101_5^14 - 1418*c_0101_5^13 + 5099*c_0101_5^12 - 8296*c_0101_5^11 + 8840*c_0101_5^10 - 5944*c_0101_5^9 + 1084*c_0101_5^8 + 3053*c_0101_5^7 - 4607*c_0101_5^6 + 3753*c_0101_5^5 - 2003*c_0101_5^4 + 669*c_0101_5^3 - 94*c_0101_5^2 - 20*c_0101_5 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB