Magma V2.19-8 Tue Aug 20 2013 23:45:01 on localhost [Seed = 442269628] Type ? for help. Type -D to quit. Loading file "K13n2149__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2149 geometric_solution 10.81724933 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 0 1 -1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531753352663 0.929161073906 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 0 -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 -3 0 3 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.266484143083 0.598607211605 4 0 5 8 1230 0132 2103 0132 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600090939119 0.691967731387 9 10 5 0 0132 0132 2031 0132 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 1 0 -1 0 0 1 -1 0 2 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425618469466 0.613564820054 7 2 0 11 0132 3012 0132 0132 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 2 1 -3 -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.690629487059 0.998821773673 2 1 10 3 2103 0132 3201 1302 0 0 0 0 0 -1 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 0 3 -2 -1 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.779782151288 0.639012036663 8 10 1 9 0213 3201 0132 3201 0 0 0 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 0 -3 3 0 0 0 0 1 -1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659687704829 0.419169626528 4 11 9 1 0132 1302 1230 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 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.618077135259 0.295698851936 6 9 2 11 0213 0213 0132 2310 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 -1 0 0 1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023955259180 0.987325290547 3 6 8 7 0132 2310 0213 3012 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 -1 0 0 1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844412951542 1.323907030817 5 3 6 11 2310 0132 2310 2031 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 -1 1 0 0 0 -3 3 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.873395856722 0.695362751319 8 10 4 7 3201 1302 0132 2031 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 -3 3 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.552729500254 0.459769704677 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0101_10']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0110_11'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : 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' : negation(d['1']), 'c_1100_9' : negation(d['c_0110_11']), 'c_1100_8' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0110_11']), 's_3_1' : d['1'], 's_3_0' : 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' : 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' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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_8'], '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_4'], '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_0110_11'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0011_8'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_8, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0110_11, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t + 53377268795988188568469/4871180714120133247933*c_1001_1^12 + 727886773056634939313675/4871180714120133247933*c_1001_1^11 + 2814731585996618837796699/4871180714120133247933*c_1001_1^10 + 404601996120614705715202/4871180714120133247933*c_1001_1^9 - 12022363587230121644256028/4871180714120133247933*c_1001_1^8 - 6809558234946943405645078/4871180714120133247933*c_1001_1^7 + 22723039333100602313151073/4871180714120133247933*c_1001_1^6 + 15556526406982224997782098/4871180714120133247933*c_1001_1^5 - 18182560356768505798908585/4871180714120133247933*c_1001_1^4 - 15099704255147977309486877/4871180714120133247933*c_1001_1^3 + 5422463761962016125624173/4871180714120133247933*c_1001_1^2 + 8066326989705272492482452/4871180714120133247933*c_1001_1 - 49174631596396032679788/4871180714120133247933, c_0011_0 - 1, c_0011_10 - 12566633598308/15903351673104167*c_1001_1^12 - 88287039967877/15903351673104167*c_1001_1^11 + 384468306817064/15903351673104167*c_1001_1^10 + 3412264722945773/15903351673104167*c_1001_1^9 + 2720042033385194/15903351673104167*c_1001_1^8 - 5235759050759269/15903351673104167*c_1001_1^7 - 2805531835103920/15903351673104167*c_1001_1^6 - 9869938527931315/15903351673104167*c_1001_1^5 - 2867056059107030/15903351673104167*c_1001_1^4 + 25785276498714933/15903351673104167*c_1001_1^3 + 2895084551252561/15903351673104167*c_1001_1^2 - 5545330428970142/15903351673104167*c_1001_1 - 866864861499635/15903351673104167, c_0011_11 + 6566751493499/15903351673104167*c_1001_1^12 + 117372679718925/15903351673104167*c_1001_1^11 + 774698548361192/15903351673104167*c_1001_1^10 + 2208545768016559/15903351673104167*c_1001_1^9 + 1672356485166238/15903351673104167*c_1001_1^8 - 4868384433227902/15903351673104167*c_1001_1^7 - 8162372948278189/15903351673104167*c_1001_1^6 + 6926541669333001/15903351673104167*c_1001_1^5 + 12564964811236634/15903351673104167*c_1001_1^4 - 769131259242468/15903351673104167*c_1001_1^3 + 9047118302738037/15903351673104167*c_1001_1^2 - 7168885933540560/15903351673104167*c_1001_1 - 7119460191264331/15903351673104167, c_0011_4 + 224414790536791/15903351673104167*c_1001_1^12 + 2855099417140018/15903351673104167*c_1001_1^11 + 9343425054575988/15903351673104167*c_1001_1^10 - 5339113166286678/15903351673104167*c_1001_1^9 - 41109611459183690/15903351673104167*c_1001_1^8 + 2891638563145663/15903351673104167*c_1001_1^7 + 61587680326141454/15903351673104167*c_1001_1^6 + 7876176670374783/15903351673104167*c_1001_1^5 - 26098289552551957/15903351673104167*c_1001_1^4 - 28100033100024258/15903351673104167*c_1001_1^3 - 13599617401687107/15903351673104167*c_1001_1^2 + 13200579097925260/15903351673104167*c_1001_1 + 7277574863652318/15903351673104167, c_0011_8 - 265295606055743/15903351673104167*c_1001_1^12 - 3550001102198709/15903351673104167*c_1001_1^11 - 13266637239853194/15903351673104167*c_1001_1^10 - 1068673258280438/15903351673104167*c_1001_1^9 + 51008618299409018/15903351673104167*c_1001_1^8 + 21165959572602966/15903351673104167*c_1001_1^7 - 79691556122287905/15903351673104167*c_1001_1^6 - 40347755102185717/15903351673104167*c_1001_1^5 + 33543421556673267/15903351673104167*c_1001_1^4 + 25649259754635115/15903351673104167*c_1001_1^3 + 6565323504455591/15903351673104167*c_1001_1^2 - 18950625408657002/15903351673104167*c_1001_1 - 8755609683730739/15903351673104167, c_0101_1 - 124201412522765/15903351673104167*c_1001_1^12 - 1724838642992052/15903351673104167*c_1001_1^11 - 6922773642509961/15903351673104167*c_1001_1^10 - 1733205439796950/15903351673104167*c_1001_1^9 + 32481165917841448/15903351673104167*c_1001_1^8 + 31460471312559974/15903351673104167*c_1001_1^7 - 54414148488029403/15903351673104167*c_1001_1^6 - 70977934713431744/15903351673104167*c_1001_1^5 + 39543079933684098/15903351673104167*c_1001_1^4 + 65844885098339182/15903351673104167*c_1001_1^3 - 1048087155322835/15903351673104167*c_1001_1^2 - 9417234486363566/15903351673104167*c_1001_1 - 10731943228098575/15903351673104167, c_0101_10 - 96491241129440/15903351673104167*c_1001_1^12 - 1147677709910232/15903351673104167*c_1001_1^11 - 3215633104384390/15903351673104167*c_1001_1^10 + 2644928414596175/15903351673104167*c_1001_1^9 + 3453892077076213/15903351673104167*c_1001_1^8 - 24764248418343914/15903351673104167*c_1001_1^7 + 4028744956847729/15903351673104167*c_1001_1^6 + 51158565398452203/15903351673104167*c_1001_1^5 - 9912526493749243/15903351673104167*c_1001_1^4 - 42572225823834123/15903351673104167*c_1001_1^3 - 14175659518187551/15903351673104167*c_1001_1^2 + 12496974511295682/15903351673104167*c_1001_1 - 1515652389119279/15903351673104167, c_0101_11 + 71835091861202/15903351673104167*c_1001_1^12 + 1148554316845781/15903351673104167*c_1001_1^11 + 5908325697356581/15903351673104167*c_1001_1^10 + 7164750257019880/15903351673104167*c_1001_1^9 - 22021645426607197/15903351673104167*c_1001_1^8 - 42220259485319267/15903351673104167*c_1001_1^7 + 34486676059450698/15903351673104167*c_1001_1^6 + 70294643664814560/15903351673104167*c_1001_1^5 - 18970503787706884/15903351673104167*c_1001_1^4 - 39315303160917812/15903351673104167*c_1001_1^3 - 11701389645111228/15903351673104167*c_1001_1^2 + 3208436100336613/15903351673104167*c_1001_1 + 5209046288339279/15903351673104167, c_0101_2 - 131768607511093/15903351673104167*c_1001_1^12 - 1474234035750278/15903351673104167*c_1001_1^11 - 2668870362142391/15903351673104167*c_1001_1^10 + 14707180041624435/15903351673104167*c_1001_1^9 + 30098413248286779/15903351673104167*c_1001_1^8 - 41719118567761607/15903351673104167*c_1001_1^7 - 74337153757434768/15903351673104167*c_1001_1^6 + 48344392822446898/15903351673104167*c_1001_1^5 + 70247868463899533/15903351673104167*c_1001_1^4 - 8497131959341802/15903351673104167*c_1001_1^3 - 20275533228561569/15903351673104167*c_1001_1^2 - 6152928960932070/15903351673104167*c_1001_1 - 3767280489288743/15903351673104167, c_0110_11 - 105745122416288/15903351673104167*c_1001_1^12 - 1484153850712618/15903351673104167*c_1001_1^11 - 6115800164382438/15903351673104167*c_1001_1^10 - 2483117102586565/15903351673104167*c_1001_1^9 + 26210885409242781/15903351673104167*c_1001_1^8 + 27063793804437645/15903351673104167*c_1001_1^7 - 42263104283994715/15903351673104167*c_1001_1^6 - 54134796495972708/15903351673104167*c_1001_1^5 + 22729195131066134/15903351673104167*c_1001_1^4 + 29777449673747822/15903351673104167*c_1001_1^3 + 16142101924062015/15903351673104167*c_1001_1^2 + 2451245282880814/15903351673104167*c_1001_1 - 9365302855137689/15903351673104167, c_1001_0 - 97858576956007/15903351673104167*c_1001_1^12 - 1138634501883441/15903351673104167*c_1001_1^11 - 2461395895116534/15903351673104167*c_1001_1^10 + 10025546887191120/15903351673104167*c_1001_1^9 + 25909173265651195/15903351673104167*c_1001_1^8 - 26562652886879985/15903351673104167*c_1001_1^7 - 66560725532890751/15903351673104167*c_1001_1^6 + 32184545653605046/15903351673104167*c_1001_1^5 + 66489177120540283/15903351673104167*c_1001_1^4 + 1040721527828188/15903351673104167*c_1001_1^3 - 24716245507512356/15903351673104167*c_1001_1^2 - 11812610344149497/15903351673104167*c_1001_1 + 388976077509667/15903351673104167, c_1001_1^13 + 14*c_1001_1^12 + 58*c_1001_1^11 + 31*c_1001_1^10 - 206*c_1001_1^9 - 207*c_1001_1^8 + 309*c_1001_1^7 + 406*c_1001_1^6 - 102*c_1001_1^5 - 315*c_1001_1^4 - 107*c_1001_1^3 + 99*c_1001_1^2 + 85*c_1001_1 + 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.680 Total time: 0.890 seconds, Total memory usage: 32.09MB