Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 4088557363] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0408 geometric_solution 4.46826737 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 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 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.745689363128 1.683621275813 0 4 4 0 0132 0132 3201 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.194746081203 0.194050357414 3 5 3 0 1302 0132 1230 0132 0 0 0 0 0 -1 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 0 0 0 0 0 1 -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.622157497955 0.573031629376 5 2 0 2 3201 2031 0132 3012 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 1 -1 0 0 1 -1 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.622157497955 0.573031629376 1 1 6 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6.580103409831 2.886256191245 5 2 5 3 2031 0132 1302 2310 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409339269868 0.635387515994 4 6 6 4 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.116044178013 0.045373861421 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_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_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0110_3'], 'c_1100_3' : d['c_0110_3'], 'c_1100_2' : d['c_0110_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 183794732212121705829615362524729582020183599/124755937674434561448\ 2091049683596492768213*c_0110_3^22 - 1010447606531864052446104425089537703573540385/12475593767443456144\ 82091049683596492768213*c_0110_3^21 + 27161324568448071552208514267819676119792587633/1247559376744345614\ 482091049683596492768213*c_0110_3^20 - 161762448090974061479978561359623268088100580710/124755937674434561\ 4482091049683596492768213*c_0110_3^19 + 509339987486128422104863750886734859930087027980/124755937674434561\ 4482091049683596492768213*c_0110_3^18 - 993592101014610884312614300904770745495439383620/124755937674434561\ 4482091049683596492768213*c_0110_3^17 + 1324538668617481165275486112001722003171951321932/12475593767443456\ 14482091049683596492768213*c_0110_3^16 - 1237161293342584071832162133138613764420528825825/12475593767443456\ 14482091049683596492768213*c_0110_3^15 + 817670820661912545341786986760170904187532912067/124755937674434561\ 4482091049683596492768213*c_0110_3^14 - 440095962624044454581211394182264407555164076807/124755937674434561\ 4482091049683596492768213*c_0110_3^13 + 697048723948004990284303617814729362158246802378/124755937674434561\ 4482091049683596492768213*c_0110_3^12 - 1139310053907851152001917755917818800160040874233/12475593767443456\ 14482091049683596492768213*c_0110_3^11 + 1079067647195658558459042299314213967033981591331/12475593767443456\ 14482091049683596492768213*c_0110_3^10 - 610818479047240284081735140889188193185835711621/124755937674434561\ 4482091049683596492768213*c_0110_3^9 + 298021278408699344642049997424757917482636975755/124755937674434561\ 4482091049683596492768213*c_0110_3^8 - 115975696283307033766645287752562976461541073520/124755937674434561\ 4482091049683596492768213*c_0110_3^7 - 70195961297623322941100563656605262979771751958/1247559376744345614\ 482091049683596492768213*c_0110_3^6 + 39463297959054559669177583772584079277618150423/1247559376744345614\ 482091049683596492768213*c_0110_3^5 + 254441170352283878173725102050595463319593871/124755937674434561448\ 2091049683596492768213*c_0110_3^4 + 15805380045273270750813424324852470580648014128/1247559376744345614\ 482091049683596492768213*c_0110_3^3 - 577754313092442526756446956847072444519490804/124755937674434561448\ 2091049683596492768213*c_0110_3^2 - 2628302132036532602878590010674859091907784643/12475593767443456144\ 82091049683596492768213*c_0110_3 - 312376038334207705935849050799178662967861013/124755937674434561448\ 2091049683596492768213, c_0011_0 - 1, c_0011_2 + 17027932251526270021464008258013598952824/304282774815694052\ 31270513406916987628493*c_0110_3^22 + 87896953466333852667483430024940356413243/3042827748156940523127051\ 3406916987628493*c_0110_3^21 - 254897937996548496879117532566990416\ 9004085/30428277481569405231270513406916987628493*c_0110_3^20 + 15823943322941662599203346785621528561408536/3042827748156940523127\ 0513406916987628493*c_0110_3^19 - 520597940875244172639879038082504\ 80730276229/30428277481569405231270513406916987628493*c_0110_3^18 + 107091159936675755049533596724377725577214250/304282774815694052312\ 70513406916987628493*c_0110_3^17 - 151569696643448269563419940693466453032770453/304282774815694052312\ 70513406916987628493*c_0110_3^16 + 152921214916751618229422362830095610331933644/304282774815694052312\ 70513406916987628493*c_0110_3^15 - 111920639272975163486647886876452273161609626/304282774815694052312\ 70513406916987628493*c_0110_3^14 + 65883191503802326987808316584633566312563156/3042827748156940523127\ 0513406916987628493*c_0110_3^13 - 795900953763485605216025596493644\ 80992357370/30428277481569405231270513406916987628493*c_0110_3^12 + 128541474727900888973388760720088396640580476/304282774815694052312\ 70513406916987628493*c_0110_3^11 - 133382031399211317342262898198783072664158563/304282774815694052312\ 70513406916987628493*c_0110_3^10 + 87841597091858535593784266816934292715920047/3042827748156940523127\ 0513406916987628493*c_0110_3^9 - 4631855817479362270056518455909147\ 9404721747/30428277481569405231270513406916987628493*c_0110_3^8 + 21730041788700699634050437434603077390774151/3042827748156940523127\ 0513406916987628493*c_0110_3^7 + 1903378695298925642760479203117460\ 869848127/30428277481569405231270513406916987628493*c_0110_3^6 - 4780924264168370296574368031128533057560023/30428277481569405231270\ 513406916987628493*c_0110_3^5 + 34544116804366138428617050129140311\ 4886163/30428277481569405231270513406916987628493*c_0110_3^4 - 1679024386187062967808794380693806107335265/30428277481569405231270\ 513406916987628493*c_0110_3^3 + 47791276639307837683384657388410498\ 6585733/30428277481569405231270513406916987628493*c_0110_3^2 + 227931046379596026672141002603040027836273/304282774815694052312705\ 13406916987628493*c_0110_3 + 38957129498268046028405017665701540689\ 39/30428277481569405231270513406916987628493, c_0011_6 + 164658461890667173914975190273285066049/35258722458365475354\ 890513797122813011*c_0110_3^22 + 9185495145554532097630511848490495\ 43293/35258722458365475354890513797122813011*c_0110_3^21 - 24262143675501295592992439830895952828035/3525872245836547535489051\ 3797122813011*c_0110_3^20 + 142943012142892249275399698668366045240\ 305/35258722458365475354890513797122813011*c_0110_3^19 - 444307491685956954944880892062349090955982/352587224583654753548905\ 13797122813011*c_0110_3^18 + 85151937377093268683191134701243810174\ 7556/35258722458365475354890513797122813011*c_0110_3^17 - 1109101987721114498846769118272298653728192/35258722458365475354890\ 513797122813011*c_0110_3^16 + 1001262932606610284894958852777772401\ 628577/35258722458365475354890513797122813011*c_0110_3^15 - 627514225872566737052995846098003770693215/352587224583654753548905\ 13797122813011*c_0110_3^14 + 31991676963271678499057074885435813267\ 3991/35258722458365475354890513797122813011*c_0110_3^13 - 581876675648494506042267395675587225409348/352587224583654753548905\ 13797122813011*c_0110_3^12 + 96410857260236793117217339522501353860\ 1584/35258722458365475354890513797122813011*c_0110_3^11 - 876100979363088806479633797316019318742638/352587224583654753548905\ 13797122813011*c_0110_3^10 + 45621926516108833075316779753823089440\ 5764/35258722458365475354890513797122813011*c_0110_3^9 - 209718508987431130911859817457194063046368/352587224583654753548905\ 13797122813011*c_0110_3^8 + 740556576404428723025616875049293290571\ 36/35258722458365475354890513797122813011*c_0110_3^7 + 75542457100749052236629824464107375422363/3525872245836547535489051\ 3797122813011*c_0110_3^6 - 3194555405063075343791224529885854456534\ 6/35258722458365475354890513797122813011*c_0110_3^5 - 3640893469107398417104567955153155616557/35258722458365475354890513\ 797122813011*c_0110_3^4 - 13644504169831543504225702612361909207100\ /35258722458365475354890513797122813011*c_0110_3^3 - 836457275242047124172090374277299278566/352587224583654753548905137\ 97122813011*c_0110_3^2 + 2569575191023230790266207203735442620361/3\ 5258722458365475354890513797122813011*c_0110_3 + 447002446989748473892024591426480034021/352587224583654753548905137\ 97122813011, c_0101_0 - 190714446323666167481394865581651836340/35258722458365475354\ 890513797122813011*c_0110_3^22 - 1051119568190045320578141123280965\ 220199/35258722458365475354890513797122813011*c_0110_3^21 + 28170485776053339931203555845244199470371/3525872245836547535489051\ 3797122813011*c_0110_3^20 - 167457915555463185113528796689820221220\ 155/35258722458365475354890513797122813011*c_0110_3^19 + 526055671786085397213294677698515241736095/352587224583654753548905\ 13797122813011*c_0110_3^18 - 10228981612433423583183539240273955774\ 58747/35258722458365475354890513797122813011*c_0110_3^17 + 1357761216658682348650820048529180529240993/35258722458365475354890\ 513797122813011*c_0110_3^16 - 1260234356825132511348504007106089507\ 368804/35258722458365475354890513797122813011*c_0110_3^15 + 824653879751780895675159308424508728036966/352587224583654753548905\ 13797122813011*c_0110_3^14 - 43897220003246385497217322831328621388\ 7592/35258722458365475354890513797122813011*c_0110_3^13 + 712464889978527828722586290029455935306630/352587224583654753548905\ 13797122813011*c_0110_3^12 - 11693428632641659692610776212776429997\ 08100/35258722458365475354890513797122813011*c_0110_3^11 + 1099423881483453490151929508864204779508379/35258722458365475354890\ 513797122813011*c_0110_3^10 - 6136420610445812728230652037896273625\ 90035/35258722458365475354890513797122813011*c_0110_3^9 + 295734865044969713731899005649107431343584/352587224583654753548905\ 13797122813011*c_0110_3^8 - 112632524286747674909935054226357958065\ 833/35258722458365475354890513797122813011*c_0110_3^7 - 76944489397413909396992926098409032789348/3525872245836547535489051\ 3797122813011*c_0110_3^6 + 4055185446172970274146197090682256750822\ 5/35258722458365475354890513797122813011*c_0110_3^5 + 1179803202617972935829256553330903744820/35258722458365475354890513\ 797122813011*c_0110_3^4 + 16288772292021517122877339280602692919201\ /35258722458365475354890513797122813011*c_0110_3^3 - 123664577774483619288858726770138676831/352587224583654753548905137\ 97122813011*c_0110_3^2 - 2811030087280981374330027295748826438491/3\ 5258722458365475354890513797122813011*c_0110_3 - 370732260275885021320378549871124375550/352587224583654753548905137\ 97122813011, c_0101_1 - 153229440107222442542081327163307938713114/30428277481569405\ 231270513406916987628493*c_0110_3^22 - 850793826222740460538338569868686143571572/304282774815694052312705\ 13406916987628493*c_0110_3^21 + 22599847523351739357033749114593446\ 771347556/30428277481569405231270513406916987628493*c_0110_3^20 - 133613444916440720141210798840916148419497505/304282774815694052312\ 70513406916987628493*c_0110_3^19 + 417022051324995610198179800330353871983440891/304282774815694052312\ 70513406916987628493*c_0110_3^18 - 803707342655464040185048414710789238208758998/304282774815694052312\ 70513406916987628493*c_0110_3^17 + 1054405735674647789582574533439115703904294837/30428277481569405231\ 270513406916987628493*c_0110_3^16 - 961880846679725864139849748559464910883036951/304282774815694052312\ 70513406916987628493*c_0110_3^15 + 612528418383501253267701896498718366947240132/304282774815694052312\ 70513406916987628493*c_0110_3^14 - 316848190191244560690915413173483678012987809/304282774815694052312\ 70513406916987628493*c_0110_3^13 + 551618782020319787000172037214859888753118208/304282774815694052312\ 70513406916987628493*c_0110_3^12 - 912313385418589909706990693751374253917686385/304282774815694052312\ 70513406916987628493*c_0110_3^11 + 840478543305375780663916402879830999623220354/304282774815694052312\ 70513406916987628493*c_0110_3^10 - 449302373770223919037540740868818048130603478/304282774815694052312\ 70513406916987628493*c_0110_3^9 + 209673974027472211193874950333984\ 196656151674/30428277481569405231270513406916987628493*c_0110_3^8 - 75813301991119658914479531819896706478574822/3042827748156940523127\ 0513406916987628493*c_0110_3^7 - 6802366518345345455401092684903473\ 0119620361/30428277481569405231270513406916987628493*c_0110_3^6 + 31510769230508826948017069780267871464606160/3042827748156940523127\ 0513406916987628493*c_0110_3^5 + 2229786811891445496620981421877189\ 869178200/30428277481569405231270513406916987628493*c_0110_3^4 + 12812595296021261895614228611393760342937161/3042827748156940523127\ 0513406916987628493*c_0110_3^3 + 3543601782764646773967043502039773\ 93977612/30428277481569405231270513406916987628493*c_0110_3^2 - 2378191712614147694983200255835395059138057/30428277481569405231270\ 513406916987628493*c_0110_3 - 3384313873472565714424226501977446935\ 91085/30428277481569405231270513406916987628493, c_0101_4 - 26127895818798707165113933538617517786/352587224583654753548\ 90513797122813011*c_0110_3^22 - 13499890867556467123101634070499001\ 6193/35258722458365475354890513797122813011*c_0110_3^21 + 3907594898116045419863356167611313292128/35258722458365475354890513\ 797122813011*c_0110_3^20 - 2427926434375493660176247360752864506651\ 2/35258722458365475354890513797122813011*c_0110_3^19 + 80183075981895668379966527488890425596858/3525872245836547535489051\ 3797122813011*c_0110_3^18 - 166231666863163808951738408741076716476\ 963/35258722458365475354890513797122813011*c_0110_3^17 + 238357804440164132346118432867897273769345/352587224583654753548905\ 13797122813011*c_0110_3^16 - 24487927025402075192386469926813046096\ 7978/35258722458365475354890513797122813011*c_0110_3^15 + 183630584563437476091552432022441426295737/352587224583654753548905\ 13797122813011*c_0110_3^14 - 10981758363052936825688802583229976710\ 4769/35258722458365475354890513797122813011*c_0110_3^13 + 125654050776485016336560255114568696154741/352587224583654753548905\ 13797122813011*c_0110_3^12 - 19778694008202384637374410167382592246\ 7391/35258722458365475354890513797122813011*c_0110_3^11 + 211451026111921634755180172101902062828112/352587224583654753548905\ 13797122813011*c_0110_3^10 - 14541882967040482054954885761181859108\ 3623/35258722458365475354890513797122813011*c_0110_3^9 + 79099178731565648914278405984660938183114/3525872245836547535489051\ 3797122813011*c_0110_3^8 - 3498421916780658453467590672143908335775\ 0/35258722458365475354890513797122813011*c_0110_3^7 - 2656197119983446784714709744725393678358/35258722458365475354890513\ 797122813011*c_0110_3^6 + 8176296238463570405861665364079118358509/\ 35258722458365475354890513797122813011*c_0110_3^5 - 2031713269268978707358640007819046924773/35258722458365475354890513\ 797122813011*c_0110_3^4 + 2566225062498171707986610605689992536899/\ 35258722458365475354890513797122813011*c_0110_3^3 - 836888154507056800077278743410956082238/352587224583654753548905137\ 97122813011*c_0110_3^2 - 294608500072331196913466740665256984796/35\ 258722458365475354890513797122813011*c_0110_3 + 35532261822917394123835250819787533137/3525872245836547535489051379\ 7122813011, c_0110_3^23 + 6*c_0110_3^22 - 145*c_0110_3^21 + 806*c_0110_3^20 - 2332*c_0110_3^19 + 4031*c_0110_3^18 - 4545*c_0110_3^17 + 3217*c_0110_3^16 - 1210*c_0110_3^15 + 295*c_0110_3^14 - 2682*c_0110_3^13 + 4346*c_0110_3^12 - 2835*c_0110_3^11 + 498*c_0110_3^10 - 70*c_0110_3^9 - 114*c_0110_3^8 + 663*c_0110_3^7 - 7*c_0110_3^6 - 104*c_0110_3^5 - 90*c_0110_3^4 - 40*c_0110_3^3 + 14*c_0110_3^2 + 9*c_0110_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB