Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 105356011] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1939 geometric_solution 5.52752315 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 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 -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.526409830730 0.247698896597 2 0 3 0 0132 2310 0132 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 -1 1 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.918290762283 0.484137639309 1 4 3 5 0132 0132 3012 0132 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 -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.773932396204 0.464543168067 6 2 4 1 0132 1230 2103 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 -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.189115564644 1.504006606223 3 2 6 6 2103 0132 1230 2031 0 0 0 0 0 0 0 0 -1 0 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 1 0 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 1.987024137300 0.750644528262 5 5 2 6 1230 3012 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529319342004 0.667577708153 3 4 5 4 0132 1302 1230 3012 0 0 0 0 0 -1 0 1 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 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.184392619203 1.114863238109 ==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_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_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : negation(d['c_0011_3']), '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_0011_5'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 12894468480961716567723601948233413877301718/3194862127005450040623\ 83672567866272079783*c_0101_3^21 + 2788255674878143245782022920804051786790731/16815063826344473898020\ 193293045593267357*c_0101_3^20 - 7673542026078867042199641737159738\ 5319596052/319486212700545004062383672567866272079783*c_0101_3^19 - 781542508354875298790935184847143113889787892/319486212700545004062\ 383672567866272079783*c_0101_3^18 + 2017837117060829805468570578834243074656187217/31948621270054500406\ 2383672567866272079783*c_0101_3^17 - 1449398608853169135996948995695209796080640072/31948621270054500406\ 2383672567866272079783*c_0101_3^16 - 3066382068618709026120615022951405542879524510/31948621270054500406\ 2383672567866272079783*c_0101_3^15 - 14897737563273042436095425495759922341418934026/3194862127005450040\ 62383672567866272079783*c_0101_3^14 + 92349237967066901733499641025598620900213914242/3194862127005450040\ 62383672567866272079783*c_0101_3^13 - 123208909655655013200576482027781636312859613926/319486212700545004\ 062383672567866272079783*c_0101_3^12 + 27465707027011809886319216754004480990554707434/3194862127005450040\ 62383672567866272079783*c_0101_3^11 + 125892396973646364861010458566824889905472313484/319486212700545004\ 062383672567866272079783*c_0101_3^10 - 300251289465538080746687606146385030127085974606/319486212700545004\ 062383672567866272079783*c_0101_3^9 + 192911388814429895628802907777254366529108831427/319486212700545004\ 062383672567866272079783*c_0101_3^8 + 191136023413155397190302784865325591818594074383/319486212700545004\ 062383672567866272079783*c_0101_3^7 - 239369728845157218989196306197834012109771268355/319486212700545004\ 062383672567866272079783*c_0101_3^6 + 4748924938958677279220937701589197184451861541/31948621270054500406\ 2383672567866272079783*c_0101_3^5 + 3298058381933033352675316869822520394995702521/16815063826344473898\ 020193293045593267357*c_0101_3^4 - 1191510962012468109868483672010207624687184866/29044201154595000369\ 307606597078752007253*c_0101_3^3 - 1405995448983051383492137776178509017940582690/31948621270054500406\ 2383672567866272079783*c_0101_3^2 - 1390598374364440132675206235852975901194834983/31948621270054500406\ 2383672567866272079783*c_0101_3 + 583043132266183340694696782065271\ 962963970384/319486212700545004062383672567866272079783, c_0011_0 - 1, c_0011_1 + 238575209096991094022201133848865386819892/29044201154595000\ 369307606597078752007253*c_0101_3^21 - 31832473058887708313143112991522306004973/1528642166031315808910926\ 663004144842487*c_0101_3^20 + 4345300585274232824371230968042005700\ 42838/29044201154595000369307606597078752007253*c_0101_3^19 + 15232185239416988679817507067908603554461749/2904420115459500036930\ 7606597078752007253*c_0101_3^18 - 134361127238935394501965905070481\ 85031199314/29044201154595000369307606597078752007253*c_0101_3^17 + 3533368025510696882340892107095201136483063/29044201154595000369307\ 606597078752007253*c_0101_3^16 + 6438130723283252611941443082437350\ 2238125749/29044201154595000369307606597078752007253*c_0101_3^15 + 376344513694845243968298014938896207972197820/290442011545950003693\ 07606597078752007253*c_0101_3^14 - 1125531657160178369707350134141621993219331740/29044201154595000369\ 307606597078752007253*c_0101_3^13 + 456513498888745166673586111219215595324646437/290442011545950003693\ 07606597078752007253*c_0101_3^12 + 373893127505021911463167732410375639696668145/290442011545950003693\ 07606597078752007253*c_0101_3^11 - 1817351073989720257649125033982267598929786208/29044201154595000369\ 307606597078752007253*c_0101_3^10 + 2645990281832637262368031004569983608467943775/29044201154595000369\ 307606597078752007253*c_0101_3^9 + 852202621481860497396357190890543852795253686/290442011545950003693\ 07606597078752007253*c_0101_3^8 - 259098905506769198856240793027459\ 7975045541758/29044201154595000369307606597078752007253*c_0101_3^7 + 258213500871997953422042788233398544210610703/290442011545950003693\ 07606597078752007253*c_0101_3^6 + 697787129939616246622034186856452\ 071468516367/29044201154595000369307606597078752007253*c_0101_3^5 - 6206375522076609327410950323021626256327774/15286421660313158089109\ 26663004144842487*c_0101_3^4 - 387067311058063512825872266639214979\ 76944106/29044201154595000369307606597078752007253*c_0101_3^3 - 14925740407678645639749522042942945849727252/2904420115459500036930\ 7606597078752007253*c_0101_3^2 + 5730274800845543573918584417589369\ 120539969/29044201154595000369307606597078752007253*c_0101_3 + 527801083382924975856488417698064622263456/290442011545950003693076\ 06597078752007253, c_0011_3 + 184839788249052285979799765765820402931026/29044201154595000\ 369307606597078752007253*c_0101_3^21 - 24575932636955580159861413684772451496829/1528642166031315808910926\ 663004144842487*c_0101_3^20 + 3328069582355470257317868018208974672\ 14927/29044201154595000369307606597078752007253*c_0101_3^19 + 11803719662611712334761547822990581198621754/2904420115459500036930\ 7606597078752007253*c_0101_3^18 - 103044794980536573268042094139479\ 60019126024/29044201154595000369307606597078752007253*c_0101_3^17 + 2666074836017759437243040769920012388215957/29044201154595000369307\ 606597078752007253*c_0101_3^16 + 4989754632035512508318374107850369\ 8025108244/29044201154595000369307606597078752007253*c_0101_3^15 + 292016019444834729147471108079511922636445614/290442011545950003693\ 07606597078752007253*c_0101_3^14 - 869325272174113630996559276379562939251493705/290442011545950003693\ 07606597078752007253*c_0101_3^13 + 346473698709498531030333635645270425652842522/290442011545950003693\ 07606597078752007253*c_0101_3^12 + 291566537481716299415707611927613818919431940/290442011545950003693\ 07606597078752007253*c_0101_3^11 - 1405699932183097391024747586273063662881837485/29044201154595000369\ 307606597078752007253*c_0101_3^10 + 2038607458491612265150787749571957505028163040/29044201154595000369\ 307606597078752007253*c_0101_3^9 + 675952795565132826499331991694309577954766526/290442011545950003693\ 07606597078752007253*c_0101_3^8 - 199904869803359111271398830493107\ 1700235780824/29044201154595000369307606597078752007253*c_0101_3^7 + 185414715423860341052451174684623696250216122/290442011545950003693\ 07606597078752007253*c_0101_3^6 + 538705543906634666221149881825280\ 778125997072/29044201154595000369307606597078752007253*c_0101_3^5 - 4609843794905853618720599902868408262410507/15286421660313158089109\ 26663004144842487*c_0101_3^4 - 294626992789977657327170829453915484\ 31344818/29044201154595000369307606597078752007253*c_0101_3^3 - 11684764316426194955471476571957945921833765/2904420115459500036930\ 7606597078752007253*c_0101_3^2 + 4282066185867069160419743394747950\ 333987384/29044201154595000369307606597078752007253*c_0101_3 + 398990455822656086528106794956401708858020/290442011545950003693076\ 06597078752007253, c_0011_5 + 83432747297129951691202212787729090778999/290442011545950003\ 69307606597078752007253*c_0101_3^21 - 11134301053576551657175085681706174241221/1528642166031315808910926\ 663004144842487*c_0101_3^20 + 1526739293551374289869899767445339519\ 32923/29044201154595000369307606597078752007253*c_0101_3^19 + 5325979554705646705063086012923324238955009/29044201154595000369307\ 606597078752007253*c_0101_3^18 - 4701509855478299207064914719917095\ 696524009/29044201154595000369307606597078752007253*c_0101_3^17 + 1277407073366082985194087183601636845774158/29044201154595000369307\ 606597078752007253*c_0101_3^16 + 2252599823064640468052910448788715\ 2812660396/29044201154595000369307606597078752007253*c_0101_3^15 + 131602656081045256805269174068460122898959086/290442011545950003693\ 07606597078752007253*c_0101_3^14 - 393504854803912288617921216336246686797857030/290442011545950003693\ 07606597078752007253*c_0101_3^13 + 160998093227487968157595426730861962417595353/290442011545950003693\ 07606597078752007253*c_0101_3^12 + 129058936398522783039276035750670354889515384/290442011545950003693\ 07606597078752007253*c_0101_3^11 - 636941521177893080687867688403124968155552624/290442011545950003693\ 07606597078752007253*c_0101_3^10 + 926210514972160765517745260319315156328008663/290442011545950003693\ 07606597078752007253*c_0101_3^9 + 293738556350679059881635914873919\ 814975957118/29044201154595000369307606597078752007253*c_0101_3^8 - 904281991012208408848857653837225278475274646/290442011545950003693\ 07606597078752007253*c_0101_3^7 + 975563175417030698383994084139876\ 95138370214/29044201154595000369307606597078752007253*c_0101_3^6 + 243086010967671507462961652421076901890673536/290442011545950003693\ 07606597078752007253*c_0101_3^5 - 232986841912732667878567600881933\ 1169593976/1528642166031315808910926663004144842487*c_0101_3^4 - 13627103586440886967938048320715081833325748/2904420115459500036930\ 7606597078752007253*c_0101_3^3 - 4949378453817659533372023103813453\ 777178277/29044201154595000369307606597078752007253*c_0101_3^2 + 2072004916001577685981701302958272143846577/29044201154595000369307\ 606597078752007253*c_0101_3 + 1875786776148477725634011183537470031\ 13125/29044201154595000369307606597078752007253, c_0101_0 - 204339206029673760868839501530319514270728/29044201154595000\ 369307606597078752007253*c_0101_3^21 + 27605302391817288212750838610626953773320/1528642166031315808910926\ 663004144842487*c_0101_3^20 - 3843967954341532381785323620435570885\ 81545/29044201154595000369307606597078752007253*c_0101_3^19 - 13042910739173485485988586996384551710192652/2904420115459500036930\ 7606597078752007253*c_0101_3^18 + 119246808177660367072973208753533\ 33971857428/29044201154595000369307606597078752007253*c_0101_3^17 - 3121601479425733213045501718895681288711875/29044201154595000369307\ 606597078752007253*c_0101_3^16 - 5513725178393367693207167597768506\ 1383659349/29044201154595000369307606597078752007253*c_0101_3^15 - 320572597512522493233913543913962427268275486/290442011545950003693\ 07606597078752007253*c_0101_3^14 + 975373266029342644184430648884746072387371810/290442011545950003693\ 07606597078752007253*c_0101_3^13 - 414322253120215999285727160776120637154736316/290442011545950003693\ 07606597078752007253*c_0101_3^12 - 323708224318313693613271151507063867502153952/290442011545950003693\ 07606597078752007253*c_0101_3^11 + 1566301324248885249927308720628642687404906737/29044201154595000369\ 307606597078752007253*c_0101_3^10 - 2309514729872490452440568035817644520673426138/29044201154595000369\ 307606597078752007253*c_0101_3^9 - 686865686468086695932656695521123310812599843/290442011545950003693\ 07606597078752007253*c_0101_3^8 + 227348861097928234274224622402376\ 2894640407183/29044201154595000369307606597078752007253*c_0101_3^7 - 260261435407080898065842835743869364155087405/290442011545950003693\ 07606597078752007253*c_0101_3^6 - 618827548473323101880836527025325\ 650169212673/29044201154595000369307606597078752007253*c_0101_3^5 + 5789223228983808777623364708732508311711431/15286421660313158089109\ 26663004144842487*c_0101_3^4 + 363807813419580270420734050655054394\ 99385380/29044201154595000369307606597078752007253*c_0101_3^3 + 12872913822042509762684426801388398530399981/2904420115459500036930\ 7606597078752007253*c_0101_3^2 - 5296125550860247476045832796916214\ 821781044/29044201154595000369307606597078752007253*c_0101_3 - 490360563529941621615462531651499473513580/290442011545950003693076\ 06597078752007253, c_0101_1 + 167320342588087800387178501938767557293663/29044201154595000\ 369307606597078752007253*c_0101_3^21 - 22719753439896026725525976722538857653573/1528642166031315808910926\ 663004144842487*c_0101_3^20 + 3199433328497099972945750288120719273\ 61138/29044201154595000369307606597078752007253*c_0101_3^19 + 10676975321209161203889058748028917081785208/2904420115459500036930\ 7606597078752007253*c_0101_3^18 - 990509587828924490457215995705071\ 3602923537/29044201154595000369307606597078752007253*c_0101_3^17 + 2655397163501586635776932655379916227457636/29044201154595000369307\ 606597078752007253*c_0101_3^16 + 4513730951612175541026139784822733\ 7963139226/29044201154595000369307606597078752007253*c_0101_3^15 + 261905725098630057668453168380743876214902317/290442011545950003693\ 07606597078752007253*c_0101_3^14 - 802229123478640822396154907319935750878803353/290442011545950003693\ 07606597078752007253*c_0101_3^13 + 349020809186186023430376198211223292169141492/290442011545950003693\ 07606597078752007253*c_0101_3^12 + 262695236901234778672105733943049346221349954/290442011545950003693\ 07606597078752007253*c_0101_3^11 - 1286489930439562625169414873023958098803844474/29044201154595000369\ 307606597078752007253*c_0101_3^10 + 1907084873908997831570225086730793713293363292/29044201154595000369\ 307606597078752007253*c_0101_3^9 + 540516383854429602419934416892808812889866232/290442011545950003693\ 07606597078752007253*c_0101_3^8 - 187359942065901089160173285420649\ 6295190682660/29044201154595000369307606597078752007253*c_0101_3^7 + 234795214079807589810577905938193550027241811/290442011545950003693\ 07606597078752007253*c_0101_3^6 + 508415876529335597323067218845718\ 413685340408/29044201154595000369307606597078752007253*c_0101_3^5 - 5021044490466894670389927958415106912088625/15286421660313158089109\ 26663004144842487*c_0101_3^4 - 295343780859267108867047681395653241\ 82040501/29044201154595000369307606597078752007253*c_0101_3^3 - 10438553015759296137802323012205809982575122/2904420115459500036930\ 7606597078752007253*c_0101_3^2 + 4408702975737597921924791248994419\ 626886139/29044201154595000369307606597078752007253*c_0101_3 + 398156665437156989300816417012441939967724/290442011545950003693076\ 06597078752007253, c_0101_3^22 - 3*c_0101_3^21 + 3*c_0101_3^20 + 63*c_0101_3^19 - 86*c_0101_3^18 + 41*c_0101_3^17 + 263*c_0101_3^16 + 1452*c_0101_3^15 - 5451*c_0101_3^14 + 4107*c_0101_3^13 + 678*c_0101_3^12 - 8348*c_0101_3^11 + 14633*c_0101_3^10 - 1585*c_0101_3^9 - 12523*c_0101_3^8 + 6136*c_0101_3^7 + 2422*c_0101_3^6 - 1856*c_0101_3^5 + 68*c_0101_3^4 + 13*c_0101_3^3 + 53*c_0101_3^2 - 9*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB