Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 1014866150] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1702 geometric_solution 5.41494038 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.279992511530 0.163562540736 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -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 1 -1 -1 0 1 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.057178426841 1.391975800217 1 4 5 3 0132 0132 0132 1230 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 1 0 -1 1 0 0 -1 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.992504488884 1.252695380109 2 5 4 1 3012 1023 3201 0132 0 0 0 0 0 1 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 1 0 -1 1 0 0 -1 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.992504488884 1.252695380109 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.389853450131 0.484734284680 3 6 6 2 1023 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 -1 0 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 0.776350295139 0.491160793210 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 -1 1 -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 -1 1 -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 1.577740785523 0.503662331431 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], '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_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), '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_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], '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' : d['c_0101_3'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 2808457299808440664694572272531932289989334120116089558654819905247\ 9203/43347345933487090542117173720394943603971276305845701856964428\ 77878272*c_0101_6^33 - 22494211203420781826784387267815323467530922\ 432475575691771507428485081/246291738258449378080211214320425815931\ 65497901048694236911607260672*c_0101_6^31 + 1691840002124591493387970236054866759047803061191506394043980210149\ 4152947/54184182416858863177646467150493679504964095382307127321205\ 5359734784*c_0101_6^29 - 329495925563552990484623017586851719749452\ 854082744140993979539920653663879/433473459334870905421171737203949\ 4360397127630584570185696442877878272*c_0101_6^27 + 1407170607366526261493024867000461993075339341589724531880026331115\ 905641763/433473459334870905421171737203949436039712763058457018569\ 6442877878272*c_0101_6^25 - 940863213819058323136346754534578509443\ 24920789745286707564393700593507604877/4334734593348709054211717372\ 039494360397127630584570185696442877878272*c_0101_6^23 + 1577678635721035257152616766199891493760804461705414800856589257783\ 78010383301/4334734593348709054211717372039494360397127630584570185\ 696442877878272*c_0101_6^21 - 9759820991571267782253223268274380986\ 2357247659094320144196733368567792264609/21673672966743545271058586\ 86019747180198563815292285092848221438939136*c_0101_6^19 + 1152379164750642002153994008021303903172327735699036195192292306855\ 19783374627/2167367296674354527105858686019747180198563815292285092\ 848221438939136*c_0101_6^17 - 1039132574110564717142139988969936621\ 0142975206179283241156466980494951693845/10836836483371772635529293\ 43009873590099281907646142546424110719469568*c_0101_6^15 - 4104177476861923644911544861974712411710426444658101947668431713149\ 6896312845/43347345933487090542117173720394943603971276305845701856\ 96442877878272*c_0101_6^13 - 25911612179514490639301564609495774370\ 61395464221877709692864605354863763707/4334734593348709054211717372\ 039494360397127630584570185696442877878272*c_0101_6^11 + 9056035262718808895701507342605125347236339238092305393275064524542\ 163231427/433473459334870905421171737203949436039712763058457018569\ 6442877878272*c_0101_6^9 - 4261733395549575374153548925917573203621\ 68813505407222752604889921476171337/1083683648337177263552929343009\ 873590099281907646142546424110719469568*c_0101_6^7 + 3233966435752447098107405960391244452645208602491849471161252546922\ 15563349/4334734593348709054211717372039494360397127630584570185696\ 442877878272*c_0101_6^5 - 32838528060234255277894834018929417955889\ 760861081639137635815748670158707/433473459334870905421171737203949\ 4360397127630584570185696442877878272*c_0101_6^3 + 4502209265695219366622862271260778012439852604675029054790274651102\ 47279/5418418241685886317764646715049367950496409538230712732120553\ 59734784*c_0101_6, c_0011_0 - 1, c_0011_1 - 143358471079229379259420994158832461180820283784218897576828\ 53967/3078646728230617226002640179005322699145687237631086779613950\ 907584*c_0101_6^32 + 5050758344534942199398384193251586918713966191\ 20683220899425180031/7696616820576543065006600447513306747864218094\ 07771694903487726896*c_0101_6^30 - 1725204690267860015055638976473564041541456363817223525963971399931\ 9/76966168205765430650066004475133067478642180940777169490348772689\ 6*c_0101_6^28 + 165463152261151873002256139453412595975626056927009\ 032852421660954127/307864672823061722600264017900532269914568723763\ 1086779613950907584*c_0101_6^26 - 712119508106016856633546844998330\ 368102693403609798275041549458483087/307864672823061722600264017900\ 5322699145687237631086779613950907584*c_0101_6^24 + 4799862474685292446693324078898544262019046133979980387064541096068\ 0557/30786467282306172260026401790053226991456872376310867796139509\ 07584*c_0101_6^22 - 78629425413264915505596591139301008961410260074\ 951435738965130543494865/307864672823061722600264017900532269914568\ 7237631086779613950907584*c_0101_6^20 + 4839994828716667375430467222092382323560338882358402131066238073354\ 9843/15393233641153086130013200895026613495728436188155433898069754\ 53792*c_0101_6^18 - 56889564481201394832939716421263313534974149523\ 982671067254402385610845/153932336411530861300132008950266134957284\ 3618815543389806975453792*c_0101_6^16 + 1043747352904725108247895570554713867110267565746011182977508390545\ 141/192415420514413576625165011187832668696605452351942923725871931\ 724*c_0101_6^14 + 2163464315552745442863851300490183719063950130187\ 6904612112552266622733/30786467282306172260026401790053226991456872\ 37631086779613950907584*c_0101_6^12 + 1456017283388256666688680804307866508935647742814944662512083357721\ 615/307864672823061722600264017900532269914568723763108677961395090\ 7584*c_0101_6^10 - 468347749091736146987829675705285201451113627697\ 8389958315810919052275/30786467282306172260026401790053226991456872\ 37631086779613950907584*c_0101_6^8 + 2088723911335508331777634452544602913735936537616216355990239131327\ 23/7696616820576543065006600447513306747864218094077716949034877268\ 96*c_0101_6^6 - 622290063818569680606898782130754018012101080255758\ 05910155239653089/3078646728230617226002640179005322699145687237631\ 086779613950907584*c_0101_6^4 + 11229259553829217098739456796743779\ 774923890978361243815217270185019/307864672823061722600264017900532\ 2699145687237631086779613950907584*c_0101_6^2 - 399402038668784583385853145063170982343018123827323019013022850495/\ 384830841028827153250330022375665337393210904703885847451743863448, c_0011_3 + 303361448641607331682558885224086973787537657699147767377558\ 86731/3078646728230617226002640179005322699145687237631086779613950\ 907584*c_0101_6^32 - 1069528001954032913063765438452111370295469497\ 976269109509978986319/769661682057654306500660044751330674786421809\ 407771694903487726896*c_0101_6^30 + 3661031747608727170358643861502066642794598329629197906720008255048\ 3/76966168205765430650066004475133067478642180940777169490348772689\ 6*c_0101_6^28 - 364072401681870689649511686346203775082455217615649\ 981130241556983803/307864672823061722600264017900532269914568723763\ 1086779613950907584*c_0101_6^26 + 153353446498995434510581470252621\ 1595971862840653849470079612783326459/30786467282306172260026401790\ 05322699145687237631086779613950907584*c_0101_6^24 - 1017015144673247947679914917509364637506451261645484328759036241197\ 73057/3078646728230617226002640179005322699145687237631086779613950\ 907584*c_0101_6^22 + 1761609950911018627174794478340489883550955588\ 43056287743588278429326453/3078646728230617226002640179005322699145\ 687237631086779613950907584*c_0101_6^20 - 1079200321551465166049322929886697140379490738526607257037061539793\ 73559/1539323364115308613001320089502661349572843618815543389806975\ 453792*c_0101_6^18 + 1271942105875155124280788621026619801858968555\ 98185483801519453416629585/1539323364115308613001320089502661349572\ 843618815543389806975453792*c_0101_6^16 - 7974824780602130098993370789967710977053246667316826692664236065919\ 77/4810385512860339415629125279695816717415136308798573093146798293\ 1*c_0101_6^14 - 512010629177627292014600084567578682006291222266353\ 31910662269186122209/3078646728230617226002640179005322699145687237\ 631086779613950907584*c_0101_6^12 - 7645146621512014004865561728277598530799097209724733240507506301524\ 27/3078646728230617226002640179005322699145687237631086779613950907\ 584*c_0101_6^10 + 1173218905737195702954975187677100761201731349585\ 1296958915262286462159/30786467282306172260026401790053226991456872\ 37631086779613950907584*c_0101_6^8 - 4677649558865258720644600532817795980361287291646017621398124072567\ 31/7696616820576543065006600447513306747864218094077716949034877268\ 96*c_0101_6^6 + 152404382334474044932624849924179229255561584145138\ 559872262380718677/307864672823061722600264017900532269914568723763\ 1086779613950907584*c_0101_6^4 - 2647124377695854842061711910066692\ 2898691320179638898562844513798599/30786467282306172260026401790053\ 22699145687237631086779613950907584*c_0101_6^2 + 370732980554865381444640799603025529405883743245433662301093568251/\ 384830841028827153250330022375665337393210904703885847451743863448, c_0101_0 + 288537027188519723456182156291476388653768327885812335770646\ 0907/38483084102882715325033002237566533739321090470388584745174386\ 3448*c_0101_6^33 - 814362534091936704629032369859765982312189103130\ 917283836588884455/769661682057654306500660044751330674786421809407\ 771694903487726896*c_0101_6^31 + 2793489326059445467282219197679443\ 8463644268156116026962879281695913/76966168205765430650066004475133\ 0674786421809407771694903487726896*c_0101_6^29 - 7192500571046771919344514010547708502037948669359783095416666995346\ 9/76966168205765430650066004475133067478642180940777169490348772689\ 6*c_0101_6^27 + 149239479929650230132439294502476789665495352759774\ 085853880049303769/384830841028827153250330022375665337393210904703\ 885847451743863448*c_0101_6^25 - 1937432241268037108494753892052645\ 5743629643800568258475715767037236149/76966168205765430650066004475\ 1330674786421809407771694903487726896*c_0101_6^23 + 4420248795616991709985685517383068093111482068056117947193860868532\ 149/962077102572067883125825055939163343483027261759714618629359658\ 62*c_0101_6^21 - 44360771204373238233029829057586442637373913446478\ 104681993511279924199/769661682057654306500660044751330674786421809\ 407771694903487726896*c_0101_6^19 + 5230440471665173461119923986966710195294397347778780054871987896778\ 6963/76966168205765430650066004475133067478642180940777169490348772\ 6896*c_0101_6^17 - 142989093809054018047378804380275950615433204569\ 43332452710344730436031/7696616820576543065006600447513306747864218\ 09407771694903487726896*c_0101_6^15 - 8866104155960389713304658357387054779479710053814819558228458575824\ 925/769661682057654306500660044751330674786421809407771694903487726\ 896*c_0101_6^13 + 6793846559481073584032442968696803769947447888299\ 4524344107419243991/48103855128603394156291252796958167174151363087\ 985730931467982931*c_0101_6^11 + 2239046422860036369211667853721801\ 858601596298987323432363319597617995/769661682057654306500660044751\ 330674786421809407771694903487726896*c_0101_6^9 - 3218037111249584472529247673938763594255876962382108973556529337876\ 93/3848308410288271532503300223756653373932109047038858474517438634\ 48*c_0101_6^7 + 137027206103842656847790439857628196394173939950537\ 65795895023135783/1924154205144135766251650111878326686966054523519\ 42923725871931724*c_0101_6^5 + 247178634013469030674924377118768725\ 6017081581213645125045370725291/76966168205765430650066004475133067\ 4786421809407771694903487726896*c_0101_6^3 + 115571935820119349240539231920989268648009517989286207011975262045/\ 96207710257206788312582505593916334348302726175971461862935965862*c\ _0101_6, c_0101_3 + 737533724717856956379606972755162644002567081514591068508196\ 14537/1539323364115308613001320089502661349572843618815543389806975\ 453792*c_0101_6^33 - 2599059335423126864982188801869766744522026427\ 059189689270676029397/384830841028827153250330022375665337393210904\ 703885847451743863448*c_0101_6^31 + 8884127805006663822889498610111861228901085984062559092772867419587\ 7/38483084102882715325033002237566533739321090470388584745174386344\ 8*c_0101_6^29 - 862758501842412501377149211250230166409321761053552\ 206140913997369993/153932336411530861300132008950266134957284361881\ 5543389806975453792*c_0101_6^27 + 368672419940290780786004306970208\ 4468894132234246831288615496419891465/15393233641153086130013200895\ 02661349572843618815543389806975453792*c_0101_6^25 - 2470487052265741847683290327320464844161908443607937180230762672243\ 82683/1539323364115308613001320089502661349572843618815543389806975\ 453792*c_0101_6^23 + 4125787414535692854618170643410669764349579609\ 69224331624558614391318727/1539323364115308613001320089502661349572\ 843618815543389806975453792*c_0101_6^21 - 2539436657229288619524083998332791229150595481250537052160385826481\ 66701/7696616820576543065006600447513306747864218094077716949034877\ 26896*c_0101_6^19 + 29897292956801286769708801083410670150482515940\ 6555139285058462704025795/76966168205765430650066004475133067478642\ 1809407771694903487726896*c_0101_6^17 - 6286463557871227133095637474880259451643773199781787902059162613100\ 583/962077102572067883125825055939163343483027261759714618629359658\ 62*c_0101_6^15 - 11377048266373472674097094168741722762742080442618\ 9413029081371416808619/15393233641153086130013200895026613495728436\ 18815543389806975453792*c_0101_6^13 - 5942992709334491317472952423806139169918014892786219630160959456452\ 473/153932336411530861300132008950266134957284361881554338980697545\ 3792*c_0101_6^11 + 252362336538247092097677211639441419905064507341\ 03706353151118943782773/1539323364115308613001320089502661349572843\ 618815543389806975453792*c_0101_6^9 - 1077991200020903054254036134726557543032515652537365044130762646409\ 829/384830841028827153250330022375665337393210904703885847451743863\ 448*c_0101_6^7 + 47695427664852681140360761477573932011483819256266\ 4449945524623069687/15393233641153086130013200895026613495728436188\ 15543389806975453792*c_0101_6^5 - 671588340852160288427596954252758\ 29829992915885094536492088041979037/1539323364115308613001320089502\ 661349572843618815543389806975453792*c_0101_6^3 + 801676524187892375709792568386618058411104061762883069272765871295/\ 192415420514413576625165011187832668696605452351942923725871931724*\ c_0101_6, c_0101_4 - 246173736194836646051890525372591920313632283007984529141136\ 44345/3078646728230617226002640179005322699145687237631086779613950\ 907584*c_0101_6^32 + 8685754005369189781305579262998296980815879741\ 36305595990811989509/7696616820576543065006600447513306747864218094\ 07771694903487726896*c_0101_6^30 - 2980278469919346026922343613094278285247093947164764909441793990936\ 5/76966168205765430650066004475133067478642180940777169490348772689\ 6*c_0101_6^28 + 308237749259174155244278461514715383702288514715991\ 067087326757368681/307864672823061722600264017900532269914568723763\ 1086779613950907584*c_0101_6^26 - 127322043491406060841324494160236\ 1902329252155404667690838864821430201/30786467282306172260026401790\ 05322699145687237631086779613950907584*c_0101_6^24 + 8265785235224802297406405067451285344481278201408430405897896456489\ 1291/30786467282306172260026401790053226991456872376310867796139509\ 07584*c_0101_6^22 - 15187605365813636768371417177791843802305564231\ 7046602548643779018899911/30786467282306172260026401790053226991456\ 87237631086779613950907584*c_0101_6^20 + 9418322331595118276550795765811545264041650731517602492254629608351\ 8637/15393233641153086130013200895026613495728436188155433898069754\ 53792*c_0101_6^18 - 11130641085814349813710115465226947956309440667\ 4706913334058609192837651/15393233641153086130013200895026613495728\ 43618815543389806975453792*c_0101_6^16 + 1885747963768936670173853344039629118031446950207840086669481872043\ 115/962077102572067883125825055939163343483027261759714618629359658\ 62*c_0101_6^14 + 41070427315578385783678800025541003548022197349514\ 765084782148432250299/307864672823061722600264017900532269914568723\ 7631086779613950907584*c_0101_6^12 - 3002617502865320610885454411031199063223520072309961876061497687565\ 031/307864672823061722600264017900532269914568723763108677961395090\ 7584*c_0101_6^10 - 102815526752581438592748480090915530938349659315\ 96840720305058493351749/3078646728230617226002640179005322699145687\ 237631086779613950907584*c_0101_6^8 + 5510351015679028272873234268819748927400040078734721119745660502731\ 17/7696616820576543065006600447513306747864218094077716949034877268\ 96*c_0101_6^6 - 214016531548996380836924836465932569179280364850530\ 795637234745726391/307864672823061722600264017900532269914568723763\ 1086779613950907584*c_0101_6^4 + 3300886982350647919538958659548260\ 1073897584346334100977398430437469/30786467282306172260026401790053\ 22699145687237631086779613950907584*c_0101_6^2 - 344353505196522015087035909356948078280573942109007358934702004777/\ 384830841028827153250330022375665337393210904703885847451743863448, c_0101_6^34 - 141*c_0101_6^32 + 4824*c_0101_6^30 - 11893*c_0101_6^28 + 50458*c_0101_6^26 - 3351692*c_0101_6^24 + 5729738*c_0101_6^22 - 7110577*c_0101_6^20 + 8393216*c_0101_6^18 - 1698838*c_0101_6^16 - 1478435*c_0101_6^14 - 34166*c_0101_6^12 + 339846*c_0101_6^10 - 70569*c_0101_6^8 + 10563*c_0101_6^6 - 1148*c_0101_6^4 + 149*c_0101_6^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB