Magma V2.19-8 Tue Aug 20 2013 23:56:11 on localhost [Seed = 2034176343] Type ? for help. Type -D to quit. Loading file "L14n15483__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15483 geometric_solution 10.76115398 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 1 0 1 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 -1 0 1 -1 0 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.010650719300 1.241140064363 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 -4 3 1 1 0 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.618864774925 0.594022307862 7 0 9 8 0132 0132 0132 0132 1 0 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 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.618864774925 0.594022307862 10 9 10 0 0132 0213 0321 0132 1 0 0 0 0 0 0 0 1 0 -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 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.512642562828 0.411766295953 9 8 0 10 0132 2310 0132 0321 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 0 0 0 0 0 -3 -1 4 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.484758036215 0.664571098365 11 1 7 6 0132 0132 0321 2103 1 0 1 0 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 0 0 0 0 0 0 0 4 0 -4 -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.720850295311 1.443792592369 10 11 1 5 3201 3201 0132 2103 1 0 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 0 -1 1 0 0 1 -1 -4 0 0 4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765137324782 1.192512813290 2 11 5 1 0132 0132 0321 0132 1 0 1 0 0 -1 0 1 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 3 0 -3 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.677435356359 0.596896613206 11 9 2 4 3201 2103 0132 3201 1 0 1 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 1 -1 0 0 0 0 -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.765137324782 1.192512813290 4 8 3 2 0132 2103 0213 0132 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 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.906749085260 0.422177858487 3 4 3 6 0132 0321 0321 2310 1 0 0 0 0 1 0 -1 -1 0 0 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 -4 0 4 -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.247873440007 0.593526839459 5 7 6 8 0132 0132 2310 2310 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 0 0 0 0 0 0 0 0 -3 0 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.168999212294 0.732205000961 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_6']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : negation(d['c_0011_4']), 'c_1010_11' : negation(d['c_0110_6']), 'c_1010_10' : negation(d['c_0110_6']), 's_0_10' : d['1'], 's_0_11' : 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_0'], '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_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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_4']), 'c_1100_8' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : d['c_1001_10'], '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_1001_10'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : d['c_0011_6'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_1001_2']), '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' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : 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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0110_6, c_1001_1, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 2792/39*c_1001_2^3 - 6319/65*c_1001_2^2 + 89438/975*c_1001_2 + 8779/975, c_0011_0 - 1, c_0011_10 - 20/13*c_1001_2^3 + 9/13*c_1001_2^2 + 19/65*c_1001_2 - 103/65, c_0011_4 - 80/13*c_1001_2^3 + 101/13*c_1001_2^2 - 444/65*c_1001_2 - 87/65, c_0011_6 + 1, c_0101_0 - 1, c_0101_1 - 45/13*c_1001_2^3 + 69/13*c_1001_2^2 - 266/65*c_1001_2 + 12/65, c_0101_11 + 45/13*c_1001_2^3 - 69/13*c_1001_2^2 + 266/65*c_1001_2 + 53/65, c_0101_5 - 20/13*c_1001_2^3 + 9/13*c_1001_2^2 + 19/65*c_1001_2 - 168/65, c_0110_6 + 45/13*c_1001_2^3 - 69/13*c_1001_2^2 + 266/65*c_1001_2 - 12/65, c_1001_1 - 15/13*c_1001_2^3 + 23/13*c_1001_2^2 - 67/65*c_1001_2 + 4/65, c_1001_10 + 5*c_1001_2^3 - 6*c_1001_2^2 + 19/5*c_1001_2 + 7/5, c_1001_2^4 - 6/5*c_1001_2^3 + 24/25*c_1001_2^2 + 9/25*c_1001_2 + 1/25 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0110_6, c_1001_1, c_1001_10, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 21571041721112324069688088009/16894395257325011148365647200*c_1001_\ 2^11 - 1200597237018378880867389856/527949851791406598386426475*c_1\ 001_2^10 + 1263703882109762607671993069243/168943952573250111483656\ 47200*c_1001_2^9 + 500829441126137483083034118293/42235988143312527\ 87091411800*c_1001_2^8 + 12031860156792672740940897117209/168943952\ 57325011148365647200*c_1001_2^7 - 2444569469129201197991040681277/1\ 206742518380357939168974800*c_1001_2^6 + 42117103395679814660489953769243/16894395257325011148365647200*c_10\ 01_2^5 - 18466128433456180312056695046859/8447197628662505574182823\ 600*c_1001_2^4 + 1657526512423868494594376538869/563146508577500371\ 6121882400*c_1001_2^3 + 1980872904110467151234035940681/33788790514\ 65002229673129440*c_1001_2^2 + 2100340844835142432882393278869/4223\ 598814331252787091411800*c_1001_2 - 1517674829287054576546202965019/16894395257325011148365647200, c_0011_0 - 1, c_0011_10 + 562989581459444625404/47886607872236426157499*c_1001_2^11 - 1189403949107598290932/47886607872236426157499*c_1001_2^10 + 33339680983956766460946/47886607872236426157499*c_1001_2^9 + 41322782732879767067946/47886607872236426157499*c_1001_2^8 + 298198696111217115246220/47886607872236426157499*c_1001_2^7 - 993943155485397285003395/47886607872236426157499*c_1001_2^6 + 1415006412489170107090162/47886607872236426157499*c_1001_2^5 - 1350954194501119632939709/47886607872236426157499*c_1001_2^4 + 500908651507871699591597/47886607872236426157499*c_1001_2^3 + 108548446897755385687915/47886607872236426157499*c_1001_2^2 + 169796348291821571508047/47886607872236426157499*c_1001_2 - 158093527377443109111698/47886607872236426157499, c_0011_4 + 492121595137143454667/47886607872236426157499*c_1001_2^11 - 863710901682656121352/47886607872236426157499*c_1001_2^10 + 28818640850393668538780/47886607872236426157499*c_1001_2^9 + 46482836608519463206683/47886607872236426157499*c_1001_2^8 + 276311983949314786646067/47886607872236426157499*c_1001_2^7 - 769670828999441635044853/47886607872236426157499*c_1001_2^6 + 954959266020816109269190/47886607872236426157499*c_1001_2^5 - 796609091273095702693534/47886607872236426157499*c_1001_2^4 + 80401142977399316895065/47886607872236426157499*c_1001_2^3 + 281255771244436020241839/47886607872236426157499*c_1001_2^2 + 140745403509634484459132/47886607872236426157499*c_1001_2 - 33381409592626631778071/47886607872236426157499, c_0011_6 - 138877916012392487650/47886607872236426157499*c_1001_2^11 + 259287566287753464911/47886607872236426157499*c_1001_2^10 - 8176103244277826137726/47886607872236426157499*c_1001_2^9 - 12157829571928203998372/47886607872236426157499*c_1001_2^8 - 77510332395896038552065/47886607872236426157499*c_1001_2^7 + 225642088304660325673972/47886607872236426157499*c_1001_2^6 - 302083282847001003586463/47886607872236426157499*c_1001_2^5 + 287947534727357227568816/47886607872236426157499*c_1001_2^4 - 129161414417945556762490/47886607872236426157499*c_1001_2^3 + 8220707619826733049091/47886607872236426157499*c_1001_2^2 - 68821168146263883298158/47886607872236426157499*c_1001_2 - 3004052770997841891265/47886607872236426157499, c_0101_0 - 1, c_0101_1 + 138877916012392487650/47886607872236426157499*c_1001_2^11 - 259287566287753464911/47886607872236426157499*c_1001_2^10 + 8176103244277826137726/47886607872236426157499*c_1001_2^9 + 12157829571928203998372/47886607872236426157499*c_1001_2^8 + 77510332395896038552065/47886607872236426157499*c_1001_2^7 - 225642088304660325673972/47886607872236426157499*c_1001_2^6 + 302083282847001003586463/47886607872236426157499*c_1001_2^5 - 287947534727357227568816/47886607872236426157499*c_1001_2^4 + 129161414417945556762490/47886607872236426157499*c_1001_2^3 - 8220707619826733049091/47886607872236426157499*c_1001_2^2 + 68821168146263883298158/47886607872236426157499*c_1001_2 + 3004052770997841891265/47886607872236426157499, c_0101_11 + 8625007618109380169/47886607872236426157499*c_1001_2^11 - 69389940062284288388/47886607872236426157499*c_1001_2^10 + 555340898474591723516/47886607872236426157499*c_1001_2^9 - 2339217068940063329260/47886607872236426157499*c_1001_2^8 - 2837424526498546987708/47886607872236426157499*c_1001_2^7 - 51418763276752824842102/47886607872236426157499*c_1001_2^6 + 69901100559025414948424/47886607872236426157499*c_1001_2^5 - 81907296414874847461483/47886607872236426157499*c_1001_2^4 + 81492098538272599277957/47886607872236426157499*c_1001_2^3 + 5660886087864033795483/47886607872236426157499*c_1001_2^2 + 30066092819196164519991/47886607872236426157499*c_1001_2 - 27840606213519728395334/47886607872236426157499, c_0101_5 + 2812217177918413673691/191546431488945704629996*c_1001_2^11 - 2279834450951404042275/95773215744472852314998*c_1001_2^10 + 164108851523772051421217/191546431488945704629996*c_1001_2^9 + 71757525258813952671828/47886607872236426157499*c_1001_2^8 + 1619967894054299152221045/191546431488945704629996*c_1001_2^7 - 2103017855528289841447145/95773215744472852314998*c_1001_2^6 + 4854170670208519056769337/191546431488945704629996*c_1001_2^5 - 1067691759048363545377603/47886607872236426157499*c_1001_2^4 + 499904711197575497203081/191546431488945704629996*c_1001_2^3 + 854619687000562379070099/191546431488945704629996*c_1001_2^2 + 399869697631360005613991/47886607872236426157499*c_1001_2 + 34750999310758765293077/191546431488945704629996, c_0110_6 + 1, c_1001_1 - 102423764862554527363/47886607872236426157499*c_1001_2^11 + 248136132090462369527/47886607872236426157499*c_1001_2^10 - 6078054605606454201271/47886607872236426157499*c_1001_2^9 - 5665309609098342240394/47886607872236426157499*c_1001_2^8 - 48811698445183677435202/47886607872236426157499*c_1001_2^7 + 206715181753846688625229/47886607872236426157499*c_1001_2^6 - 274214773207620044081835/47886607872236426157499*c_1001_2^5 + 283429916434934982052370/47886607872236426157499*c_1001_2^4 - 140673844129264741564112/47886607872236426157499*c_1001_2^3 + 1856092485135877743092/47886607872236426157499*c_1001_2^2 - 52705225453062714173649/47886607872236426157499*c_1001_2 + 23533332343259272710492/47886607872236426157499, c_1001_10 - 225930231653638638959/47886607872236426157499*c_1001_2^11 + 410720408329067289714/47886607872236426157499*c_1001_2^10 - 13305459149947989340772/47886607872236426157499*c_1001_2^9 - 20437127819450917681284/47886607872236426157499*c_1001_2^8 - 128410285331256275540428/47886607872236426157499*c_1001_2^7 + 355642804831289485588521/47886607872236426157499*c_1001_2^6 - 489992663103644202485198/47886607872236426157499*c_1001_2^5 + 463896923366267751601094/47886607872236426157499*c_1001_2^4 - 128985473068150797199226/47886607872236426157499*c_1001_2^3 - 81053493245283385459909/47886607872236426157499*c_1001_2^2 - 83625823210475550969445/47886607872236426157499*c_1001_2 + 16508106525116149735925/47886607872236426157499, c_1001_2^12 - 2*c_1001_2^11 + 59*c_1001_2^10 + 80*c_1001_2^9 + 539*c_1001_2^8 - 1706*c_1001_2^7 + 2315*c_1001_2^6 - 2180*c_1001_2^5 + 651*c_1001_2^4 + 373*c_1001_2^3 + 284*c_1001_2^2 - 137*c_1001_2 + 24 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB