Magma V2.19-8 Tue Aug 20 2013 16:17:05 on localhost [Seed = 3263389201] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1330 geometric_solution 5.21131945 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 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.494588537720 0.103777970716 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.568792904246 0.302576662835 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.561931409396 2.447606238000 5 2 6 5 0132 0132 0132 1023 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 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.264641842021 0.469173046462 5 6 2 5 2310 0132 0132 3201 0 0 0 0 0 0 0 0 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 1 0 -1 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.264641842021 0.469173046462 3 4 4 3 0132 2310 3201 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.087940889825 1.616953494605 6 4 6 3 2031 0132 1302 0132 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 -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.878100515554 1.037056457490 ==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' : 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' : 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' : negation(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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['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_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0101_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], '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 8 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, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 114071248840253468356343706515668177280976629774707231487576/200404\ 39563463143086230559360075126039375527944320337927821715*c_1001_3^1\ 4 - 331998728456828966849601218344634965568688858066919858917136/18\ 21858142133013007839141760006829639943229813120030720711065*c_1001_\ 3^13 - 683798431198577921986018441304766925772699477317188996405428\ /260265448876144715405591680000975662849032830445718674387295*c_100\ 1_3^12 - 6795089525706637670438310091484020166680584329030500655539\ 8394/6680146521154381028743519786691708679791842648106779309273905*\ c_1001_3^11 + 50849731695149321900687843367541700826257378271282511\ 2840176366/20040439563463143086230559360075126039375527944320337927\ 821715*c_1001_3^10 + 1769629022460463642762912774730108825243576889\ 884019653384044826/200404395634631430862305593600751260393755279443\ 20337927821715*c_1001_3^9 - 213387058027231404285579600782341956507\ 822781835318787483989723/133602930423087620574870395733834173595836\ 8529621355861854781*c_1001_3^8 - 7889253506112421401898267663456759\ 822949883040140506064160194197/668014652115438102874351978669170867\ 9791842648106779309273905*c_1001_3^7 - 11409501700011945418350807759527785713629727566155118294466873442/2\ 0040439563463143086230559360075126039375527944320337927821715*c_100\ 1_3^6 + 44336631522493766632247263082064116348983861642428271618047\ 284944/200404395634631430862305593600751260393755279443203379278217\ 15*c_1001_3^5 - 525025321581165603298678556785285566060051794286375\ 3029209974241/28629199376375918694615084800107322913393611349029054\ 18260245*c_1001_3^4 - 526115054664127300879551441904438649047888729\ 12544827044628452118/2004043956346314308623055936007512603937552794\ 4320337927821715*c_1001_3^3 + 5668398311481116688700799284337146788\ 9777607012448939586800102662/20040439563463143086230559360075126039\ 375527944320337927821715*c_1001_3^2 + 36512917180251273907538019640025717428085586568055257581656405849/2\ 0040439563463143086230559360075126039375527944320337927821715*c_100\ 1_3 + 1537607233852503772339254836590682799675205012160396922289527\ 3739/20040439563463143086230559360075126039375527944320337927821715\ , c_0011_0 - 1, c_0011_1 - 13913544142166791901756842961285417788974015619/639345371005\ 6206616434872506402609475998405488579333*c_1001_3^14 - 428567555906319763514926698911030032195411303465/639345371005620661\ 6434872506402609475998405488579333*c_1001_3^13 - 5908362949087247639950302166394819002319859388838/63934537100562066\ 16434872506402609475998405488579333*c_1001_3^12 - 1985788537721731975564456884841937726626893341268/71038374556180073\ 5159430278489178830666489498731037*c_1001_3^11 + 81502461547952352788172928553457249798388296546448/6393453710056206\ 616434872506402609475998405488579333*c_1001_3^10 + 114258806608262573714266150324396672780499038234960/639345371005620\ 6616434872506402609475998405488579333*c_1001_3^9 - 157998907156168592885085689481025513735554836603560/213115123668540\ 2205478290835467536491999468496193111*c_1001_3^8 - 763571628246364095946359173644362135097503468989894/213115123668540\ 2205478290835467536491999468496193111*c_1001_3^7 + 1088757519035830633688904792081554617586536222151818/63934537100562\ 06616434872506402609475998405488579333*c_1001_3^6 + 3134664483992348705135351923898967493659707513567057/63934537100562\ 06616434872506402609475998405488579333*c_1001_3^5 - 5898292421345464067639184036428733610601298845102342/63934537100562\ 06616434872506402609475998405488579333*c_1001_3^4 + 4600589992774168797725686108900927450566220345796941/63934537100562\ 06616434872506402609475998405488579333*c_1001_3^3 + 2758655853487103795614610893336583373027301948102268/63934537100562\ 06616434872506402609475998405488579333*c_1001_3^2 - 832592788926856194799200513999679370563843875710906/639345371005620\ 6616434872506402609475998405488579333*c_1001_3 + 2520888522745419527493235624224386033412800767844513/63934537100562\ 06616434872506402609475998405488579333, c_0011_4 - 144028780139949778620791997412038810411789932721886/14110352\ 338094048002471763621630559113528480913294587931*c_1001_3^14 - 4573494982837387497484176310568350245952489427993383/14110352338094\ 048002471763621630559113528480913294587931*c_1001_3^13 - 65433649993219544304047557201020523878784268889276449/1411035233809\ 4048002471763621630559113528480913294587931*c_1001_3^12 - 81615647379779450661839267306699430768642109335495887/4703450779364\ 682667490587873876853037842826971098195977*c_1001_3^11 + 643067511548719302617079979819591698589632018935236045/141103523380\ 94048002471763621630559113528480913294587931*c_1001_3^10 + 1866887383252698889893327806075176275402051616654641523/14110352338\ 094048002471763621630559113528480913294587931*c_1001_3^9 - 1260789311226148533911826400321773101343278869822916009/47034507793\ 64682667490587873876853037842826971098195977*c_1001_3^8 - 9318561808314831275091989560036829811543862527848492677/47034507793\ 64682667490587873876853037842826971098195977*c_1001_3^7 - 10850781716778286844971392888091400011708829253822717860/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3^6 + 35182911158463215184732992397129977419026794666887816595/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3^5 - 50233163156355687541421197350689996517861811781681343224/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3^4 - 56586815556178259517703021421938532138581684450336219661/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3^3 + 36405754973463375073115834444516290311516280832786463305/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3^2 + 32069869177929761880263378393951455756092229573915268881/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3 + 7185650847133655112944456467929261201025647353599439276/14110352338\ 094048002471763621630559113528480913294587931, c_0101_0 - 13302762929939252571893798258028699658927845494/710383745561\ 800735159430278489178830666489498731037*c_1001_3^14 - 1269134729114827084782032007247239869752321731100/21311512366854022\ 05478290835467536491999468496193111*c_1001_3^13 - 6061679433444782596220268155346797975126516108250/71038374556180073\ 5159430278489178830666489498731037*c_1001_3^12 - 68527445134575734074297264461127189303478034432476/2131151236685402\ 205478290835467536491999468496193111*c_1001_3^11 + 177395863770116508872284807215757186061235964105388/213115123668540\ 2205478290835467536491999468496193111*c_1001_3^10 + 533761298147845916283618946955398493016727671078587/213115123668540\ 2205478290835467536491999468496193111*c_1001_3^9 - 1051188271477246723817478572727964210961597355044896/21311512366854\ 02205478290835467536491999468496193111*c_1001_3^8 - 7842134400475328222137679053226052123343731551815778/21311512366854\ 02205478290835467536491999468496193111*c_1001_3^7 - 3220659049936731102084528735366366816609904061337940/21311512366854\ 02205478290835467536491999468496193111*c_1001_3^6 + 10567621088040235934534121016976959184513033405529374/2131151236685\ 402205478290835467536491999468496193111*c_1001_3^5 - 4521202044785993714571428014050497585465644860564220/71038374556180\ 0735159430278489178830666489498731037*c_1001_3^4 - 16690270441622268361029429196950990617645034425966222/2131151236685\ 402205478290835467536491999468496193111*c_1001_3^3 + 3869217695193587016095150150183291568747599198480382/71038374556180\ 0735159430278489178830666489498731037*c_1001_3^2 + 9317242615198871103211405417980857123370924356874548/21311512366854\ 02205478290835467536491999468496193111*c_1001_3 + 2019571971112397299937756466419685127233905365827008/21311512366854\ 02205478290835467536491999468496193111, c_0101_1 - 1197173521491845802398295374713349150538995759/2131151236685\ 402205478290835467536491999468496193111*c_1001_3^14 - 13887671402670519078980656505815710306343172897/7103837455618007351\ 59430278489178830666489498731037*c_1001_3^13 - 658608659587195394385821388418243194814155558826/213115123668540220\ 5478290835467536491999468496193111*c_1001_3^12 - 3658933017190553699933331289230606074494537281074/21311512366854022\ 05478290835467536491999468496193111*c_1001_3^11 - 408867798172954670763178614953473604546431217180/213115123668540220\ 5478290835467536491999468496193111*c_1001_3^10 + 32854091926703307353572563574188990424953226270426/2131151236685402\ 205478290835467536491999468496193111*c_1001_3^9 + 7673592128081202882613852011137722738984309918238/21311512366854022\ 05478290835467536491999468496193111*c_1001_3^8 - 335704163838083252708212584010607823388366660000808/213115123668540\ 2205478290835467536491999468496193111*c_1001_3^7 - 752094868300318219924275657150740291403294398012660/213115123668540\ 2205478290835467536491999468496193111*c_1001_3^6 + 71243662594994140731941236007068177005760686803878/7103837455618007\ 35159430278489178830666489498731037*c_1001_3^5 + 289349981311114524024393478956641720524019214260354/213115123668540\ 2205478290835467536491999468496193111*c_1001_3^4 - 760808003577895326344767946168636758561307371384745/710383745561800\ 735159430278489178830666489498731037*c_1001_3^3 - 1049124353638436574973909369887183675396116449442372/21311512366854\ 02205478290835467536491999468496193111*c_1001_3^2 + 1097495179029777877791421794833404280150452743616330/21311512366854\ 02205478290835467536491999468496193111*c_1001_3 + 327892218410479392942084719996938063678204219043611/710383745561800\ 735159430278489178830666489498731037, c_0101_5 + 63390264791386707846052995700881015300686209600954/141103523\ 38094048002471763621630559113528480913294587931*c_1001_3^14 + 2034416662150777947551576075307021926578508424102532/14110352338094\ 048002471763621630559113528480913294587931*c_1001_3^13 + 29514946303288330881857248579004804194964092585420988/1411035233809\ 4048002471763621630559113528480913294587931*c_1001_3^12 + 39517158390003468262417269874733404294095377338489624/4703450779364\ 682667490587873876853037842826971098195977*c_1001_3^11 - 232459641452613867725649238289917394205277163368341142/141103523380\ 94048002471763621630559113528480913294587931*c_1001_3^10 - 874878267742232457467409852969508082477331446047710808/141103523380\ 94048002471763621630559113528480913294587931*c_1001_3^9 + 132730688212587571839459768374231660421032989023675208/156781692645\ 4894222496862624625617679280942323699398659*c_1001_3^8 + 1397279714839693383545255682409585526985469829338671588/15678169264\ 54894222496862624625617679280942323699398659*c_1001_3^7 + 10031806205341883574029294568467780418786653188261181828/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3^6 - 8233984352991934630017988296048800784936009332403557048/14110352338\ 094048002471763621630559113528480913294587931*c_1001_3^5 + 14622261710812813751065056006969353004453923902829558630/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3^4 + 22559942279322139769539274590523087208065070018049991888/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3^3 + 2010875700767176019325221838753038853500586027557875972/14110352338\ 094048002471763621630559113528480913294587931*c_1001_3^2 - 21135158060210975512783553063095023250073376202724567245/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3 - 9361513446857290568437605794109179727663276885350486780/14110352338\ 094048002471763621630559113528480913294587931, c_1001_3^15 + 32*c_1001_3^14 + 462*c_1001_3^13 + 1808*c_1001_3^12 - 4099*c_1001_3^11 - 14237*c_1001_3^10 + 23624*c_1001_3^9 + 201366*c_1001_3^8 + 120128*c_1001_3^7 - 244932*c_1001_3^6 + 288708*c_1001_3^5 + 465550*c_1001_3^4 - 224694*c_1001_3^3 - 232431*c_1001_3^2 - 97218*c_1001_3 - 3689 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB