Magma V2.19-8 Tue Aug 20 2013 16:18:01 on localhost [Seed = 273779934] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2251 geometric_solution 5.68106397 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.509815253383 0.274656959430 2 0 3 0 0132 2310 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 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.969927593760 0.544363664973 1 4 3 5 0132 0132 3012 0132 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 -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.952496070527 0.871075369943 5 2 4 1 1023 1230 0132 0132 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 1 0 -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.952496070527 0.871075369943 4 2 4 3 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371721095034 0.873818526949 6 3 2 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.852331727391 0.599433791876 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.635403915534 0.434425594488 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : 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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 4002234404721709192788145476032408474823469909/54123289857633334635\ 360532049863987892388248*c_0101_6^31 - 1004715410913606868829703598718511678859536617/13530822464408333658\ 840133012465996973097062*c_0101_6^29 + 348199010214100035611325754353222841347989157459/541232898576333346\ 35360532049863987892388248*c_0101_6^27 + 6086133360856793074038358715537550528646443313463/27061644928816667\ 317680266024931993946194124*c_0101_6^25 - 145044283848147655153571416589485135950637152115735/541232898576333\ 34635360532049863987892388248*c_0101_6^23 + 52128181039229678432549932420229875964808272677235/6765411232204166\ 829420066506232998486548531*c_0101_6^21 - 358558381572248097450182280063333466176806314800217/270616449288166\ 67317680266024931993946194124*c_0101_6^19 + 227776604447619289783290578266260962335529346160083/135308224644083\ 33658840133012465996973097062*c_0101_6^17 - 525061710277809008925425849152794170085669779438113/270616449288166\ 67317680266024931993946194124*c_0101_6^15 + 1072364087901834229610941084596107608524780001420119/54123289857633\ 334635360532049863987892388248*c_0101_6^13 - 345860743896482523285198324740713422467253751181917/270616449288166\ 67317680266024931993946194124*c_0101_6^11 + 148769310262511452183811633323541745246847148061507/270616449288166\ 67317680266024931993946194124*c_0101_6^9 - 112917667791732167353661696206847396480390426646581/541232898576333\ 34635360532049863987892388248*c_0101_6^7 + 25734742523502964712227759776112839917392834572673/5412328985763333\ 4635360532049863987892388248*c_0101_6^5 - 2713728854862576720951939732093730840433192498181/54123289857633334\ 635360532049863987892388248*c_0101_6^3 + 108385880344144826190064986996698801520544305779/541232898576333346\ 35360532049863987892388248*c_0101_6, c_0011_0 - 1, c_0011_1 - 148361391188315374460993495323615223628707/67654112322041668\ 29420066506232998486548531*c_0101_6^30 - 109923976784941842734555620413229693273675/676541123220416682942006\ 6506232998486548531*c_0101_6^28 + 129476082301778167685069611361571\ 80176602300/6765411232204166829420066506232998486548531*c_0101_6^26 + 447823172531941276261343966109003896251279065/6765411232204166829\ 420066506232998486548531*c_0101_6^24 - 5495586619422965675650829247169302192687306795/67654112322041668294\ 20066506232998486548531*c_0101_6^22 + 16872076342600523391558820570703447278463009361/6765411232204166829\ 420066506232998486548531*c_0101_6^20 - 30619864833060627011400266039046812976955971611/6765411232204166829\ 420066506232998486548531*c_0101_6^18 + 40641388382037321066683178068263825677516824295/6765411232204166829\ 420066506232998486548531*c_0101_6^16 - 47560327611299710825702392161403112574270713395/6765411232204166829\ 420066506232998486548531*c_0101_6^14 + 49642423451947648277120694533244031531269382128/6765411232204166829\ 420066506232998486548531*c_0101_6^12 - 35694733929534467179865697602149786758237613377/6765411232204166829\ 420066506232998486548531*c_0101_6^10 + 17331861292252649873065127029309988069958022751/6765411232204166829\ 420066506232998486548531*c_0101_6^8 - 6729179651927252350900731228763047432069660617/67654112322041668294\ 20066506232998486548531*c_0101_6^6 + 1903205921592614383279406874781394312607893202/67654112322041668294\ 20066506232998486548531*c_0101_6^4 - 287515268180184426590170269758337327051858198/676541123220416682942\ 0066506232998486548531*c_0101_6^2 + 10379785073665498944246443450079532429181834/6765411232204166829420\ 066506232998486548531, c_0011_3 + 1411719628802282487988415573744181023609867/2706164492881666\ 7317680266024931993946194124*c_0101_6^30 + 258485515308724132236629050978371661169230/676541123220416682942006\ 6506232998486548531*c_0101_6^28 - 123257391179955456986507690280296\ 639225491785/27061644928816667317680266024931993946194124*c_0101_6^\ 26 - 2130118975556934596036478319355548200966747781/135308224644083\ 33658840133012465996973097062*c_0101_6^24 + 52333110232785001847469424352503428820124428361/2706164492881666731\ 7680266024931993946194124*c_0101_6^22 - 40211688776581770742616667459855959542975131824/6765411232204166829\ 420066506232998486548531*c_0101_6^20 + 145548527845810829019168704824687187149340088269/135308224644083336\ 58840133012465996973097062*c_0101_6^18 - 96254693174095682997964996769894804299209524330/6765411232204166829\ 420066506232998486548531*c_0101_6^16 + 224623971444237911368170144073767607327104148021/135308224644083336\ 58840133012465996973097062*c_0101_6^14 - 468399412872670628207392348210537734093729769589/270616449288166673\ 17680266024931993946194124*c_0101_6^12 + 167388780867078975876482431720602122720916480823/135308224644083336\ 58840133012465996973097062*c_0101_6^10 - 79575638648335320013944622640499090124454486389/1353082246440833365\ 8840133012465996973097062*c_0101_6^8 + 61136393151482928007671744259967663387114733175/2706164492881666731\ 7680266024931993946194124*c_0101_6^6 - 17136138700817737955805959484574717227180467299/2706164492881666731\ 7680266024931993946194124*c_0101_6^4 + 2373125821317393584818181412254066289397845199/27061644928816667317\ 680266024931993946194124*c_0101_6^2 - 115461785188419235330886445439997365261636593/270616449288166673176\ 80266024931993946194124, c_0101_0 - 32532971321211889996502333747617783102325502/676541123220416\ 6829420066506232998486548531*c_0101_6^31 - 34588542443418884122637113086607779126377579/6765411232204166829420\ 066506232998486548531*c_0101_6^29 + 2828202245999517871367579148618994432230184784/67654112322041668294\ 20066506232998486548531*c_0101_6^27 + 99111485307690384864825041328189452276261444470/6765411232204166829\ 420066506232998486548531*c_0101_6^25 - 1173157192580237209581244885159084071153184847348/67654112322041668\ 29420066506232998486548531*c_0101_6^23 + 3321119922708609988684431716522192244973464771965/67654112322041668\ 29420066506232998486548531*c_0101_6^21 - 5638962736110435477419246057214434787854962256395/67654112322041668\ 29420066506232998486548531*c_0101_6^19 + 7089047615851824501528394655602074407812212218438/67654112322041668\ 29420066506232998486548531*c_0101_6^17 - 8143785016835599150650795233124766312606226971719/67654112322041668\ 29420066506232998486548531*c_0101_6^15 + 8268300867517709908139211582304567098808419761607/67654112322041668\ 29420066506232998486548531*c_0101_6^13 - 5171394264526427780433079500447906034002816967240/67654112322041668\ 29420066506232998486548531*c_0101_6^11 + 2150087615227402941640545627852925273231329956866/67654112322041668\ 29420066506232998486548531*c_0101_6^9 - 812310013222114078881965309639473342505886675926/676541123220416682\ 9420066506232998486548531*c_0101_6^7 + 169525387438387172547437053071512218449770756121/676541123220416682\ 9420066506232998486548531*c_0101_6^5 - 15194350295926409458080051272634902809973890351/6765411232204166829\ 420066506232998486548531*c_0101_6^3 + 480065767275146534729940567759744446887468897/676541123220416682942\ 0066506232998486548531*c_0101_6, c_0101_1 + 685738571730200706064417111011615588815365/67654112322041668\ 29420066506232998486548531*c_0101_6^30 + 825553948393328285315585500378468997926266/676541123220416682942006\ 6506232998486548531*c_0101_6^28 - 595105394210051576873921969556004\ 93252346781/6765411232204166829420066506232998486548531*c_0101_6^26 - 2097486664460372467042046399376361945598248837/676541123220416682\ 9420066506232998486548531*c_0101_6^24 + 24434126625237396233779758329287222130852131271/6765411232204166829\ 420066506232998486548531*c_0101_6^22 - 66525392299179649201796271826294906238118731297/6765411232204166829\ 420066506232998486548531*c_0101_6^20 + 109029960925609497256500329759384410027367409629/676541123220416682\ 9420066506232998486548531*c_0101_6^18 - 132787160573769376975331448216001916714397309744/676541123220416682\ 9420066506232998486548531*c_0101_6^16 + 150817034779590809972609214674028336158409671974/676541123220416682\ 9420066506232998486548531*c_0101_6^14 - 150398937909365012955506130416319544130195656099/676541123220416682\ 9420066506232998486548531*c_0101_6^12 + 84806295770365807738544223535380460283111153088/6765411232204166829\ 420066506232998486548531*c_0101_6^10 - 30336541192988867935013667168003956381344534887/6765411232204166829\ 420066506232998486548531*c_0101_6^8 + 11054890773620314524373019352948557961000054394/6765411232204166829\ 420066506232998486548531*c_0101_6^6 - 1328326181787504620032453751131927409483060184/67654112322041668294\ 20066506232998486548531*c_0101_6^4 - 119576196555196411119224964801338464934466128/676541123220416682942\ 0066506232998486548531*c_0101_6^2 + 15181010185376400210909600266041644306272963/6765411232204166829420\ 066506232998486548531, c_0101_3 + 202634670029519233510909193629547424925501/27061644928816667\ 317680266024931993946194124*c_0101_6^31 - 270072422116290385956689483851170281221958/676541123220416682942006\ 6506232998486548531*c_0101_6^29 - 192284838849954115926298530297401\ 67844605595/27061644928816667317680266024931993946194124*c_0101_6^2\ 7 - 252486987906160831556704320332581195824594249/13530822464408333\ 658840133012465996973097062*c_0101_6^25 + 11274937093198548110262162598147803675632790891/2706164492881666731\ 7680266024931993946194124*c_0101_6^23 - 16672654511403594628212214637181358802196111679/6765411232204166829\ 420066506232998486548531*c_0101_6^21 + 79520862756747502433232106463063311247988082101/1353082246440833365\ 8840133012465996973097062*c_0101_6^19 - 61545253275353382602931348872642867413579594237/6765411232204166829\ 420066506232998486548531*c_0101_6^17 + 148078800027634086446949404858549722218442870849/135308224644083336\ 58840133012465996973097062*c_0101_6^15 - 330852582243937868097284517827523105620415199339/270616449288166673\ 17680266024931993946194124*c_0101_6^13 + 155102540330727610824841198767593022769483057689/135308224644083336\ 58840133012465996973097062*c_0101_6^11 - 84100632548931620971276782424110766563510880655/1353082246440833365\ 8840133012465996973097062*c_0101_6^9 + 61846074947509233778253705168733388188616083625/2706164492881666731\ 7680266024931993946194124*c_0101_6^7 - 22557575662146911791807716294795661958260858145/2706164492881666731\ 7680266024931993946194124*c_0101_6^5 + 2711485146915636228382731846157418976034966301/27061644928816667317\ 680266024931993946194124*c_0101_6^3 - 42197305167412252227513892104206048169489747/2706164492881666731768\ 0266024931993946194124*c_0101_6, c_0101_6^32 + c_0101_6^30 - 87*c_0101_6^28 - 3041*c_0101_6^26 + 36253*c_0101_6^24 - 104365*c_0101_6^22 + 179802*c_0101_6^20 - 228914*c_0101_6^18 + 264190*c_0101_6^16 - 270089*c_0101_6^14 + 175155*c_0101_6^12 - 76272*c_0101_6^10 + 29227*c_0101_6^8 - 6820*c_0101_6^6 + 808*c_0101_6^4 - 46*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB