Magma V2.19-8 Tue Aug 20 2013 16:18:38 on localhost [Seed = 189437498] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2805 geometric_solution 6.03553746 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -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 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.185103981742 1.598694856043 0 3 5 4 0132 0132 0132 0132 0 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 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.286582257548 1.080117366912 3 0 4 5 0132 0132 2310 0132 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 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.286582257548 1.080117366912 2 1 6 6 0132 0132 0132 2310 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 1 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.294735676803 0.400884702361 4 2 1 4 3012 3201 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765555704191 0.601464668161 5 5 2 1 1302 2031 0132 0132 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 -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.631894846262 1.106427165567 3 6 6 3 3201 3201 2310 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 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.640032294122 1.264958099452 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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_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_0_6' : 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_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1298402171700602472764927959438839896753/25494596125746208492507513\ 22104832*c_0101_2^21 - 7195775525042851732518389183603975179589/127\ 4729806287310424625375661052416*c_0101_2^19 + 23896224286725919914331950568954114646609/1274729806287310424625375\ 661052416*c_0101_2^17 - 77235247867464974636108169112252418696839/2\ 549459612574620849250751322104832*c_0101_2^15 + 38122171898667569927157351308644122728285/1274729806287310424625375\ 661052416*c_0101_2^13 - 48213060991831055049439698498009632157457/2\ 549459612574620849250751322104832*c_0101_2^11 + 9485940279990756204818456430537588946663/12747298062873104246253756\ 61052416*c_0101_2^9 - 2133196622960240844596370025166538102071/1274\ 729806287310424625375661052416*c_0101_2^7 + 219697585216484755383492575843033724969/127472980628731042462537566\ 1052416*c_0101_2^5 - 1176785285275515903299921929323841401/63736490\ 3143655212312687830526208*c_0101_2^3 - 1109790051990377937729698458426225825/25494596125746208492507513221\ 04832*c_0101_2, c_0011_0 - 1, c_0011_4 - 245610384784752931053148287741660901/19917653223239225384771\ 494703944*c_0101_2^21 + 674457810662233738661463026001141609/497941\ 3305809806346192873675986*c_0101_2^19 - 2193647315537090752778173515670432055/49794133058098063461928736759\ 86*c_0101_2^17 + 13770750037819936203225671942557677405/19917653223\ 239225384771494703944*c_0101_2^15 - 6582007210062378179599973580577116127/99588266116196126923857473519\ 72*c_0101_2^13 + 7980562618407784290676539810925966661/199176532232\ 39225384771494703944*c_0101_2^11 - 368839071532774578927904820347848872/248970665290490317309643683799\ 3*c_0101_2^9 + 75277984520758493347941313681240233/2489706652904903\ 173096436837993*c_0101_2^7 - 13170579660392613703898963694519935/49\ 79413305809806346192873675986*c_0101_2^5 + 357415529819347686157697119591523/9958826611619612692385747351972*c\ _0101_2^3 - 59880372207871810108987390073721/1991765322323922538477\ 1494703944*c_0101_2, c_0011_5 - 10482538890674247309043162089/22524421405854863080189088*c_0\ 101_2^21 + 59929125268855584648179479061/11262210702927431540094544\ *c_0101_2^19 - 213525350501352822362444554983/112622107029274315400\ 94544*c_0101_2^17 + 763556979924950053607842392943/2252442140585486\ 3080189088*c_0101_2^15 - 421775300288896133169623372411/11262210702\ 927431540094544*c_0101_2^13 + 608732541565107275098755514597/225244\ 21405854863080189088*c_0101_2^11 - 142905842773894483864346551513/11262210702927431540094544*c_0101_2^\ 9 + 40709963434703109121376629075/11262210702927431540094544*c_0101\ _2^7 - 6089080119654748266036710083/11262210702927431540094544*c_01\ 01_2^5 + 203224258941561825743274651/5631105351463715770047272*c_01\ 01_2^3 - 77911532032959356620289739/22524421405854863080189088*c_01\ 01_2, c_0011_6 - 12386105702268198956388757691/22524421405854863080189088*c_0\ 101_2^20 + 67372171571963229715951430923/11262210702927431540094544\ *c_0101_2^18 - 213968453168992126657554029513/112622107029274315400\ 94544*c_0101_2^16 + 645938603012188678950510574661/2252442140585486\ 3080189088*c_0101_2^14 - 293941838319395059326298172097/11262210702\ 927431540094544*c_0101_2^12 + 333743118610646105450301476831/225244\ 21405854863080189088*c_0101_2^10 - 55567298562522394243407125007/11262210702927431540094544*c_0101_2^8 + 9899040979308670190742876389/11262210702927431540094544*c_0101_2^\ 6 - 905876599338404816161050221/11262210702927431540094544*c_0101_2\ ^4 + 37812776705153546673834287/5631105351463715770047272*c_0101_2^\ 2 + 5152352569529767374025095/22524421405854863080189088, c_0101_0 - 146551684371382662445989722225977157/39835306446478450769542\ 989407888*c_0101_2^20 + 805483858347779227735590373201682651/199176\ 53223239225384771494703944*c_0101_2^18 - 2623860381835905483771146858376888933/19917653223239225384771494703\ 944*c_0101_2^16 + 8246490442010795025365525674072516775/39835306446\ 478450769542989407888*c_0101_2^14 - 3940840988271807767433653505280916291/19917653223239225384771494703\ 944*c_0101_2^12 + 4770533128150463149545929970947655681/39835306446\ 478450769542989407888*c_0101_2^10 - 877525868416613147243248765327596991/199176532232392253847714947039\ 44*c_0101_2^8 + 176511040030914263601140767351914801/19917653223239\ 225384771494703944*c_0101_2^6 - 15004720079285786721240259132092457\ /19917653223239225384771494703944*c_0101_2^4 + 31608623282513553888632121068464/2489706652904903173096436837993*c_\ 0101_2^2 - 49365876930487312214519551067515/39835306446478450769542\ 989407888, c_0101_1 - 31256175076748401156337631166134921/199176532232392253847714\ 94703944*c_0101_2^20 + 43406679961293298205784466212822142/24897066\ 52904903173096436837993*c_0101_2^18 - 144850552877093160214644245696904907/248970665290490317309643683799\ 3*c_0101_2^16 + 1882075371966768468732869560119726285/1991765322323\ 9225384771494703944*c_0101_2^14 - 931321614976436196987209564008284\ 883/9958826611619612692385747351972*c_0101_2^12 + 1178694242674249640509196361118007305/19917653223239225384771494703\ 944*c_0101_2^10 - 115366175241104434404268574730025717/497941330580\ 9806346192873675986*c_0101_2^8 + 2537002262574971775119942821460866\ 3/4979413305809806346192873675986*c_0101_2^6 - 1189194878077485434208906539547934/2489706652904903173096436837993*\ c_0101_2^4 + 7335617311703466536724361919381/9958826611619612692385\ 747351972*c_0101_2^2 - 3861501730810171303416346667873/199176532232\ 39225384771494703944, c_0101_2^22 - 309453/27869*c_0101_2^20 + 1032004/27869*c_0101_2^18 - 1678853/27869*c_0101_2^16 + 1671899/27869*c_0101_2^14 - 1071467/27869*c_0101_2^12 + 431945/27869*c_0101_2^10 - 102388/27869*c_0101_2^8 + 12368/27869*c_0101_2^6 - 18/899*c_0101_2^4 + 11/27869*c_0101_2^2 - 1/27869 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB