Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 4054871316] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0611 geometric_solution 4.61685315 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 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 2.626364315768 1.014522884379 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 1 0 -1 0 0 -1 1 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 1 0 -1 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.094837766467 0.182491476628 1 1 3 4 0132 2310 0132 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 -1 0 0 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.371829362981 2.959197207777 5 4 5 2 0132 1023 2310 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 -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.672666968393 0.925710149267 3 6 2 6 1023 0132 0132 2310 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 1 0 -1 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.672666968393 0.925710149267 3 3 6 6 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 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.380676274671 0.225032109301 4 4 5 5 3201 0132 1230 3012 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 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.380676274671 0.225032109301 ==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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 5555639251382240364849737219535411583222/51785788747717945830889038\ 160471388359*c_0110_6^22 + 3403079513350277784337389906229893551748\ 3/51785788747717945830889038160471388359*c_0110_6^21 - 2750795540296494702172349309990485300630/51785788747717945830889038\ 160471388359*c_0110_6^20 + 3605001136723416233567913404329711425166\ 94/51785788747717945830889038160471388359*c_0110_6^19 + 107654775721586842130713242306913710765253/517857887477179458308890\ 38160471388359*c_0110_6^18 + 14881983262216269452396535109509862724\ 9504/4707798977065267802808094378224671669*c_0110_6^17 + 3366368562685662564305346136827888349706152/51785788747717945830889\ 038160471388359*c_0110_6^16 + 3401400429307412496214000070229751081\ 482559/51785788747717945830889038160471388359*c_0110_6^15 + 11111248121173262387224496104832724674022003/5178578874771794583088\ 9038160471388359*c_0110_6^14 + 202474050579130746658853441168836844\ 88746949/51785788747717945830889038160471388359*c_0110_6^13 + 281921475248725401003711284902743578557874/475098979336861888356780\ 166609829251*c_0110_6^12 + 3172925937940087360940893104075865702329\ 5776/51785788747717945830889038160471388359*c_0110_6^11 + 18292342548823073325322211892358358621488995/5178578874771794583088\ 9038160471388359*c_0110_6^10 + 530542179578943890692498835669172067\ 2927/43190816303351080759707287873620841*c_0110_6^9 - 4541610928095058690074165627121322323726010/51785788747717945830889\ 038160471388359*c_0110_6^8 - 43344724190034963273567242328206806649\ 18886/51785788747717945830889038160471388359*c_0110_6^7 - 2382491346277851475166450616984177572605393/51785788747717945830889\ 038160471388359*c_0110_6^6 - 46467993568535305938381022909948793826\ 8510/51785788747717945830889038160471388359*c_0110_6^5 + 396830906546576424646746469965376750147717/517857887477179458308890\ 38160471388359*c_0110_6^4 + 212009163887368545363559290671138237692\ 72/51785788747717945830889038160471388359*c_0110_6^3 + 67848562776662650580151154509202437502995/5178578874771794583088903\ 8160471388359*c_0110_6^2 - 3235719173052756460796770453343696967676\ /51785788747717945830889038160471388359*c_0110_6 - 2082988862793415441613590402072316599315/51785788747717945830889038\ 160471388359, c_0011_0 - 1, c_0011_3 - 892286613198612103437404818764174374/47077989770652678028080\ 94378224671669*c_0110_6^22 - 7574397620482282932522825408385506721/\ 4707798977065267802808094378224671669*c_0110_6^21 - 13447177702295576121565803907271488325/4707798977065267802808094378\ 224671669*c_0110_6^20 - 63191157834615830108572580741605447800/4707\ 798977065267802808094378224671669*c_0110_6^19 - 155681316434827300853360347607030317114/470779897706526780280809437\ 8224671669*c_0110_6^18 - 364826088477925361253420329686592530206/47\ 07798977065267802808094378224671669*c_0110_6^17 - 1206041914686339865421545219519455526662/47077989770652678028080943\ 78224671669*c_0110_6^16 - 2099874078561804880289761319567280823479/\ 4707798977065267802808094378224671669*c_0110_6^15 - 3769938777553652456952130129733702912544/47077989770652678028080943\ 78224671669*c_0110_6^14 - 8224611921318924790028510022908553822077/\ 4707798977065267802808094378224671669*c_0110_6^13 - 134047601488096260788075817723193566521/431908163033510807597072878\ 73620841*c_0110_6^12 - 20953046922566041569968154283040499642900/47\ 07798977065267802808094378224671669*c_0110_6^11 - 21266588945749975879764595004527701911994/4707798977065267802808094\ 378224671669*c_0110_6^10 - 133760869842449692548129125101175416583/\ 43190816303351080759707287873620841*c_0110_6^9 - 5820598090944843592559129440230320698667/47077989770652678028080943\ 78224671669*c_0110_6^8 + 1079742142920756439620648624995746827306/4\ 707798977065267802808094378224671669*c_0110_6^7 + 2598072623232724215771122820260669048369/47077989770652678028080943\ 78224671669*c_0110_6^6 + 1825681927088150726357037752319509176711/4\ 707798977065267802808094378224671669*c_0110_6^5 + 559839200163543212801529781904117833624/470779897706526780280809437\ 8224671669*c_0110_6^4 - 46647093166087002517664877173711399157/4707\ 798977065267802808094378224671669*c_0110_6^3 - 43533867675793033885290010929669741109/4707798977065267802808094378\ 224671669*c_0110_6^2 - 43338545430024109548005390336569819143/47077\ 98977065267802808094378224671669*c_0110_6 - 7323970329212223032158598756801619433/47077989770652678028080943782\ 24671669, c_0101_0 - 19046061077268881713835377760885789058/470779897706526780280\ 8094378224671669*c_0110_6^22 - 134261952396002580673211482293027740\ 645/4707798977065267802808094378224671669*c_0110_6^21 - 103115554365590560504657345742867029790/470779897706526780280809437\ 8224671669*c_0110_6^20 - 1257346221843478622124748914012699104837/4\ 707798977065267802808094378224671669*c_0110_6^19 - 1515183634662914705713351493759872843983/47077989770652678028080943\ 78224671669*c_0110_6^18 - 6264222633762653547531330570443619973862/\ 4707798977065267802808094378224671669*c_0110_6^17 - 16883075030164730862777703347527196025839/4707798977065267802808094\ 378224671669*c_0110_6^16 - 2377552311399284268984511496161276720035\ 3/4707798977065267802808094378224671669*c_0110_6^15 - 52053896054787342978547963031443677470352/4707798977065267802808094\ 378224671669*c_0110_6^14 - 1082701385876115939611868574940689509877\ 06/4707798977065267802808094378224671669*c_0110_6^13 - 1650299658221064239582291985224231360584/43190816303351080759707287\ 873620841*c_0110_6^12 - 225733543312860113912119250754394698570370/\ 4707798977065267802808094378224671669*c_0110_6^11 - 194151217585989353118406600159805638415997/470779897706526780280809\ 4378224671669*c_0110_6^10 - 104730141093101057297360028360636332417\ 4/43190816303351080759707287873620841*c_0110_6^9 - 28412315959379511847851026421283313129304/4707798977065267802808094\ 378224671669*c_0110_6^8 + 17933760830085544279181093509434146325644\ /4707798977065267802808094378224671669*c_0110_6^7 + 22991966699691846699518019009595107939927/4707798977065267802808094\ 378224671669*c_0110_6^6 + 12784185597205785373872557029457192645784\ /4707798977065267802808094378224671669*c_0110_6^5 + 2887084118335581336093116003384156425117/47077989770652678028080943\ 78224671669*c_0110_6^4 - 355317092412891494362288686649236496123/47\ 07798977065267802808094378224671669*c_0110_6^3 - 413512724840752672138022187360818179618/470779897706526780280809437\ 8224671669*c_0110_6^2 - 213220554115501395988056547887521748871/470\ 7798977065267802808094378224671669*c_0110_6 - 41472137413242348694940331556000183592/4707798977065267802808094378\ 224671669, c_0101_1 - 1907037574621400601162331494063132166/4707798977065267802808\ 094378224671669*c_0110_6^22 - 1851410169589324282805171871985818461\ 1/4707798977065267802808094378224671669*c_0110_6^21 - 42749995177311103450883464926906100872/4707798977065267802808094378\ 224671669*c_0110_6^20 - 132049384028993390848579300302772990823/470\ 7798977065267802808094378224671669*c_0110_6^19 - 482003188550567092026785871496768537046/470779897706526780280809437\ 8224671669*c_0110_6^18 - 814107009238626678394240171230219800054/47\ 07798977065267802808094378224671669*c_0110_6^17 - 3230463260114915091706072067031499143509/47077989770652678028080943\ 78224671669*c_0110_6^16 - 5865172544629850655657183667286020419621/\ 4707798977065267802808094378224671669*c_0110_6^15 - 9229166784235682256315182955773959570725/47077989770652678028080943\ 78224671669*c_0110_6^14 - 22022259928682836626640368057012229570159\ /4707798977065267802808094378224671669*c_0110_6^13 - 361637413162134896277019436505681624588/431908163033510807597072878\ 73620841*c_0110_6^12 - 56235929629059697939923725474954065695116/47\ 07798977065267802808094378224671669*c_0110_6^11 - 57176391209413019326417137995272318037000/4707798977065267802808094\ 378224671669*c_0110_6^10 - 345760951901276070119562353831105755295/\ 43190816303351080759707287873620841*c_0110_6^9 - 15005030898700572007049782151966313906066/4707798977065267802808094\ 378224671669*c_0110_6^8 + 3190100450220356387999409591827933806817/\ 4707798977065267802808094378224671669*c_0110_6^7 + 6871958970136836472909551281793250203211/47077989770652678028080943\ 78224671669*c_0110_6^6 + 4593300797015434910995401755430686845946/4\ 707798977065267802808094378224671669*c_0110_6^5 + 1499291019028198078750019347465256767761/47077989770652678028080943\ 78224671669*c_0110_6^4 - 146405931300515606645944950734826391161/47\ 07798977065267802808094378224671669*c_0110_6^3 - 111129266522259028660325111245173141416/470779897706526780280809437\ 8224671669*c_0110_6^2 - 91473179519396122964002604334124878093/4707\ 798977065267802808094378224671669*c_0110_6 - 18945118256495456641388419290415707901/4707798977065267802808094378\ 224671669, c_0101_2 + 16263291464841441922644836935832466418/470779897706526780280\ 8094378224671669*c_0110_6^22 + 107928476588039489401140676982415403\ 769/4707798977065267802808094378224671669*c_0110_6^21 + 44487698087714903681481233056389644256/4707798977065267802808094378\ 224671669*c_0110_6^20 + 1061797855231625977073502864864565301779/47\ 07798977065267802808094378224671669*c_0110_6^19 + 856860452159338843420646176221425919917/470779897706526780280809437\ 8224671669*c_0110_6^18 + 5061219673202090026717712906753978518665/4\ 707798977065267802808094378224671669*c_0110_6^17 + 12367246560666950169987252873472810398829/4707798977065267802808094\ 378224671669*c_0110_6^16 + 1550398143993312653184330388938363008028\ 0/4707798977065267802808094378224671669*c_0110_6^15 + 38761728740560022112621861011547848698246/4707798977065267802808094\ 378224671669*c_0110_6^14 + 7728417001407569825334811362910570045454\ 7/4707798977065267802808094378224671669*c_0110_6^13 + 1137434246458257815489477927363481331941/43190816303351080759707287\ 873620841*c_0110_6^12 + 145975382913693776710121368340651161890426/\ 4707798977065267802808094378224671669*c_0110_6^11 + 112499948446291141317053486149468917690569/470779897706526780280809\ 4378224671669*c_0110_6^10 + 541669617209089945431489150929684612453\ /43190816303351080759707287873620841*c_0110_6^9 + 5739408550496622749878569390381271631230/47077989770652678028080943\ 78224671669*c_0110_6^8 - 14600888596655148493632217462102196287154/\ 4707798977065267802808094378224671669*c_0110_6^7 - 13389968965082088901828206880962300299382/4707798977065267802808094\ 378224671669*c_0110_6^6 - 6107269664822542991813672836551563653835/\ 4707798977065267802808094378224671669*c_0110_6^5 - 588809792045657085891661514855217234781/470779897706526780280809437\ 8224671669*c_0110_6^4 + 232371254566726754694256169875858327908/470\ 7798977065267802808094378224671669*c_0110_6^3 + 244394947331888318523493037835600929358/470779897706526780280809437\ 8224671669*c_0110_6^2 + 87542868083507282692467576025554096839/4707\ 798977065267802808094378224671669*c_0110_6 + 9889161857837943409292875647289541934/47077989770652678028080943782\ 24671669, c_0101_3 - c_0110_6, c_0110_6^23 + 13/2*c_0110_6^22 + 2*c_0110_6^21 + 66*c_0110_6^20 + 44*c_0110_6^19 + 315*c_0110_6^18 + 1449/2*c_0110_6^17 + 1801/2*c_0110_6^16 + 2371*c_0110_6^15 + 9121/2*c_0110_6^14 + 14695/2*c_0110_6^13 + 17315/2*c_0110_6^12 + 13625/2*c_0110_6^11 + 3947*c_0110_6^10 + 1475/2*c_0110_6^9 - 1077/2*c_0110_6^8 - 736*c_0110_6^7 - 416*c_0110_6^6 - 187/2*c_0110_6^5 - 45/2*c_0110_6^4 + 31/2*c_0110_6^3 + 6*c_0110_6^2 + 2*c_0110_6 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB