Magma V2.19-8 Tue Aug 20 2013 16:14:27 on localhost [Seed = 3920131562] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s447 geometric_solution 4.76570900 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 6 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.844673740514 0.475724472828 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 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.564254559880 0.884234852724 4 1 5 5 0132 0132 0132 2310 0 0 0 0 0 1 -1 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.030966717800 0.534494681215 5 5 4 1 1023 3201 2310 0132 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 1 0 -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.030966717800 0.534494681215 2 3 4 4 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900243583815 1.399949576243 2 3 3 2 3201 1023 2310 0132 0 0 0 0 0 0 -1 1 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 1 0 -1 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.108032163993 1.864667008845 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(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_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : 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' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_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' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 9107798626693698136/2722432036362606675*c_0101_4^13 + 4059063751311685876/907477345454202225*c_0101_4^12 - 1016146851018518279/725981876363361780*c_0101_4^11 + 33003965086537077091/10889728145450426700*c_0101_4^10 + 1596993787505268901/201661632323156050*c_0101_4^9 + 95697197098643816683/3629909381816808900*c_0101_4^8 + 2827826911113624057/201661632323156050*c_0101_4^7 + 19499714709405071381/1814954690908404450*c_0101_4^6 + 16587926215294705621/5444864072725213350*c_0101_4^5 - 63120808861690463/71174693761113900*c_0101_4^4 - 84676486406165638991/10889728145450426700*c_0101_4^3 - 177100956051390522001/10889728145450426700*c_0101_4^2 - 89016290520396525/16132930585852484*c_0101_4 - 5224019340991878439/1209969793938936300, c_0011_0 - 1, c_0011_3 - 310878452273834096/302492448484734075*c_0101_4^13 - 59154141345280936/100830816161578025*c_0101_4^12 - 9204286663040173/40332326464631210*c_0101_4^11 - 1626543205396708213/604984896969468150*c_0101_4^10 - 54256436181939612/100830816161578025*c_0101_4^9 - 1897173540735666869/201661632323156050*c_0101_4^8 - 174003452928134634/100830816161578025*c_0101_4^7 - 1190151681386633233/100830816161578025*c_0101_4^6 - 406850266627036003/302492448484734075*c_0101_4^5 - 96857943113821023/11862448960185650*c_0101_4^4 - 742505382452343337/604984896969468150*c_0101_4^3 - 1595925646934297807/604984896969468150*c_0101_4^2 - 3334001488319053/8066465292926242*c_0101_4 - 39720518220129019/201661632323156050, c_0101_0 - 567751834916659424/907477345454202225*c_0101_4^13 - 34354515248537584/302492448484734075*c_0101_4^12 + 24265642404260899/60498489696946815*c_0101_4^11 - 1701410286666284336/907477345454202225*c_0101_4^10 - 228749093623084328/302492448484734075*c_0101_4^9 - 1205923378038445568/302492448484734075*c_0101_4^8 + 143055414638735168/100830816161578025*c_0101_4^7 - 2036486836156057727/302492448484734075*c_0101_4^6 - 872065466313914107/907477345454202225*c_0101_4^5 - 74207480329888331/17793673440278475*c_0101_4^4 + 1237315700359029436/907477345454202225*c_0101_4^3 - 2310543896865222379/907477345454202225*c_0101_4^2 - 10398551501193682/12099697939389363*c_0101_4 + 12781897663686594/100830816161578025, c_0101_1 - 81626770380953368/100830816161578025*c_0101_4^13 - 484957265472460292/302492448484734075*c_0101_4^12 - 36247616057944099/80664652929262420*c_0101_4^11 - 757047413500466833/403323264646312100*c_0101_4^10 - 2493369830716816903/604984896969468150*c_0101_4^9 - 3066250665171776787/403323264646312100*c_0101_4^8 - 1002723625487952791/100830816161578025*c_0101_4^7 - 1942004165281435859/201661632323156050*c_0101_4^6 - 2633800431677938973/201661632323156050*c_0101_4^5 - 628271791318461137/71174693761113900*c_0101_4^4 - 2974026046520954567/403323264646312100*c_0101_4^3 - 4698790751452813361/1209969793938936300*c_0101_4^2 - 132001566955949857/48398791757557452*c_0101_4 - 600226587300544637/403323264646312100, c_0101_2 + 12882776901044264/20166163232315605*c_0101_4^13 + 13482437867070292/20166163232315605*c_0101_4^12 + 1152920054721541/16132930585852484*c_0101_4^11 + 98693388873988099/80664652929262420*c_0101_4^10 + 60970947444888063/40332326464631210*c_0101_4^9 + 489305192639625241/80664652929262420*c_0101_4^8 + 45687534639628678/20166163232315605*c_0101_4^7 + 259482313666688297/40332326464631210*c_0101_4^6 + 105339537744815079/40332326464631210*c_0101_4^5 + 31363690209427877/4744979584074260*c_0101_4^4 + 100011066863462021/80664652929262420*c_0101_4^3 + 120271086206825281/80664652929262420*c_0101_4^2 + 12044576821759533/16132930585852484*c_0101_4 + 70986277295195131/80664652929262420, c_0101_4^14 + 3/2*c_0101_4^13 + 21/32*c_0101_4^12 + 17/8*c_0101_4^11 + 105/32*c_0101_4^10 + 339/32*c_0101_4^9 + 261/32*c_0101_4^8 + 201/16*c_0101_4^7 + 19/2*c_0101_4^6 + 399/32*c_0101_4^5 + 115/16*c_0101_4^4 + 77/16*c_0101_4^3 + 51/16*c_0101_4^2 + 9/4*c_0101_4 + 27/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.200 seconds, Total memory usage: 32.09MB