Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 3204391544] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0263 geometric_solution 4.30255991 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 0 0 0 0 0 -1 1 0 -1 0 0 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 -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 0 0 0 0 0 0 -0.493335697166 0.571129959798 0 0 4 3 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 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.692433091389 4.958301936853 2 0 2 0 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0.441126075953 0.045158767808 4 4 1 5 1023 2031 0132 0132 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 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.081396641942 0.628692213073 3 3 5 1 1302 1023 0132 0132 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 0 0 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.081396641942 0.628692213073 6 6 3 4 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.191837186599 0.458509772757 5 6 5 6 0132 2310 2310 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.785942089069 1.180792477239 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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' : negation(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_5'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], '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_3'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0110_2']})} 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_3, c_0011_5, c_0101_0, c_0101_1, c_0110_2, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 57591360702543019107602024945216/7323951027046647414029857661259*c_\ 1100_1^16 + 653986974184701193997559802804763/732395102704664741402\ 9857661259*c_1100_1^15 + 1096324764663781026846473985388183/7323951\ 027046647414029857661259*c_1100_1^14 - 1268527360841210525960220780496335/813772336338516379336650851251*c\ _1100_1^13 - 24033574872234204997338739397624404/732395102704664741\ 4029857661259*c_1100_1^12 + 93623909053958518780077201696742432/732\ 3951027046647414029857661259*c_1100_1^11 + 128266113936950700098938724454017449/732395102704664741402985766125\ 9*c_1100_1^10 - 19022924097774536993978090025925169/348759572716507\ 019715707507679*c_1100_1^9 - 226818420396755301857511433873345289/7\ 323951027046647414029857661259*c_1100_1^8 + 133565345836883193546439896857250727/104627871814952105914712252303\ 7*c_1100_1^7 - 20167357144492701204812698306096882/6658137297315134\ 01275441605569*c_1100_1^6 - 23192947324236064011356224333537559/221\ 937909910504467091813868523*c_1100_1^5 + 548070633624049935748310844935943358/732395102704664741402985766125\ 9*c_1100_1^4 + 1357683929219835561308063058274697/11625319090550233\ 9905235835893*c_1100_1^3 - 216376153537160751110197010313026903/732\ 3951027046647414029857661259*c_1100_1^2 + 25969169441805271113650890417345225/2441317009015549138009952553753\ *c_1100_1 - 1100587066092409246767918688747027/10462787181495210591\ 47122523037, c_0011_0 - 1, c_0011_3 + 29421196890092047313135848/2372514100112292651127261957*c_11\ 00_1^16 + 388102998715426814209977674/2372514100112292651127261957*\ c_1100_1^15 + 1216868170352502573399376028/237251410011229265112726\ 1957*c_1100_1^14 - 4291662466815663037576361000/2372514100112292651\ 127261957*c_1100_1^13 - 21923078979845547967494030282/2372514100112\ 292651127261957*c_1100_1^12 + 17283636678152730678540498840/2372514\ 100112292651127261957*c_1100_1^11 + 132029520082146144805749710043/2372514100112292651127261957*c_1100_\ 1^10 - 3586397865683696250651138779/338930585730327521589608851*c_1\ 100_1^9 - 374398171307436330847759165543/23725141001122926511272619\ 57*c_1100_1^8 + 5294404356934228149474781878/3389305857303275215896\ 08851*c_1100_1^7 + 47523135423160457271768467906/215683100010208422\ 829751087*c_1100_1^6 - 8516419832700071231755787441/215683100010208\ 422829751087*c_1100_1^5 - 423415568910405147014921747180/2372514100\ 112292651127261957*c_1100_1^4 + 26415893077730317503043091106/33893\ 0585730327521589608851*c_1100_1^3 + 123444605125332077786335286574/2372514100112292651127261957*c_1100_\ 1^2 - 102090646161682513181819654452/2372514100112292651127261957*c\ _1100_1 + 2565993999869616196394621824/338930585730327521589608851, c_0011_5 + 902264134676969025986336282/16607598700786048557890833699*c_\ 1100_1^16 + 10684189904360028892606193828/1660759870078604855789083\ 3699*c_1100_1^15 + 22507224718717380418827496507/166075987007860485\ 57890833699*c_1100_1^14 - 166440527496066500104270679455/1660759870\ 0786048557890833699*c_1100_1^13 - 455860149902147651095733132246/16\ 607598700786048557890833699*c_1100_1^12 + 1216145190175798538289190976597/16607598700786048557890833699*c_110\ 0_1^11 + 2562696970790689084014321753026/16607598700786048557890833\ 699*c_1100_1^10 - 679728291186856152285580283604/237251410011229265\ 1127261957*c_1100_1^9 - 5729389035046695560302231806869/16607598700\ 786048557890833699*c_1100_1^8 + 1546214917691994443750684422234/237\ 2514100112292651127261957*c_1100_1^7 + 175072300332640178873942108205/1509781700071458959808257609*c_1100_\ 1^6 - 825653856402897615579692854797/1509781700071458959808257609*c\ _1100_1^5 + 2399927325501844836181810464538/16607598700786048557890\ 833699*c_1100_1^4 + 339476387800401122865440835575/2372514100112292\ 651127261957*c_1100_1^3 - 1256256886053740566833277514766/166075987\ 00786048557890833699*c_1100_1^2 - 33184614920675109218830249672/166\ 07598700786048557890833699*c_1100_1 + 11310741108939891611568141284/2372514100112292651127261957, c_0101_0 + 1105585061345251585655338494/16607598700786048557890833699*c\ _1100_1^16 + 12661293518989221324755099370/166075987007860485578908\ 33699*c_1100_1^15 + 22334046940279958830710926994/16607598700786048\ 557890833699*c_1100_1^14 - 216361331456988471114347638650/166075987\ 00786048557890833699*c_1100_1^13 - 482140296323022595057272886780/16607598700786048557890833699*c_1100\ _1^12 + 1735513829242668162132842634683/166075987007860485578908336\ 99*c_1100_1^11 + 2620567968688722672778035292563/166075987007860485\ 57890833699*c_1100_1^10 - 1038201693142108769313002803243/237251410\ 0112292651127261957*c_1100_1^9 - 5046839805445818044655789434665/16\ 607598700786048557890833699*c_1100_1^8 + 2402705290455006815237065767260/2372514100112292651127261957*c_1100\ _1^7 - 215747560301083152476710532752/1509781700071458959808257609*\ c_1100_1^6 - 1242395165606253979535557618844/1509781700071458959808\ 257609*c_1100_1^5 + 7937869090659199636213263942630/166075987007860\ 48557890833699*c_1100_1^4 + 318596235993462522813168580405/23725141\ 00112292651127261957*c_1100_1^3 - 3162565357976693866474887916666/1\ 6607598700786048557890833699*c_1100_1^2 + 818018497868886533716449970198/16607598700786048557890833699*c_1100\ _1 - 3868355803884187177899314944/2372514100112292651127261957, c_0101_1 - 25527072167103869228870/100927983158731129073351*c_1100_1^16 - 293493376368133979226089/100927983158731129073351*c_1100_1^15 - 529601067432052246826821/100927983158731129073351*c_1100_1^14 + 4960653337703756892860877/100927983158731129073351*c_1100_1^13 + 11302702246993393925811085/100927983158731129073351*c_1100_1^12 - 39510315651983505369478353/100927983158731129073351*c_1100_1^11 - 61355383137476098454370003/100927983158731129073351*c_1100_1^10 + 23651379692990647800257569/14418283308390161296193*c_1100_1^9 + 117556734910030684717766405/100927983158731129073351*c_1100_1^8 - 55242921832655205813460066/14418283308390161296193*c_1100_1^7 + 59171602755078754735712970/100927983158731129073351*c_1100_1^6 + 322006236704705173775737102/100927983158731129073351*c_1100_1^5 - 206378391722167121348282400/100927983158731129073351*c_1100_1^4 - 6164351382532080069253289/14418283308390161296193*c_1100_1^3 + 84979885182789033673986244/100927983158731129073351*c_1100_1^2 - 29451448653535873275669158/100927983158731129073351*c_1100_1 + 441829938905123782415067/14418283308390161296193, c_0110_2 + 3733902047707747374390981438/16607598700786048557890833699*c\ _1100_1^16 + 42807667542289332367745479442/166075987007860485578908\ 33699*c_1100_1^15 + 76073715720076754382251333320/16607598700786048\ 557890833699*c_1100_1^14 - 728094468209833555498136836228/166075987\ 00786048557890833699*c_1100_1^13 - 1630428659370536231384051690336/16607598700786048557890833699*c_110\ 0_1^12 + 5828923902141921170239138811365/16607598700786048557890833\ 699*c_1100_1^11 + 8800516784715481309108155949771/16607598700786048\ 557890833699*c_1100_1^10 - 3492803878729683598725387826441/23725141\ 00112292651127261957*c_1100_1^9 - 16541478092836397586834142537010/\ 16607598700786048557890833699*c_1100_1^8 + 8121127580205689981963648386120/2372514100112292651127261957*c_1100\ _1^7 - 898899330775289721133249085625/1509781700071458959808257609*\ c_1100_1^6 - 4217223037203125394321529333026/1509781700071458959808\ 257609*c_1100_1^5 + 30338523011723788604428318974647/16607598700786\ 048557890833699*c_1100_1^4 + 838388634374620670859853677351/2372514\ 100112292651127261957*c_1100_1^3 - 12082614933270110495494005053117/16607598700786048557890833699*c_11\ 00_1^2 + 4150847933975640035117938045539/16607598700786048557890833\ 699*c_1100_1 - 61579171890796277980509069231/2372514100112292651127\ 261957, c_1100_1^17 + 11*c_1100_1^16 + 15*c_1100_1^15 - 205*c_1100_1^14 - 347*c_1100_1^13 + 1773*c_1100_1^12 + 1651*c_1100_1^11 - 7714*c_1100_1^10 - 1483*c_1100_1^9 + 17563*c_1100_1^8 - 9584*c_1100_1^7 - 11770*c_1100_1^6 + 14129*c_1100_1^5 - 1960*c_1100_1^4 - 4204*c_1100_1^3 + 2675*c_1100_1^2 - 623*c_1100_1 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB