Magma V2.19-8 Tue Aug 20 2013 16:14:53 on localhost [Seed = 1899031833] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s856 geometric_solution 5.48439287 oriented_manifold CS_known -0.0000000000000001 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393441967013 0.249803230764 2 0 3 0 0132 2310 0132 0132 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 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.795116213058 0.900313068203 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 1 0 -1 -1 0 1 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 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.161979438805 1.023475671426 2 5 4 1 3201 0132 3201 0132 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 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.161979438805 1.023475671426 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 1 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 1 -1 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.508232308615 1.288466110864 5 3 5 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348448561033 0.991875783262 ==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' : d['1'], '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_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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], '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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_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' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], '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_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 22*c_0101_4^2 + 105*c_0101_4 - 109, c_0011_0 - 1, c_0011_1 + c_0101_4 - 1, c_0011_3 - c_0101_4^2 + 2*c_0101_4, c_0101_0 + c_0101_4^2 - 3*c_0101_4 + 1, c_0101_1 - c_0101_4^2 + 3*c_0101_4 - 1, c_0101_4^3 - 5*c_0101_4^2 + 6*c_0101_4 - 1 ], Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 30103628009078917523790585562393288627672/7723598231134510192810790\ 06028471566671*c_0101_4^24 + 42328256339663457742278955473012881398\ 7837/6178878584907608154248632048227772533368*c_0101_4^23 + 7392192060002682175758854977513546875477603/61788785849076081542486\ 32048227772533368*c_0101_4^22 - 57992541757955404429792138135269674\ 3079406/772359823113451019281079006028471566671*c_0101_4^21 + 661111889766259726526048638889956656306865/617887858490760815424863\ 2048227772533368*c_0101_4^20 + 684189943703106427608908780705634684\ 6727645/772359823113451019281079006028471566671*c_0101_4^19 + 32976195026024858769066909942725559146510045/1544719646226902038562\ 158012056943133342*c_0101_4^18 + 5466779190044812703384643072201048\ 7391570093/6178878584907608154248632048227772533368*c_0101_4^17 - 32354602666513750261073108100396314843677013/3089439292453804077124\ 316024113886266684*c_0101_4^16 + 1454883463053114396808334547617145\ 37830380503/3089439292453804077124316024113886266684*c_0101_4^15 + 849082599314279810003843564734575184287691405/617887858490760815424\ 8632048227772533368*c_0101_4^14 + 137523948897855178046311193539622\ 199997722547/3089439292453804077124316024113886266684*c_0101_4^13 - 119746045107738335401951649169311748100827807/363463446171035773779\ 331296954574854904*c_0101_4^12 - 4174307783635943912962778078837943\ 124522723373/6178878584907608154248632048227772533368*c_0101_4^11 - 1896260639546387060707630498456678104818138491/30894392924538040771\ 24316024113886266684*c_0101_4^10 - 1400152769372340231243860170249516344689978145/61788785849076081542\ 48632048227772533368*c_0101_4^9 + 451106616087510944361971097073778\ 590869902443/6178878584907608154248632048227772533368*c_0101_4^8 + 370248622200832953726612661850342636799557093/308943929245380407712\ 4316024113886266684*c_0101_4^7 + 1678766441792727356633042903778638\ 14770186581/3089439292453804077124316024113886266684*c_0101_4^6 + 14581105717995385091929854063823201570195135/3089439292453804077124\ 316024113886266684*c_0101_4^5 - 32975053800992952795607944105902379\ 19889860/772359823113451019281079006028471566671*c_0101_4^4 - 5014428429419069034312166274196936785522977/30894392924538040771243\ 16024113886266684*c_0101_4^3 - 642379169057641063896701361935614394\ 172042/772359823113451019281079006028471566671*c_0101_4^2 - 787849072831211907166930885681344560595455/617887858490760815424863\ 2048227772533368*c_0101_4 + 144547212323923779596907566062734611349\ 903/3089439292453804077124316024113886266684, c_0011_0 - 1, c_0011_1 - 1035459077373599552888227328429525225/1764385661024445503783\ 161635701819684*c_0101_4^24 + 1370319840732297289477998292076550409\ /1764385661024445503783161635701819684*c_0101_4^23 + 32701843423193288056573769139889533823/1764385661024445503783161635\ 701819684*c_0101_4^22 - 1616559818817147438561751151023389167/44109\ 6415256111375945790408925454921*c_0101_4^21 - 2399857349991234542534432186368697242/44109641525611137594579040892\ 5454921*c_0101_4^20 + 241918192805409933724313330742275051961/17643\ 85661024445503783161635701819684*c_0101_4^19 + 667273305788922872510381351285187518143/176438566102444550378316163\ 5701819684*c_0101_4^18 + 113171535912457335149248343852820155548/44\ 1096415256111375945790408925454921*c_0101_4^17 - 225165321101363438015045986258085232779/176438566102444550378316163\ 5701819684*c_0101_4^16 + 1152952292445605547772606185917733538491/1\ 764385661024445503783161635701819684*c_0101_4^15 + 2127320150843399798326957585065389480215/88219283051222275189158081\ 7850909842*c_0101_4^14 + 648959945727053758809698895182210619717/44\ 1096415256111375945790408925454921*c_0101_4^13 - 8572818353581043690956956169908661472329/17643856610244455037831616\ 35701819684*c_0101_4^12 - 21562225407116627121601331470739733018169\ /1764385661024445503783161635701819684*c_0101_4^11 - 11439983851711708489786248383903143544399/8821928305122227518915808\ 17850909842*c_0101_4^10 - 11611872613468320067815314042912651402379\ /1764385661024445503783161635701819684*c_0101_4^9 - 269956884599468190589065280595046964681/176438566102444550378316163\ 5701819684*c_0101_4^8 + 3147058761435581846591368819800478822259/17\ 64385661024445503783161635701819684*c_0101_4^7 + 434050484102098433224968132675180041513/441096415256111375945790408\ 925454921*c_0101_4^6 + 55029144154140037947565946707744257701/44109\ 6415256111375945790408925454921*c_0101_4^5 - 33489765917957902185244551321956429809/4410964152561113759457904089\ 25454921*c_0101_4^4 - 14912476031328571264262502513458446261/882192\ 830512222751891580817850909842*c_0101_4^3 - 11638848673984725577891275616911567645/1764385661024445503783161635\ 701819684*c_0101_4^2 - 3580137832093153591998226554871173269/882192\ 830512222751891580817850909842*c_0101_4 + 1713958059031120028576066150591420777/17643856610244455037831616357\ 01819684, c_0011_3 + 1236077508763025992641314429396703423658/7723598231134510192\ 81079006028471566671*c_0101_4^24 - 8170868764910153819791126961700856125343/30894392924538040771243160\ 24113886266684*c_0101_4^23 - 38290485378719780461457139855291007412\ 031/772359823113451019281079006028471566671*c_0101_4^22 + 80496716740147898378293885322528351746751/3089439292453804077124316\ 024113886266684*c_0101_4^21 + 1060242101075299713512352657436864631\ 2929/3089439292453804077124316024113886266684*c_0101_4^20 - 1144461492204343262331691879577445226556957/30894392924538040771243\ 16024113886266684*c_0101_4^19 - 70372237394171972808221188062378018\ 2424209/772359823113451019281079006028471566671*c_0101_4^18 - 1303181716777700477029106625419171597855093/30894392924538040771243\ 16024113886266684*c_0101_4^17 + 14042976682490784808669237024562459\ 96378779/3089439292453804077124316024113886266684*c_0101_4^16 - 2942001079557842543398120531653646665082589/15447196462269020385621\ 58012056943133342*c_0101_4^15 - 18224095695368154071037718577114979\ 234999859/3089439292453804077124316024113886266684*c_0101_4^14 - 6825795594469745173653928468247281841807247/30894392924538040771243\ 16024113886266684*c_0101_4^13 + 24981401815010547782166515777144452\ 59610079/181731723085517886889665648477287427452*c_0101_4^12 + 44813040330856899735150835878716820842597093/1544719646226902038562\ 158012056943133342*c_0101_4^11 + 8264875635699889617705471448667448\ 6144129573/3089439292453804077124316024113886266684*c_0101_4^10 + 31168744982080320599051489087098404389482599/3089439292453804077124\ 316024113886266684*c_0101_4^9 - 45340078292478883682069447411758175\ 54974835/1544719646226902038562158012056943133342*c_0101_4^8 - 14891619840803097641742636365545145680708583/3089439292453804077124\ 316024113886266684*c_0101_4^7 - 15025633599616522729396416043460925\ 90613686/772359823113451019281079006028471566671*c_0101_4^6 + 20918220001850421425210864203419585758477/1544719646226902038562158\ 012056943133342*c_0101_4^5 + 37310849653034171288107980418627468157\ 6887/1544719646226902038562158012056943133342*c_0101_4^4 + 37966120456799831638975825758354678018920/7723598231134510192810790\ 06028471566671*c_0101_4^3 + 192081474110113883350374036606011923385\ 39/772359823113451019281079006028471566671*c_0101_4^2 + 12344196896724087233977638486088553772789/3089439292453804077124316\ 024113886266684*c_0101_4 - 1187868668675491801800255679158682446512\ 7/3089439292453804077124316024113886266684, c_0101_0 + 715331245368047624388440510773915689953/15447196462269020385\ 62158012056943133342*c_0101_4^24 - 1636618401438739210299135948393760433701/30894392924538040771243160\ 24113886266684*c_0101_4^23 - 22711230327013639152283516796857576875\ 377/1544719646226902038562158012056943133342*c_0101_4^22 + 670171587768220137537314972824606005591/308943929245380407712431602\ 4113886266684*c_0101_4^21 + 117852441731257632266537171062485703375\ 67/3089439292453804077124316024113886266684*c_0101_4^20 - 330642417237116893678873093887651092390019/308943929245380407712431\ 6024113886266684*c_0101_4^19 - 245711740408772572587807242914882126\ 835832/772359823113451019281079006028471566671*c_0101_4^18 - 812173826479611858081430527204585223445057/308943929245380407712431\ 6024113886266684*c_0101_4^17 + 137825218503757501913006588539235729\ 997831/3089439292453804077124316024113886266684*c_0101_4^16 - 789044050212099718974257352429750575077415/154471964622690203856215\ 8012056943133342*c_0101_4^15 - 615500477966014818423007298667755469\ 7899705/3089439292453804077124316024113886266684*c_0101_4^14 - 4754674942805621888642838747126763922153427/30894392924538040771243\ 16024113886266684*c_0101_4^13 + 63692548307977370509193973769193776\ 9741215/181731723085517886889665648477287427452*c_0101_4^12 + 7920034163316799189541441154618435509341302/77235982311345101928107\ 9006028471566671*c_0101_4^11 + 377021864640314200977740667083582829\ 75753947/3089439292453804077124316024113886266684*c_0101_4^10 + 23655966730632342250438850891678234383491825/3089439292453804077124\ 316024113886266684*c_0101_4^9 + 13596900040687458195456488075683557\ 23416701/772359823113451019281079006028471566671*c_0101_4^8 - 3013143654335562750881825136222040666651329/30894392924538040771243\ 16024113886266684*c_0101_4^7 - 149701947326456986789200627119879892\ 5638639/1544719646226902038562158012056943133342*c_0101_4^6 - 499690820423304377225432135812067978440669/154471964622690203856215\ 8012056943133342*c_0101_4^5 - 1583653827347083135761946625751537488\ 7877/772359823113451019281079006028471566671*c_0101_4^4 + 14975606970330725818364881237765853015657/1544719646226902038562158\ 012056943133342*c_0101_4^3 + 12723050289929763853607880373497805418\ 981/1544719646226902038562158012056943133342*c_0101_4^2 + 16052013779306822262787840949439256249123/3089439292453804077124316\ 024113886266684*c_0101_4 - 1782889427896521770506923184915836801571\ /3089439292453804077124316024113886266684, c_0101_1 + 110117920297080685483210059135386909/17643856610244455037831\ 61635701819684*c_0101_4^24 - 357560757721218052640478053754698397/1\ 764385661024445503783161635701819684*c_0101_4^23 - 3071493340945984312822933894939129169/17643856610244455037831616357\ 01819684*c_0101_4^22 + 1773973912446879651068055892743964308/441096\ 415256111375945790408925454921*c_0101_4^21 - 1014179468205235251823094001147619307/44109641525611137594579040892\ 5454921*c_0101_4^20 - 23416249959587421920798858690058506165/176438\ 5661024445503783161635701819684*c_0101_4^19 - 23097481673600051333809136267805404979/1764385661024445503783161635\ 701819684*c_0101_4^18 + 30028484224764071891064442875629997445/8821\ 92830512222751891580817850909842*c_0101_4^17 + 61392469630204263990932587185944834459/1764385661024445503783161635\ 701819684*c_0101_4^16 - 165152799782282236621482325396010886293/176\ 4385661024445503783161635701819684*c_0101_4^15 - 85165770826434941642481462459899456899/8821928305122227518915808178\ 50909842*c_0101_4^14 + 106656843010837630573449002727530028816/4410\ 96415256111375945790408925454921*c_0101_4^13 + 1074402591508708837160427894178943689097/17643856610244455037831616\ 35701819684*c_0101_4^12 + 603416857384025034848442771073608870465/1\ 764385661024445503783161635701819684*c_0101_4^11 - 213679534569160229914722564796711259151/441096415256111375945790408\ 925454921*c_0101_4^10 - 1767683526641988649258088752923291083697/17\ 64385661024445503783161635701819684*c_0101_4^9 - 1374730224499031450448705273541872374273/17643856610244455037831616\ 35701819684*c_0101_4^8 - 565172354449433149042548784315004565843/17\ 64385661024445503783161635701819684*c_0101_4^7 - 30254534792957726455458280680994900182/4410964152561113759457904089\ 25454921*c_0101_4^6 + 11727325819610951429850694638578030607/882192\ 830512222751891580817850909842*c_0101_4^5 + 12923846921613971136385378818529001055/8821928305122227518915808178\ 50909842*c_0101_4^4 + 9770282720302795633984052459967040507/8821928\ 30512222751891580817850909842*c_0101_4^3 + 8946317295491099360555121445846290891/17643856610244455037831616357\ 01819684*c_0101_4^2 - 377149277268468983583887012251331864/44109641\ 5256111375945790408925454921*c_0101_4 + 304121553487320229446008887939812529/176438566102444550378316163570\ 1819684, c_0101_4^25 - c_0101_4^24 - 32*c_0101_4^23 - 4*c_0101_4^22 + 11*c_0101_4^21 - 230*c_0101_4^20 - 720*c_0101_4^19 - 648*c_0101_4^18 + 74*c_0101_4^17 - 1036*c_0101_4^16 - 4458*c_0101_4^15 - 3849*c_0101_4^14 + 7450*c_0101_4^13 + 23550*c_0101_4^12 + 28962*c_0101_4^11 + 18430*c_0101_4^10 + 3738*c_0101_4^9 - 3269*c_0101_4^8 - 2927*c_0101_4^7 - 864*c_0101_4^6 + 56*c_0101_4^5 + 90*c_0101_4^4 + 29*c_0101_4^3 + 12*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB