Magma V2.19-8 Tue Aug 20 2013 16:18:47 on localhost [Seed = 2050746122] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2949 geometric_solution 6.14113781 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 0 0 0 0 0 0 1 -1 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 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.108219992422 1.817136172063 0 2 4 3 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555561052956 1.239860664002 5 6 1 0 0132 0132 2310 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 1 0 0 -1 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.312035011662 0.355153490079 5 6 1 6 2103 2310 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.705283797992 0.513372050629 4 4 6 1 1302 2031 3120 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430885455582 0.572964355463 2 5 3 5 0132 1302 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.074342451779 1.257906567439 3 2 4 3 3012 0132 3120 3201 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 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.174189322434 0.825566521888 ==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' : negation(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' : 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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0101_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_2']), '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_2'], 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_1001_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_2, c_0011_3, c_0101_0, c_0101_1, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 446414374325605047385920591141099344/511447859061336391893055023761\ 731*c_1001_2^19 - 4945071622776621485301922876627051927/51144785906\ 1336391893055023761731*c_1001_2^18 + 10500924756662250780998724272201917625/5114478590613363918930550237\ 61731*c_1001_2^17 + 22499838463755935300137712211947439794/51144785\ 9061336391893055023761731*c_1001_2^16 - 105862839691820389746733211829406534494/511447859061336391893055023\ 761731*c_1001_2^15 + 12616964107943198811460851638943932266/7306397\ 9865905198841865003394533*c_1001_2^14 + 156471457033284529964269997493666067299/511447859061336391893055023\ 761731*c_1001_2^13 - 389129255704457385020648896511276065333/511447\ 859061336391893055023761731*c_1001_2^12 + 252140537459205423797074565637534546401/511447859061336391893055023\ 761731*c_1001_2^11 + 170620764170260870290357546815596759543/511447\ 859061336391893055023761731*c_1001_2^10 - 60314859346773766823805738567807073675/7306397986590519884186500339\ 4533*c_1001_2^9 + 43320591171749348746127292689533148314/7306397986\ 5905198841865003394533*c_1001_2^8 - 78724260133707251211801415671472634388/5114478590613363918930550237\ 61731*c_1001_2^7 + 1334448708749922650801602095069776378/5114478590\ 61336391893055023761731*c_1001_2^6 - 19068701972773872305296485312100688688/5114478590613363918930550237\ 61731*c_1001_2^5 + 17531930510128832629858137372900150024/511447859\ 061336391893055023761731*c_1001_2^4 + 1849378213763513689393782456366249060/51144785906133639189305502376\ 1731*c_1001_2^3 - 8358741576546879873437552620594098661/51144785906\ 1336391893055023761731*c_1001_2^2 + 605442591477005456743711620954168747/730639798659051988418650033945\ 33*c_1001_2 - 793756551367819731299712272657418081/5114478590613363\ 91893055023761731, c_0011_0 - 1, c_0011_2 - 42445552884764088481850149439152/562030614353116914168192333\ 8041*c_1001_2^19 + 433311555586585463849524646021609/56203061435311\ 69141681923338041*c_1001_2^18 - 625980735511517180785230028390049/5\ 620306143531169141681923338041*c_1001_2^17 - 2650865528442250942108740135613472/5620306143531169141681923338041*\ c_1001_2^16 + 7777810281871110420239916718342898/562030614353116914\ 1681923338041*c_1001_2^15 - 1921342322855529385132923591821174/5620\ 306143531169141681923338041*c_1001_2^14 - 16382220024988120630822642852143749/5620306143531169141681923338041\ *c_1001_2^13 + 23435758004878680994606350010562343/5620306143531169\ 141681923338041*c_1001_2^12 - 4408471008195945149106636738313996/56\ 20306143531169141681923338041*c_1001_2^11 - 20328400975372711265680107825503949/5620306143531169141681923338041\ *c_1001_2^10 + 23515340506781235816173813016970501/5620306143531169\ 141681923338041*c_1001_2^9 - 8919298489949110961540504899982938/562\ 0306143531169141681923338041*c_1001_2^8 - 607783207567000687003362123904951/5620306143531169141681923338041*c\ _1001_2^7 - 358481890374181365053203500495348/562030614353116914168\ 1923338041*c_1001_2^6 + 1665921649014239572493086644081650/56203061\ 43531169141681923338041*c_1001_2^5 - 292066505710620073755913140564336/5620306143531169141681923338041*c\ _1001_2^4 - 562650962732367443654336222132799/562030614353116914168\ 1923338041*c_1001_2^3 + 355864715769040382262264370243359/562030614\ 3531169141681923338041*c_1001_2^2 - 87473714473731698175929770844839/5620306143531169141681923338041*c_\ 1001_2 + 5394468899908579533975078595023/56203061435311691416819233\ 38041, c_0011_3 + 303501168324406577783449670093744/56203061435311691416819233\ 38041*c_1001_2^19 - 2970023951679205546962566781768297/562030614353\ 1169141681923338041*c_1001_2^18 + 331091359381793999769262029413380\ 4/5620306143531169141681923338041*c_1001_2^17 + 19504998137893655940156729152679313/5620306143531169141681923338041\ *c_1001_2^16 - 46739105137889786693121180953241835/5620306143531169\ 141681923338041*c_1001_2^15 + 176923800573532239620227917309417/562\ 0306143531169141681923338041*c_1001_2^14 + 105738831826615830054620317698833658/562030614353116914168192333804\ 1*c_1001_2^13 - 128437085338599321129190095194726092/56203061435311\ 69141681923338041*c_1001_2^12 + 7880123808453532323658441776461332/\ 5620306143531169141681923338041*c_1001_2^11 + 124180595047834503535997744626735513/562030614353116914168192333804\ 1*c_1001_2^10 - 127369997614751841680525280387866839/56203061435311\ 69141681923338041*c_1001_2^9 + 44412818858260081703157227852911857/\ 5620306143531169141681923338041*c_1001_2^8 + 1709732769072859637429957029962566/5620306143531169141681923338041*\ c_1001_2^7 + 3538899180555733128115259802955293/5620306143531169141\ 681923338041*c_1001_2^6 - 8108769444098482965459523281568681/562030\ 6143531169141681923338041*c_1001_2^5 + 1203238972998754406238201047956351/5620306143531169141681923338041*\ c_1001_2^4 + 3001168019437231795259090060055661/5620306143531169141\ 681923338041*c_1001_2^3 - 1980616688742002228980922797835231/562030\ 6143531169141681923338041*c_1001_2^2 + 464750334822322943612275546970794/5620306143531169141681923338041*c\ _1001_2 - 16270005637927777278068010819572/562030614353116914168192\ 3338041, c_0101_0 + 241818218695063186490573664485744/56203061435311691416819233\ 38041*c_1001_2^19 - 2350953160706355494336422032846365/562030614353\ 1169141681923338041*c_1001_2^18 + 250206522560964542144351504982428\ 0/5620306143531169141681923338041*c_1001_2^17 + 15565999906614130926994443335164753/5620306143531169141681923338041\ *c_1001_2^16 - 36137407169506667579132337899448994/5620306143531169\ 141681923338041*c_1001_2^15 - 1194519552473360677297877000788663/56\ 20306143531169141681923338041*c_1001_2^14 + 82290582333628753613491341465103161/5620306143531169141681923338041\ *c_1001_2^13 - 97860795863048935842568905052333068/5620306143531169\ 141681923338041*c_1001_2^12 + 4995600746669464245157120846845242/56\ 20306143531169141681923338041*c_1001_2^11 + 95105167265081076197854910748616065/5620306143531169141681923338041\ *c_1001_2^10 - 97184314630989639509088746324574316/5620306143531169\ 141681923338041*c_1001_2^9 + 34847347703362121435583628456633345/56\ 20306143531169141681923338041*c_1001_2^8 - 59679643333167120646360190147614/5620306143531169141681923338041*c_\ 1001_2^7 + 2892207695198614262590312222745878/562030614353116914168\ 1923338041*c_1001_2^6 - 5849813355137275089782787143628542/56203061\ 43531169141681923338041*c_1001_2^5 + 1012262724969485467667539595662473/5620306143531169141681923338041*\ c_1001_2^4 + 2179177029575153795462386969659610/5620306143531169141\ 681923338041*c_1001_2^3 - 1550303924069934244511127269169728/562030\ 6143531169141681923338041*c_1001_2^2 + 392496229053573162360791480629276/5620306143531169141681923338041*c\ _1001_2 - 19784356863078590839651986055915/562030614353116914168192\ 3338041, c_0101_1 - 329647968223985948558523884098336/56203061435311691416819233\ 38041*c_1001_2^19 + 3212112124255264191907808267709078/562030614353\ 1169141681923338041*c_1001_2^18 - 348200969890643891234351345214941\ 7/5620306143531169141681923338041*c_1001_2^17 - 21145224275654811870691618951579993/5620306143531169141681923338041\ *c_1001_2^16 + 49768530453671907712396539203050407/5620306143531169\ 141681923338041*c_1001_2^15 + 516976349462516173192532469819683/562\ 0306143531169141681923338041*c_1001_2^14 - 112492211784553892715409237997586522/562030614353116914168192333804\ 1*c_1001_2^13 + 136203429511162827252488240824726990/56203061435311\ 69141681923338041*c_1001_2^12 - 9258226570134219005451717832183081/\ 5620306143531169141681923338041*c_1001_2^11 - 130450792818218674723554557032475924/562030614353116914168192333804\ 1*c_1001_2^10 + 135553210112936961847940248093270937/56203061435311\ 69141681923338041*c_1001_2^9 - 49655983238311778525495526315844954/\ 5620306143531169141681923338041*c_1001_2^8 + 308462717536963126347364859248770/5620306143531169141681923338041*c\ _1001_2^7 - 3861302610249823221492831219982771/56203061435311691416\ 81923338041*c_1001_2^6 + 8232141632105287720264441107576643/5620306\ 143531169141681923338041*c_1001_2^5 - 1470122535452095815666149497951260/5620306143531169141681923338041*\ c_1001_2^4 - 3025554506392943540746640054253251/5620306143531169141\ 681923338041*c_1001_2^3 + 2159419366174101775703996626625877/562030\ 6143531169141681923338041*c_1001_2^2 - 561375494805544390603436256919728/5620306143531169141681923338041*c\ _1001_2 + 27384890654002428607398121294024/562030614353116914168192\ 3338041, c_0101_6 + 219667799180396440195261746822784/56203061435311691416819233\ 38041*c_1001_2^19 - 2155176038974971757543558288545880/562030614353\ 1169141681923338041*c_1001_2^18 + 245665628473617392721655138584829\ 0/5620306143531169141681923338041*c_1001_2^17 + 14003403677572290494455910074597924/5620306143531169141681923338041\ *c_1001_2^16 - 34176431601426442719294618909265161/5620306143531169\ 141681923338041*c_1001_2^15 + 1408445366505766470186839828385377/56\ 20306143531169141681923338041*c_1001_2^14 + 76017301090535106360665553940385647/5620306143531169141681923338041\ *c_1001_2^13 - 95615350357149039915949151226146793/5620306143531169\ 141681923338041*c_1001_2^12 + 9744103598219946261874364653472643/56\ 20306143531169141681923338041*c_1001_2^11 + 89154188547017513521888921810369792/5620306143531169141681923338041\ *c_1001_2^10 - 95824104101922358865372321186253168/5620306143531169\ 141681923338041*c_1001_2^9 + 36120280547806032300489417631009310/56\ 20306143531169141681923338041*c_1001_2^8 + 101011975101451182926656125718159/5620306143531169141681923338041*c\ _1001_2^7 + 2095969963645956311066673071902670/56203061435311691416\ 81923338041*c_1001_2^6 - 5914623593255789083675467151437134/5620306\ 143531169141681923338041*c_1001_2^5 + 1249850742604144375985138447271544/5620306143531169141681923338041*\ c_1001_2^4 + 2154079448077231714806887665084270/5620306143531169141\ 681923338041*c_1001_2^3 - 1564222136335272255861311743106278/562030\ 6143531169141681923338041*c_1001_2^2 + 384077079943416706483715944846206/5620306143531169141681923338041*c\ _1001_2 - 14503665935507700981355190481435/562030614353116914168192\ 3338041, c_1001_2^20 - 171/16*c_1001_2^19 + 79/4*c_1001_2^18 + 217/4*c_1001_2^17 - 3387/16*c_1001_2^16 + 2249/16*c_1001_2^15 + 2757/8*c_1001_2^14 - 11787/16*c_1001_2^13 + 3317/8*c_1001_2^12 + 6019/16*c_1001_2^11 - 12601/16*c_1001_2^10 + 2135/4*c_1001_2^9 - 2171/16*c_1001_2^8 + 75/8*c_1001_2^7 - 73/2*c_1001_2^6 + 453/16*c_1001_2^5 + 11/2*c_1001_2^4 - 123/8*c_1001_2^3 + 123/16*c_1001_2^2 - 25/16*c_1001_2 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB