Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 256807914] 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' : 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' : 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: 22 Groebner basis: [ t - 824104995554779013156559324266761587069111/352784331607593086499993\ 14719112901463397*c_0110_6^21 + 38723549789699895430243552887333255\ 33333608/35278433160759308649999314719112901463397*c_0110_6^20 + 30150367902625873902098743806376607354861472/3527843316075930864999\ 9314719112901463397*c_0110_6^19 - 800734007043237386369694414632969\ 27409101689/35278433160759308649999314719112901463397*c_0110_6^18 - 390921449672410348386626983997482667339764968/352784331607593086499\ 99314719112901463397*c_0110_6^17 + 32661528299095560097342858383620605368898968/3527843316075930864999\ 9314719112901463397*c_0110_6^16 + 329388834393915997740199935779784\ 712346498157/35278433160759308649999314719112901463397*c_0110_6^15 - 1649262706810275548206201829269520769966751257/35278433160759308649\ 999314719112901463397*c_0110_6^14 - 1044315895778885724462618547507451804172297479/35278433160759308649\ 999314719112901463397*c_0110_6^13 - 6011873748017379423628245760736874602063666/18567596400399636131578\ 58669426994813863*c_0110_6^12 + 28159065077722130715153568587940890\ 76760684230/35278433160759308649999314719112901463397*c_0110_6^11 + 4634865403114359734474515560546876742048494445/35278433160759308649\ 999314719112901463397*c_0110_6^10 - 613040094037169478269445727756483262053850721/352784331607593086499\ 99314719112901463397*c_0110_6^9 - 114584059965163019845551613797479\ 2037256564670/35278433160759308649999314719112901463397*c_0110_6^8 - 894444285021171671267579944792551640940237218/352784331607593086499\ 99314719112901463397*c_0110_6^7 - 135516569260819083482053580989062\ 2428936453777/35278433160759308649999314719112901463397*c_0110_6^6 - 152844693639249554955906967492945210929981614/352784331607593086499\ 99314719112901463397*c_0110_6^5 - 169317484108390792848392500241803\ 179873728345/35278433160759308649999314719112901463397*c_0110_6^4 - 1976563892049355106052409867338521917291718/35278433160759308649999\ 314719112901463397*c_0110_6^3 + 22744822670827585140001321592030932\ 785040423/35278433160759308649999314719112901463397*c_0110_6^2 - 89344977577407465855371312869834564950456/3527843316075930864999931\ 4719112901463397*c_0110_6 + 349256657641754121248533833249735693501\ 3125/35278433160759308649999314719112901463397, c_0011_0 - 1, c_0011_3 - 263928972378894489265705175741728000317/18567596400399636131\ 57858669426994813863*c_0110_6^21 + 1161996021765804069992491145583966139249/18567596400399636131578586\ 69426994813863*c_0110_6^20 + 10077664603819115080935101948210297478\ 678/1856759640039963613157858669426994813863*c_0110_6^19 - 22991269420182097768655894346429102621256/1856759640039963613157858\ 669426994813863*c_0110_6^18 - 1350053034664279174826062187694356900\ 47614/1856759640039963613157858669426994813863*c_0110_6^17 - 23158650341273870491527534330196874292716/1856759640039963613157858\ 669426994813863*c_0110_6^16 + 1390183655796119495253691234592526309\ 70193/1856759640039963613157858669426994813863*c_0110_6^15 - 474918059925113759605037392500627759415802/185675964003996361315785\ 8669426994813863*c_0110_6^14 - 514021740681063064232618952984025978\ 165883/1856759640039963613157858669426994813863*c_0110_6^13 - 55038137361277669000573693280570820003649/1856759640039963613157858\ 669426994813863*c_0110_6^12 + 1055607284504394992044143232866453343\ 036482/1856759640039963613157858669426994813863*c_0110_6^11 + 1838693193546995402885384081223616943343606/18567596400399636131578\ 58669426994813863*c_0110_6^10 + 36777670634148611878865537498136251\ 176543/1856759640039963613157858669426994813863*c_0110_6^9 - 923943388185527181741075638570441752839773/185675964003996361315785\ 8669426994813863*c_0110_6^8 - 6425829234266570965461000043946813866\ 80518/1856759640039963613157858669426994813863*c_0110_6^7 - 364974919345566613558098938375746503391263/185675964003996361315785\ 8669426994813863*c_0110_6^6 + 5781960553271149603146127901456390378\ 6089/1856759640039963613157858669426994813863*c_0110_6^5 + 65101889778543041300085431240714900160990/1856759640039963613157858\ 669426994813863*c_0110_6^4 + 26493143482073734891164497652740453073\ 253/1856759640039963613157858669426994813863*c_0110_6^3 + 8913814588618243839226305702395196202763/18567596400399636131578586\ 69426994813863*c_0110_6^2 - 668034847430607127893703000041143258906\ 1/1856759640039963613157858669426994813863*c_0110_6 - 618091767723256149184902127999640794539/185675964003996361315785866\ 9426994813863, c_0101_0 - 1287139976933013674458295293254188533655/1856759640039963613\ 157858669426994813863*c_0110_6^21 + 5134954180926022197335253315055771280388/18567596400399636131578586\ 69426994813863*c_0110_6^20 + 51554004586247409920274781085018020821\ 521/1856759640039963613157858669426994813863*c_0110_6^19 - 92194988307028197413495416204289093929149/1856759640039963613157858\ 669426994813863*c_0110_6^18 - 7068540524236251639832412945284040575\ 50712/1856759640039963613157858669426994813863*c_0110_6^17 - 375507556622748964919810052336962140492811/185675964003996361315785\ 8669426994813863*c_0110_6^16 + 658288437973922354007214475071842205\ 720765/1856759640039963613157858669426994813863*c_0110_6^15 - 2083834363731996010338982975839584264573570/18567596400399636131578\ 58669426994813863*c_0110_6^14 - 35326416402658823070746286004596526\ 96803334/1856759640039963613157858669426994813863*c_0110_6^13 - 1134954941871581209855808528147492802361800/18567596400399636131578\ 58669426994813863*c_0110_6^12 + 50203492736164978808215484731152239\ 74286148/1856759640039963613157858669426994813863*c_0110_6^11 + 10813697768465141073886359405543305468205417/1856759640039963613157\ 858669426994813863*c_0110_6^10 + 3527722888983947128906219125308805\ 267342454/1856759640039963613157858669426994813863*c_0110_6^9 - 4492542894091700515872232323841315270629334/18567596400399636131578\ 58669426994813863*c_0110_6^8 - 415437134012814583240667297187460407\ 4147108/1856759640039963613157858669426994813863*c_0110_6^7 - 2536366682533859351740160827388028679401889/18567596400399636131578\ 58669426994813863*c_0110_6^6 - 706917690893871036787730823559401538\ 969984/1856759640039963613157858669426994813863*c_0110_6^5 + 159679682555980524377771747442162973594975/185675964003996361315785\ 8669426994813863*c_0110_6^4 + 9712853638242023611812902251985344111\ 6471/1856759640039963613157858669426994813863*c_0110_6^3 + 49992301592345433439651985909752214430450/1856759640039963613157858\ 669426994813863*c_0110_6^2 + 59335829545592348843874480883205333642\ 11/1856759640039963613157858669426994813863*c_0110_6 - 3414217647039076672726912524094166251940/18567596400399636131578586\ 69426994813863, c_0101_1 - 376530507285332279102887172108632647681/18567596400399636131\ 57858669426994813863*c_0110_6^21 + 1646330905192222494119792629597067948764/18567596400399636131578586\ 69426994813863*c_0110_6^20 + 14415934089603039635078493941368906890\ 393/1856759640039963613157858669426994813863*c_0110_6^19 - 32290531157364331175414215287226798288802/1856759640039963613157858\ 669426994813863*c_0110_6^18 - 1932659344195805440988313379289249753\ 97044/1856759640039963613157858669426994813863*c_0110_6^17 - 40750480298501989672640003880602550741689/1856759640039963613157858\ 669426994813863*c_0110_6^16 + 1936390886707748185983721893930930705\ 71211/1856759640039963613157858669426994813863*c_0110_6^15 - 660894753426719413002867943018360567349569/185675964003996361315785\ 8669426994813863*c_0110_6^14 - 747864361486946497073774981990757523\ 439435/1856759640039963613157858669426994813863*c_0110_6^13 - 135007497094098407800361542629896382332260/185675964003996361315785\ 8669426994813863*c_0110_6^12 + 152491812196347483568928792084813947\ 1305462/1856759640039963613157858669426994813863*c_0110_6^11 + 2707382265304628345357260853269857086225258/18567596400399636131578\ 58669426994813863*c_0110_6^10 + 17211379135477339083095004107697544\ 4714633/1856759640039963613157858669426994813863*c_0110_6^9 - 1337594392689306882614987246969852491501150/18567596400399636131578\ 58669426994813863*c_0110_6^8 - 109470882851552893978651828196981432\ 6066797/1856759640039963613157858669426994813863*c_0110_6^7 - 556955146212328756789588179792962252653453/185675964003996361315785\ 8669426994813863*c_0110_6^6 + 1343260234156305712758908608160261965\ 89122/1856759640039963613157858669426994813863*c_0110_6^5 + 113231874029926212131957890940905473644125/185675964003996361315785\ 8669426994813863*c_0110_6^4 + 4548002157630965053568495687478621561\ 7433/1856759640039963613157858669426994813863*c_0110_6^3 + 13476090416774768810441024539236453758518/1856759640039963613157858\ 669426994813863*c_0110_6^2 - 82665310192372046594299135797759270356\ 33/1856759640039963613157858669426994813863*c_0110_6 - 672031780037108612489294637989073169235/185675964003996361315785866\ 9426994813863, c_0101_2 + 141933984707390181395794399437812270871/18567596400399636131\ 57858669426994813863*c_0110_6^21 - 289236517360273975770559108992589883236/185675964003996361315785866\ 9426994813863*c_0110_6^20 - 692657917495043558043615030588861776710\ 1/1856759640039963613157858669426994813863*c_0110_6^19 - 338802770727127770348280486372669261687/185675964003996361315785866\ 9426994813863*c_0110_6^18 + 103072813796714243925534813035774843487\ 891/1856759640039963613157858669426994813863*c_0110_6^17 + 182003837500507928993145066224073438142995/185675964003996361315785\ 8669426994813863*c_0110_6^16 - 633807732683021447021397557669249515\ 02456/1856759640039963613157858669426994813863*c_0110_6^15 + 71656184358006348885549094118998428058878/1856759640039963613157858\ 669426994813863*c_0110_6^14 + 9182004479780943547604442884476787313\ 27407/1856759640039963613157858669426994813863*c_0110_6^13 + 645569314469565305202676316809096775807677/185675964003996361315785\ 8669426994813863*c_0110_6^12 - 611010795889568719465964438360937326\ 024932/1856759640039963613157858669426994813863*c_0110_6^11 - 2289651242597174171081900052064491372426617/18567596400399636131578\ 58669426994813863*c_0110_6^10 - 21348272537926480480862193225210022\ 03893295/1856759640039963613157858669426994813863*c_0110_6^9 + 715392836199309269199202973745970010422710/185675964003996361315785\ 8669426994813863*c_0110_6^8 + 1448607422699471286963064678850342842\ 244072/1856759640039963613157858669426994813863*c_0110_6^7 + 588646067247776877143937833258709033229348/185675964003996361315785\ 8669426994813863*c_0110_6^6 + 3002676047051013153271543166769660900\ 11689/1856759640039963613157858669426994813863*c_0110_6^5 + 22917481858102834363001001040581771849263/1856759640039963613157858\ 669426994813863*c_0110_6^4 - 30773574729277275694936313579061798183\ 470/1856759640039963613157858669426994813863*c_0110_6^3 - 1530234182304602639378067067426949789366/18567596400399636131578586\ 69426994813863*c_0110_6^2 - 396274613780060581773083467962480863464\ 1/1856759640039963613157858669426994813863*c_0110_6 - 660260330683325573109803007541535052812/185675964003996361315785866\ 9426994813863, c_0101_3 - c_0110_6, c_0110_6^22 - 4*c_0110_6^21 - 40*c_0110_6^20 + 72*c_0110_6^19 + 548*c_0110_6^18 + 287*c_0110_6^17 - 509*c_0110_6^16 + 1624*c_0110_6^15 + 2719*c_0110_6^14 + 869*c_0110_6^13 - 3891*c_0110_6^12 - 8363*c_0110_6^11 - 2722*c_0110_6^10 + 3441*c_0110_6^9 + 3225*c_0110_6^8 + 2034*c_0110_6^7 + 598*c_0110_6^6 - 153*c_0110_6^5 - 117*c_0110_6^4 - 51*c_0110_6^3 - 10*c_0110_6^2 + 4*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB