Magma V2.19-8 Tue Aug 20 2013 23:57:28 on localhost [Seed = 525957067] Type ? for help. Type -D to quit. Loading file "L14n32827__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32827 geometric_solution 10.53115022 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 1 0 1 0 0 -1 1 -1 0 0 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 -1 3 -2 5 0 -1 -4 0 2 0 -2 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446216520377 0.725154310953 0 5 7 6 0132 0132 0132 0132 0 1 1 0 0 0 1 -1 1 0 -1 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 0 0 -3 3 -5 0 5 0 -4 4 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.068844016677 0.819028192361 6 0 9 8 0132 0132 0132 0132 0 1 1 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 1 -1 0 0 0 0 0 -5 0 0 5 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327056758049 0.826326117568 8 10 11 0 0132 0132 0132 0132 0 1 1 0 0 -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 0 0 0 3 0 -3 0 0 -1 1 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701390268198 0.653555889995 7 9 0 5 0132 3120 0132 1302 0 1 0 0 0 0 -1 1 0 0 -1 1 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 2 -2 0 0 4 -4 0 0 0 0 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.241285373099 0.666829400518 6 1 4 11 3201 0132 2031 0321 0 0 0 1 0 0 0 0 1 0 -1 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 0 0 0 0 -2 0 2 0 -3 3 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440602265084 0.407526946413 2 7 1 5 0132 3201 0132 2310 0 1 0 1 0 0 1 -1 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 0 -3 3 0 0 0 0 -2 0 0 2 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847016985267 0.792021312141 4 10 6 1 0132 0321 2310 0132 0 1 0 0 0 1 0 -1 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 -3 0 3 0 0 5 -5 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.787140899686 0.442660217044 3 9 2 10 0132 3201 0132 2310 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503566523111 0.555963337160 11 4 8 2 2103 3120 2310 0132 0 1 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 -1 0 1 5 0 -5 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.226609294928 0.854963136884 8 3 11 7 3201 0132 3201 0321 0 0 0 1 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 0 -3 0 3 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.574782043858 1.755623658024 10 5 9 3 2310 0321 2103 0132 0 1 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 4 0 -5 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.383343034861 0.387856512855 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : d['c_0011_4'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_1001_1'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_2']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_9']), 'c_1010_3' : negation(d['c_0101_11']), 'c_1010_2' : negation(d['c_0101_11']), 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : negation(d['c_0011_4']), 's_3_1' : negation(d['1']), 's_3_0' : 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_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_10']), '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_11'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 11 Groebner basis: [ t + 684510343232532408776959590156/14750096732714436884632625*c_1001_1^\ 10 + 5142002765856155798196589087557/11800077386171549507706100*c_1\ 001_1^9 + 21074748879734756721572461272627/118000773861715495077061\ 00*c_1001_1^8 + 249318431976113075044837900144799/59000386930857747\ 538530500*c_1001_1^7 + 392363421103715391155972964403463/5900038693\ 0857747538530500*c_1001_1^6 + 32122701649550356301453886258841/4214\ 313352204124824180750*c_1001_1^5 + 198511260221391122557055314759443/29500193465428873769265250*c_1001\ _1^4 + 53001547991956103743949165213867/11800077386171549507706100*\ c_1001_1^3 + 67892120522628033930026910725349/295001934654288737692\ 65250*c_1001_1^2 + 23305648918024079780280403358901/295001934654288\ 73769265250*c_1001_1 + 12119276189032562904560702699531/59000386930\ 857747538530500, c_0011_0 - 1, c_0011_10 - 53395669567011848923/1013970129853624017848*c_1001_1^10 - 158765652172312262355/1013970129853624017848*c_1001_1^9 + 220257254154596052707/253492532463406004462*c_1001_1^8 + 5758134046341577846747/1013970129853624017848*c_1001_1^7 + 6675635176746143166181/506985064926812008924*c_1001_1^6 + 8429151611440584985087/506985064926812008924*c_1001_1^5 + 12476034297652790044777/1013970129853624017848*c_1001_1^4 + 4921673437261917170049/1013970129853624017848*c_1001_1^3 - 1069205694377610056081/1013970129853624017848*c_1001_1^2 - 1758176990461859312587/1013970129853624017848*c_1001_1 - 1223019343167480141031/1013970129853624017848, c_0011_11 + 159923766361653015073/1013970129853624017848*c_1001_1^10 + 748938168532013333079/1013970129853624017848*c_1001_1^9 - 23305022081870203453/253492532463406004462*c_1001_1^8 - 6975728341174047196377/1013970129853624017848*c_1001_1^7 - 4241764420144649185221/253492532463406004462*c_1001_1^6 - 2504917541149453630568/126746266231703002231*c_1001_1^5 - 15631501550626660332865/1013970129853624017848*c_1001_1^4 - 9947387034401809579663/1013970129853624017848*c_1001_1^3 - 1588372190677020152923/1013970129853624017848*c_1001_1^2 - 1060102860612932834895/1013970129853624017848*c_1001_1 - 100766677366134344837/1013970129853624017848, c_0011_4 + 32231734201139548801/1013970129853624017848*c_1001_1^10 + 167015956985707594357/1013970129853624017848*c_1001_1^9 - 8786046143372685258/126746266231703002231*c_1001_1^8 - 2559318155063211716733/1013970129853624017848*c_1001_1^7 - 4196834377788979715875/506985064926812008924*c_1001_1^6 - 6959812811790929303443/506985064926812008924*c_1001_1^5 - 13723440803484060328179/1013970129853624017848*c_1001_1^4 - 8991871413027392241363/1013970129853624017848*c_1001_1^3 - 4126266472846040244889/1013970129853624017848*c_1001_1^2 - 339995209828946038843/1013970129853624017848*c_1001_1 + 151857431107138652141/1013970129853624017848, c_0011_9 + 106868365574192792009/1013970129853624017848*c_1001_1^10 - 217522284066756893143/1013970129853624017848*c_1001_1^9 - 1485595817126794680631/253492532463406004462*c_1001_1^8 - 24275139192527358836921/1013970129853624017848*c_1001_1^7 - 22573748313807094487175/506985064926812008924*c_1001_1^6 - 23847120672646535787881/506985064926812008924*c_1001_1^5 - 34463255442738966259099/1013970129853624017848*c_1001_1^4 - 20143156188307585017899/1013970129853624017848*c_1001_1^3 - 3243382073734447803717/1013970129853624017848*c_1001_1^2 - 663357714643755179247/1013970129853624017848*c_1001_1 + 68096815742568690693/1013970129853624017848, c_0101_0 - 1, c_0101_1 + 3053281692911063064/6670856117458052749*c_1001_1^10 + 30025734432397414534/6670856117458052749*c_1001_1^9 + 131551961077439636755/6670856117458052749*c_1001_1^8 + 339655098239576504874/6670856117458052749*c_1001_1^7 + 585405262261587617212/6670856117458052749*c_1001_1^6 + 715777937874221282800/6670856117458052749*c_1001_1^5 + 642733355280439837510/6670856117458052749*c_1001_1^4 + 421529277825556075747/6670856117458052749*c_1001_1^3 + 201121583084765066790/6670856117458052749*c_1001_1^2 + 60288297720697864720/6670856117458052749*c_1001_1 + 9786597281536312958/6670856117458052749, c_0101_10 + 212548463839125401999/1013970129853624017848*c_1001_1^10 + 1714508682203039228541/1013970129853624017848*c_1001_1^9 + 1430498593657457153479/253492532463406004462*c_1001_1^8 + 10325847944002860732641/1013970129853624017848*c_1001_1^7 + 1556074848267643493014/126746266231703002231*c_1001_1^6 + 3204780799696115446171/253492532463406004462*c_1001_1^5 + 13034985535683330853933/1013970129853624017848*c_1001_1^4 + 11676728727864024930767/1013970129853624017848*c_1001_1^3 + 10012791810102874537479/1013970129853624017848*c_1001_1^2 + 4600573474550230165671/1013970129853624017848*c_1001_1 + 2043232493917901946425/1013970129853624017848, c_0101_11 - 786653725215739814741/1013970129853624017848*c_1001_1^10 - 6683154447032364758559/1013970129853624017848*c_1001_1^9 - 5933934550363914642339/253492532463406004462*c_1001_1^8 - 45508618878191355754187/1013970129853624017848*c_1001_1^7 - 6760816012888945643177/126746266231703002231*c_1001_1^6 - 11238049084817933878083/253492532463406004462*c_1001_1^5 - 29133601187515798712983/1013970129853624017848*c_1001_1^4 - 11466675116333066678661/1013970129853624017848*c_1001_1^3 - 3564016740577864076837/1013970129853624017848*c_1001_1^2 - 41027595010474543245/1013970129853624017848*c_1001_1 - 807543236178606048347/1013970129853624017848, c_0101_2 + 229485920113334134239/1013970129853624017848*c_1001_1^10 + 2349053459693958850067/1013970129853624017848*c_1001_1^9 + 1311765513969974589289/126746266231703002231*c_1001_1^8 + 27031518090060311496661/1013970129853624017848*c_1001_1^7 + 22934092773616333609427/506985064926812008924*c_1001_1^6 + 28225034407063374881759/506985064926812008924*c_1001_1^5 + 53693950535582060615507/1013970129853624017848*c_1001_1^4 + 38653216327066746260347/1013970129853624017848*c_1001_1^3 + 19414957096714069054625/1013970129853624017848*c_1001_1^2 + 7314874746036665191115/1013970129853624017848*c_1001_1 + 1336047410953553956755/1013970129853624017848, c_0101_7 + 14256558286382730901/53366848939664421992*c_1001_1^10 + 133434056852343345761/53366848939664421992*c_1001_1^9 + 66043086601352328934/6670856117458052749*c_1001_1^8 + 1117148752407612497591/53366848939664421992*c_1001_1^7 + 648374577448755202773/26683424469832210996*c_1001_1^6 + 308739439075542720101/26683424469832210996*c_1001_1^5 - 346460780327310538119/53366848939664421992*c_1001_1^4 - 793430010621700937175/53366848939664421992*c_1001_1^3 - 681577558447472603525/53366848939664421992*c_1001_1^2 - 382405366382887664591/53366848939664421992*c_1001_1 - 35311626539407654287/53366848939664421992, c_1001_1^11 + 1136/121*c_1001_1^10 + 4655/121*c_1001_1^9 + 91*c_1001_1^8 + 17323/121*c_1001_1^7 + 19848/121*c_1001_1^6 + 17515/121*c_1001_1^5 + 11684/121*c_1001_1^4 + 5982/121*c_1001_1^3 + 2050/121*c_1001_1^2 + 532/121*c_1001_1 - 1/121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB