Magma V2.19-8 Fri Sep 13 2013 01:05:14 on localhost [Seed = 2014885638] Type ? for help. Type -D to quit. Loading file "m203__sl3_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation m203 geometric_solution 4.05976643 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 4 1 1 2 2 0132 1230 0132 1230 0 0 1 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 -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.500000000000 0.866025403784 0 3 0 3 0132 0132 3012 3012 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.866025403784 0 3 3 0 3012 3012 0132 0132 0 0 0 1 0 0 0 0 0 0 -1 1 -1 1 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 1 0 -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.500000000000 0.866025403784 2 1 1 2 1230 0132 1230 0132 0 0 1 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 -1 1 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.500000000000 0.866025403784 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0201_3'], 'c_1020_3' : d['c_0012_1'] * d['u'] ** 2, 'c_1020_0' : d['c_0012_2'] * d['u'] ** 1, 'c_1020_1' : d['c_0201_3'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0021_2'] * d['u'] ** 2, 'c_0201_2' : d['c_0021_2'] * d['u'] ** 2, 'c_0201_3' : d['c_0201_3'], 'c_2100_0' : d['c_0201_0'] * d['u'] ** 2, 'c_2100_1' : d['c_0201_3'], 'c_2100_2' : d['c_0201_0'], 'c_2100_3' : d['c_0201_0'], 'c_2010_2' : d['c_0102_3'], 'c_2010_3' : d['c_0012_0'], 'c_2010_0' : d['c_0021_2'] * d['u'] ** 2, 'c_2010_1' : d['c_0102_3'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0012_2'] * d['u'] ** 1, 'c_0102_2' : d['c_0012_2'] * d['u'] ** 1, 'c_0102_3' : d['c_0102_3'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_0'], 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0102_0'], 'c_1200_3' : d['c_0102_0'], 'c_1200_0' : d['c_0102_0'] * d['u'] ** 1, 'c_1200_1' : d['c_0102_3'], 'c_1110_2' : d['c_1101_0'] * d['u'] ** 1, 'c_1110_3' : d['c_1101_2'], 'c_1110_0' : d['c_0111_2'], 'c_1110_1' : d['c_1101_3'], 'c_0120_0' : d['c_0012_2'], 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0102_0'] * d['u'] ** 1, 'c_0120_3' : d['c_0012_2'] * d['u'] ** 1, 'c_2001_0' : d['c_0102_3'], 'c_2001_1' : d['c_0012_0'], 'c_2001_2' : d['c_0012_0'], 'c_2001_3' : d['c_0102_3'], 'c_0012_2' : d['c_0012_2'], 'c_0012_3' : d['c_0012_0'] * d['u'] ** 2, 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']) * d['u'] ** 2, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0201_0'] * d['u'] ** 2, 'c_0210_3' : d['c_0021_2'] * d['u'] ** 2, 'c_0210_0' : d['c_0021_2'], 'c_0210_1' : d['c_0201_0'], 'c_1002_2' : d['c_0012_1'] * d['u'] ** 2, 'c_1002_3' : d['c_0201_3'], 'c_1002_0' : d['c_0201_3'], 'c_1002_1' : d['c_0012_1'] * d['u'] ** 2, 'c_1011_2' : d['c_0111_3'] * d['u'] ** 1, 'c_1011_3' : negation(d['c_1011_1']), 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'] * d['u'] ** 2, 'c_0021_1' : d['c_0012_0'] * d['u'] ** 2, 'c_0021_2' : d['c_0021_2'], 'c_0021_3' : d['c_0012_1']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 13.350 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0021_2, c_0102_0, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_0, c_0201_3, c_1011_0, c_1011_1, c_1101_0, c_1101_2, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 8421473907192934730/17982323115871491*c_1101_3^7*u + 5264973196812492445/17982323115871491*c_1101_3^7 - 62365056575086311557/17982323115871491*c_1101_3^6*u - 91128017453949287425/17982323115871491*c_1101_3^6 - 192875565584487735368/17982323115871491*c_1101_3^5*u + 355827072504700725839/17982323115871491*c_1101_3^5 + 511629573838339818827/5994107705290497*c_1101_3^4*u + 104089308437517156612/1998035901763499*c_1101_3^4 - 16123676642388537220/5994107705290497*c_1101_3^3*u - 198127905877972624677/1998035901763499*c_1101_3^3 - 398688290351029454051/5994107705290497*c_1101_3^2*u - 42688439133064880679/1998035901763499*c_1101_3^2 + 51877766551314431758/5994107705290497*c_1101_3*u + 114746007853778552033/5994107705290497*c_1101_3 + 12808852377759217226/5994107705290497*u - 3572090702742058646/5994107705290497, c_0012_0 - 1, c_0012_1 - u, c_0012_2 + 8449401429068/14873716390299*c_1101_3^7*u + 9105073119280/14873716390299*c_1101_3^7 - 34354363767767/14873716390299*c_1101_3^6*u - 107052549411766/14873716390299*c_1101_3^6 - 433556493002615/14873716390299*c_1101_3^5*u + 178187698933271/14873716390299*c_1101_3^5 + 464782009021999/4957905463433*c_1101_3^4*u + 466486079649425/4957905463433*c_1101_3^4 + 12847673808836/291641497849*c_1101_3^3*u - 374792903649560/4957905463433*c_1101_3^3 - 227355500296993/4957905463433*c_1101_3^2*u - 154333163194809/4957905463433*c_1101_3^2 - 7866009637192/4957905463433*c_1101_3*u - 5825945771141/4957905463433*c_1101_3 - 3999278957599/4957905463433*u + 1484983986308/4957905463433, c_0021_2 + 655671690212/14873716390299*c_1101_3^7*u - 8449401429068/14873716390299*c_1101_3^7 - 72698185643999/14873716390299*c_1101_3^6*u + 34354363767767/14873716390299*c_1101_3^6 + 611744191935886/14873716390299*c_1101_3^5*u + 433556493002615/14873716390299*c_1101_3^5 + 1704070627426/4957905463433*c_1101_3^4*u - 464782009021999/4957905463433*c_1101_3^4 - 593203358399772/4957905463433*c_1101_3^3*u - 12847673808836/291641497849*c_1101_3^3 + 73022337102184/4957905463433*c_1101_3^2*u + 227355500296993/4957905463433*c_1101_3^2 + 2040063866051/4957905463433*c_1101_3*u + 7866009637192/4957905463433*c_1101_3 + 5484262943907/4957905463433*u + 3999278957599/4957905463433, c_0102_0 - 1, c_0102_3 + 224330105351/14873716390299*c_1101_3^7*u + 638065593988/14873716390299*c_1101_3^7 + 3014546528152/14873716390299*c_1101_3^6*u - 4726999934248/14873716390299*c_1101_3^6 - 48484561223042/14873716390299*c_1101_3^5*u - 18025791182455/14873716390299*c_1101_3^5 + 18168324572523/4957905463433*c_1101_3^4*u + 3681837630804/381377343341*c_1101_3^4 + 53589268088691/4957905463433*c_1101_3^3*u + 8520658846474/4957905463433*c_1101_3^3 + 6967828729432/4957905463433*c_1101_3^2*u - 10956948870987/4957905463433*c_1101_3^2 + 7079286523796/4957905463433*c_1101_3*u - 2332557812189/4957905463433*c_1101_3 - 520564348485/4957905463433*u - 279282079205/4957905463433, c_0111_0 - 1, c_0111_2 - 11566923191428/14873716390299*c_1101_3^7*u - 7413880269083/14873716390299*c_1101_3^7 + 84584586484712/14873716390299*c_1101_3^6*u + 7184159509964/874924493547*c_1101_3^6 + 81204647637967/4957905463433*c_1101_3^5*u - 155147616374606/4957905463433*c_1101_3^5 - 1826663339243881/14873716390299*c_1101_3^4*u - 1108704970954112/14873716390299*c_1101_3^4 + 20350568837539/4957905463433*c_1101_3^3*u + 595815698876910/4957905463433*c_1101_3^3 + 253650581668648/4957905463433*c_1101_3^2*u + 60031167116633/4957905463433*c_1101_3^2 - 32093649310306/4957905463433*c_1101_3*u - 28811677479496/4957905463433*c_1101_3 - 4614818979851/4957905463433*u - 224629585124/4957905463433, c_0111_3 - 656536847974/14873716390299*c_1101_3^7*u - 1528218748370/14873716390299*c_1101_3^7 - 4371869633960/14873716390299*c_1101_3^6*u + 11285519424377/14873716390299*c_1101_3^6 + 429489185240/67301884119*c_1101_3^5*u + 34519750049456/14873716390299*c_1101_3^5 - 25993920018293/4957905463433*c_1101_3^4*u - 5208890514274/291641497849*c_1101_3^4 - 121555469618707/4957905463433*c_1101_3^3*u - 31339947671316/4957905463433*c_1101_3^3 + 9013891606433/4957905463433*c_1101_3^2*u + 78015695106569/4957905463433*c_1101_3^2 + 26160489534885/4957905463433*c_1101_3*u + 868936061871/291641497849*c_1101_3 + 41928002348/291641497849*u - 769905259686/4957905463433, c_0201_0 - 2250897625384/14873716390299*c_1101_3^7*u - 1991459576243/14873716390299*c_1101_3^7 + 13282111948676/14873716390299*c_1101_3^6*u + 27876494390647/14873716390299*c_1101_3^6 + 28685933603931/4957905463433*c_1101_3^5*u - 26674812121153/4957905463433*c_1101_3^5 - 34712982715033/1144132030023*c_1101_3^4*u - 311620021816502/14873716390299*c_1101_3^4 + 23792865052440/4957905463433*c_1101_3^3*u + 194024838787035/4957905463433*c_1101_3^3 + 129796627987971/4957905463433*c_1101_3^2*u - 1021840815322/4957905463433*c_1101_3^2 - 33508513428248/4957905463433*c_1101_3*u - 3457848656866/381377343341*c_1101_3 - 3436658724315/4957905463433*u - 31705805206/381377343341, c_0201_3 + 51783121595/4957905463433*c_1101_3^7*u + 94248950095/4957905463433*c_1101_3^7 + 518679308905/14873716390299*c_1101_3^6*u - 186242068315/14873716390299*c_1101_3^6 - 5846320312588/14873716390299*c_1101_3^5*u - 15845812402109/14873716390299*c_1101_3^5 - 88960008056458/14873716390299*c_1101_3^4*u - 14871913404848/14873716390299*c_1101_3^4 + 18849552416246/4957905463433*c_1101_3^3*u + 60017536221517/4957905463433*c_1101_3^3 + 39639785737217/4957905463433*c_1101_3^2*u + 13485529766381/4957905463433*c_1101_3^2 + 176646369397/381377343341*c_1101_3*u - 278159760211/4957905463433*c_1101_3 - 152152435255/381377343341*u - 582695875122/4957905463433, c_1011_0 - 1881196232194/14873716390299*c_1101_3^7*u - 115214260141/874924493547*c_1101_3^7 + 2895786523807/4957905463433*c_1101_3^6*u + 8137127088491/4957905463433*c_1101_3^6 + 92621953480601/14873716390299*c_1101_3^5*u - 50964909521987/14873716390299*c_1101_3^5 - 364189682348744/14873716390299*c_1101_3^4*u - 306423570024352/14873716390299*c_1101_3^4 - 12038026787688/4957905463433*c_1101_3^3*u + 136580635624870/4957905463433*c_1101_3^3 + 5311987839637/291641497849*c_1101_3^2*u + 21059649527165/4957905463433*c_1101_3^2 - 6263616922928/4957905463433*c_1101_3*u - 13624500863660/4957905463433*c_1101_3 - 5014954616449/4957905463433*u - 2545547453427/4957905463433, c_1011_1 + 94248950095/4957905463433*c_1101_3^7*u + 42465828500/4957905463433*c_1101_3^7 - 186242068315/14873716390299*c_1101_3^6*u - 704921377220/14873716390299*c_1101_3^6 - 15845812402109/14873716390299*c_1101_3^5*u - 9999492089521/14873716390299*c_1101_3^5 - 14871913404848/14873716390299*c_1101_3^4*u + 5699084203970/1144132030023*c_1101_3^4 + 60017536221517/4957905463433*c_1101_3^3*u + 41167983805271/4957905463433*c_1101_3^3 + 13485529766381/4957905463433*c_1101_3^2*u - 26154255970836/4957905463433*c_1101_3^2 - 5236065223644/4957905463433*c_1101_3*u - 7532468025805/4957905463433*c_1101_3 - 582695875122/4957905463433*u + 1395285783193/4957905463433, c_1101_0 - 2036545596979/14873716390299*c_1101_3^7*u - 2241389272682/14873716390299*c_1101_3^7 + 8168680262516/14873716390299*c_1101_3^6*u + 24597623333788/14873716390299*c_1101_3^6 + 32822757931063/4957905463433*c_1101_3^5*u - 11706365706626/4957905463433*c_1101_3^5 - 275229674292286/14873716390299*c_1101_3^4*u - 291551656619504/14873716390299*c_1101_3^4 - 30887579203934/4957905463433*c_1101_3^3*u + 4503711729609/291641497849*c_1101_3^3 + 50664007536612/4957905463433*c_1101_3^2*u + 7574119760784/4957905463433*c_1101_3^2 - 8560019725089/4957905463433*c_1101_3*u - 13346341103449/4957905463433*c_1101_3 - 3036972958134/4957905463433*u - 1962851578305/4957905463433, c_1101_2 - 352977483824/14873716390299*c_1101_3^7*u - 1086960522001/14873716390299*c_1101_3^7 - 2598159852956/14873716390299*c_1101_3^6*u + 8753992207136/14873716390299*c_1101_3^6 + 19367401143715/4957905463433*c_1101_3^5*u + 3144150122199/4957905463433*c_1101_3^5 - 98536266120770/14873716390299*c_1101_3^4*u - 118751913851257/14873716390299*c_1101_3^4 + 19301920883628/4957905463433*c_1101_3^3*u + 2727359628087/291641497849*c_1101_3^3 + 12288098167260/4957905463433*c_1101_3^2*u - 47942153972971/4957905463433*c_1101_3^2 - 21035529974735/4957905463433*c_1101_3*u - 2235924380582/4957905463433*c_1101_3 + 712856106670/4957905463433*u - 1062866153825/4957905463433, c_1101_3^8 + 105/13*c_1101_3^7*u - 55/13*c_1101_3^7 - 944/13*c_1101_3^6*u - 665/13*c_1101_3^6 - 94/13*c_1101_3^5*u + 2284/13*c_1101_3^5 + 3518/13*c_1101_3^4*u + 1588/13*c_1101_3^4 - 217/13*c_1101_3^3*u - 1910/13*c_1101_3^3 - 582/13*c_1101_3^2*u - 243/13*c_1101_3^2 - 3/13*c_1101_3*u + 87/13*c_1101_3 + 9/13*u + 12/13, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 13.350 Total time: 13.560 seconds, Total memory usage: 64.12MB