Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 2244221263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1661 geometric_solution 5.39882617 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 -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.518650484659 0.095261280880 2 0 2 0 0132 2310 1023 0132 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 0 1 -1 -1 0 1 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.616190309353 0.247315194537 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -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 1 -1 0 1 0 -1 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.895202661775 1.961245851663 5 2 6 4 0132 0132 0132 3120 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 -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.282392648649 0.632042301584 3 6 2 5 3120 3201 0132 3201 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 -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.282392648649 0.632042301584 3 4 5 5 0132 2310 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 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.410728195235 1.318889530319 6 6 4 3 1230 3012 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 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565235658818 0.884607399725 ==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' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : 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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_6']), '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_4, c_0011_6, c_0101_0, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 100686540448480511007501445523593847537172489545439/561194445219445\ 2217960767173822120313496940802163*c_0101_6^33 - 3264334102109750382017905609778648486603969767399860/56119444521944\ 52217960767173822120313496940802163*c_0101_6^31 + 41474722048919275746054363192585884037095573623368260/5611944452194\ 452217960767173822120313496940802163*c_0101_6^29 - 56790882593274720355869693675660609247992168581329781/4316880347841\ 88632150828244140163101038226215551*c_0101_6^27 + 5914477078045376906267378913248049191907258562377720274/56119444521\ 94452217960767173822120313496940802163*c_0101_6^25 - 25541387130473557241769638152767645794790199775071761114/5611944452\ 194452217960767173822120313496940802163*c_0101_6^23 + 63544293380461942218293590915872715287034614195775354391/5611944452\ 194452217960767173822120313496940802163*c_0101_6^21 - 88752050091415639660338540703843921905232204741863096020/5611944452\ 194452217960767173822120313496940802163*c_0101_6^19 + 63317278471918675263041322075128858453313497335163893871/5611944452\ 194452217960767173822120313496940802163*c_0101_6^17 - 11514672318613076110968335896975292395481252162389173451/5611944452\ 194452217960767173822120313496940802163*c_0101_6^15 - 13701748001077595193519718571978957549650610190019050792/5611944452\ 194452217960767173822120313496940802163*c_0101_6^13 + 7467772098393596239884021604451222282315800676251240892/56119444521\ 94452217960767173822120313496940802163*c_0101_6^11 + 46310888840116539353292266070088329540732553281272198/4316880347841\ 88632150828244140163101038226215551*c_0101_6^9 + 126757705951016190829366879816980360075244741035806738/561194445219\ 4452217960767173822120313496940802163*c_0101_6^7 - 828467893976782228117991053483144673379852362907728526/561194445219\ 4452217960767173822120313496940802163*c_0101_6^5 + 65405345004842966434889926348605659329299302508381783/5611944452194\ 452217960767173822120313496940802163*c_0101_6^3 - 907422679061044690995571892520296916929777906437394/561194445219445\ 2217960767173822120313496940802163*c_0101_6, c_0011_0 - 1, c_0011_1 - 30817698326369977687522928322044694947398226559/561194445219\ 4452217960767173822120313496940802163*c_0101_6^32 + 1043193952135538874417599836809781580964237825079/56119444521944522\ 17960767173822120313496940802163*c_0101_6^30 - 14125180768415039558222268710032577282449698008658/5611944452194452\ 217960767173822120313496940802163*c_0101_6^28 + 18785743583857839764624410937126086787283402588830/4316880347841886\ 32150828244140163101038226215551*c_0101_6^26 - 2134964158569754297406897250922600367796613603189161/56119444521944\ 52217960767173822120313496940802163*c_0101_6^24 + 10430954941092676328427801413972340251841202601113056/5611944452194\ 452217960767173822120313496940802163*c_0101_6^22 - 30911025391657081076374526559550253386351216531574856/5611944452194\ 452217960767173822120313496940802163*c_0101_6^20 + 56725702347520724817065497994321857716806457010864987/5611944452194\ 452217960767173822120313496940802163*c_0101_6^18 - 64591375853780854793266130076022816585383202443107861/5611944452194\ 452217960767173822120313496940802163*c_0101_6^16 + 45177891764430487021517172439272147428510998216030398/5611944452194\ 452217960767173822120313496940802163*c_0101_6^14 - 18758179644859894289697970397860102839267813865080351/5611944452194\ 452217960767173822120313496940802163*c_0101_6^12 + 5023886730067065030304981259835338931237008693814516/56119444521944\ 52217960767173822120313496940802163*c_0101_6^10 - 178444906147787000473322745988574305207253288768086/431688034784188\ 632150828244140163101038226215551*c_0101_6^8 + 1322908169347158852498535016084821735476160772208498/56119444521944\ 52217960767173822120313496940802163*c_0101_6^6 - 217254049033168882015029979139431983732341300487121/561194445219445\ 2217960767173822120313496940802163*c_0101_6^4 + 17484877753341331670285124335093177285720932433273/5611944452194452\ 217960767173822120313496940802163*c_0101_6^2 - 3608737104147719159987310526887159147168851055404/56119444521944522\ 17960767173822120313496940802163, c_0011_4 + 126927234181405062905118889940061121963299126816/56119444521\ 94452217960767173822120313496940802163*c_0101_6^32 - 4210505845521128242744520908823551286128385453839/56119444521944522\ 17960767173822120313496940802163*c_0101_6^30 + 55414956496248986395709576098124042611257443388000/5611944452194452\ 217960767173822120313496940802163*c_0101_6^28 - 74710901479903799775316045005629752749360506635246/4316880347841886\ 32150828244140163101038226215551*c_0101_6^26 + 8172041787723749599321200310859341697578829305751058/56119444521944\ 52217960767173822120313496940802163*c_0101_6^24 - 38090586978300781731751948223771759780069045490966616/5611944452194\ 452217960767173822120313496940802163*c_0101_6^22 + 106742806131490082621534674408781504542604152736881944/561194445219\ 4452217960767173822120313496940802163*c_0101_6^20 - 183498121263394313347035044967965474840244863844058043/561194445219\ 4452217960767173822120313496940802163*c_0101_6^18 + 195974039484272425967369490711649759781069564249611607/561194445219\ 4452217960767173822120313496940802163*c_0101_6^16 - 129505002059327436920976814503445654911362075802770661/561194445219\ 4452217960767173822120313496940802163*c_0101_6^14 + 51347926102140021267087180712384309833215998755010810/5611944452194\ 452217960767173822120313496940802163*c_0101_6^12 - 13969962574967440788747558150807983197005339440329644/5611944452194\ 452217960767173822120313496940802163*c_0101_6^10 + 506324381851689522235910251797651284967016858615966/431688034784188\ 632150828244140163101038226215551*c_0101_6^8 - 3327008414777832534409637539292233845258514992279476/56119444521944\ 52217960767173822120313496940802163*c_0101_6^6 + 538680574290311379091385211131867802771716263385549/561194445219445\ 2217960767173822120313496940802163*c_0101_6^4 - 44097991545520850733570662155728755769988430821955/5611944452194452\ 217960767173822120313496940802163*c_0101_6^2 + 592860738089530436488826589538824429893822632965/561194445219445221\ 7960767173822120313496940802163, c_0011_6 + 291291386321273530094467665432507957482907559012/56119444521\ 94452217960767173822120313496940802163*c_0101_6^32 - 9590442079134910426388773482087579765446784759290/56119444521944522\ 17960767173822120313496940802163*c_0101_6^30 + 124825678610193968883404883886245301993384952124109/561194445219445\ 2217960767173822120313496940802163*c_0101_6^28 - 169159370060078367811001430233493024472772165358367/431688034784188\ 632150828244140163101038226215551*c_0101_6^26 + 18222023397817307461129350068532048629027334200070670/5611944452194\ 452217960767173822120313496940802163*c_0101_6^24 - 83146001471729389214459518342025629331594124181755311/5611944452194\ 452217960767173822120313496940802163*c_0101_6^22 + 226328583060371981072393648561896461646737072330550531/561194445219\ 4452217960767173822120313496940802163*c_0101_6^20 - 373336451800451937092688422612048429604066360124356159/561194445219\ 4452217960767173822120313496940802163*c_0101_6^18 + 377264299043318853591834091253504839105766384682875120/561194445219\ 4452217960767173822120313496940802163*c_0101_6^16 - 230981601671980789546226028912931908675151880212813201/561194445219\ 4452217960767173822120313496940802163*c_0101_6^14 + 81592674254579315116335708148406885017134146639819715/5611944452194\ 452217960767173822120313496940802163*c_0101_6^12 - 20538607015379328116477713848751994408550634222944664/5611944452194\ 452217960767173822120313496940802163*c_0101_6^10 + 900635775404461660315723766175751255170553924619603/431688034784188\ 632150828244140163101038226215551*c_0101_6^8 - 5543845118290357107187798192001323455043122267465386/56119444521944\ 52217960767173822120313496940802163*c_0101_6^6 + 542488765248422765238511618898377968924006848613264/561194445219445\ 2217960767173822120313496940802163*c_0101_6^4 - 35781340966272150291843247764642389286801044768903/5611944452194452\ 217960767173822120313496940802163*c_0101_6^2 + 227871751061051386329401472358718542313429272560/561194445219445221\ 7960767173822120313496940802163, c_0101_0 + 542222041706215906766240469250472652141022708401/56119444521\ 94452217960767173822120313496940802163*c_0101_6^33 - 17903188083474679287150229260207100469673639782177/5611944452194452\ 217960767173822120313496940802163*c_0101_6^31 + 234014544639407826312001395474256399479132616291146/561194445219445\ 2217960767173822120313496940802163*c_0101_6^29 - 316504593393603669846598738490752700403932598261519/431688034784188\ 632150828244140163101038226215551*c_0101_6^27 + 34295257726948142598175346451653909246244874537494248/5611944452194\ 452217960767173822120313496940802163*c_0101_6^25 - 157790586332307486828153887045771446371051454662353785/561194445219\ 4452217960767173822120313496940802163*c_0101_6^23 + 434477741372713448498197018355078152189912991173706854/561194445219\ 4452217960767173822120313496940802163*c_0101_6^21 - 728661209797433619075853150942750530521502431912638707/561194445219\ 4452217960767173822120313496940802163*c_0101_6^19 + 753013654970633124089735190528378754659585246867874540/561194445219\ 4452217960767173822120313496940802163*c_0101_6^17 - 475281607787564414158867487719572658744432726911217318/561194445219\ 4452217960767173822120313496940802163*c_0101_6^15 + 175269457636002871521001139996330445814799116475447557/561194445219\ 4452217960767173822120313496940802163*c_0101_6^13 - 44472273361102963695297852380688716267343670382538893/5611944452194\ 452217960767173822120313496940802163*c_0101_6^11 + 1787517481762766621660840616798601486520906384093580/43168803478418\ 8632150828244140163101038226215551*c_0101_6^9 - 11503871333222613244953058460995288598096285468299095/5611944452194\ 452217960767173822120313496940802163*c_0101_6^7 + 1370858840231555799858797305755537197645103314291361/56119444521944\ 52217960767173822120313496940802163*c_0101_6^5 - 50492792558385165810619638973045406875292810471943/5611944452194452\ 217960767173822120313496940802163*c_0101_6^3 - 11413795419572551770135592988573478612131007074272/5611944452194452\ 217960767173822120313496940802163*c_0101_6, c_0101_5 + 700350288748674170499003264835360860195805048469/56119444521\ 94452217960767173822120313496940802163*c_0101_6^33 - 23046397258604452954782518838995764018519286201289/5611944452194452\ 217960767173822120313496940802163*c_0101_6^31 + 299701098597972735561563170629278329822553546321007/561194445219445\ 2217960767173822120313496940802163*c_0101_6^29 - 406253067594229367819365598803742117835036225571252/431688034784188\ 632150828244140163101038226215551*c_0101_6^27 + 43711030431801129528391269929676994610024731254338224/5611944452194\ 452217960767173822120313496940802163*c_0101_6^25 - 198975434530784962904025678245616135703917940638511768/561194445219\ 4452217960767173822120313496940802163*c_0101_6^23 + 539283818072447447880689377403815332710125237784495929/561194445219\ 4452217960767173822120313496940802163*c_0101_6^21 - 882101761439011850738777495540077324181300373689312038/561194445219\ 4452217960767173822120313496940802163*c_0101_6^19 + 876533194760680300632097978949601302550150809382617418/561194445219\ 4452217960767173822120313496940802163*c_0101_6^17 - 518621604182673428859767211318251318436443835955758186/561194445219\ 4452217960767173822120313496940802163*c_0101_6^15 + 169545912755955548099864311661410689837087793274747144/561194445219\ 4452217960767173822120313496940802163*c_0101_6^13 - 38201082453078980957513754921913164580493252865841790/5611944452194\ 452217960767173822120313496940802163*c_0101_6^11 + 1951729782378482379874815326089044651475882338228042/43168803478418\ 8632150828244140163101038226215551*c_0101_6^9 - 12080382300798530438535343391297950564221501904521955/5611944452194\ 452217960767173822120313496940802163*c_0101_6^7 + 528936844133427610244096501554892733947303840192121/561194445219445\ 2217960767173822120313496940802163*c_0101_6^5 + 17756724985372316264884076861679842235755008175511/5611944452194452\ 217960767173822120313496940802163*c_0101_6^3 - 8666968627985464159938313026286225372987035666310/56119444521944522\ 17960767173822120313496940802163*c_0101_6, c_0101_6^34 - 33*c_0101_6^32 + 431*c_0101_6^30 - 7581*c_0101_6^28 + 63118*c_0101_6^26 - 289974*c_0101_6^24 + 796922*c_0101_6^22 - 1333201*c_0101_6^20 + 1374004*c_0101_6^18 - 865039*c_0101_6^16 + 318608*c_0101_6^14 - 81448*c_0101_6^12 + 42746*c_0101_6^10 - 20972*c_0101_6^8 + 2555*c_0101_6^6 - 141*c_0101_6^4 - 4*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB