Magma V2.19-8 Tue Aug 20 2013 16:16:46 on localhost [Seed = 812756216] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1057 geometric_solution 4.93043015 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 2310 0 0 0 0 0 1 0 -1 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 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.196546832258 0.128915543143 0 3 0 4 0132 0132 2310 0132 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 1 0 -1 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.045627258174 1.604247654848 0 2 2 0 3201 3201 2310 0132 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.976332200787 0.590315306249 4 1 4 5 3201 0132 3012 0132 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 1 0 -1 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402682622880 1.220484188257 5 3 1 3 3201 1230 0132 2310 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 1 0 -1 0 0 0 0 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.402682622880 1.220484188257 6 6 3 4 0132 2310 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 0.338673633026 0.980275996561 5 6 6 5 0132 1230 3012 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.404725058298 0.503656522634 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), '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_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1433238670332934053583385/1020629527534387471*c_0101_3^29 - 3526845248360430079550707/1020629527534387471*c_0101_3^28 - 243457328077418423194303399/1020629527534387471*c_0101_3^27 - 108549505866692455687261070/1020629527534387471*c_0101_3^26 + 2342946196965492507155467247/1020629527534387471*c_0101_3^25 + 2738620318946651215440186951/1020629527534387471*c_0101_3^24 - 8719408332371595723955217737/1020629527534387471*c_0101_3^23 - 17464924480134135612265160292/1020629527534387471*c_0101_3^22 + 10918069920881841847593300581/1020629527534387471*c_0101_3^21 + 50811628379747823148475525183/1020629527534387471*c_0101_3^20 + 17846827794537368029496967544/1020629527534387471*c_0101_3^19 - 73094720623872639780569370744/1020629527534387471*c_0101_3^18 - 79224947820102736704328309501/1020629527534387471*c_0101_3^17 + 36660271829935388372545203995/1020629527534387471*c_0101_3^16 + 111415951298320552336844895668/1020629527534387471*c_0101_3^15 + 36862932314864467350419710013/1020629527534387471*c_0101_3^14 - 70412892166962511853623642505/1020629527534387471*c_0101_3^13 - 68502044572052764231129444858/1020629527534387471*c_0101_3^12 + 6751035013798396916664753778/1020629527534387471*c_0101_3^11 + 41935799752229264584448342610/1020629527534387471*c_0101_3^10 + 17736240767097139558750523000/1020629527534387471*c_0101_3^9 - 9255314512571535813013199234/1020629527534387471*c_0101_3^8 - 10434675630360257163446393041/1020629527534387471*c_0101_3^7 - 1473869718314317117927077570/1020629527534387471*c_0101_3^6 + 2047561840480573533017047887/1020629527534387471*c_0101_3^5 + 1015343555329722155743720337/1020629527534387471*c_0101_3^4 + 8263461756241672678609403/1020629527534387471*c_0101_3^3 - 116694429823536928927784913/1020629527534387471*c_0101_3^2 - 33790793615238233986625326/1020629527534387471*c_0101_3 - 3127334385852661433955718/1020629527534387471, c_0011_0 - 1, c_0011_2 + 86907632807391376676251/1020629527534387471*c_0101_3^29 - 212971546477648290850082/1020629527534387471*c_0101_3^28 - 14765138401323284493802965/1020629527534387471*c_0101_3^27 - 6731643939968126284024395/1020629527534387471*c_0101_3^26 + 142066178592870865679585268/1020629527534387471*c_0101_3^25 + 167510986622071416987719737/1020629527534387471*c_0101_3^24 - 527644546828723069392757622/1020629527534387471*c_0101_3^23 - 1064856681135581431219565170/1020629527534387471*c_0101_3^22 + 653748779432990288760521060/1020629527534387471*c_0101_3^21 + 3091300365812773411599998211/1020629527534387471*c_0101_3^20 + 1109106695994390187126111691/1020629527534387471*c_0101_3^19 - 4432663855252291497979171896/1020629527534387471*c_0101_3^18 - 4848665345184505731182237888/1020629527534387471*c_0101_3^17 + 2193261388135390436879258406/1020629527534387471*c_0101_3^16 + 6790942983731613010925391252/1020629527534387471*c_0101_3^15 + 2288676369976408554622194140/1020629527534387471*c_0101_3^14 - 4269645954643879251522268028/1020629527534387471*c_0101_3^13 - 4196781130089236006319619081/1020629527534387471*c_0101_3^12 + 385718012930250760572040194/1020629527534387471*c_0101_3^11 + 2556978311532809693126580651/1020629527534387471*c_0101_3^10 + 1095069017542105402528508989/1020629527534387471*c_0101_3^9 - 558702496474964734737915770/1020629527534387471*c_0101_3^8 - 639426692273622556805321872/1020629527534387471*c_0101_3^7 - 92882013229010791012975971/1020629527534387471*c_0101_3^6 + 124749932954768781753430828/1020629527534387471*c_0101_3^5 + 62560609757229947416888996/1020629527534387471*c_0101_3^4 + 696479816445934596650338/1020629527534387471*c_0101_3^3 - 7153794091533213114529340/1020629527534387471*c_0101_3^2 - 2086744188675344247505471/1020629527534387471*c_0101_3 - 194108294386753301410869/1020629527534387471, c_0011_4 - 196097034813483832027250/1020629527534387471*c_0101_3^29 + 487479152805492996940406/1020629527534387471*c_0101_3^28 + 33295790848822869974503227/1020629527534387471*c_0101_3^27 + 14020066702020471907600314/1020629527534387471*c_0101_3^26 - 320579161107436917754697436/1020629527534387471*c_0101_3^25 - 366631591726953280422596841/1020629527534387471*c_0101_3^24 + 1198944223959241601463539192/1020629527534387471*c_0101_3^23 + 2357006636952933900963734817/1020629527534387471*c_0101_3^22 - 1539877156612709570780902479/1020629527534387471*c_0101_3^21 - 6894704642965214735431272824/1020629527534387471*c_0101_3^20 - 2291776138560381005029426041/1020629527534387471*c_0101_3^19 + 9997656499088500572816409939/1020629527534387471*c_0101_3^18 + 10589689028742163872224183355/1020629527534387471*c_0101_3^17 - 5180669679735281047316261181/1020629527534387471*c_0101_3^16 - 15047076413868469693535971571/1020629527534387471*c_0101_3^15 - 4745441881970483662603277719/1020629527534387471*c_0101_3^14 + 9632299566892066044751658037/1020629527534387471*c_0101_3^13 + 9131257327633086904330592247/1020629527534387471*c_0101_3^12 - 1055218607089694747984164812/1020629527534387471*c_0101_3^11 - 5657886252706964920725306630/1020629527534387471*c_0101_3^10 - 2316975925173458532604509255/1020629527534387471*c_0101_3^9 + 1280024549284269046052539189/1020629527534387471*c_0101_3^8 + 1389996584991241613538994090/1020629527534387471*c_0101_3^7 + 182039984469398776956775970/1020629527534387471*c_0101_3^6 - 276769173010838128210770538/1020629527534387471*c_0101_3^5 - 133345106961692411656458292/1020629527534387471*c_0101_3^4 - 43656791787319132934827/1020629527534387471*c_0101_3^3 + 15527202061165959355181243/1020629527534387471*c_0101_3^2 + 4411659307071827167385838/1020629527534387471*c_0101_3 + 402913146447759326264171/1020629527534387471, c_0011_5 - 208284571957575777997249/1020629527534387471*c_0101_3^29 + 518164685486293782629072/1020629527534387471*c_0101_3^28 + 35364010712353723298334733/1020629527534387471*c_0101_3^27 + 14825949474235312000906394/1020629527534387471*c_0101_3^26 - 340503122697608866438741421/1020629527534387471*c_0101_3^25 - 388782741164468474024398910/1020629527534387471*c_0101_3^24 + 1273914555119348956231730136/1020629527534387471*c_0101_3^23 + 2500924153637108203482659826/1020629527534387471*c_0101_3^22 - 1639157431385902204115225750/1020629527534387471*c_0101_3^21 - 7318631704319568677525453701/1020629527534387471*c_0101_3^20 - 2422484448288453919212894539/1020629527534387471*c_0101_3^19 + 10618559857009831543457431455/1020629527534387471*c_0101_3^18 + 11228181899747700338625292375/1020629527534387471*c_0101_3^17 - 5515303510355419884874871734/1020629527534387471*c_0101_3^16 - 15966567388265669515504484604/1020629527534387471*c_0101_3^15 - 5017142325480353624357188612/1020629527534387471*c_0101_3^14 + 10230495457225482346039103982/1020629527534387471*c_0101_3^13 + 9679797107205469905603124474/1020629527534387471*c_0101_3^12 - 1130906171322577474294137025/1020629527534387471*c_0101_3^11 - 6003130359444398797329853240/1020629527534387471*c_0101_3^10 - 2452424494326987298048121159/1020629527534387471*c_0101_3^9 + 1360566228789861882390889087/1020629527534387471*c_0101_3^8 + 1473416375180344697873805141/1020629527534387471*c_0101_3^7 + 191840288285200362177743975/1020629527534387471*c_0101_3^6 - 293693597308542202965644710/1020629527534387471*c_0101_3^5 - 141197715330667608871706936/1020629527534387471*c_0101_3^4 + 36213995838847924656449/1020629527534387471*c_0101_3^3 + 16457563932958550278019253/1020629527534387471*c_0101_3^2 + 4669446575186668772561596/1020629527534387471*c_0101_3 + 426036730812305752597371/1020629527534387471, c_0101_0 + 206816111634275494236921/1020629527534387471*c_0101_3^29 - 514444174903509487615186/1020629527534387471*c_0101_3^28 - 35114878040938481819729608/1020629527534387471*c_0101_3^27 - 14732767002111594362578793/1020629527534387471*c_0101_3^26 + 338101939910998476175576478/1020629527534387471*c_0101_3^25 + 386149869302440646990457267/1020629527534387471*c_0101_3^24 - 1264850295028298972164067704/1020629527534387471*c_0101_3^23 - 2483717204339736798272649281/1020629527534387471*c_0101_3^22 + 1626984904700220575973816048/1020629527534387471*c_0101_3^21 + 7267749343784152156955096909/1020629527534387471*c_0101_3^20 + 2407345007508678872790821660/1020629527534387471*c_0101_3^19 - 10543667694676691356022377376/1020629527534387471*c_0101_3^18 - 11152137583591576481419477231/1020629527534387471*c_0101_3^17 + 5474291278731419835762717876/1020629527534387471*c_0101_3^16 + 15856349475964679000714393666/1020629527534387471*c_0101_3^15 + 4985431471258901931128474697/1020629527534387471*c_0101_3^14 - 10158322116584198619882028993/1020629527534387471*c_0101_3^13 - 9614421836083431918355841588/1020629527534387471*c_0101_3^12 + 1121354899708618425700571804/1020629527534387471*c_0101_3^11 + 5961736901156953216908819876/1020629527534387471*c_0101_3^10 + 2436413526329677537336362755/1020629527534387471*c_0101_3^9 - 1350820716971994001711759275/1020629527534387471*c_0101_3^8 - 1463464835132052268552597010/1020629527534387471*c_0101_3^7 - 190708446248306661909978065/1020629527534387471*c_0101_3^6 + 291664518901961842633345421/1020629527534387471*c_0101_3^5 + 140265078075108699809628756/1020629527534387471*c_0101_3^4 - 24512279271393795952518/1020629527534387471*c_0101_3^3 - 16346593299994346552623093/1020629527534387471*c_0101_3^2 - 4638840565075532379547350/1020629527534387471*c_0101_3 - 423298450301284747784214/1020629527534387471, c_0101_1 + 191653966330306227196297/1020629527534387471*c_0101_3^29 - 474607984932350608222324/1020629527534387471*c_0101_3^28 - 32546667098266074215817222/1020629527534387471*c_0101_3^27 - 14010345233064449055305917/1020629527534387471*c_0101_3^26 + 313309221317720708190631744/1020629527534387471*c_0101_3^25 + 361313417677445191732968368/1020629527534387471*c_0101_3^24 - 1169569811969079349957076139/1020629527534387471*c_0101_3^23 - 2315666371267807073542667911/1020629527534387471*c_0101_3^22 + 1487896034484898482616048180/1020629527534387471*c_0101_3^21 + 6759749003494853981076802458/1020629527534387471*c_0101_3^20 + 2295525875138014245077641042/1020629527534387471*c_0101_3^19 - 9772291576636398630131894301/1020629527534387471*c_0101_3^18 - 10442517076642796973287112103/1020629527534387471*c_0101_3^17 + 5002079835018943003261044991/1020629527534387471*c_0101_3^16 + 14779272797575516574558404184/1020629527534387471*c_0101_3^15 + 4748686773777262167299534320/1020629527534387471*c_0101_3^14 - 9414676492147924460035487349/1020629527534387471*c_0101_3^13 - 9014028190663484355740283805/1020629527534387471*c_0101_3^12 + 982436535308830183178034678/1020629527534387471*c_0101_3^11 + 5559387700005488683243760490/1020629527534387471*c_0101_3^10 + 2305271993610576129272370510/1020629527534387471*c_0101_3^9 - 1245947345679300594168152914/1020629527534387471*c_0101_3^8 - 1372530511625961357715907960/1020629527534387471*c_0101_3^7 - 185206677539394961596460949/1020629527534387471*c_0101_3^6 + 271763135162710518973098081/1020629527534387471*c_0101_3^5 + 132398919235857676724366084/1020629527534387471*c_0101_3^4 + 445297289577251513816762/1020629527534387471*c_0101_3^3 - 15339341725924433344208465/1020629527534387471*c_0101_3^2 - 4390300650975127962812813/1020629527534387471*c_0101_3 - 403014507967850120158895/1020629527534387471, c_0101_3^30 - 2*c_0101_3^29 - 171*c_0101_3^28 - 154*c_0101_3^27 + 1600*c_0101_3^26 + 2664*c_0101_3^25 - 5205*c_0101_3^24 - 14990*c_0101_3^23 + 2010*c_0101_3^22 + 38972*c_0101_3^21 + 28775*c_0101_3^20 - 45294*c_0101_3^19 - 78775*c_0101_3^18 + 162*c_0101_3^17 + 89558*c_0101_3^16 + 61497*c_0101_3^15 - 37341*c_0101_3^14 - 70432*c_0101_3^13 - 17261*c_0101_3^12 + 31458*c_0101_3^11 + 25840*c_0101_3^10 - 779*c_0101_3^9 - 10259*c_0101_3^8 - 4375*c_0101_3^7 + 959*c_0101_3^6 + 1366*c_0101_3^5 + 331*c_0101_3^4 - 79*c_0101_3^3 - 61*c_0101_3^2 - 13*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB