Magma V2.19-8 Wed Aug 21 2013 00:54:39 on localhost [Seed = 1091001105] Type ? for help. Type -D to quit. Loading file "L12n443__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n443 geometric_solution 12.38798144 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 0 0 0 1 -1 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 -2 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.770313273163 0.841264702059 0 5 7 6 0132 0132 0132 0132 1 1 0 1 0 0 1 -1 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 -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.567145439027 0.265144876389 8 0 7 9 0132 0132 1023 0132 1 1 0 1 0 0 0 0 -1 0 0 1 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 -1 0 1 2 0 0 -2 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.512037085315 0.847872842081 6 10 8 0 0132 0132 1230 0132 1 1 0 1 0 0 1 -1 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 -2 2 0 0 0 0 0 -1 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611380649741 0.579800834351 9 10 0 11 3012 0321 0132 0132 1 1 1 1 0 0 1 -1 0 0 0 0 -1 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 -1 1 -1 0 0 1 2 -2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617653342518 1.007042813320 10 1 8 11 0213 0132 1023 0321 1 1 1 0 0 0 0 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 0 0 0 0 0 0 1 -1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842232452809 0.886394868192 3 9 1 11 0132 1023 0132 3120 1 1 1 0 0 0 1 -1 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 -1 1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885704416485 0.761665909679 12 11 2 1 0132 0321 1023 0132 1 1 1 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720040328857 0.924391503734 2 12 5 3 0132 3120 1023 3012 1 1 1 0 0 -1 1 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 1 -1 0 -2 0 0 2 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.780375677375 1.017557661071 6 12 2 4 1023 1230 0132 1230 1 1 1 0 0 0 0 0 0 0 -1 1 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 0 -1 1 0 0 2 -2 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.814006347680 0.888133946422 5 3 12 4 0213 0132 1230 0321 1 1 1 0 0 0 0 0 -1 0 0 1 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 2 0 -1 -1 0 -2 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576130758602 0.763398205994 6 5 4 7 3120 0321 0132 0321 1 1 1 1 0 0 1 -1 0 0 0 0 -1 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 -1 1 0 0 -1 1 2 -2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.894250515720 0.926372794941 7 8 9 10 0132 3120 3012 3012 0 1 1 1 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 -1 0 1 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.536821781220 1.182686602382 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_12'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0011_0']), 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_1001_11'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_0'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_11'], 'c_1100_8' : negation(d['c_1001_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : negation(d['c_0011_12']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_0']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_7, c_0101_8, c_1001_0, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 5484941735868322164884336/118111807425052502957025*c_1001_11^11 - 26736442745378439107522212/118111807425052502957025*c_1001_11^10 - 229493496578110292954601731/472447229700210011828100*c_1001_11^9 - 200942002838348610353074097/314964819800140007885400*c_1001_11^8 - 408507369050724939757477939/472447229700210011828100*c_1001_11^7 - 108011030763468832963110358/118111807425052502957025*c_1001_11^6 - 433152399142096749456948461/472447229700210011828100*c_1001_11^5 - 47904818458576330550330569/55582027023554119038600*c_1001_11^4 - 303312301731179026272305291/472447229700210011828100*c_1001_11^3 - 123489448046134675154970703/314964819800140007885400*c_1001_11^2 - 17405142977060393258927656/118111807425052502957025*c_1001_11 - 6385747469110038056054171/94489445940042002365620, c_0011_0 - 1, c_0011_10 + 44106361525453568/34319314212631355*c_1001_11^11 + 1359970212357136384/308873827913682195*c_1001_11^10 + 1890778217711673388/308873827913682195*c_1001_11^9 + 523284797822142743/102957942637894065*c_1001_11^8 + 2159836467823389173/205915885275788130*c_1001_11^7 + 2633796170106506407/617747655827364390*c_1001_11^6 + 1965401380683906097/205915885275788130*c_1001_11^5 + 84553775879591227/36338097401609670*c_1001_11^4 + 1634772172435580143/308873827913682195*c_1001_11^3 - 174187018556837843/102957942637894065*c_1001_11^2 + 138327425747326504/102957942637894065*c_1001_11 - 36167514883293902/61774765582736439, c_0011_11 + 344710972917731008/308873827913682195*c_1001_11^11 + 1243081404034267376/308873827913682195*c_1001_11^10 + 1872118879450896607/308873827913682195*c_1001_11^9 + 211244329448733404/34319314212631355*c_1001_11^8 + 3754656643519767263/308873827913682195*c_1001_11^7 + 2548880331692232704/308873827913682195*c_1001_11^6 + 3594467449160519992/308873827913682195*c_1001_11^5 + 156316135664531134/18169048700804835*c_1001_11^4 + 2299930963763022172/308873827913682195*c_1001_11^3 + 428432674387814228/102957942637894065*c_1001_11^2 + 719519919723244703/308873827913682195*c_1001_11 + 93676230396430408/61774765582736439, c_0011_12 - 56549773613111552/308873827913682195*c_1001_11^11 + 21333404293907456/308873827913682195*c_1001_11^10 + 553252878383182972/308873827913682195*c_1001_11^9 + 118564800767277449/34319314212631355*c_1001_11^8 + 685772870690888348/308873827913682195*c_1001_11^7 + 1641360980960744009/308873827913682195*c_1001_11^6 + 595345694626144762/308873827913682195*c_1001_11^5 + 82885686688854829/18169048700804835*c_1001_11^4 + 872147434683175822/308873827913682195*c_1001_11^3 + 227895143995582103/102957942637894065*c_1001_11^2 - 21619212199981432/308873827913682195*c_1001_11 + 38901666532519135/61774765582736439, c_0101_0 - 111205602867120512/102957942637894065*c_1001_11^11 - 1431252716697666272/308873827913682195*c_1001_11^10 - 2517526099988748314/308873827913682195*c_1001_11^9 - 868930034502275479/102957942637894065*c_1001_11^8 - 444429703366266719/34319314212631355*c_1001_11^7 - 7813171695846227681/617747655827364390*c_1001_11^6 - 835453768333782367/68638628425262710*c_1001_11^5 - 227830124936533543/18169048700804835*c_1001_11^4 - 1887446803038114449/308873827913682195*c_1001_11^3 - 501233355703118486/102957942637894065*c_1001_11^2 - 31608173032139694/34319314212631355*c_1001_11 - 98054414922678659/61774765582736439, c_0101_1 - 1, c_0101_11 - 12430324256644352/308873827913682195*c_1001_11^11 - 453234729394558144/308873827913682195*c_1001_11^10 - 1447552649035055108/308873827913682195*c_1001_11^9 - 218851437641237186/34319314212631355*c_1001_11^8 - 1873222005046117042/308873827913682195*c_1001_11^7 - 3973218115972437931/308873827913682195*c_1001_11^6 - 2255320764077139878/308873827913682195*c_1001_11^5 - 238045474386418631/18169048700804835*c_1001_11^4 - 2000456309134874528/308873827913682195*c_1001_11^3 - 778909517566747642/102957942637894065*c_1001_11^2 - 412807832157391492/308873827913682195*c_1001_11 - 189698468169909455/61774765582736439, c_0101_2 + 978227210434606208/308873827913682195*c_1001_11^11 + 2717671276181166496/308873827913682195*c_1001_11^10 + 2795277883256021162/308873827913682195*c_1001_11^9 + 221670324662910844/34319314212631355*c_1001_11^8 + 7080471051516607828/308873827913682195*c_1001_11^7 - 655287943947058526/308873827913682195*c_1001_11^6 + 7854684363057052802/308873827913682195*c_1001_11^5 - 78964884810210691/18169048700804835*c_1001_11^4 + 3912159463243582472/308873827913682195*c_1001_11^3 - 698131844541037457/102957942637894065*c_1001_11^2 + 2002549293824781508/308873827913682195*c_1001_11 - 212759926919330779/61774765582736439, c_0101_7 + 376230551671880384/308873827913682195*c_1001_11^11 + 129843409778476496/102957942637894065*c_1001_11^10 - 1303622725185725969/308873827913682195*c_1001_11^9 - 948846503574256514/102957942637894065*c_1001_11^8 - 764978800653944636/308873827913682195*c_1001_11^7 - 6775186734565157638/308873827913682195*c_1001_11^6 - 1027162453006990699/308873827913682195*c_1001_11^5 - 43662748189209562/2018783188978315*c_1001_11^4 - 1844343746750381519/308873827913682195*c_1001_11^3 - 493708263756046812/34319314212631355*c_1001_11^2 + 166807523318624944/308873827913682195*c_1001_11 - 305067657304779224/61774765582736439, c_0101_8 + 82062048890657600/61774765582736439*c_1001_11^11 + 30543706426253712/6863862842526271*c_1001_11^10 + 376754469367070473/61774765582736439*c_1001_11^9 + 110921260781027266/20591588527578813*c_1001_11^8 + 722099353549696318/61774765582736439*c_1001_11^7 + 308400846064618409/61774765582736439*c_1001_11^6 + 1403987463535348513/123549531165472878*c_1001_11^5 + 8425664119893775/2422539826773978*c_1001_11^4 + 348863152039114939/61774765582736439*c_1001_11^3 - 6317959536687404/6863862842526271*c_1001_11^2 + 157543421718759367/61774765582736439*c_1001_11 - 46637143936717552/61774765582736439, c_1001_0 + 229688836096/286555456207*c_1001_11^11 + 603910802752/286555456207*c_1001_11^10 + 550698254224/286555456207*c_1001_11^9 + 504285161265/286555456207*c_1001_11^8 + 2149350864554/286555456207*c_1001_11^7 + 421949252843/286555456207*c_1001_11^6 + 2454704089000/286555456207*c_1001_11^5 + 655645937938/286555456207*c_1001_11^4 + 1439116740381/286555456207*c_1001_11^3 + 408789736119/286555456207*c_1001_11^2 + 762225581300/286555456207*c_1001_11 + 74639120849/286555456207, c_1001_1 - 113752974462092224/308873827913682195*c_1001_11^11 + 334396279610488912/308873827913682195*c_1001_11^10 + 1892149921258332989/308873827913682195*c_1001_11^9 + 331624062767356978/34319314212631355*c_1001_11^8 + 2410092175113210151/308873827913682195*c_1001_11^7 + 6582105866007222238/308873827913682195*c_1001_11^6 + 2304077253478152854/308873827913682195*c_1001_11^5 + 395420465969923448/18169048700804835*c_1001_11^4 + 2459842136292933074/308873827913682195*c_1001_11^3 + 1200077539022261596/102957942637894065*c_1001_11^2 + 264521003164544686/308873827913682195*c_1001_11 + 250993372574204264/61774765582736439, c_1001_11^12 + 13/4*c_1001_11^11 + 301/64*c_1001_11^10 + 41/8*c_1001_11^9 + 337/32*c_1001_11^8 + 39/8*c_1001_11^7 + 801/64*c_1001_11^6 + 137/32*c_1001_11^5 + 541/64*c_1001_11^4 + 41/32*c_1001_11^3 + 127/32*c_1001_11^2 + 25/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.440 seconds, Total memory usage: 32.09MB