Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 3229703384] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s728 geometric_solution 5.24150617 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278135398597 0.247519073151 2 0 3 0 0132 2310 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 0 0 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.715477473553 1.538010869364 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 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.069318493660 0.963651251125 5 4 2 1 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.069318493660 0.963651251125 4 4 3 2 1302 2031 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0.402705898955 0.549520570903 5 3 2 5 3201 1023 0132 2310 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 -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.645795736092 1.074919907482 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0101_0, c_0101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1118203818704843354187838988611505393862465/34811557763234365530708\ 594007137585914944*c_0101_1^20 + 7595348069622154757022666594816090\ 15999915/17405778881617182765354297003568792957472*c_0101_1^19 + 7296459568428699548203866713415312304120121/34811557763234365530708\ 594007137585914944*c_0101_1^18 - 6524489580476130590198762335831028\ 4062736677/34811557763234365530708594007137585914944*c_0101_1^17 + 25876157174490385819978476534114162845203173/2677812135633412733131\ 430308241352762688*c_0101_1^16 - 2394002313878395491199775852971983\ 55383857691/17405778881617182765354297003568792957472*c_0101_1^15 - 1398570101351821999967372214708689214830603531/34811557763234365530\ 708594007137585914944*c_0101_1^14 + 3532640246731688370872085767756339119862964745/17405778881617182765\ 354297003568792957472*c_0101_1^13 - 15950504868389792200874067662937869247296383851/3481155776323436553\ 0708594007137585914944*c_0101_1^12 + 21179990535115254212376131773212937050448515405/3481155776323436553\ 0708594007137585914944*c_0101_1^11 - 3014591307974684092799667778506988983703076843/87028894408085913826\ 77148501784396478736*c_0101_1^10 - 114078673000520732044524146049082154451821805/133890606781670636656\ 5715154120676381344*c_0101_1^9 + 6517152805453880498291805216758373\ 68062899713/17405778881617182765354297003568792957472*c_0101_1^8 + 443937719407494735581117138798192180862628005/870288944080859138267\ 7148501784396478736*c_0101_1^7 + 1454812851138942697536275436611530\ 185142163807/17405778881617182765354297003568792957472*c_0101_1^6 - 630977485151639691468388451547724595179893793/348115577632343655307\ 08594007137585914944*c_0101_1^5 - 884915124480151592239923867802827\ 380725952453/34811557763234365530708594007137585914944*c_0101_1^4 - 32442070627671956941548083730829499073990563/4973079680462052218672\ 656286733940844992*c_0101_1^3 + 79411796790676436108352718853872312\ 499845/1243269920115513054668164071683485211248*c_0101_1^2 + 4038230176971978197220343568361818227837727/49730796804620522186726\ 56286733940844992*c_0101_1 + 29948288516784833795277917258449965271\ 93725/34811557763234365530708594007137585914944, c_0011_0 - 1, c_0011_1 - 166125345853291313143244580611/34480369172140620004778370712\ 7*c_0101_1^20 + 239044231495637052952089570314/34480369172140620004\ 7783707127*c_0101_1^19 + 1056640692724560817632070785404/3448036917\ 21406200047783707127*c_0101_1^18 - 9765872776344623353159856333380/344803691721406200047783707127*c_01\ 01_1^17 + 50810739458887682669184549103197/344803691721406200047783\ 707127*c_0101_1^16 - 75699648931863554900163774454966/3448036917214\ 06200047783707127*c_0101_1^15 - 199163732481324878310753698621846/3\ 44803691721406200047783707127*c_0101_1^14 + 1061731893341045111912089664651896/344803691721406200047783707127*c\ _0101_1^13 - 2464184260538377301388359820270657/3448036917214062000\ 47783707127*c_0101_1^12 + 3396846232777350089513951599872938/344803\ 691721406200047783707127*c_0101_1^11 - 2190315003198268638138569457995310/344803691721406200047783707127*c\ _0101_1^10 - 82300309918448851110914588851842/344803691721406200047\ 783707127*c_0101_1^9 + 63909909251452732848994787563937/34480369172\ 1406200047783707127*c_0101_1^8 + 286003623161966900683176475948119/\ 344803691721406200047783707127*c_0101_1^7 + 398293712281173101141288933233179/344803691721406200047783707127*c_\ 0101_1^6 - 112600123434917063258913420576799/3448036917214062000477\ 83707127*c_0101_1^5 - 105714447600899749777322018409463/34480369172\ 1406200047783707127*c_0101_1^4 - 31476606181139484621280824449463/3\ 44803691721406200047783707127*c_0101_1^3 + 1315723597689923115617617300452/344803691721406200047783707127*c_01\ 01_1^2 + 3013394173080094034064375667726/34480369172140620004778370\ 7127*c_0101_1 + 156137605458651466314145044046/34480369172140620004\ 7783707127, c_0011_3 + 689693657929038030159856269850529531863/13389060678167063665\ 65715154120676381344*c_0101_1^20 - 396947383077227785421594153824968023229/669453033908353183282857577\ 060338190672*c_0101_1^19 - 4735444744405319554531172493145891886463\ /1338906067816706366565715154120676381344*c_0101_1^18 + 39378365076876035651176516133385495985491/1338906067816706366565715\ 154120676381344*c_0101_1^17 - 1529933946380687167676596794270619434\ 2675/102992774447438951274285781086205875488*c_0101_1^16 + 124910604822149295899784337490949494138333/669453033908353183282857\ 577060338190672*c_0101_1^15 + 9369806896585008999796429559391347870\ 22685/1338906067816706366565715154120676381344*c_0101_1^14 - 2100401599124231166943272157813863744640319/66945303390835318328285\ 7577060338190672*c_0101_1^13 + 889053044671202496260147590033251176\ 2189341/1338906067816706366565715154120676381344*c_0101_1^12 - 10749943273877540007748171476528018364699467/1338906067816706366565\ 715154120676381344*c_0101_1^11 + 1013323474649460943930786551792674\ 235161981/334726516954176591641428788530169095336*c_0101_1^10 + 168134010690194605432462727160502318948299/514963872237194756371428\ 90543102937744*c_0101_1^9 - 598125412078666191581348466482389028924\ 935/669453033908353183282857577060338190672*c_0101_1^8 - 280011800525986309239828733896576514308467/334726516954176591641428\ 788530169095336*c_0101_1^7 - 10082984521103300049404872282197993825\ 16217/669453033908353183282857577060338190672*c_0101_1^6 + 86823989458138245586182143490502893549975/1338906067816706366565715\ 154120676381344*c_0101_1^5 + 70386747415707748278047808871933113425\ 8419/1338906067816706366565715154120676381344*c_0101_1^4 + 29654598016231966805917864920896787630789/1912722954023866237951021\ 64874382340192*c_0101_1^3 + 367156915346010703809672508441993270629\ /47818073850596655948775541218595585048*c_0101_1^2 - 2709290094897396965215946354046510598121/19127229540238662379510216\ 4874382340192*c_0101_1 - 3801385861638864710296056758100093125083/1\ 338906067816706366565715154120676381344, c_0011_4 + 856802383957509928373529152099062311635/13389060678167063665\ 65715154120676381344*c_0101_1^20 - 532861330579650517973250924603685493601/669453033908353183282857577\ 060338190672*c_0101_1^19 - 5726092821235989796625315683507128907995\ /1338906067816706366565715154120676381344*c_0101_1^18 + 49350372305490092612322983745823106098143/1338906067816706366565715\ 154120676381344*c_0101_1^17 - 1938463225197548145977208482975313338\ 8063/102992774447438951274285781086205875488*c_0101_1^16 + 168614877166583777643953176850754025596385/669453033908353183282857\ 577060338190672*c_0101_1^15 + 1114012645691937899434452376768162939\ 399473/1338906067816706366565715154120676381344*c_0101_1^14 - 2645117010377758304451958196081007691897835/66945303390835318328285\ 7577060338190672*c_0101_1^13 + 115960989715743522456622941820275207\ 07116465/1338906067816706366565715154120676381344*c_0101_1^12 - 14818674134328462286727203077591306371305111/1338906067816706366565\ 715154120676381344*c_0101_1^11 + 1844821301351997156957544625400065\ 931962241/334726516954176591641428788530169095336*c_0101_1^10 + 126611861171258388280304446079044145458247/514963872237194756371428\ 90543102937744*c_0101_1^9 - 316039628848519192276472724467267887037\ 315/669453033908353183282857577060338190672*c_0101_1^8 - 400970550324069912615500693966474096138639/334726516954176591641428\ 788530169095336*c_0101_1^7 - 11624952132862050525264728869360962848\ 34317/669453033908353183282857577060338190672*c_0101_1^6 + 219048817158475797783309836203151052667635/133890606781670636656571\ 5154120676381344*c_0101_1^5 + 7404557362862800836796487461978892529\ 85087/1338906067816706366565715154120676381344*c_0101_1^4 + 36789632321328965367901568633909210125369/1912722954023866237951021\ 64874382340192*c_0101_1^3 + 376487411577195610983773468545420804513\ /47818073850596655948775541218595585048*c_0101_1^2 - 2641778858073401463327161216364500684813/19127229540238662379510216\ 4874382340192*c_0101_1 - 3933879692810673568460728023375692111623/1\ 338906067816706366565715154120676381344, c_0101_0 - 406176285250780714934067364616673517455/33472651695417659164\ 1428788530169095336*c_0101_1^20 + 261664898772706960894953986201095\ 065757/167363258477088295820714394265084547668*c_0101_1^19 + 2687129213014611164227447498728786548663/33472651695417659164142878\ 8530169095336*c_0101_1^18 - 235129181376566306025660307023359353907\ 79/334726516954176591641428788530169095336*c_0101_1^17 + 9272559589772756928575465411690828128403/25748193611859737818571445\ 271551468872*c_0101_1^16 - 8272888223843097200285321834938260598407\ 3/167363258477088295820714394265084547668*c_0101_1^15 - 519718497775761150606907593142404319660261/334726516954176591641428\ 788530169095336*c_0101_1^14 + 1265206753733735043685280036888543161\ 992643/167363258477088295820714394265084547668*c_0101_1^13 - 5616800310691289025347991101710369868149397/33472651695417659164142\ 8788530169095336*c_0101_1^12 + 729709068985758524285506392505148945\ 1823443/334726516954176591641428788530169095336*c_0101_1^11 - 964846758388515027581004690651423584504879/836816292385441479103571\ 97132542273834*c_0101_1^10 - 52503816429308546180946720998878292456\ 479/12874096805929868909285722635775734436*c_0101_1^9 + 197257226439527468979846369373311599443459/167363258477088295820714\ 394265084547668*c_0101_1^8 + 16816134215844809555803560750088042420\ 2499/83681629238544147910357197132542273834*c_0101_1^7 + 545866335650116537907384806100517844502197/167363258477088295820714\ 394265084547668*c_0101_1^6 - 15195394009593707530073862572842741550\ 9415/334726516954176591641428788530169095336*c_0101_1^5 - 331833576507521814142146166214842202698291/334726516954176591641428\ 788530169095336*c_0101_1^4 - 14682423711694063080832074755532823344\ 629/47818073850596655948775541218595585048*c_0101_1^3 - 188548864460345001206698137281152011737/119545184626491639871938853\ 04648896262*c_0101_1^2 + 1223732921152907151825324383414282980745/4\ 7818073850596655948775541218595585048*c_0101_1 + 1599048946997006851266969070328032579995/33472651695417659164142878\ 8530169095336, c_0101_1^21 - c_0101_1^20 - 7*c_0101_1^19 + 56*c_0101_1^18 - 280*c_0101_1^17 + 321*c_0101_1^16 + 1401*c_0101_1^15 - 5867*c_0101_1^14 + 12017*c_0101_1^13 - 13894*c_0101_1^12 + 4123*c_0101_1^11 + 6382*c_0101_1^10 - 200*c_0101_1^9 - 1918*c_0101_1^8 - 3170*c_0101_1^7 - 373*c_0101_1^6 + 954*c_0101_1^5 + 478*c_0101_1^4 + 77*c_0101_1^3 - 21*c_0101_1^2 - 10*c_0101_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB