Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 3120047449] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0647 geometric_solution 4.63361527 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 1 -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 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.669128066490 0.115756946672 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 1 -1 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 1 -2 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 2.042546390841 0.728510319381 3 1 1 3 0132 3201 0132 1023 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 0 -1 1 0 0 0 0 -2 2 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.091289657966 0.533889190753 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 -1 1 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390075534871 0.244931699476 5 3 5 6 2031 0132 2103 0132 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 0 0 0 0 0 -1 1 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.651129343670 0.719542736014 4 6 4 3 2103 2310 1302 0132 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 1 0 0 -1 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.651129343670 0.719542736014 6 6 4 5 1230 3012 0132 3201 0 0 0 0 0 1 0 -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 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 1.308567888302 0.764080068355 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : 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_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), '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' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_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_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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2058103095299063290437859/277461056658984378620224*c_0101_6^14 - 8036170701951056051335743/277461056658984378620224*c_0101_6^13 - 4331088280985758590783537/277461056658984378620224*c_0101_6^12 + 12250239491562425905866477/138730528329492189310112*c_0101_6^11 + 171023527130158563676535373/277461056658984378620224*c_0101_6^10 - 43550733333789925836076913/17341316041186523663764*c_0101_6^9 + 226908840789337536302594639/277461056658984378620224*c_0101_6^8 + 4761101522728954051847398581/277461056658984378620224*c_0101_6^7 - 500327452542123545596224931/17341316041186523663764*c_0101_6^6 - 3743299006817392956693557221/277461056658984378620224*c_0101_6^5 + 6859382015162542437870362341/138730528329492189310112*c_0101_6^4 - 3729352429676778195065797495/277461056658984378620224*c_0101_6^3 - 1147504947537310608943854861/69365264164746094655056*c_0101_6^2 + 358803336300463755991322957/69365264164746094655056*c_0101_6 + 54787635976232349554552831/34682632082373047327528, c_0011_0 - 1, c_0011_2 - 129102484865890207515/17341316041186523663764*c_0101_6^14 + 649280330622148776843/17341316041186523663764*c_0101_6^13 - 5352585413259998103/17341316041186523663764*c_0101_6^12 - 1284195977476722329011/8670658020593261831882*c_0101_6^11 - 10696436060127948400071/17341316041186523663764*c_0101_6^10 + 28498610239730566393651/8670658020593261831882*c_0101_6^9 - 37097060982104654413635/17341316041186523663764*c_0101_6^8 - 344162436618830178111151/17341316041186523663764*c_0101_6^7 + 388714332335853018223517/8670658020593261831882*c_0101_6^6 + 268190539515261657885199/17341316041186523663764*c_0101_6^5 - 696548377583853534548227/8670658020593261831882*c_0101_6^4 + 153846252624264006563243/17341316041186523663764*c_0101_6^3 + 126316624005149558433721/4335329010296630915941*c_0101_6^2 + 14294374267350398446481/8670658020593261831882*c_0101_6 - 3813173001068995780740/4335329010296630915941, c_0011_5 + 841803741360726079411/34682632082373047327528*c_0101_1*c_010\ 1_6^14 - 3055268139665756753061/34682632082373047327528*c_0101_1*c_\ 0101_6^13 - 2729366545818900811651/34682632082373047327528*c_0101_1\ *c_0101_6^12 + 2366933825193633872651/8670658020593261831882*c_0101\ _1*c_0101_6^11 + 73507671370170823027125/34682632082373047327528*c_\ 0101_1*c_0101_6^10 - 132406366703722237493203/173413160411865236637\ 64*c_0101_1*c_0101_6^9 + 8919114244334940672447/3468263208237304732\ 7528*c_0101_1*c_0101_6^8 + 1966118151972050883282747/34682632082373\ 047327528*c_0101_1*c_0101_6^7 - 1343303654116732226176511/173413160\ 41186523663764*c_0101_1*c_0101_6^6 - 2500344596142571161598289/34682632082373047327528*c_0101_1*c_0101_6\ ^5 + 1210699512810140386692863/8670658020593261831882*c_0101_1*c_01\ 01_6^4 + 360631658098532968521133/34682632082373047327528*c_0101_1*\ c_0101_6^3 - 862258849071240398843679/17341316041186523663764*c_010\ 1_1*c_0101_6^2 - 18373763747640977450852/4335329010296630915941*c_0\ 101_1*c_0101_6 + 10630243433343079882559/4335329010296630915941*c_0\ 101_1, c_0011_6 - 1660555121034715695103/34682632082373047327528*c_0101_1*c_01\ 01_6^14 + 5061038611876380442845/34682632082373047327528*c_0101_1*c\ _0101_6^13 + 7775621905934533746075/34682632082373047327528*c_0101_\ 1*c_0101_6^12 - 3258484250924148782129/8670658020593261831882*c_010\ 1_1*c_0101_6^11 - 148590399030876435110357/34682632082373047327528*\ c_0101_1*c_0101_6^10 + 217426988542751789734337/1734131604118652366\ 3764*c_0101_1*c_0101_6^9 + 183855255848939714050921/346826320823730\ 47327528*c_0101_1*c_0101_6^8 - 3677940669769392004484479/3468263208\ 2373047327528*c_0101_1*c_0101_6^7 + 1669906713867696643687863/17341316041186523663764*c_0101_1*c_0101_6\ ^6 + 5765187860043624195775365/34682632082373047327528*c_0101_1*c_0\ 101_6^5 - 778301234489815389607870/4335329010296630915941*c_0101_1*\ c_0101_6^4 - 1914614995506757132566513/34682632082373047327528*c_01\ 01_1*c_0101_6^3 + 1056491456194588971763299/17341316041186523663764\ *c_0101_1*c_0101_6^2 + 32614897686226576240178/43353290102966309159\ 41*c_0101_1*c_0101_6 - 11701276212996776783439/43353290102966309159\ 41*c_0101_1, c_0101_0 - 129102484865890207515/17341316041186523663764*c_0101_1*c_010\ 1_6^14 + 649280330622148776843/17341316041186523663764*c_0101_1*c_0\ 101_6^13 - 5352585413259998103/17341316041186523663764*c_0101_1*c_0\ 101_6^12 - 1284195977476722329011/8670658020593261831882*c_0101_1*c\ _0101_6^11 - 10696436060127948400071/17341316041186523663764*c_0101\ _1*c_0101_6^10 + 28498610239730566393651/8670658020593261831882*c_0\ 101_1*c_0101_6^9 - 37097060982104654413635/17341316041186523663764*\ c_0101_1*c_0101_6^8 - 344162436618830178111151/17341316041186523663\ 764*c_0101_1*c_0101_6^7 + 388714332335853018223517/8670658020593261\ 831882*c_0101_1*c_0101_6^6 + 268190539515261657885199/1734131604118\ 6523663764*c_0101_1*c_0101_6^5 - 696548377583853534548227/867065802\ 0593261831882*c_0101_1*c_0101_6^4 + 153846252624264006563243/17341316041186523663764*c_0101_1*c_0101_6^\ 3 + 126316624005149558433721/4335329010296630915941*c_0101_1*c_0101\ _6^2 + 14294374267350398446481/8670658020593261831882*c_0101_1*c_01\ 01_6 - 8148502011365626696681/4335329010296630915941*c_0101_1, c_0101_1^2 - 141303234294801110881/34682632082373047327528*c_0101_6^14 + 40641187813698683931/34682632082373047327528*c_0101_6^13 + 1481846929255397396677/34682632082373047327528*c_0101_6^12 + 357493063034573523073/8670658020593261831882*c_0101_6^11 - 13217749380124725369415/34682632082373047327528*c_0101_6^10 + 999189210949309484605/17341316041186523663764*c_0101_6^9 + 84934244420277279317391/34682632082373047327528*c_0101_6^8 - 209433550393539305005821/34682632082373047327528*c_0101_6^7 - 237140531381326929870729/17341316041186523663764*c_0101_6^6 + 577186582984365637985575/34682632082373047327528*c_0101_6^5 + 99920719926724118729320/4335329010296630915941*c_0101_6^4 - 405712772274155173303519/34682632082373047327528*c_0101_6^3 - 184002566160899078765075/17341316041186523663764*c_0101_6^2 - 1925170259544749841441/8670658020593261831882*c_0101_6 - 760285419924385623306/4335329010296630915941, c_0101_6^15 - 3*c_0101_6^14 - 5*c_0101_6^13 + 8*c_0101_6^12 + 91*c_0101_6^11 - 258*c_0101_6^10 - 139*c_0101_6^9 + 2241*c_0101_6^8 - 1858*c_0101_6^7 - 3911*c_0101_6^6 + 3632*c_0101_6^5 + 1999*c_0101_6^4 - 1318*c_0101_6^3 - 524*c_0101_6^2 + 32*c_0101_6 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB