Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 964208112] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1650 geometric_solution 5.39201053 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492562687375 0.390426311319 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 0 0 0 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.563993397476 0.655742030496 4 3 0 1 2310 3201 0132 1302 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 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.563993397476 0.655742030496 1 5 2 5 0132 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.172736680942 1.259165304823 4 1 2 4 3012 0132 3201 1230 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 -1 0 0 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.246084976030 0.876559496710 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682767573851 0.265515206772 5 6 5 6 0132 2310 1023 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.771774553534 0.104228845252 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_1, c_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 12221036430263940762637/3191488957131230513376*c_0101_4*c_0101_6^13 + 43555994967781360610489/3191488957131230513376*c_0101_4*c_0101_6^\ 12 + 61247500492435296495949/1063829652377076837792*c_0101_4*c_0101\ _6^11 - 281104880058194941839677/3191488957131230513376*c_0101_4*c_\ 0101_6^10 + 13029404389996662921535/29550823677141023272*c_0101_4*c\ _0101_6^9 - 24981357876527516907791/12973532346061912656*c_0101_4*c\ _0101_6^8 + 1007034446204270169599161/797872239282807628344*c_0101_\ 4*c_0101_6^7 + 1039167553213173537711841/265957413094269209448*c_01\ 01_4*c_0101_6^6 - 31667974854151233309550385/3191488957131230513376\ *c_0101_4*c_0101_6^5 + 16738279156052792465279977/15957444785656152\ 56688*c_0101_4*c_0101_6^4 - 5997841450854704271669673/1595744478565\ 615256688*c_0101_4*c_0101_6^3 - 4783850733915881739060835/319148895\ 7131230513376*c_0101_4*c_0101_6^2 + 6058907480180670658342661/3191488957131230513376*c_0101_4*c_0101_6 - 2288840104566684844645727/3191488957131230513376*c_0101_4, c_0011_0 - 1, c_0011_1 + 956811094064538883/7387705919285255818*c_0101_4*c_0101_6^13 - 4524074765845219945/7387705919285255818*c_0101_4*c_0101_6^12 - 3858709668987122182/3693852959642627909*c_0101_4*c_0101_6^11 + 12374297397860186463/3693852959642627909*c_0101_4*c_0101_6^10 - 76104486780040653446/3693852959642627909*c_0101_4*c_0101_6^9 + 8440752823227066012/90093974625429949*c_0101_4*c_0101_6^8 - 666511704691120269326/3693852959642627909*c_0101_4*c_0101_6^7 + 762444053814414924334/3693852959642627909*c_0101_4*c_0101_6^6 - 954570694397646572687/7387705919285255818*c_0101_4*c_0101_6^5 + 51513853066585864931/3693852959642627909*c_0101_4*c_0101_6^4 + 183718638896963225405/7387705919285255818*c_0101_4*c_0101_6^3 - 183637919096690042165/7387705919285255818*c_0101_4*c_0101_6^2 + 28638766296563094696/3693852959642627909*c_0101_4*c_0101_6 - 6182130233572216417/3693852959642627909*c_0101_4, c_0101_1 + 164137663449453/7402510941167591*c_0101_6^13 - 917160583638073/7402510941167591*c_0101_6^12 - 757824726970745/7402510941167591*c_0101_6^11 + 5796057448261407/7402510941167591*c_0101_6^10 - 28646277096167342/7402510941167591*c_0101_6^9 + 3393218038726796/180549047345551*c_0101_6^8 - 316345609794000082/7402510941167591*c_0101_6^7 + 395238098083926580/7402510941167591*c_0101_6^6 - 292939132860126424/7402510941167591*c_0101_6^5 + 82711903061812757/7402510941167591*c_0101_6^4 + 31649235874523222/7402510941167591*c_0101_6^3 - 31739003038995377/7402510941167591*c_0101_6^2 + 26808739502138291/7402510941167591*c_0101_6 - 5848212750682544/7402510941167591, c_0101_2 - 1896374346196303415/7387705919285255818*c_0101_4*c_0101_6^13 + 9978207113158075905/7387705919285255818*c_0101_4*c_0101_6^12 + 5427390499043949852/3693852959642627909*c_0101_4*c_0101_6^11 - 29471029258705470747/3693852959642627909*c_0101_4*c_0101_6^10 + 162763814179356290484/3693852959642627909*c_0101_4*c_0101_6^9 - 18567327060811644072/90093974625429949*c_0101_4*c_0101_6^8 + 1658546637758350084541/3693852959642627909*c_0101_4*c_0101_6^7 - 2084458523147930021016/3693852959642627909*c_0101_4*c_0101_6^6 + 2958996419782596442923/7387705919285255818*c_0101_4*c_0101_6^5 - 288443015760173373619/3693852959642627909*c_0101_4*c_0101_6^4 - 646943797747344029249/7387705919285255818*c_0101_4*c_0101_6^3 + 580638005198875964563/7387705919285255818*c_0101_4*c_0101_6^2 - 99336368603342257709/3693852959642627909*c_0101_4*c_0101_6 + 10246213801972056810/3693852959642627909*c_0101_4, c_0101_4^2 - 178107469522590302/3693852959642627909*c_0101_6^13 + 959307631035939031/3693852959642627909*c_0101_6^12 + 1013023077693531412/3693852959642627909*c_0101_6^11 - 6146965706639062284/3693852959642627909*c_0101_6^10 + 30206343261758315578/3693852959642627909*c_0101_6^9 - 3517270419293268598/90093974625429949*c_0101_6^8 + 312591439204412268929/3693852959642627909*c_0101_6^7 - 357145784799379947605/3693852959642627909*c_0101_6^6 + 198511942532024519001/3693852959642627909*c_0101_6^5 + 30824050249263808806/3693852959642627909*c_0101_6^4 - 92286072231643260603/3693852959642627909*c_0101_6^3 + 25697258342505036863/3693852959642627909*c_0101_6^2 - 21803909718978647/3693852959642627909*c_0101_6 - 1281388888697417765/3693852959642627909, c_0101_5 - 382899544479844/7402510941167591*c_0101_6^13 + 1843544907881593/7402510941167591*c_0101_6^12 + 3016038017968342/7402510941167591*c_0101_6^11 - 10538524314498747/7402510941167591*c_0101_6^10 + 60941821501107593/7402510941167591*c_0101_6^9 - 6836010112495375/180549047345551*c_0101_6^8 + 544821982446183090/7402510941167591*c_0101_6^7 - 600655235855859546/7402510941167591*c_0101_6^6 + 339783580696799497/7402510941167591*c_0101_6^5 + 12841381198251371/7402510941167591*c_0101_6^4 - 98100944526806441/7402510941167591*c_0101_6^3 + 57565437953854437/7402510941167591*c_0101_6^2 - 17896816681700645/7402510941167591*c_0101_6 + 3716757741372164/7402510941167591, c_0101_6^14 - 6*c_0101_6^13 - 2*c_0101_6^12 + 36*c_0101_6^11 - 193*c_0101_6^10 + 926*c_0101_6^9 - 2318*c_0101_6^8 + 3384*c_0101_6^7 - 3007*c_0101_6^6 + 1289*c_0101_6^5 + 176*c_0101_6^4 - 511*c_0101_6^3 + 292*c_0101_6^2 - 68*c_0101_6 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB