Magma V2.19-8 Tue Aug 20 2013 16:17:05 on localhost [Seed = 3583265030] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1329 geometric_solution 5.21131945 oriented_manifold CS_known 0.0000000000000003 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 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 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 -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 0 0 0 0 0 0 0 -1 1 0 0 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 4 0132 0132 0132 3120 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 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.264641842021 0.469173046462 3 6 2 5 3120 0132 0132 3201 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 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.264641842021 0.469173046462 3 4 5 5 0132 2310 1230 3012 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 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 1.087940889825 1.616953494605 6 4 6 3 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 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' : negation(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' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_3'], '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), '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_3']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], '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' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), '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_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 13680994240616393529980362745646853235607762989171785797597/2226715\ 507051460342914506595563902893263947549368926436424635*c_1001_3^14 - 39741482489624524415109578593382673876385219335765703854907/2024286\ 82459223667537682417778536626660358868124447857856785*c_1001_3^13 + 81829110953672787565157635340650190320062045461301691580726/2891838\ 3208460523933954631111219518094336981160635408265255*c_1001_3^12 - 24459071603676274938366293492597496119411505372498854273122534/2226\ 715507051460342914506595563902893263947549368926436424635*c_1001_3^\ 11 - 56983073960927917755275791997735043729444457065138266682833997\ /2226715507051460342914506595563902893263947549368926436424635*c_10\ 01_3^10 + 191357044736803766955492552373825852281030167471260820753\ 557692/222671550705146034291450659556390289326394754936892643642463\ 5*c_1001_3^9 + 6584736571386843836245237236137287317397448337017640\ 0729494449/44534310141029206858290131911278057865278950987378528728\ 4927*c_1001_3^8 - 2733892156301769320235653920212442920276953073430\ 699006221311207/222671550705146034291450659556390289326394754936892\ 6436424635*c_1001_3^7 + 1534107368789901728180035651249889578103294\ 403011112740716346219/222671550705146034291450659556390289326394754\ 9368926436424635*c_1001_3^6 + 3326429996882598946914674920417916780\ 519874443964981178175994313/222671550705146034291450659556390289326\ 3947549368926436424635*c_1001_3^5 + 584265030135747484744482180003292890513929738164256112299249417/318\ 102215293065763273500942223414699037706792766989490917805*c_1001_3^\ 4 - 602178410871932699702903204993432785076480868622135883120362986\ 1/2226715507051460342914506595563902893263947549368926436424635*c_1\ 001_3^3 - 310625237149978733773731540981569459497079533985804293981\ 2743919/22267155070514603429145065955639028932639475493689264364246\ 35*c_1001_3^2 + 293896434585534347496378488625783285327906813355322\ 0218341582053/22267155070514603429145065955639028932639475493689264\ 36424635*c_1001_3 - 14602398998781650558081907514707424359249568901\ 64514748623085303/2226715507051460342914506595563902893263947549368\ 926436424635, 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 + 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_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_3 - 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 - 17959516839835713877791614772320896642563748660620680950/1411035233\ 8094048002471763621630559113528480913294587931*c_1001_3 + 7185650847133655112944456467929261201025647353599439276/14110352338\ 094048002471763621630559113528480913294587931, c_0101_5 - 44302269549982855079667157031620214275740959657611/470345077\ 9364682667490587873876853037842826971098195977*c_1001_3^14 + 470457282083338220197740729541467700884128739762531/156781692645489\ 4222496862624625617679280942323699398659*c_1001_3^13 - 20269607007338527175123752476123282908382262300392026/4703450779364\ 682667490587873876853037842826971098195977*c_1001_3^12 + 77311041995996705852081148361631935591483472847045175/4703450779364\ 682667490587873876853037842826971098195977*c_1001_3^11 + 191056410260403342095526945091350075040609403925574979/470345077936\ 4682667490587873876853037842826971098195977*c_1001_3^10 - 594590505340611201957179600531555136120266276905009871/470345077936\ 4682667490587873876853037842826971098195977*c_1001_3^9 - 1134068974164861986917313060185560082222577373887128202/47034507793\ 64682667490587873876853037842826971098195977*c_1001_3^8 + 8671355106444074550716036217978436468863812922480186574/47034507793\ 64682667490587873876853037842826971098195977*c_1001_3^7 - 4040025938744369480671235031378056268545266425037803283/47034507793\ 64682667490587873876853037842826971098195977*c_1001_3^6 - 3533986048136271036156277003855766150468745261705764606/15678169264\ 54894222496862624625617679280942323699398659*c_1001_3^5 - 16402238080139767711203583744446880215566937943831573025/4703450779\ 364682667490587873876853037842826971098195977*c_1001_3^4 + 5925941156451320203652092393659191476066781877525672201/15678169264\ 54894222496862624625617679280942323699398659*c_1001_3^3 + 14193253611216323335362719356336933420091788238066542793/4703450779\ 364682667490587873876853037842826971098195977*c_1001_3^2 - 5461102738137234454581347100678901392945241029868891964/47034507793\ 64682667490587873876853037842826971098195977*c_1001_3 + 1055098242198151175856466106545014333189152062073599908/15678169264\ 54894222496862624625617679280942323699398659, 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.240 seconds, Total memory usage: 32.09MB