Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 3768679425] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1906 geometric_solution 5.51378099 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 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 0 -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 1.770439732113 0.421336987755 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 -1 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 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.765839169521 0.851455670807 4 1 5 3 0132 0132 0132 3201 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 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.070832677568 0.906172702369 5 2 4 1 1023 2310 2310 0132 0 0 0 0 0 -1 0 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 -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.070832677568 0.906172702369 2 3 6 6 0132 3201 3201 0132 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092487906074 0.498631468308 5 3 5 2 2031 1023 1302 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 0.556806631165 1.015346691406 4 6 4 6 2310 2310 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 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.079691843853 0.897842701124 ==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' : 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_3']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 783496512852586344476627251407329302270/223958417099138858344783820\ 184937949*c_0101_4^20 + 1167931224775269959499528001824993520441/22\ 3958417099138858344783820184937949*c_0101_4^19 + 5797186009913315860030280648166481217561/22395841709913885834478382\ 0184937949*c_0101_4^18 - 5570147036504344902197838918897509664772/2\ 23958417099138858344783820184937949*c_0101_4^17 - 13985878369875422282370292001164221234684/2239584170991388583447838\ 20184937949*c_0101_4^16 + 8153352633961372109392181922642884594603/\ 223958417099138858344783820184937949*c_0101_4^15 + 16388635586772332006545479606627348516700/2239584170991388583447838\ 20184937949*c_0101_4^14 - 358304907196117164580072507350548178898/2\ 23958417099138858344783820184937949*c_0101_4^13 - 16057342091977315612044096665130811863732/2239584170991388583447838\ 20184937949*c_0101_4^12 - 6588461680886771001824028847745182562580/\ 223958417099138858344783820184937949*c_0101_4^11 + 13753125907453234606371756026573687447021/2239584170991388583447838\ 20184937949*c_0101_4^10 + 3430298927840029013529193578323251712319/\ 223958417099138858344783820184937949*c_0101_4^9 - 3467917670281581667974038667587545922976/22395841709913885834478382\ 0184937949*c_0101_4^8 - 4800635133373095737658048193044232930405/22\ 3958417099138858344783820184937949*c_0101_4^7 + 1469295251757802529790935640000171238587/22395841709913885834478382\ 0184937949*c_0101_4^6 + 3647223176032977037522155208286374942806/22\ 3958417099138858344783820184937949*c_0101_4^5 - 3484150105401106879491839557692010302766/22395841709913885834478382\ 0184937949*c_0101_4^4 + 1742088848008942707689035720826528258248/22\ 3958417099138858344783820184937949*c_0101_4^3 - 668576506669076068509038026039166992751/223958417099138858344783820\ 184937949*c_0101_4^2 + 180616482160512825249934472710373663673/2239\ 58417099138858344783820184937949*c_0101_4 - 22046800951187394200880721981147990152/2239584170991388583447838201\ 84937949, c_0011_0 - 1, c_0011_3 - 12571075384138249266596007706648474940/319940595855912654778\ 26260026419707*c_0101_4^20 + 7891367656393593549327144936205708067/\ 31994059585591265477826260026419707*c_0101_4^19 + 102838882470163146629406761698300187505/319940595855912654778262600\ 26419707*c_0101_4^18 - 2830626639149542450458854653409720100/319940\ 59585591265477826260026419707*c_0101_4^17 - 251350036243773502470819092952847673103/319940595855912654778262600\ 26419707*c_0101_4^16 - 82792870577066231315621708411294596327/31994\ 059585591265477826260026419707*c_0101_4^15 + 251801483066763237322875020338675953720/319940595855912654778262600\ 26419707*c_0101_4^14 + 225049381636439181066857547629670524759/3199\ 4059585591265477826260026419707*c_0101_4^13 - 125312340401183200079113168570347694663/319940595855912654778262600\ 26419707*c_0101_4^12 - 261728938930710131911148084380429874048/3199\ 4059585591265477826260026419707*c_0101_4^11 + 29101035407627953697915236257396092086/3199405958559126547782626002\ 6419707*c_0101_4^10 + 139746506707518856463359441158792710098/31994\ 059585591265477826260026419707*c_0101_4^9 + 52235084228089258669319721328995202658/3199405958559126547782626002\ 6419707*c_0101_4^8 - 63511050317540442722715184198314094465/3199405\ 9585591265477826260026419707*c_0101_4^7 - 40979781938750658367852899420063744302/3199405958559126547782626002\ 6419707*c_0101_4^6 + 38762990675729484955500373542692063766/3199405\ 9585591265477826260026419707*c_0101_4^5 - 13932461523990856163112492992101398136/3199405958559126547782626002\ 6419707*c_0101_4^4 + 5780420958957556061663326366123423885/31994059\ 585591265477826260026419707*c_0101_4^3 - 842915062813224775626355882014446339/319940595855912654778262600264\ 19707*c_0101_4^2 - 178156164935392588811112370474988754/31994059585\ 591265477826260026419707*c_0101_4 + 96798188861622446449736947696152717/3199405958559126547782626002641\ 9707, c_0011_6 + 686833199794508851590041396070/2360274021563429312110303397*\ c_0101_4^20 - 506482959809312238080418664161/2360274021563429312110\ 303397*c_0101_4^19 - 5601403589559139406283514104852/23602740215634\ 29312110303397*c_0101_4^18 + 777449309230704518191374644482/2360274\ 021563429312110303397*c_0101_4^17 + 13960467701136461365921825328245/2360274021563429312110303397*c_010\ 1_4^16 + 3110190117899647898351016564925/23602740215634293121103033\ 97*c_0101_4^15 - 14787823029192402998518792788784/23602740215634293\ 12110303397*c_0101_4^14 - 11183394573999795425710245548405/23602740\ 21563429312110303397*c_0101_4^13 + 8579233372320923852043380251261/2360274021563429312110303397*c_0101\ _4^12 + 14181068633314515075511829112794/23602740215634293121103033\ 97*c_0101_4^11 - 3171214096671676728140227369189/236027402156342931\ 2110303397*c_0101_4^10 - 8008926152912309053309975696580/2360274021\ 563429312110303397*c_0101_4^9 - 2156489206829312819655819295492/236\ 0274021563429312110303397*c_0101_4^8 + 3997234327536127447301345787591/2360274021563429312110303397*c_0101\ _4^7 + 2043178782285923223407978371999/2360274021563429312110303397\ *c_0101_4^6 - 2420257034993170242027924965760/236027402156342931211\ 0303397*c_0101_4^5 + 897195616813395965562289816099/236027402156342\ 9312110303397*c_0101_4^4 - 348357323970630310403104471982/236027402\ 1563429312110303397*c_0101_4^3 + 59216548329587323662260924358/2360\ 274021563429312110303397*c_0101_4^2 + 13030637531500798272978806168/2360274021563429312110303397*c_0101_4 - 6149745489746628112191184805/2360274021563429312110303397, c_0101_0 - 40402401706216962534865836153055/132641505369210949424462225\ 501*c_0101_4^20 + 28554433762512003064838673102514/1326415053692109\ 49424462225501*c_0101_4^19 + 327327518441526409163999372952543/1326\ 41505369210949424462225501*c_0101_4^18 - 35541078668850373366882177247349/132641505369210949424462225501*c_0\ 101_4^17 - 797660950139334574442649199122218/1326415053692109494244\ 62225501*c_0101_4^16 - 193615911119755529861526385008526/1326415053\ 69210949424462225501*c_0101_4^15 + 813364316635305853204882926609372/132641505369210949424462225501*c_\ 0101_4^14 + 633657374822690824783818628164490/132641505369210949424\ 462225501*c_0101_4^13 - 455549882560919245623716347351281/132641505\ 369210949424462225501*c_0101_4^12 - 778360193526462309557805742202209/132641505369210949424462225501*c_\ 0101_4^11 + 172282495619979827432208088150964/132641505369210949424\ 462225501*c_0101_4^10 + 420641117122812323930297564359557/132641505\ 369210949424462225501*c_0101_4^9 + 114987594345458293952175763990163/132641505369210949424462225501*c_\ 0101_4^8 - 211839014719066861337312952138671/1326415053692109494244\ 62225501*c_0101_4^7 - 102697933860336358536973705302591/13264150536\ 9210949424462225501*c_0101_4^6 + 136370212316836446007055596883738/\ 132641505369210949424462225501*c_0101_4^5 - 59806045817679166484876829802729/132641505369210949424462225501*c_0\ 101_4^4 + 21310085306425582664002068364292/132641505369210949424462\ 225501*c_0101_4^3 - 3411878090832341197744615003396/132641505369210\ 949424462225501*c_0101_4^2 - 221745717681510949139469523545/1326415\ 05369210949424462225501*c_0101_4 + 412837540770176914233066548525/132641505369210949424462225501, c_0101_1 - 45360653161402251645532385042135/132641505369210949424462225\ 501*c_0101_4^20 + 30534810767697623485859028007713/1326415053692109\ 49424462225501*c_0101_4^19 + 368435995247788553154886197451129/1326\ 41505369210949424462225501*c_0101_4^18 - 26430471806458717386371331192067/132641505369210949424462225501*c_0\ 101_4^17 - 895719229857573556464298208383687/1326415053692109494244\ 62225501*c_0101_4^16 - 255825420539124287879936718909208/1326415053\ 69210949424462225501*c_0101_4^15 + 897911953200703751864077896220854/132641505369210949424462225501*c_\ 0101_4^14 + 757457402340478812811224395117895/132641505369210949424\ 462225501*c_0101_4^13 - 468760219528123012301410642678454/132641505\ 369210949424462225501*c_0101_4^12 - 897735912476677682440802063467470/132641505369210949424462225501*c_\ 0101_4^11 + 142027603655737081780814503248353/132641505369210949424\ 462225501*c_0101_4^10 + 474487575210363124930012756746373/132641505\ 369210949424462225501*c_0101_4^9 + 162798799885628385160854695971479/132641505369210949424462225501*c_\ 0101_4^8 - 226429045449115433291633812386165/1326415053692109494244\ 62225501*c_0101_4^7 - 130068266876402780638124608998583/13264150536\ 9210949424462225501*c_0101_4^6 + 142268157359234267323395630704986/\ 132641505369210949424462225501*c_0101_4^5 - 60476863834124532414984644881364/132641505369210949424462225501*c_0\ 101_4^4 + 25444355282287148051782990153738/132641505369210949424462\ 225501*c_0101_4^3 - 4971268784930302593938294498246/132641505369210\ 949424462225501*c_0101_4^2 - 142128171076899867236182923801/1326415\ 05369210949424462225501*c_0101_4 + 412122547365921725747759675335/132641505369210949424462225501, c_0101_2 - 299693321821599815380888521490/2360274021563429312110303397*\ c_0101_4^20 + 164549004316433287063876281202/2360274021563429312110\ 303397*c_0101_4^19 + 2452476789762914908582974955504/23602740215634\ 29312110303397*c_0101_4^18 + 130437293675240127948628794184/2360274\ 021563429312110303397*c_0101_4^17 - 5878778300285942790150819298643/2360274021563429312110303397*c_0101\ _4^16 - 2421949731138081462100449747197/236027402156342931211030339\ 7*c_0101_4^15 + 5557284122313526712708280589742/2360274021563429312\ 110303397*c_0101_4^14 + 5690180056388417679967695447186/23602740215\ 63429312110303397*c_0101_4^13 - 2292153074342212409678065537571/236\ 0274021563429312110303397*c_0101_4^12 - 6173740708171846504518387752632/2360274021563429312110303397*c_0101\ _4^11 + 101587723381818376783021628855/2360274021563429312110303397\ *c_0101_4^10 + 3058371949735662953444102186295/23602740215634293121\ 10303397*c_0101_4^9 + 1506886484999357616991750768606/2360274021563\ 429312110303397*c_0101_4^8 - 1243559063760657533277668292223/236027\ 4021563429312110303397*c_0101_4^7 - 1021215807700902687260348312841/2360274021563429312110303397*c_0101\ _4^6 + 779340178663102953744534732825/2360274021563429312110303397*\ c_0101_4^5 - 320266544403397997298728885278/23602740215634293121103\ 03397*c_0101_4^4 + 161839020641379730098335120368/23602740215634293\ 12110303397*c_0101_4^3 - 20681195020390572782630595528/236027402156\ 3429312110303397*c_0101_4^2 - 2526496387947901275310050116/23602740\ 21563429312110303397*c_0101_4 + 946613035733796704435254892/2360274\ 021563429312110303397, c_0101_4^21 - 229/155*c_0101_4^20 - 236/31*c_0101_4^19 + 222/31*c_0101_4^18 + 3026/155*c_0101_4^17 - 324/31*c_0101_4^16 - 3871/155*c_0101_4^15 - 83/155*c_0101_4^14 + 3814/155*c_0101_4^13 + 1807/155*c_0101_4^12 - 3072/155*c_0101_4^11 - 262/31*c_0101_4^10 + 827/155*c_0101_4^9 + 1278/155*c_0101_4^8 - 189/155*c_0101_4^7 - 887/155*c_0101_4^6 + 596/155*c_0101_4^5 - 46/31*c_0101_4^4 + 15/31*c_0101_4^3 - 8/155*c_0101_4^2 - 3/155*c_0101_4 + 1/155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB