Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 3499183354] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0053 geometric_solution 3.61599607 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0.762982041104 0.047634626283 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -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 0 -1 1 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.931459893484 0.033874199858 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 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 1 -1 -1 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.904606209617 0.064435203847 4 2 4 2 0132 0132 1023 1023 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 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.864321434518 0.161261815002 3 5 3 6 0132 0132 1023 0132 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 -1 1 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.973426249622 0.498372155972 6 4 6 6 3120 0132 3012 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984335159531 0.993991692631 5 5 4 5 3012 1230 0132 3120 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 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.984335159531 0.993991692631 ==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' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], '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_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 392755228823419125251398909036794951/782305804533391950012186581818\ 9486*c_0101_4^20 + 1341122283559534621049947697533083487/7823058045\ 333919500121865818189486*c_0101_4^19 + 5745329979853550045323486608264235959/39115290226669597500609329090\ 94743*c_0101_4^18 - 12162225798901506957272785300230322764/39115290\ 22666959750060932909094743*c_0101_4^17 - 83870395060327566455550512012527377232/3911529022666959750060932909\ 094743*c_0101_4^16 + 58671867217949093684538392977030850498/3911529\ 022666959750060932909094743*c_0101_4^15 + 916025106039930582692035241578874513923/782305804533391950012186581\ 8189486*c_0101_4^14 - 200469793657517374751510697209264786128/39115\ 29022666959750060932909094743*c_0101_4^13 - 1279192324079574129302500916115718862274/39115290226669597500609329\ 09094743*c_0101_4^12 + 578502989041434430990752265122028362830/3911\ 529022666959750060932909094743*c_0101_4^11 + 1981050559146715702291805514530643320961/39115290226669597500609329\ 09094743*c_0101_4^10 - 966876353454188260003976325428544668399/3911\ 529022666959750060932909094743*c_0101_4^9 - 239093991165883263232208767486905364040/558789860380994250008704701\ 299249*c_0101_4^8 + 1693813300840357506543747054254596592205/782305\ 8045333919500121865818189486*c_0101_4^7 + 669695717418393523807000890527250347920/391152902266695975006093290\ 9094743*c_0101_4^6 - 440077852980003947990504712455951488593/391152\ 9022666959750060932909094743*c_0101_4^5 - 61521581777341782781987768144551040271/3911529022666959750060932909\ 094743*c_0101_4^4 + 354028442749158688631824254098527490601/7823058\ 045333919500121865818189486*c_0101_4^3 - 3015747834218907023726260841619514575/11175797207619885000174094025\ 98498*c_0101_4^2 - 86818130297673403262136520572877843385/782305804\ 5333919500121865818189486*c_0101_4 - 14674234022889245454193618422069215951/7823058045333919500121865818\ 189486, c_0011_0 - 1, c_0011_1 - 64271198514079257934936565055322/558789860380994250008704701\ 299249*c_0101_4^20 + 631449283243669630627378061887241/111757972076\ 1988500017409402598498*c_0101_4^19 + 1520422562815498222698445254415476/55878986038099425000870470129924\ 9*c_0101_4^18 - 6648441415518805752918851415980724/5587898603809942\ 50008704701299249*c_0101_4^17 - 20721321997657600804693432805473424\ /558789860380994250008704701299249*c_0101_4^16 + 57197325046884625202852418105737739/5587898603809942500087047012992\ 49*c_0101_4^15 + 110471277513307518857154889680244107/5587898603809\ 94250008704701299249*c_0101_4^14 - 527761473674764604974288652749943423/111757972076198850001740940259\ 8498*c_0101_4^13 - 522353371812106433062131176495976795/11175797207\ 61988500017409402598498*c_0101_4^12 + 1394192164804312983946689275668701609/11175797207619885000174094025\ 98498*c_0101_4^11 + 425441691270101734311776742865351281/1117579720\ 761988500017409402598498*c_0101_4^10 - 1943507797840213803250190743237647583/11175797207619885000174094025\ 98498*c_0101_4^9 + 186274723468661681638404544595434339/11175797207\ 61988500017409402598498*c_0101_4^8 + 1298758427204056525524502282983190841/11175797207619885000174094025\ 98498*c_0101_4^7 - 235712082249853350620757921310729798/55878986038\ 0994250008704701299249*c_0101_4^6 - 164751991501269251698633992912996485/558789860380994250008704701299\ 249*c_0101_4^5 + 137038960666070744302952110765655947/5587898603809\ 94250008704701299249*c_0101_4^4 + 566453088135801476970407552233435\ 3/558789860380994250008704701299249*c_0101_4^3 - 79444296457291278101633370398611603/1117579720761988500017409402598\ 498*c_0101_4^2 - 807716668850372398142456416644279/5587898603809942\ 50008704701299249*c_0101_4 + 5613433333976608080100009006267795/111\ 7579720761988500017409402598498, c_0011_6 + 239033185605840751053856704839821/22351594415239770000348188\ 05196996*c_0101_4^20 - 989065559945129017092101636353657/2235159441\ 523977000034818805196996*c_0101_4^19 - 3088224317322130261314226035965867/11175797207619885000174094025984\ 98*c_0101_4^18 + 4744710151897063082964353867794350/558789860380994\ 250008704701299249*c_0101_4^17 + 2131422067667843429424831176151578\ 4/558789860380994250008704701299249*c_0101_4^16 - 32133522617196677494115062066750520/5587898603809942500087047012992\ 49*c_0101_4^15 - 419470694449159099282202508584239517/2235159441523\ 977000034818805196996*c_0101_4^14 + 271238091435602781420224151477636115/111757972076198850001740940259\ 8498*c_0101_4^13 + 234170478257189420272483099459236927/55878986038\ 0994250008704701299249*c_0101_4^12 - 350018527125301529268717697533036880/558789860380994250008704701299\ 249*c_0101_4^11 - 201203077093518095365414761981071616/558789860380\ 994250008704701299249*c_0101_4^10 + 440777218962698756085855658941901034/558789860380994250008704701299\ 249*c_0101_4^9 - 27402365887545853401730655788612596/55878986038099\ 4250008704701299249*c_0101_4^8 - 8889702139967286607650314728821899\ 07/2235159441523977000034818805196996*c_0101_4^7 + 248636003531181649534801876675696445/111757972076198850001740940259\ 8498*c_0101_4^6 + 38781973307917480364967558139577191/1117579720761\ 988500017409402598498*c_0101_4^5 - 96373074196181742386257430551627453/1117579720761988500017409402598\ 498*c_0101_4^4 + 25397611517442025202490249576031097/22351594415239\ 77000034818805196996*c_0101_4^3 + 164644577706752261976172013578505\ 85/2235159441523977000034818805196996*c_0101_4^2 - 6720941710687873405254766606839349/22351594415239770000348188051969\ 96*c_0101_4 + 1761302153999210801548453072936865/223515944152397700\ 0034818805196996, c_0101_0 - 400852821269005114381402180568457/22351594415239770000348188\ 05196996*c_0101_4^20 + 1583934378431902757432135658254641/223515944\ 1523977000034818805196996*c_0101_4^19 + 5333795847849251571168863637488165/11175797207619885000174094025984\ 98*c_0101_4^18 - 7474746821240304125205147266076937/558789860380994\ 250008704701299249*c_0101_4^17 - 3722783038894093722904931185311583\ 6/558789860380994250008704701299249*c_0101_4^16 + 47218135141665529624823547516226195/5587898603809942500087047012992\ 49*c_0101_4^15 + 743558874645720356338424850104680205/2235159441523\ 977000034818805196996*c_0101_4^14 - 388733797439085354682763379490388891/111757972076198850001740940259\ 8498*c_0101_4^13 - 434289915827789682277561851254159687/55878986038\ 0994250008704701299249*c_0101_4^12 + 511726863994298610983880137466161103/558789860380994250008704701299\ 249*c_0101_4^11 + 443116356854597185228104785055118821/558789860380\ 994250008704701299249*c_0101_4^10 - 667507273754642243573763615589024780/558789860380994250008704701299\ 249*c_0101_4^9 - 86406245124894871301347287347490918/55878986038099\ 4250008704701299249*c_0101_4^8 + 1443255539625552909002320413363085\ 639/2235159441523977000034818805196996*c_0101_4^7 - 271152082725219908069307705257165561/111757972076198850001740940259\ 8498*c_0101_4^6 - 105243735357963444948933370688995999/111757972076\ 1988500017409402598498*c_0101_4^5 + 126707266582654313862307182550494343/111757972076198850001740940259\ 8498*c_0101_4^4 - 2126137851195883207030764811842877/22351594415239\ 77000034818805196996*c_0101_4^3 - 140458624459870888888902252824463\ 89/2235159441523977000034818805196996*c_0101_4^2 + 4120289635483136702526965655720909/22351594415239770000348188051969\ 96*c_0101_4 - 3155838119201957727117296499576149/223515944152397700\ 0034818805196996, c_0101_1 + 307609640978152838587334331839973/22351594415239770000348188\ 05196996*c_0101_4^20 - 1082121692486557225422348735151473/223515944\ 1523977000034818805196996*c_0101_4^19 - 4396189941734234736373738445012035/11175797207619885000174094025984\ 98*c_0101_4^18 + 4919334276098176755600609891150622/558789860380994\ 250008704701299249*c_0101_4^17 + 3161524608977549869759501556425938\ 3/558789860380994250008704701299249*c_0101_4^16 - 25136914949908814620419205607470402/5587898603809942500087047012992\ 49*c_0101_4^15 - 665421707570733652503069099455309969/2235159441523\ 977000034818805196996*c_0101_4^14 + 188167175639211889783870139963806879/111757972076198850001740940259\ 8498*c_0101_4^13 + 439215886639850783309548050078744356/55878986038\ 0994250008704701299249*c_0101_4^12 - 274488758752180577716040382791006234/558789860380994250008704701299\ 249*c_0101_4^11 - 615180170321012040865327449968836729/558789860380\ 994250008704701299249*c_0101_4^10 + 441026173908410156507499080453239306/558789860380994250008704701299\ 249*c_0101_4^9 + 422478335506997878357364324335764323/5587898603809\ 94250008704701299249*c_0101_4^8 - 145656079732784758948822992996691\ 0199/2235159441523977000034818805196996*c_0101_4^7 - 171612459305768490167180419087708681/111757972076198850001740940259\ 8498*c_0101_4^6 + 331804903561821989755162698216794111/111757972076\ 1988500017409402598498*c_0101_4^5 - 70837238335100390688991512917312235/1117579720761988500017409402598\ 498*c_0101_4^4 - 179675411168685478596554736111696219/2235159441523\ 977000034818805196996*c_0101_4^3 + 58542191762582271147141279234794665/2235159441523977000034818805196\ 996*c_0101_4^2 + 19511739272468471586985800497631375/22351594415239\ 77000034818805196996*c_0101_4 - 4974832764175067988785789500967023/\ 2235159441523977000034818805196996, c_0101_3 - 488961311137421540141971043467853/22351594415239770000348188\ 05196996*c_0101_4^20 + 2307958796328519657891759622428661/223515944\ 1523977000034818805196996*c_0101_4^19 + 5908615751283604903789564306391077/11175797207619885000174094025984\ 98*c_0101_4^18 - 11901683465574880101519120705129816/55878986038099\ 4250008704701299249*c_0101_4^17 - 403491470692957734276988174470268\ 81/558789860380994250008704701299249*c_0101_4^16 + 97844489182848362522820723286311676/5587898603809942500087047012992\ 49*c_0101_4^15 + 839088347771567868935655175793457185/2235159441523\ 977000034818805196996*c_0101_4^14 - 889373435099669729034459803096539247/111757972076198850001740940259\ 8498*c_0101_4^13 - 485084533039329649808583728955756652/55878986038\ 0994250008704701299249*c_0101_4^12 + 1168310779553604623293715690965477438/55878986038099425000870470129\ 9249*c_0101_4^11 + 388466979953937644777997818883613175/55878986038\ 0994250008704701299249*c_0101_4^10 - 1595666482320292192717605592488284140/55878986038099425000870470129\ 9249*c_0101_4^9 + 168088824998985825978694165235635735/558789860380\ 994250008704701299249*c_0101_4^8 + 4058521794056483525101415876631680579/22351594415239770000348188051\ 96996*c_0101_4^7 - 816555444878921275702799708723422619/11175797207\ 61988500017409402598498*c_0101_4^6 - 450049722639327886618001639628292557/111757972076198850001740940259\ 8498*c_0101_4^5 + 433510763735743631742758787178447909/111757972076\ 1988500017409402598498*c_0101_4^4 - 11615197617439850510049203736780577/2235159441523977000034818805196\ 996*c_0101_4^3 - 224724891266315290683170298616096469/2235159441523\ 977000034818805196996*c_0101_4^2 + 3382661006349377701194494908046761/22351594415239770000348188051969\ 96*c_0101_4 + 14952030449096721719151566183186991/22351594415239770\ 00034818805196996, c_0101_4^21 - 4*c_0101_4^20 - 27*c_0101_4^19 + 78*c_0101_4^18 + 384*c_0101_4^17 - 528*c_0101_4^16 - 2061*c_0101_4^15 + 2241*c_0101_4^14 + 5406*c_0101_4^13 - 6136*c_0101_4^12 - 7068*c_0101_4^11 + 9148*c_0101_4^10 + 4088*c_0101_4^9 - 6887*c_0101_4^8 - 221*c_0101_4^7 + 2568*c_0101_4^6 - 792*c_0101_4^5 - 593*c_0101_4^4 + 322*c_0101_4^3 + 120*c_0101_4^2 - 24*c_0101_4 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB