Magma V2.19-8 Tue Aug 20 2013 16:18:34 on localhost [Seed = 1882320194] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2749 geometric_solution 5.98947869 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.808278143935 0.852963287140 0 5 4 6 0132 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848227455542 0.353272290794 2 0 2 3 2031 0132 1302 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 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.433711745365 1.106069093978 5 4 2 0 0213 1302 2031 0132 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 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414655948782 0.617704424870 6 1 0 3 3012 1230 0132 2031 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.050381782345 1.625021490505 3 1 6 6 0213 0132 3012 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 1 -1 1 0 0 -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.497070655133 0.484079781950 5 5 1 4 3201 1230 0132 1230 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 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.492391794274 0.213845985222 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0110_2']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_1001_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0110_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_2']), 'c_1001_2' : d['c_0110_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0110_2']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : d['c_0110_2']})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0110_2, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 82363511229625646816706840935851/34887486263297700292680072583296*c\ _1001_0^19 + 24273438171898372621103580229879/290729052194147502439\ 0006048608*c_1001_0^18 - 226735153062935431898383879298497/58145810\ 43882950048780012097216*c_1001_0^17 - 2184011854700939631411672565881101/17443743131648850146340036291648\ *c_1001_0^16 + 4921999455809730799393614682185917/34887486263297700\ 292680072583296*c_1001_0^15 - 22317273346529730252057196554048127/1\ 7443743131648850146340036291648*c_1001_0^14 + 59398652690099608152948695196437119/3488748626329770029268007258329\ 6*c_1001_0^13 + 139919125494894754546360098022481593/34887486263297\ 700292680072583296*c_1001_0^12 - 2052537975317077635882009578372282\ 9/1516847228839030447507829242752*c_1001_0^11 + 58182653818638509445014975561278855/5814581043882950048780012097216\ *c_1001_0^10 + 55489880926200113161980649801869071/4360935782912212\ 536585009072912*c_1001_0^9 - 137603404734325079925792960563055971/4\ 360935782912212536585009072912*c_1001_0^8 + 795992449819997410589730144831099679/348874862632977002926800725832\ 96*c_1001_0^7 + 107333039649167981329965029279749835/34887486263297\ 700292680072583296*c_1001_0^6 - 63545938666587990227818358557011958\ 9/34887486263297700292680072583296*c_1001_0^5 + 499733941356606390460685036164731529/348874862632977002926800725832\ 96*c_1001_0^4 - 158177750500499904765216997391074325/34887486263297\ 700292680072583296*c_1001_0^3 - 3820982356138418242175463117913475/\ 11629162087765900097560024194432*c_1001_0^2 + 22946461795000083857282921659883363/3488748626329770029268007258329\ 6*c_1001_0 - 4840014282974658546012527372099381/3488748626329770029\ 2680072583296, c_0011_0 - 1, c_0011_3 + 392051205626616411350813957/30284276270223698170729229673*c_\ 1001_0^19 + 370244523632215219124543027/201895175134824654471528197\ 82*c_1001_0^18 + 787906263036615639011801573/2018951751348246544715\ 2819782*c_1001_0^17 + 48086081299239781360559522108/302842762702236\ 98170729229673*c_1001_0^16 + 206207745249204147101845024921/6056855\ 2540447396341458459346*c_1001_0^15 + 191974171242270650491513065259/30284276270223698170729229673*c_1001\ _0^14 + 1444158220553495169144395599925/605685525404473963414584593\ 46*c_1001_0^13 - 1238951380227328015415566048505/302842762702236981\ 70729229673*c_1001_0^12 - 76511298316670090531162336144/13167076639\ 22769485683879551*c_1001_0^11 + 4278683616233610396058623110569/201\ 89517513482465447152819782*c_1001_0^10 - 5468891556244592524780123262275/60568552540447396341458459346*c_100\ 1_0^9 - 7961923328004203568867734044486/302842762702236981707292296\ 73*c_1001_0^8 + 23405589951801096088161982948151/605685525404473963\ 41458459346*c_1001_0^7 - 2976979932045533334134274760630/3028427627\ 0223698170729229673*c_1001_0^6 - 5831942333606085223717370592790/30\ 284276270223698170729229673*c_1001_0^5 + 11712457854949236202150791881069/60568552540447396341458459346*c_10\ 01_0^4 - 1598778261090513653855023083344/30284276270223698170729229\ 673*c_1001_0^3 - 109436500845650319769614756908/1009475875674123272\ 3576409891*c_1001_0^2 + 431624994518738766632748110953/605685525404\ 47396341458459346*c_1001_0 + 8639686895148046638329629093/302842762\ 70223698170729229673, c_0011_4 + 5221196485465861326990834398/30284276270223698170729229673*c\ _1001_0^19 - 5511347138146763764886916191/1009475875674123272357640\ 9891*c_1001_0^18 + 26459514847814081005384023070/100947587567412327\ 23576409891*c_1001_0^17 + 308572938325487555551782849803/3028427627\ 0223698170729229673*c_1001_0^16 - 208725724448473190912127044530/30\ 284276270223698170729229673*c_1001_0^15 + 2706674816278152587326589250355/30284276270223698170729229673*c_100\ 1_0^14 - 2732350555467068414318958993233/30284276270223698170729229\ 673*c_1001_0^13 - 10237954445818156709014250557802/3028427627022369\ 8170729229673*c_1001_0^12 + 1152896492222984730100428465415/1316707\ 663922769485683879551*c_1001_0^11 - 3547412316479943956902632583333/10094758756741232723576409891*c_100\ 1_0^10 - 35795802723466287941346991107593/3028427627022369817072922\ 9673*c_1001_0^9 + 57014624241396996023818303657268/3028427627022369\ 8170729229673*c_1001_0^8 - 22994243878553386262036948278790/3028427\ 6270223698170729229673*c_1001_0^7 - 22502555731137723697770636722239/30284276270223698170729229673*c_10\ 01_0^6 + 32240418743388408989416623797153/3028427627022369817072922\ 9673*c_1001_0^5 - 14787452814172560287649370462472/3028427627022369\ 8170729229673*c_1001_0^4 + 1053513553715072466679836866074/30284276\ 270223698170729229673*c_1001_0^3 + 472115386221341508356681346445/10094758756741232723576409891*c_1001\ _0^2 - 382118541122838828631259798524/30284276270223698170729229673\ *c_1001_0 + 44353411214666909921677713067/3028427627022369817072922\ 9673, c_0011_6 - 265719673913821974795669239497/36341131524268437804875075607\ 6*c_1001_0^19 + 156514536374855137028295914915/60568552540447396341\ 458459346*c_1001_0^18 - 1443697590304732341672714540383/12113710508\ 0894792682916918692*c_1001_0^17 - 14295717679272040128812080847509/\ 363411315242684378048750756076*c_1001_0^16 + 16689269575754555737553557861469/363411315242684378048750756076*c_1\ 001_0^15 - 140810922787371384250132147759979/3634113152426843780487\ 50756076*c_1001_0^14 + 187349413573451100197823239265967/3634113152\ 42684378048750756076*c_1001_0^13 + 119353066308973635757966472961421/90852828810671094512187689019*c_1\ 001_0^12 - 67866007079258890879381362252851/15800491967073233828206\ 554612*c_1001_0^11 + 82912744088996040442265807772035/3028427627022\ 3698170729229673*c_1001_0^10 + 1755856928677449153963371961504721/3\ 63411315242684378048750756076*c_1001_0^9 - 3621973461192832022165598585118453/363411315242684378048750756076*c\ _1001_0^8 + 2046687032479582569203528345320831/36341131524268437804\ 8750756076*c_1001_0^7 + 244599175499565863644137688853309/908528288\ 10671094512187689019*c_1001_0^6 - 212822387390950383831082246694206\ 9/363411315242684378048750756076*c_1001_0^5 + 1224591697312764256052327914408051/363411315242684378048750756076*c\ _1001_0^4 - 96954027201673546202507040382723/1817056576213421890243\ 75378038*c_1001_0^3 - 33330361622502816542707284117881/121137105080\ 894792682916918692*c_1001_0^2 + 43111471481069274792925435211429/36\ 3411315242684378048750756076*c_1001_0 - 883750599490611147648615330461/90852828810671094512187689019, c_0101_0 + 151799682699146734741102737151/18170565762134218902437537803\ 8*c_1001_0^19 - 186594424631880904696007303275/60568552540447396341\ 458459346*c_1001_0^18 + 423692029936942829258507137711/302842762702\ 23698170729229673*c_1001_0^17 + 7832501423212207607972387740753/181\ 705657621342189024375378038*c_1001_0^16 - 5500446415843650476630906345206/90852828810671094512187689019*c_100\ 1_0^15 + 81035005643017553716110513177197/1817056576213421890243753\ 78038*c_1001_0^14 - 59371266605882943532664561763122/90852828810671\ 094512187689019*c_1001_0^13 - 131667466066078982442147839976638/908\ 52828810671094512187689019*c_1001_0^12 + 40924928449153034663407935080309/7900245983536616914103277306*c_100\ 1_0^11 - 224541214562236884369766900098137/605685525404473963414584\ 59346*c_1001_0^10 - 494095059749465467254284993558843/9085282881067\ 1094512187689019*c_1001_0^9 + 2237888304985973984326345037111809/18\ 1705657621342189024375378038*c_1001_0^8 - 686362197325797761163757076574713/90852828810671094512187689019*c_1\ 001_0^7 - 260734422591330845752162069742365/90852828810671094512187\ 689019*c_1001_0^6 + 1327658084183164330839837443672527/181705657621\ 342189024375378038*c_1001_0^5 - 403367601319948878577474932123032/9\ 0852828810671094512187689019*c_1001_0^4 + 72266257858015760365942310295775/90852828810671094512187689019*c_10\ 01_0^3 + 20170911158192672770035454665557/6056855254044739634145845\ 9346*c_1001_0^2 - 14590387331730810828222685392985/9085282881067109\ 4512187689019*c_1001_0 + 1365782220874580783520064763272/9085282881\ 0671094512187689019, c_0110_2 - 23574042356581895/58369980583899951*c_1001_0^19 + 49999851156465615/38913320389266634*c_1001_0^18 - 242338324855852601/38913320389266634*c_1001_0^17 - 1375795228318973477/58369980583899951*c_1001_0^16 + 1812005812348184627/116739961167799902*c_1001_0^15 - 12484543101980467408/58369980583899951*c_1001_0^14 + 25345082624080467847/116739961167799902*c_1001_0^13 + 44155121467743016214/58369980583899951*c_1001_0^12 - 118521804987303991853/58369980583899951*c_1001_0^11 + 39383362084127073527/38913320389266634*c_1001_0^10 + 283229460632976230041/116739961167799902*c_1001_0^9 - 259737343904913867605/58369980583899951*c_1001_0^8 + 284239009279665632557/116739961167799902*c_1001_0^7 + 66131516041602089569/58369980583899951*c_1001_0^6 - 149836806270291598916/58369980583899951*c_1001_0^5 + 187216886990735420131/116739961167799902*c_1001_0^4 - 20337458021380298521/58369980583899951*c_1001_0^3 - 1915119864926763382/19456660194633317*c_1001_0^2 + 7251890299319681417/116739961167799902*c_1001_0 - 411909040119851497/58369980583899951, c_1001_0^20 - 4*c_1001_0^19 + 18*c_1001_0^18 + 46*c_1001_0^17 - 87*c_1001_0^16 + 562*c_1001_0^15 - 957*c_1001_0^14 - 1443*c_1001_0^13 + 6665*c_1001_0^12 - 6598*c_1001_0^11 - 4504*c_1001_0^10 + 16568*c_1001_0^9 - 14573*c_1001_0^8 + 647*c_1001_0^7 + 9543*c_1001_0^6 - 8723*c_1001_0^5 + 3255*c_1001_0^4 - 77*c_1001_0^3 - 353*c_1001_0^2 + 103*c_1001_0 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB