Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 762098153] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2323 geometric_solution 5.71526909 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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.440535729500 0.669015763007 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.517897066462 0.544890451467 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.517897066462 0.544890451467 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 0.993875101641 1.231490239160 6 1 2 6 0132 0132 3201 1023 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 0.959200759863 0.642234926613 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.576161083785 0.297622514290 4 6 6 4 0132 1230 3012 1023 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 0 0 0 0 0 0 0 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.647165832034 0.372366637265 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : 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_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_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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['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_6' : d['c_0101_6'], '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_6' : 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_6' : negation(d['c_0011_1']), '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' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], '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 8 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, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 12303007197486710768289142489791101369/1894659755732357295192152741\ 9776*c_0101_6^27 + 317254716477971229990463797867060498899/56839792\ 671970718855764582259328*c_0101_6^26 + 188819424507030033907259492547878987171/568397926719707188557645822\ 59328*c_0101_6^25 - 1168619517912368875231652440134512768257/189465\ 97557323572951921527419776*c_0101_6^24 - 8733127491854219987998187698145265448847/56839792671970718855764582\ 259328*c_0101_6^23 - 10061438798818710711298300596399026546635/5683\ 9792671970718855764582259328*c_0101_6^22 + 10439899764011695801571859910184182075777/2841989633598535942788229\ 1129664*c_0101_6^21 + 11594615482080382581442685665041895850501/142\ 09948167992679713941145564832*c_0101_6^20 - 566505165582295768078560177329542907677/118416234733272330949509546\ 3736*c_0101_6^19 + 186196208346734237565846351396413813860363/56839\ 792671970718855764582259328*c_0101_6^18 - 157824687569059740081667439073200786544463/189465975573235729519215\ 27419776*c_0101_6^17 + 135684043265629597058203455614513680001963/1\ 4209948167992679713941145564832*c_0101_6^16 - 191633850108772309389505510071675116020805/189465975573235729519215\ 27419776*c_0101_6^15 + 109057859458065328309794571426471066125667/2\ 8419896335985359427882291129664*c_0101_6^14 + 720771376933292435569347915566872801750451/568397926719707188557645\ 82259328*c_0101_6^13 - 9145428061503765985425388295584633204773/296\ 040586833180827373773865934*c_0101_6^12 + 859733897613799668144749789681357470955639/189465975573235729519215\ 27419776*c_0101_6^11 - 731189585996550396874367700724753356111325/1\ 4209948167992679713941145564832*c_0101_6^10 + 2655750445198229987377123694906573805064615/56839792671970718855764\ 582259328*c_0101_6^9 - 500746491975696030411634465261500440396147/1\ 4209948167992679713941145564832*c_0101_6^8 + 1269097266377169168092874208269393114546257/56839792671970718855764\ 582259328*c_0101_6^7 - 222550617008571190431199331505491384587783/1\ 8946597557323572951921527419776*c_0101_6^6 + 146777898095270266580533340458797695944471/284198963359853594278822\ 91129664*c_0101_6^5 - 109469335044893500839570433769846125832513/56\ 839792671970718855764582259328*c_0101_6^4 + 16650353767084152848831840602640892247547/2841989633598535942788229\ 1129664*c_0101_6^3 - 3691616567942693186514573672481022116955/28419\ 896335985359427882291129664*c_0101_6^2 + 1008480099872793960891855573225974827099/56839792671970718855764582\ 259328*c_0101_6 - 62021896340060213470250161099770407387/5683979267\ 1970718855764582259328, c_0011_0 - 1, c_0011_1 - 1978301170987264734395896555/534157919974094343797*c_0101_6^\ 27 - 16869962400290148499113258790/534157919974094343797*c_0101_6^2\ 6 - 8898972643635208270995403847/534157919974094343797*c_0101_6^25 + 189178664394072765749796038371/534157919974094343797*c_0101_6^24 + 455885459323169222166581101444/534157919974094343797*c_0101_6^23 + 501622258569510459419673380407/534157919974094343797*c_0101_6^22 - 1173601248474739642046301834720/534157919974094343797*c_0101_6^21 - 2435133704322495740599674907722/534157919974094343797*c_0101_6^20 + 1651224264950477993311395434084/534157919974094343797*c_0101_6^19 - 9987974128269488932645731698314/534157919974094343797*c_0101_6^18 + 26051863086225016020750096605494/534157919974094343797*c_0101_6^17 - 30498765411747090233535082059597/534157919974094343797*c_0101_6^16 + 32122069515729342328740612622667/534157919974094343797*c_0101_6^15 - 13156480611104942835577974188854/534157919974094343797*c_0101_6^14 - 38542367036150763629523550021911/534157919974094343797*c_0101_6^13 + 96801828183022518192845972090139/534157919974094343797*c_0101_6^12 - 143379901646950840565073641448429/534157919974094343797*c_0101_6^11 + 163719332497414431977479832684212/534157919974094343797*c_0101_6^\ 10 - 149680028248422467936614342436715/534157919974094343797*c_0101\ _6^9 + 113516164245602419575614408766502/534157919974094343797*c_01\ 01_6^8 - 72352669805269197864173550097378/534157919974094343797*c_0\ 101_6^7 + 38314606413235863892369419368778/534157919974094343797*c_\ 0101_6^6 - 16937724619966602993824391713690/534157919974094343797*c\ _0101_6^5 + 6348784676265679388085115834717/534157919974094343797*c\ _0101_6^4 - 1947366052844601403441850580554/534157919974094343797*c\ _0101_6^3 + 436861340531151386712899922299/534157919974094343797*c_\ 0101_6^2 - 60408445226973851469067351152/534157919974094343797*c_01\ 01_6 + 3751450485573026042189366663/534157919974094343797, c_0101_0 - 192345000176517279237132232135565560/14802029341659041368688\ 6932967*c_0101_6^27 - 1638907444171956010439043095832403940/1480202\ 93416590413686886932967*c_0101_6^26 - 853214607200368841322756958216123436/148020293416590413686886932967\ *c_0101_6^25 + 18406533557705294229942975165176313340/1480202934165\ 90413686886932967*c_0101_6^24 + 44206591008298333041788717854408426\ 907/148020293416590413686886932967*c_0101_6^23 + 48396342794137963745054005520184246377/1480202934165904136868869329\ 67*c_0101_6^22 - 114665159054423276050973704085451640104/1480202934\ 16590413686886932967*c_0101_6^21 - 236312849261402374627844146954977126244/148020293416590413686886932\ 967*c_0101_6^20 + 162450533761563870979998510263995466464/148020293\ 416590413686886932967*c_0101_6^19 - 971046962647323645605240330128197102155/148020293416590413686886932\ 967*c_0101_6^18 + 2539580759355257791830797947476545172016/14802029\ 3416590413686886932967*c_0101_6^17 - 2978605914945927148212145006309131654799/14802029341659041368688693\ 2967*c_0101_6^16 + 3135166995425460934574766883309125366927/1480202\ 93416590413686886932967*c_0101_6^15 - 1292943011798031609254319304916828369472/14802029341659041368688693\ 2967*c_0101_6^14 - 3747208031214258338816530163361613132843/1480202\ 93416590413686886932967*c_0101_6^13 + 9437747267099040499706179624529675577711/14802029341659041368688693\ 2967*c_0101_6^12 - 13988899262746108582885590214078546537148/148020\ 293416590413686886932967*c_0101_6^11 + 15983219216827115814360788079091152052473/1480202934165904136868869\ 32967*c_0101_6^10 - 14621162812786269895027832540806584865576/14802\ 0293416590413686886932967*c_0101_6^9 + 11093652830967473070231149790968467059440/1480202934165904136868869\ 32967*c_0101_6^8 - 7074352845163953569271970839240350424417/1480202\ 93416590413686886932967*c_0101_6^7 + 3748218379252523440344554045569721217909/14802029341659041368688693\ 2967*c_0101_6^6 - 1657658764387914407727396610681736275817/14802029\ 3416590413686886932967*c_0101_6^5 + 621593429031375908922218834788269774828/148020293416590413686886932\ 967*c_0101_6^4 - 190782749482393830277833422617554345578/1480202934\ 16590413686886932967*c_0101_6^3 + 428348969182558030609936155145457\ 23866/148020293416590413686886932967*c_0101_6^2 - 5928023613856364366621725984744810159/14802029341659041368688693296\ 7*c_0101_6 + 368383159738986038905119865048340355/14802029341659041\ 3686886932967, c_0101_1 - 684824187213952455734331228094455889/14802029341659041368688\ 6932967*c_0101_6^27 - 5832241847412526921550832550278833512/1480202\ 93416590413686886932967*c_0101_6^26 - 3011545006186257036505217952874863463/14802029341659041368688693296\ 7*c_0101_6^25 + 65559993003369776462922286276401221101/148020293416\ 590413686886932967*c_0101_6^24 + 1571262909693826146125175794862617\ 85943/148020293416590413686886932967*c_0101_6^23 + 171513316057280366149931509953776365752/148020293416590413686886932\ 967*c_0101_6^22 - 409369109454629933296973231382649676187/148020293\ 416590413686886932967*c_0101_6^21 - 840169906313600132717519606295275675247/148020293416590413686886932\ 967*c_0101_6^20 + 582524241743338976927429791269413204787/148020293\ 416590413686886932967*c_0101_6^19 - 3457799316545012776072522242921169578322/14802029341659041368688693\ 2967*c_0101_6^18 + 9056446157185590148477216592474202008009/1480202\ 93416590413686886932967*c_0101_6^17 - 10636575457448221995225273406184950940204/1480202934165904136868869\ 32967*c_0101_6^16 + 11192722741897834026933598727036107845274/14802\ 0293416590413686886932967*c_0101_6^15 - 4636748249981931636806943122425231247793/14802029341659041368688693\ 2967*c_0101_6^14 - 13337631103406135848602056519370453806624/148020\ 293416590413686886932967*c_0101_6^13 + 33660523742568332593249701653900997581570/1480202934165904136868869\ 32967*c_0101_6^12 - 49921356432396615953564519838047766359697/14802\ 0293416590413686886932967*c_0101_6^11 + 57064299248777687664761003068942758247757/1480202934165904136868869\ 32967*c_0101_6^10 - 52225255756485626446414974376297289831533/14802\ 0293416590413686886932967*c_0101_6^9 + 39640587928539084720698305431951406845415/1480202934165904136868869\ 32967*c_0101_6^8 - 25288856733864245136673624236890051947464/148020\ 293416590413686886932967*c_0101_6^7 + 13405044912379222787775293907579504762506/1480202934165904136868869\ 32967*c_0101_6^6 - 5930832293207374113009783086041661079686/1480202\ 93416590413686886932967*c_0101_6^5 + 2224811457118866897816608145425339991568/14802029341659041368688693\ 2967*c_0101_6^4 - 683260250363314884364807728631343221180/148020293\ 416590413686886932967*c_0101_6^3 + 153550757844283357473724624026942820267/148020293416590413686886932\ 967*c_0101_6^2 - 21275562250689488051365204110005594298/14802029341\ 6590413686886932967*c_0101_6 + 132387194001643754349786377463436367\ 0/148020293416590413686886932967, c_0101_4 - 1773149314585761307793470108/534157919974094343797*c_0101_6^\ 27 - 15119942655281324572797571069/534157919974094343797*c_0101_6^2\ 6 - 7970989756654940228117854943/534157919974094343797*c_0101_6^25 + 169564510548448578113766490756/534157919974094343797*c_0101_6^24 + 408554292474048231177300936267/534157919974094343797*c_0101_6^23 + 449454664849298200315904120553/534157919974094343797*c_0101_6^22 - 1052080995967339831205694348874/534157919974094343797*c_0101_6^21 - 2182299089908281808176465523632/534157919974094343797*c_0101_6^20 + 1480794551317396912697949786086/534157919974094343797*c_0101_6^19 - 8952513322090373019620306480809/534157919974094343797*c_0101_6^18 + 23353126873097643346546224704808/534157919974094343797*c_0101_6^17 - 27343058710897475127195628019578/534157919974094343797*c_0101_6^16 + 28798261955452639059836981528383/534157919974094343797*c_0101_6^15 - 11799769011159306067592626966024/534157919974094343797*c_0101_6^14 - 34543535081983270230029556608368/534157919974094343797*c_0101_6^13 + 86775436581120017109620688637517/534157919974094343797*c_0101_6^12 - 128537084045542651850746667667713/534157919974094343797*c_0101_6^11 + 146777505753658429223811430323740/534157919974094343797*c_0101_6^\ 10 - 134197451039337556257645729541592/534157919974094343797*c_0101\ _6^9 + 101778673796889243106332542073390/534157919974094343797*c_01\ 01_6^8 - 64874364954343870194107119524377/534157919974094343797*c_0\ 101_6^7 + 34356296652776978982413566992098/534157919974094343797*c_\ 0101_6^6 - 15188654734402243107995926748683/534157919974094343797*c\ _0101_6^5 + 5693445704819343794003349923268/534157919974094343797*c\ _0101_6^4 - 1746482220768709923413968141580/534157919974094343797*c\ _0101_6^3 + 391845965948286481065380827767/534157919974094343797*c_\ 0101_6^2 - 54193435621109590019869626010/534157919974094343797*c_01\ 01_6 + 3366213027767591248151882119/534157919974094343797, c_0101_5 + 3154041146453040018600342060067878783/1480202934165904136868\ 86932967*c_0101_6^27 + 26834427508612980183441389520319556507/14802\ 0293416590413686886932967*c_0101_6^26 + 13630598447017504041202103886620330049/1480202934165904136868869329\ 67*c_0101_6^25 - 302172129051720694118246965245789915487/1480202934\ 16590413686886932967*c_0101_6^24 - 721215746482370714982837128295547574312/148020293416590413686886932\ 967*c_0101_6^23 - 782677797067903484596383911405615260102/148020293\ 416590413686886932967*c_0101_6^22 + 1895418574528462656945895069692531221732/14802029341659041368688693\ 2967*c_0101_6^21 + 3858177537674261668659993176204330686986/1480202\ 93416590413686886932967*c_0101_6^20 - 2720826488475984872544329425884996399414/14802029341659041368688693\ 2967*c_0101_6^19 + 15930521244210771128515169350091648039419/148020\ 293416590413686886932967*c_0101_6^18 - 41842846527853325562906776815244340790241/1480202934165904136868869\ 32967*c_0101_6^17 + 49279832377117925898329003311007373592692/14802\ 0293416590413686886932967*c_0101_6^16 - 51829307160775052320896602981892629034397/1480202934165904136868869\ 32967*c_0101_6^15 + 21662168407393500505529859501896246849457/14802\ 0293416590413686886932967*c_0101_6^14 + 61388904380292286599554455441462132840135/1480202934165904136868869\ 32967*c_0101_6^13 - 155565106668091893270181612300939419240797/1480\ 20293416590413686886932967*c_0101_6^12 + 230982256179384784239761520687380371968804/148020293416590413686886\ 932967*c_0101_6^11 - 264271109241798420048346413873930917215568/148\ 020293416590413686886932967*c_0101_6^10 + 242082389885881566282098816880755995634565/148020293416590413686886\ 932967*c_0101_6^9 - 183888579941202494919510098670920971163535/1480\ 20293416590413686886932967*c_0101_6^8 + 117407424921464585078611010879189943686622/148020293416590413686886\ 932967*c_0101_6^7 - 62292287045484366349511482959800265756039/14802\ 0293416590413686886932967*c_0101_6^6 + 27582326474481101402945359351055330183977/1480202934165904136868869\ 32967*c_0101_6^5 - 10354644867603473408348852283177439835852/148020\ 293416590413686886932967*c_0101_6^4 + 3183772839851474758235748550894327076695/14802029341659041368688693\ 2967*c_0101_6^3 - 716808060158591186904817483128725586289/148020293\ 416590413686886932967*c_0101_6^2 + 99544784764548549488885804352311783994/1480202934165904136868869329\ 67*c_0101_6 - 6209394962149178260316494118695364595/148020293416590\ 413686886932967, c_0101_6^28 + 8*c_0101_6^27 - 98*c_0101_6^25 - 180*c_0101_6^24 - 132*c_0101_6^23 + 727*c_0101_6^22 + 918*c_0101_6^21 - 1484*c_0101_6^20 + 5489*c_0101_6^19 - 15832*c_0101_6^18 + 22363*c_0101_6^17 - 24369*c_0101_6^16 + 15215*c_0101_6^15 + 15975*c_0101_6^14 - 59209*c_0101_6^13 + 98287*c_0101_6^12 - 120987*c_0101_6^11 + 119313*c_0101_6^10 - 97289*c_0101_6^9 + 66839*c_0101_6^8 - 38658*c_0101_6^7 + 18777*c_0101_6^6 - 7725*c_0101_6^5 + 2677*c_0101_6^4 - 740*c_0101_6^3 + 147*c_0101_6^2 - 18*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB