Magma V2.19-8 Tue Aug 20 2013 16:14:49 on localhost [Seed = 678016071] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s795 geometric_solution 5.34268270 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 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 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.482971767636 0.610488665866 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 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 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.576592279920 0.572333178929 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 -1 1 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 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.576592279920 0.572333178929 1 5 2 5 0132 0132 2310 1023 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 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.148525853298 1.190604519288 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 1.126407001156 0.867140049443 5 3 5 3 2310 0132 3201 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580040377169 0.328621433479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_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_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 3538936352534672467628360755428643205706/24985767920840621843178029\ 4801819584557*c_0101_5^18 + 310442414693283507628169723621741924145\ 06/249857679208406218431780294801819584557*c_0101_5^17 - 28065113719219176695102691210539484004171/4997153584168124368635605\ 89603639169114*c_0101_5^16 - 20251825556357892738017660938125508784\ 0398/249857679208406218431780294801819584557*c_0101_5^15 - 190646203129972649250381049667486455703650/249857679208406218431780\ 294801819584557*c_0101_5^14 - 3490642772099244405093502939829447872\ 291371/499715358416812436863560589603639169114*c_0101_5^13 + 1615353463328975143753087401872515243319535/24985767920840621843178\ 0294801819584557*c_0101_5^12 + 162770781852916150990012447772631833\ 92927545/499715358416812436863560589603639169114*c_0101_5^11 + 4168246909127689187394654646516207752577021/49971535841681243686356\ 0589603639169114*c_0101_5^10 + 494408934368845624570138140694826992\ 4800543/499715358416812436863560589603639169114*c_0101_5^9 - 23109187784105287693253251391858806376067803/4997153584168124368635\ 60589603639169114*c_0101_5^8 - 187511388988352857808330659948276105\ 02727855/249857679208406218431780294801819584557*c_0101_5^7 - 777596907746987181689387947290662089916067/384396429551394182202738\ 91507972243778*c_0101_5^6 - 238426905663922604115590917399795113594\ 53165/499715358416812436863560589603639169114*c_0101_5^5 - 3235220696847314478842280591868799983101052/24985767920840621843178\ 0294801819584557*c_0101_5^4 - 1689463562927895350163980925177589278\ 43664/19219821477569709110136945753986121889*c_0101_5^3 - 457845814512378067436705891787292936620215/499715358416812436863560\ 589603639169114*c_0101_5^2 - 14393858473082607441110832039614934130\ 2979/499715358416812436863560589603639169114*c_0101_5 + 28970061800631239089031431869896010526531/4997153584168124368635605\ 89603639169114, c_0011_0 - 1, c_0011_1 + 4065886557026561371371196452966087/3605970258455855367755524\ 5317047133*c_0101_5^18 - 36473455451545616689911905558693719/360597\ 02584558553677555245317047133*c_0101_5^17 + 22914861969096495960615755757858241/3605970258455855367755524531704\ 7133*c_0101_5^16 + 232180399118420276373696726219497297/36059702584\ 558553677555245317047133*c_0101_5^15 + 169840458088468016471919039987017067/360597025845585536775552453170\ 47133*c_0101_5^14 + 1946347901517183918506448472436953297/360597025\ 84558553677555245317047133*c_0101_5^13 - 2256374401582080007007951729676112960/36059702584558553677555245317\ 047133*c_0101_5^12 - 9110496035762920207314281444551539480/36059702\ 584558553677555245317047133*c_0101_5^11 - 304308800626423435161837323742948039/360597025845585536775552453170\ 47133*c_0101_5^10 - 1813719511497199994764753771669981587/360597025\ 84558553677555245317047133*c_0101_5^9 + 13493844981379920755204352459102495959/3605970258455855367755524531\ 7047133*c_0101_5^8 + 18990660344732797521485188591720083253/3605970\ 2584558553677555245317047133*c_0101_5^7 + 515576342617618558850848981881374863/360597025845585536775552453170\ 47133*c_0101_5^6 + 11776430953859859842243357259489775395/360597025\ 84558553677555245317047133*c_0101_5^5 + 1758083425819817091091543794481736139/36059702584558553677555245317\ 047133*c_0101_5^4 + 1065666336503316193090970522653329157/360597025\ 84558553677555245317047133*c_0101_5^3 + 90483023550793571087299604038471483/3605970258455855367755524531704\ 7133*c_0101_5^2 - 3941928340766428770572485535936957/36059702584558\ 553677555245317047133*c_0101_5 + 8168788342879467663375197850465607\ /36059702584558553677555245317047133, c_0101_0 + 3809109521954333074079847644250/2064092878337639019894404425\ 7039*c_0101_5^18 - 34090480428780789950325651377648/206409287833763\ 90198944044257039*c_0101_5^17 + 21024538707506873459302870749588/20\ 640928783376390198944044257039*c_0101_5^16 + 215369556120952790230776673569143/20640928783376390198944044257039*\ c_0101_5^15 + 166698744525524685563890549030929/2064092878337639019\ 8944044257039*c_0101_5^14 + 1841393896246695068693160406356446/2064\ 0928783376390198944044257039*c_0101_5^13 - 2074513803043389335619693428939873/20640928783376390198944044257039\ *c_0101_5^12 - 8458120119529927348129427576808612/20640928783376390\ 198944044257039*c_0101_5^11 - 695288888933522322834335266640302/206\ 40928783376390198944044257039*c_0101_5^10 - 2222862611721121715588410581173320/20640928783376390198944044257039\ *c_0101_5^9 + 12987669263804787577321561073657652/20640928783376390\ 198944044257039*c_0101_5^8 + 17988167505569748725937484491817001/20\ 640928783376390198944044257039*c_0101_5^7 + 1795830705783840130801319590837640/20640928783376390198944044257039\ *c_0101_5^6 + 11712941546040817046292663872789511/20640928783376390\ 198944044257039*c_0101_5^5 + 1035182201968237542861641157670667/206\ 40928783376390198944044257039*c_0101_5^4 + 1733997973818451589964179181294534/20640928783376390198944044257039\ *c_0101_5^3 - 183862288452212496313074735583009/2064092878337639019\ 8944044257039*c_0101_5^2 - 3394992840241505729177354510291/20640928\ 783376390198944044257039*c_0101_5 - 16008591876924955450410221496396/20640928783376390198944044257039, c_0101_1 + 1774028208643590359019624946914/2064092878337639019894404425\ 7039*c_0101_5^18 - 15845509485214112778050032396707/206409287833763\ 90198944044257039*c_0101_5^17 + 9552413512565841598452511884902/206\ 40928783376390198944044257039*c_0101_5^16 + 100098332996798729132410195788781/20640928783376390198944044257039*\ c_0101_5^15 + 79625712973308147854239722889279/20640928783376390198\ 944044257039*c_0101_5^14 + 861381343927793388421487706604169/206409\ 28783376390198944044257039*c_0101_5^13 - 948691923996140314932117310817677/20640928783376390198944044257039*\ c_0101_5^12 - 3935271581209766024110483015685235/206409287833763901\ 98944044257039*c_0101_5^11 - 415450405015615282489391061724926/2064\ 0928783376390198944044257039*c_0101_5^10 - 1136425235436115375986676123980469/20640928783376390198944044257039\ *c_0101_5^9 + 6006917624250148930689899468493145/206409287833763901\ 98944044257039*c_0101_5^8 + 8455546054193797636605836087442961/2064\ 0928783376390198944044257039*c_0101_5^7 + 1141013174292651374464360238086646/20640928783376390198944044257039\ *c_0101_5^6 + 5670959968495619182234479961288479/206409287833763901\ 98944044257039*c_0101_5^5 + 635845002730676527211786561302263/20640\ 928783376390198944044257039*c_0101_5^4 + 955356817667185668053415413396357/20640928783376390198944044257039*\ c_0101_5^3 - 50631884934890647595037458217345/206409287833763901989\ 44044257039*c_0101_5^2 + 60088873519380690741212405539117/206409287\ 83376390198944044257039*c_0101_5 - 6109908354454207057470277128824/20640928783376390198944044257039, c_0101_4 - 1543961193134363190825455018379796/3605970258455855367755524\ 5317047133*c_0101_5^18 + 12106718418527410979309953944438511/360597\ 02584558553677555245317047133*c_0101_5^17 + 6784860029259659944305840582375974/36059702584558553677555245317047\ 133*c_0101_5^16 - 96604342456988079963391164865013343/3605970258455\ 8553677555245317047133*c_0101_5^15 - 164903336301328274351010980240460265/360597025845585536775552453170\ 47133*c_0101_5^14 - 821385025636719146920217682093513396/3605970258\ 4558553677555245317047133*c_0101_5^13 + 16419400906555226105914659567068692/3605970258455855367755524531704\ 7133*c_0101_5^12 + 4358172292501077802371734232026038748/3605970258\ 4558553677555245317047133*c_0101_5^11 + 4114590493587890719712273932692890033/36059702584558553677555245317\ 047133*c_0101_5^10 + 1197786607081399607484960518024963735/36059702\ 584558553677555245317047133*c_0101_5^9 - 4388277705060749680785170030375187372/36059702584558553677555245317\ 047133*c_0101_5^8 - 13116673466045034050186942105546744871/36059702\ 584558553677555245317047133*c_0101_5^7 - 8882287167401350048114901446225163858/36059702584558553677555245317\ 047133*c_0101_5^6 - 5384237414423952628038169581179504434/360597025\ 84558553677555245317047133*c_0101_5^5 - 5417494544140337149745229614954619891/36059702584558553677555245317\ 047133*c_0101_5^4 - 1193361383019016632324777192202265034/360597025\ 84558553677555245317047133*c_0101_5^3 - 539295191680118514492544907302628280/360597025845585536775552453170\ 47133*c_0101_5^2 + 51951457453462817877155595609107170/360597025845\ 58553677555245317047133*c_0101_5 + 2310839793156612795118330793478405/36059702584558553677555245317047\ 133, c_0101_5^19 - 9*c_0101_5^18 + 6*c_0101_5^17 + 56*c_0101_5^16 + 41*c_0101_5^15 + 483*c_0101_5^14 - 567*c_0101_5^13 - 2178*c_0101_5^12 - 83*c_0101_5^11 - 648*c_0101_5^10 + 3410*c_0101_5^9 + 4535*c_0101_5^8 + 341*c_0101_5^7 + 3229*c_0101_5^6 + 178*c_0101_5^5 + 524*c_0101_5^4 - 50*c_0101_5^3 + 20*c_0101_5^2 - 7*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB