Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 2176851123] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2774 geometric_solution 6.00639908 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 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 -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 1.264859619287 1.025178910118 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 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.811778308457 0.702311117565 5 4 0 6 2310 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 1 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.811778308457 0.702311117565 6 1 6 4 3201 0132 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.100394485227 0.702389222863 2 6 1 3 1023 3012 0132 2103 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 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.622597793074 0.158273398586 5 5 2 1 1230 3012 3201 0132 0 0 0 0 0 1 0 -1 0 0 1 -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 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.630131744802 0.850803403513 4 3 2 3 1230 1230 0132 2310 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 -1 1 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.100394485227 0.702389222863 ==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' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0110_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_2']), 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], '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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : 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_5, c_0011_6, c_0101_0, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 394465926982840368261032139109/5669532482672629893109752296*c_0110_\ 4^20 + 1423213590014892499408813560329/5669532482672629893109752296\ *c_0110_4^19 + 7644793109818137361454248122617/56695324826726298931\ 09752296*c_0110_4^18 - 555896886721414024059113322356/7086915603340\ 78736638719037*c_0110_4^17 - 4524878186950173202405410364225/708691\ 560334078736638719037*c_0110_4^16 - 17138081311663635307133683764003/5669532482672629893109752296*c_011\ 0_4^15 + 77249255960690514140191610391499/5669532482672629893109752\ 296*c_0110_4^14 + 74808356579932265399692062741831/5669532482672629\ 893109752296*c_0110_4^13 - 205371680866695002465028071475881/566953\ 2482672629893109752296*c_0110_4^12 - 149997568972421630010293643567245/5669532482672629893109752296*c_01\ 10_4^11 + 416593403935623774865585149516533/56695324826726298931097\ 52296*c_0110_4^10 + 81602596280726699695584545797641/28347662413363\ 14946554876148*c_0110_4^9 - 410451535860976904347120880313863/56695\ 32482672629893109752296*c_0110_4^8 - 26468574611935363529397412503151/5669532482672629893109752296*c_011\ 0_4^7 + 15023341067312877605414695909715/14173831206681574732774380\ 74*c_0110_4^6 - 359305752347718545749085524683/14173831206681574732\ 77438074*c_0110_4^5 + 62402064420663641032381433634217/566953248267\ 2629893109752296*c_0110_4^4 - 2481321763771452787056231334705/14173\ 83120668157473277438074*c_0110_4^3 + 1565040113575441729762178457337/5669532482672629893109752296*c_0110\ _4^2 - 3778869996697719358778048229163/5669532482672629893109752296\ *c_0110_4 - 650834766364693337183474700859/566953248267262989310975\ 2296, c_0011_0 - 1, c_0011_2 - 276600710165401692197120804/708691560334078736638719037*c_01\ 10_4^20 + 944130051142337205323308193/708691560334078736638719037*c\ _0110_4^19 + 5554424617512269904923204878/7086915603340787366387190\ 37*c_0110_4^18 - 2072701836961378186973202262/708691560334078736638\ 719037*c_0110_4^17 - 25996607255252375659156004513/7086915603340787\ 36638719037*c_0110_4^16 - 16953553894462090100098634136/70869156033\ 4078736638719037*c_0110_4^15 + 52006463285906278248487450628/708691\ 560334078736638719037*c_0110_4^14 + 63073550399001428229651603889/708691560334078736638719037*c_0110_4^\ 13 - 134546437932594585327011114512/708691560334078736638719037*c_0\ 110_4^12 - 134171338225420320645312140348/7086915603340787366387190\ 37*c_0110_4^11 + 272698580037576646948769398699/7086915603340787366\ 38719037*c_0110_4^10 + 174161257431994298713239219352/7086915603340\ 78736638719037*c_0110_4^9 - 268554023290273551521425630608/70869156\ 0334078736638719037*c_0110_4^8 - 80917559073372929592569505052/7086\ 91560334078736638719037*c_0110_4^7 + 45197933467423540912267306665/708691560334078736638719037*c_0110_4^\ 6 + 15596075691921592147086018932/708691560334078736638719037*c_011\ 0_4^5 + 37265911149156685016725977478/708691560334078736638719037*c\ _0110_4^4 - 2076045666583160002891324538/70869156033407873663871903\ 7*c_0110_4^3 - 174133789789685969219419123/708691560334078736638719\ 037*c_0110_4^2 - 2464225755094887836940707906/708691560334078736638\ 719037*c_0110_4 + 34120125348017698062617551/7086915603340787366387\ 19037, c_0011_5 + 383955109756836939045904264/708691560334078736638719037*c_01\ 10_4^20 - 1409940876083881339324603363/708691560334078736638719037*\ c_0110_4^19 - 7358958186302488487603964812/708691560334078736638719\ 037*c_0110_4^18 + 4816067405854192425967575179/70869156033407873663\ 8719037*c_0110_4^17 + 35137283648076191210563851450/708691560334078\ 736638719037*c_0110_4^16 + 14644479890651355608734484204/7086915603\ 34078736638719037*c_0110_4^15 - 76953187611696495621227458248/70869\ 1560334078736638719037*c_0110_4^14 - 69628599676577459004921606055/708691560334078736638719037*c_0110_4^\ 13 + 204868250089502376073848458208/708691560334078736638719037*c_0\ 110_4^12 + 136915920334176358022498966448/7086915603340787366387190\ 37*c_0110_4^11 - 415118012282342105510986830849/7086915603340787366\ 38719037*c_0110_4^10 - 142156391919580464546817173024/7086915603340\ 78736638719037*c_0110_4^9 + 409661063688927711604335406446/70869156\ 0334078736638719037*c_0110_4^8 + 16355868945956591874919749534/7086\ 91560334078736638719037*c_0110_4^7 - 57977366047450661881597695465/708691560334078736638719037*c_0110_4^\ 6 - 8322651632025680806110044233/708691560334078736638719037*c_0110\ _4^5 - 63154251454300866635210134430/708691560334078736638719037*c_\ 0110_4^4 + 16972515951342594744614467706/70869156033407873663871903\ 7*c_0110_4^3 - 980624602400594890976034099/708691560334078736638719\ 037*c_0110_4^2 + 4000196601973879568963957424/708691560334078736638\ 719037*c_0110_4 + 320356568657065929832241284/708691560334078736638\ 719037, c_0011_6 + c_0110_4, c_0101_0 - 190746727166204756817622911/708691560334078736638719037*c_01\ 10_4^20 + 570013187977533544663745242/708691560334078736638719037*c\ _0110_4^19 + 4106486637358368422634045716/7086915603340787366387190\ 37*c_0110_4^18 + 214201587331103258251047351/7086915603340787366387\ 19037*c_0110_4^17 - 18558714908268665613657255136/70869156033407873\ 6638719037*c_0110_4^16 - 19618263602895319613887299724/708691560334\ 078736638719037*c_0110_4^15 + 30732596262688720996242311498/7086915\ 60334078736638719037*c_0110_4^14 + 59981933748543799415295315835/708691560334078736638719037*c_0110_4^\ 13 - 72485546723782014587613079499/708691560334078736638719037*c_01\ 10_4^12 - 133524030245643579948141954765/70869156033407873663871903\ 7*c_0110_4^11 + 144015053786249632616525615032/70869156033407873663\ 8719037*c_0110_4^10 + 204029007604820952323183501264/70869156033407\ 8736638719037*c_0110_4^9 - 123210550950358949407894590283/708691560\ 334078736638719037*c_0110_4^8 - 142656493965239022423338554992/7086\ 91560334078736638719037*c_0110_4^7 - 9014675930200787074086498392/708691560334078736638719037*c_0110_4^6 + 30908626801804899181602660757/708691560334078736638719037*c_0110_\ 4^5 + 39933698253103820308957760915/708691560334078736638719037*c_0\ 110_4^4 + 8605086610402697796533256951/708691560334078736638719037*\ c_0110_4^3 - 805111125683625350805340758/70869156033407873663871903\ 7*c_0110_4^2 - 1987981413699291335715674543/70869156033407873663871\ 9037*c_0110_4 - 1342665847652762417631560568/7086915603340787366387\ 19037, c_0101_5 - 251766966417242697199436667/708691560334078736638719037*c_01\ 10_4^20 + 909014017210053031063381453/708691560334078736638719037*c\ _0110_4^19 + 4888548586895715723598560316/7086915603340787366387190\ 37*c_0110_4^18 - 2890833030696900573852696521/708691560334078736638\ 719037*c_0110_4^17 - 23331222415323266979467931102/7086915603340787\ 36638719037*c_0110_4^16 - 10782772497229932041994953572/70869156033\ 4078736638719037*c_0110_4^15 + 50452450099007274747813249882/708691\ 560334078736638719037*c_0110_4^14 + 48295120113149878642679606900/708691560334078736638719037*c_0110_4^\ 13 - 133515402049786042813862988815/708691560334078736638719037*c_0\ 110_4^12 - 98036869253305484893525037924/70869156033407873663871903\ 7*c_0110_4^11 + 272058295568459245989255627261/70869156033407873663\ 8719037*c_0110_4^10 + 109088134055818482433288336487/70869156033407\ 8736638719037*c_0110_4^9 - 274583287500081967879296517201/708691560\ 334078736638719037*c_0110_4^8 - 23334382508688133188602388814/70869\ 1560334078736638719037*c_0110_4^7 + 51606377122052702816951777964/708691560334078736638719037*c_0110_4^\ 6 + 1599934504722438859149412416/708691560334078736638719037*c_0110\ _4^5 + 36249540797381142939538705359/708691560334078736638719037*c_\ 0110_4^4 - 4822734573912475092623097320/708691560334078736638719037\ *c_0110_4^3 - 100411828732247500193529139/7086915603340787366387190\ 37*c_0110_4^2 - 3491425901812719908004928119/7086915603340787366387\ 19037*c_0110_4 - 454307349174223523558729068/7086915603340787366387\ 19037, c_0110_4^21 - 4*c_0110_4^20 - 18*c_0110_4^19 + 19*c_0110_4^18 + 88*c_0110_4^17 + 7*c_0110_4^16 - 216*c_0110_4^15 - 114*c_0110_4^14 + 602*c_0110_4^13 + 182*c_0110_4^12 - 1224*c_0110_4^11 - 11*c_0110_4^10 + 1241*c_0110_4^9 - 330*c_0110_4^8 - 217*c_0110_4^7 + 64*c_0110_4^6 - 153*c_0110_4^5 + 87*c_0110_4^4 - 9*c_0110_4^3 + 10*c_0110_4^2 - 2*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB