Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 1579139772] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2077 geometric_solution 5.59210452 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.410078460483 0.914727233438 0 3 4 3 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.903568093823 1.453039171595 5 4 5 0 0132 1023 1023 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 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.903568093823 1.453039171595 5 1 5 1 3201 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539854398635 0.280211845524 2 6 6 1 1023 0132 3201 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 -1 1 0 -1 0 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.153263767761 0.535479983331 2 3 2 3 0132 3201 1023 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.539854398635 0.280211845524 4 4 6 6 2310 0132 2031 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 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.251715336212 1.945788300712 ==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_0101_6'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_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_2'], 'c_0011_6' : negation(d['c_0011_2']), '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_2'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0101_0'], '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' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0110_3'], 'c_1010_0' : d['c_0011_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_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 14689832418849645435770296/1455710971018574174347949*c_0110_3^20 + 15158192062382489938113736/397012083005065683913077*c_0110_3^19 - 949781633510253153953199/132337361001688561304359*c_0110_3^18 + 1529188286207823854330852594/4367132913055722523043847*c_0110_3^17 + 1452262117675296709461864409/4367132913055722523043847*c_0110_3^16 - 450301286291077260521841088/397012083005065683913077*c_0110_3^15 + 3243101207893420398203396457/1455710971018574174347949*c_0110_3^14 - 2449559236015634346249580777/1455710971018574174347949*c_0110_3^13 + 747608129266523640492438016/4367132913055722523043847*c_0110_3^12 + 2064994376791582034978676610/4367132913055722523043847*c_0110_3^11 - 3262667044445473076659329098/1455710971018574174347949*c_0110_3^10 + 771079706575718580481820699/4367132913055722523043847*c_0110_3^9 + 8081605928731638932938742933/4367132913055722523043847*c_0110_3^8 - 4323740319565695466473712547/4367132913055722523043847*c_0110_3^7 - 2458038810737449823730129422/4367132913055722523043847*c_0110_3^6 + 3280577831284756584589509376/4367132913055722523043847*c_0110_3^5 - 126633674403519180981280277/4367132913055722523043847*c_0110_3^4 - 414284015061732818664973923/1455710971018574174347949*c_0110_3^3 + 303267323554921478537935585/4367132913055722523043847*c_0110_3^2 + 55442286721596678336520312/1455710971018574174347949*c_0110_3 - 85754026738126721421526700/4367132913055722523043847, c_0011_0 - 1, c_0011_2 + 27098059374898246554642/132337361001688561304359*c_0110_3^20 + 115002584575212448352667/132337361001688561304359*c_0110_3^19 + 37756313480485935449352/132337361001688561304359*c_0110_3^18 + 968144156491482718262889/132337361001688561304359*c_0110_3^17 + 1316853420591067661452109/132337361001688561304359*c_0110_3^16 - 2296164844411489659181502/132337361001688561304359*c_0110_3^15 + 4879961537358068152693144/132337361001688561304359*c_0110_3^14 - 2900265974599209929118991/132337361001688561304359*c_0110_3^13 + 530905519503724040203375/132337361001688561304359*c_0110_3^12 - 350689746432088709173422/132337361001688561304359*c_0110_3^11 - 5116934020038074683537440/132337361001688561304359*c_0110_3^10 - 1991091033712221299285215/132337361001688561304359*c_0110_3^9 + 2850616063903530078579391/132337361001688561304359*c_0110_3^8 + 226214191567221116703260/132337361001688561304359*c_0110_3^7 - 1211588251504781595203416/132337361001688561304359*c_0110_3^6 + 794463566664690936570810/132337361001688561304359*c_0110_3^5 + 442521582819154789719469/132337361001688561304359*c_0110_3^4 - 343410511494882198636528/132337361001688561304359*c_0110_3^3 - 441501013375487381733975/132337361001688561304359*c_0110_3^2 + 37407962371686956015289/132337361001688561304359*c_0110_3 - 4579654970519873081264/132337361001688561304359, c_0101_0 - 4579654970519873081264/132337361001688561304359*c_0110_3^20 + 8779439492818754229586/132337361001688561304359*c_0110_3^19 + 115002584575212448352667/132337361001688561304359*c_0110_3^18 - 117951955517189749313624/132337361001688561304359*c_0110_3^17 + 784957957670687795012329/132337361001688561304359*c_0110_3^16 + 1816035812377733827309885/132337361001688561304359*c_0110_3^15 - 3157139978869225798459134/132337361001688561304359*c_0110_3^14 + 5392882894056293937794712/132337361001688561304359*c_0110_3^13 - 2767455980454133609762335/132337361001688561304359*c_0110_3^12 + 352298975653448990034079/132337361001688561304359*c_0110_3^11 + 524024352937207049348002/132337361001688561304359*c_0110_3^10 - 4924588511276240014124352/132337361001688561304359*c_0110_3^9 - 2952818577521394646350655/132337361001688561304359*c_0110_3^8 + 2992585367989646144098575/132337361001688561304359*c_0110_3^7 + 670440723707648805585868/132337361001688561304359*c_0110_3^6 - 1463469274883374614672936/132337361001688561304359*c_0110_3^5 + 666233227490134490295418/132337361001688561304359*c_0110_3^4 + 593650196846310601401181/132337361001688561304359*c_0110_3^3 - 320512236642282833230208/132337361001688561304359*c_0110_3^2 - 345800892137957805079728/132337361001688561304359*c_0110_3 + 37407962371686956015289/132337361001688561304359, c_0101_1 - 33443415665652426482162/132337361001688561304359*c_0110_3^20 - 77956397271232215350843/132337361001688561304359*c_0110_3^19 + 241030805657301682512168/132337361001688561304359*c_0110_3^18 - 1052655996015529027164054/132337361001688561304359*c_0110_3^17 + 619758849668351953563054/132337361001688561304359*c_0110_3^16 + 6504952493195622769908774/132337361001688561304359*c_0110_3^15 - 11212692463318231446640613/132337361001688561304359*c_0110_3^14 + 13050788176242201862240995/132337361001688561304359*c_0110_3^13 - 3223437876258756971073950/132337361001688561304359*c_0110_3^12 - 3118385130707589757636679/132337361001688561304359*c_0110_3^11 + 7865756749652507334424718/132337361001688561304359*c_0110_3^10 - 10186866107844921172575575/132337361001688561304359*c_0110_3^9 - 11827068282265954758610995/132337361001688561304359*c_0110_3^8 + 9070748697799707038269782/132337361001688561304359*c_0110_3^7 + 3855930186634530579258062/132337361001688561304359*c_0110_3^6 - 5160820132768244379315196/132337361001688561304359*c_0110_3^5 + 1261098866705421222871195/132337361001688561304359*c_0110_3^4 + 2103115609251926467500952/132337361001688561304359*c_0110_3^3 - 768792543455365501310621/132337361001688561304359*c_0110_3^2 - 444266049619820930330195/132337361001688561304359*c_0110_3 + 77248100087433688260570/132337361001688561304359, c_0101_2 - c_0110_3, c_0101_6 - 10024344390644719399375/132337361001688561304359*c_0110_3^20 - 34125400210233203061265/132337361001688561304359*c_0110_3^19 - 13748157620142033209830/132337361001688561304359*c_0110_3^18 - 475438961109543061210574/132337361001688561304359*c_0110_3^17 - 149322796997114648552274/132337361001688561304359*c_0110_3^16 - 2552828792199586719638/132337361001688561304359*c_0110_3^15 - 3480460120311274157414858/132337361001688561304359*c_0110_3^14 + 6449005667281589313426978/132337361001688561304359*c_0110_3^13 - 9590918346034223495481180/132337361001688561304359*c_0110_3^12 + 8347111586011063910971196/132337361001688561304359*c_0110_3^11 - 2272158154221276756607531/132337361001688561304359*c_0110_3^10 + 731602542275195842120952/132337361001688561304359*c_0110_3^9 + 4101667773375159475199614/132337361001688561304359*c_0110_3^8 - 1245368882176371383288/132337361001688561304359*c_0110_3^7 - 4681306749442403367295972/132337361001688561304359*c_0110_3^6 + 2523384268192966213625603/132337361001688561304359*c_0110_3^5 + 891096857655875055596019/132337361001688561304359*c_0110_3^4 - 1339869997615607395817355/132337361001688561304359*c_0110_3^3 - 15880481998880964023198/132337361001688561304359*c_0110_3^2 + 491936585945411450728717/132337361001688561304359*c_0110_3 - 57138559528217299583601/132337361001688561304359, c_0110_3^21 + 4*c_0110_3^20 + 34*c_0110_3^18 + 40*c_0110_3^17 - 109*c_0110_3^16 + 188*c_0110_3^15 - 112*c_0110_3^14 - 29*c_0110_3^13 + 39*c_0110_3^12 - 191*c_0110_3^11 - 42*c_0110_3^10 + 210*c_0110_3^9 - 31*c_0110_3^8 - 97*c_0110_3^7 + 55*c_0110_3^6 + 28*c_0110_3^5 - 33*c_0110_3^4 - 5*c_0110_3^3 + 8*c_0110_3^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB