Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 1696921949] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0210 geometric_solution 4.02244170 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 0 1 0 0 -1 1 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.706838143440 0.024791628948 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 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 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.418863863134 0.090497800654 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 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 0 0 0 -1 0 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 -4.096228466978 3.875570605313 2 2 4 4 0132 3201 3201 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 -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.179235769179 0.291663658439 3 5 3 6 2310 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 -1 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 1.486060264734 0.886707925598 6 4 6 6 3120 0132 3012 2310 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 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.487589086457 0.865231303786 5 5 4 5 3201 1230 0132 3120 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487589086457 0.865231303786 ==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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_2'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 10559057102344471111746518591621421342234/3656376214061739275099600\ 392621131139*c_0101_3^26 + 4381953114854058990362896832045856603205\ /3656376214061739275099600392621131139*c_0101_3^25 - 346212446058175068261581711010411737649779/365637621406173927509960\ 0392621131139*c_0101_3^24 + 194698556367085541587972180568145547966\ 8726/3656376214061739275099600392621131139*c_0101_3^23 + 3011695215928363494221981680082060509264779/36563762140617392750996\ 00392621131139*c_0101_3^22 - 30153494980704790719676320762456928587\ 011334/3656376214061739275099600392621131139*c_0101_3^21 - 4769289265280866173373337547666729854231916/36563762140617392750996\ 00392621131139*c_0101_3^20 + 17857223047438032168886396344127407865\ 5431798/3656376214061739275099600392621131139*c_0101_3^19 - 45451669634517220906186619979023744483188801/3656376214061739275099\ 600392621131139*c_0101_3^18 - 5424747928279561697149536454450502528\ 99071702/3656376214061739275099600392621131139*c_0101_3^17 + 232728936938045984680718612181004763297115746/365637621406173927509\ 9600392621131139*c_0101_3^16 + 968751008960262189766812150461104606\ 240781852/3656376214061739275099600392621131139*c_0101_3^15 - 481511308929108254550627479098353227402761790/365637621406173927509\ 9600392621131139*c_0101_3^14 - 109967426399299882163338692806175958\ 4387456518/3656376214061739275099600392621131139*c_0101_3^13 + 539989901392548479188664626655930734445188391/365637621406173927509\ 9600392621131139*c_0101_3^12 + 830785910725791683749947976355640663\ 228631911/3656376214061739275099600392621131139*c_0101_3^11 - 348087458840034059160413621140545076956116818/365637621406173927509\ 9600392621131139*c_0101_3^10 - 425572176510796886190652667356554881\ 498482855/3656376214061739275099600392621131139*c_0101_3^9 + 124449974087403391654537137319639540079315261/365637621406173927509\ 9600392621131139*c_0101_3^8 + 1452316973303916302302113424089138188\ 84014007/3656376214061739275099600392621131139*c_0101_3^7 - 1569528144909718562499100843685395197433486/28125970877397994423843\ 0799432394703*c_0101_3^6 - 3058099921507333435319175175685400995335\ 4203/3656376214061739275099600392621131139*c_0101_3^5 + 18728388597800319304436275047660575227774/3656376214061739275099600\ 392621131139*c_0101_3^4 + 33589245359193893910807939294481182741348\ 11/3656376214061739275099600392621131139*c_0101_3^3 + 339599155841801157700027063762419559550464/365637621406173927509960\ 0392621131139*c_0101_3^2 - 1347959664183880951987379019814867556947\ 18/3656376214061739275099600392621131139*c_0101_3 - 21419126967273750909914789456602102870317/3656376214061739275099600\ 392621131139, c_0011_0 - 1, c_0011_4 + 3591962247613279772154306397207963987/2812597087739799442384\ 30799432394703*c_0101_3^26 + 769331651046278715016671640722372752/2\ 81259708773979944238430799432394703*c_0101_3^25 - 117923831362130892409958718947589582784/281259708773979944238430799\ 432394703*c_0101_3^24 + 685917958848421693932670854279082368914/281\ 259708773979944238430799432394703*c_0101_3^23 + 886515931312525111195853095930466432363/281259708773979944238430799\ 432394703*c_0101_3^22 - 10431983089939807543360524344175515785944/2\ 81259708773979944238430799432394703*c_0101_3^21 + 459905665927535556587757554964924308083/281259708773979944238430799\ 432394703*c_0101_3^20 + 60605591367190925759270570159035209566221/2\ 81259708773979944238430799432394703*c_0101_3^19 - 27415756634038911649017662054728236282171/2812597087739799442384307\ 99432394703*c_0101_3^18 - 17875079655755582264840644982425823114971\ 0/281259708773979944238430799432394703*c_0101_3^17 + 113769319393013007957271892407946588123545/281259708773979944238430\ 799432394703*c_0101_3^16 + 3058889237930812027936944842179921975396\ 89/281259708773979944238430799432394703*c_0101_3^15 - 221317512185044965467548246279300745145188/281259708773979944238430\ 799432394703*c_0101_3^14 - 3283421750266046240082705208756477434096\ 23/281259708773979944238430799432394703*c_0101_3^13 + 242780511528348004031382237538027735992271/281259708773979944238430\ 799432394703*c_0101_3^12 + 2325563106076439086599244192986848065646\ 29/281259708773979944238430799432394703*c_0101_3^11 - 157681854753456170503773489409335624317286/281259708773979944238430\ 799432394703*c_0101_3^10 - 1120978000043158961775251469610716453179\ 92/281259708773979944238430799432394703*c_0101_3^9 + 59769393935239786594864728369636721623303/2812597087739799442384307\ 99432394703*c_0101_3^8 + 36704463452535043028950671228077616423231/\ 281259708773979944238430799432394703*c_0101_3^7 - 12182872711594039435893626980467900190450/2812597087739799442384307\ 99432394703*c_0101_3^6 - 7588370619846717408362689573917232963999/2\ 81259708773979944238430799432394703*c_0101_3^5 + 1020443091339697733651927736180199806932/28125970877397994423843079\ 9432394703*c_0101_3^4 + 826381537732558377989410123975914541039/281\ 259708773979944238430799432394703*c_0101_3^3 + 10079731417615126647079282104736908381/2812597087739799442384307994\ 32394703*c_0101_3^2 - 32707502192399672566979471151912346533/281259\ 708773979944238430799432394703*c_0101_3 - 3448662610917762500271831810989217314/28125970877397994423843079943\ 2394703, c_0011_6 - 1017788429229433500105672619607139976/2812597087739799442384\ 30799432394703*c_0101_3^26 + 840475272570006588261018354289797757/2\ 81259708773979944238430799432394703*c_0101_3^25 + 33365671612105507844940126144978485303/2812597087739799442384307994\ 32394703*c_0101_3^24 - 229230575040164473711244183770038264023/2812\ 59708773979944238430799432394703*c_0101_3^23 - 40154335527235858851455206082378285952/2812597087739799442384307994\ 32394703*c_0101_3^22 + 3166705113320242815192025302433428612619/281\ 259708773979944238430799432394703*c_0101_3^21 - 3281916186464997139463935820300116539355/28125970877397994423843079\ 9432394703*c_0101_3^20 - 16269827910653323031807945835852487150070/\ 281259708773979944238430799432394703*c_0101_3^19 + 25744800251302738836719216605387176971056/2812597087739799442384307\ 99432394703*c_0101_3^18 + 38156136213105973549235986724997099434824\ /281259708773979944238430799432394703*c_0101_3^17 - 83684422836218802866350577764826810925304/2812597087739799442384307\ 99432394703*c_0101_3^16 - 40317896044669954140733995924992950770394\ /281259708773979944238430799432394703*c_0101_3^15 + 146674187911302717185936688409344464958745/281259708773979944238430\ 799432394703*c_0101_3^14 + 6347905554693900017904048862718271451856\ /281259708773979944238430799432394703*c_0101_3^13 - 152892964950198549444934565702941390192774/281259708773979944238430\ 799432394703*c_0101_3^12 + 2781299389729644189608497483800113150035\ 3/281259708773979944238430799432394703*c_0101_3^11 + 99101335126726268594303597804678953827309/2812597087739799442384307\ 99432394703*c_0101_3^10 - 29326768220568221333617953852974422411218\ /281259708773979944238430799432394703*c_0101_3^9 - 40782931277434457855247897700862240083193/2812597087739799442384307\ 99432394703*c_0101_3^8 + 13462178349510414252153857547994234185057/\ 281259708773979944238430799432394703*c_0101_3^7 + 10761017209113166261722190385706244044915/2812597087739799442384307\ 99432394703*c_0101_3^6 - 3165368695061360454582272962851113011649/2\ 81259708773979944238430799432394703*c_0101_3^5 - 1770585999140947674362165703711070034251/28125970877397994423843079\ 9432394703*c_0101_3^4 + 363125113004086723338109089238372782894/281\ 259708773979944238430799432394703*c_0101_3^3 + 158737219753739329559260567201289167599/281259708773979944238430799\ 432394703*c_0101_3^2 - 15525842919927840414558800277022407303/28125\ 9708773979944238430799432394703*c_0101_3 - 5410130159932829022253203331772307645/28125970877397994423843079943\ 2394703, c_0101_0 - 14484481921820786102859014019603987371/281259708773979944238\ 430799432394703*c_0101_3^26 - 5409828239094333282610081139233403000\ /281259708773979944238430799432394703*c_0101_3^25 + 474920753027650699446202672890211476603/281259708773979944238430799\ 432394703*c_0101_3^24 - 2690509949753317741014476935404450643610/28\ 1259708773979944238430799432394703*c_0101_3^23 - 4012330848935128346999324581889229253531/28125970877397994423843079\ 9432394703*c_0101_3^22 + 41485637769316871490609513299500735467364/\ 281259708773979944238430799432394703*c_0101_3^21 + 4774719626575819845045959284239857674529/28125970877397994423843079\ 9432394703*c_0101_3^20 - 244500879571628178825627476072965088355642\ /281259708773979944238430799432394703*c_0101_3^19 + 72327440101663811427354228486377830895636/2812597087739799442384307\ 99432394703*c_0101_3^18 + 73745804095272445834699164867192122274317\ 1/281259708773979944238430799432394703*c_0101_3^17 - 347340462784798868065884662464004162559172/281259708773979944238430\ 799432394703*c_0101_3^16 - 1304174425605728342661044291006229255770\ 710/281259708773979944238430799432394703*c_0101_3^15 + 705234989855773885469261032546537551311780/281259708773979944238430\ 799432394703*c_0101_3^14 + 1463030362811857834856770221137586880927\ 330/281259708773979944238430799432394703*c_0101_3^13 - 783888942311690228453198712281100782022444/281259708773979944238430\ 799432394703*c_0101_3^12 - 1091884111639987056883970171377193849101\ 657/281259708773979944238430799432394703*c_0101_3^11 + 503963698307268095428507060119553371734898/281259708773979944238430\ 799432394703*c_0101_3^10 + 5539852768064222075976260920731875387503\ 41/281259708773979944238430799432394703*c_0101_3^9 - 181563910678274787365887984272721351226665/281259708773979944238430\ 799432394703*c_0101_3^8 - 18831848711356108353117830019664476712270\ 1/281259708773979944238430799432394703*c_0101_3^7 + 31118280804803325385252715144057424137793/2812597087739799442384307\ 99432394703*c_0101_3^6 + 39740745174479019756543829990883336145343/\ 281259708773979944238430799432394703*c_0101_3^5 - 637860574660054670407505972275536306064/281259708773979944238430799\ 432394703*c_0101_3^4 - 4392472709610415498975091829665394889540/281\ 259708773979944238430799432394703*c_0101_3^3 - 400554214858336971056439838761920152344/281259708773979944238430799\ 432394703*c_0101_3^2 + 178494755025464332665203401978985587341/2812\ 59708773979944238430799432394703*c_0101_3 + 26910791436348082212405675608286050202/2812597087739799442384307994\ 32394703, c_0101_1 - 3965998969264008207699400061043831365/2812597087739799442384\ 30799432394703*c_0101_3^26 - 6021107032747547252721674036500876778/\ 281259708773979944238430799432394703*c_0101_3^25 + 129630297096938167044826092120970254148/281259708773979944238430799\ 432394703*c_0101_3^24 - 587857454367632403085483723848323708902/281\ 259708773979944238430799432394703*c_0101_3^23 - 1984224766942172290538420097050734334905/28125970877397994423843079\ 9432394703*c_0101_3^22 + 10357275060672968811176520444709116746630/\ 281259708773979944238430799432394703*c_0101_3^21 + 14570684943230198667667271417008205957198/2812597087739799442384307\ 99432394703*c_0101_3^20 - 69260510033774068070405604297509725831020\ /281259708773979944238430799432394703*c_0101_3^19 - 55800769621990901501490477898257190892120/2812597087739799442384307\ 99432394703*c_0101_3^18 + 24624093228239348011929245295282235276866\ 8/281259708773979944238430799432394703*c_0101_3^17 + 121244576934398708670193456048497370663398/281259708773979944238430\ 799432394703*c_0101_3^16 - 5275795629492291379575361225655900288763\ 27/281259708773979944238430799432394703*c_0101_3^15 - 160512449655152020152600208211574386579825/281259708773979944238430\ 799432394703*c_0101_3^14 + 7214924211130853013695669336253552402490\ 45/281259708773979944238430799432394703*c_0101_3^13 + 140677365980257505544123220984006113019249/281259708773979944238430\ 799432394703*c_0101_3^12 - 6438469634198094401835134739667332234651\ 35/281259708773979944238430799432394703*c_0101_3^11 - 92584524285519945117955604929257585537554/2812597087739799442384307\ 99432394703*c_0101_3^10 + 37329101928152319589824347371451313999355\ 3/281259708773979944238430799432394703*c_0101_3^9 + 50946576245940756744277142298722055624601/2812597087739799442384307\ 99432394703*c_0101_3^8 - 136283465269805000555641556086478649775254\ /281259708773979944238430799432394703*c_0101_3^7 - 21762021682781334337004259964016602854602/2812597087739799442384307\ 99432394703*c_0101_3^6 + 29269504766469547248741551606990569255088/\ 281259708773979944238430799432394703*c_0101_3^5 + 5762981519831497867097016226090443468603/28125970877397994423843079\ 9432394703*c_0101_3^4 - 3208406327707679349111066654489579265447/28\ 1259708773979944238430799432394703*c_0101_3^3 - 734861936075253283338274433511364903278/281259708773979944238430799\ 432394703*c_0101_3^2 + 128151555292926286274691537294948526242/2812\ 59708773979944238430799432394703*c_0101_3 + 31254835517747159990805630720509147324/2812597087739799442384307994\ 32394703, c_0101_2 + 10968258707731665997126113418894708588/281259708773979944238\ 430799432394703*c_0101_3^26 + 5445921367285672487834856694788840333\ /281259708773979944238430799432394703*c_0101_3^25 - 359425530929691807181733400479063215172/281259708773979944238430799\ 432394703*c_0101_3^24 + 1993220680720390670535817520534368554940/28\ 1259708773979944238430799432394703*c_0101_3^23 + 3298887763679776032657405001992706207279/28125970877397994423843079\ 9432394703*c_0101_3^22 - 31103284884238828607698854324136753329213/\ 281259708773979944238430799432394703*c_0101_3^21 - 7525667751625304839462408582221316878237/28125970877397994423843079\ 9432394703*c_0101_3^20 + 185621551803626691721853708492771259366430\ /281259708773979944238430799432394703*c_0101_3^19 - 32469697360754942342479720802932473893491/2812597087739799442384307\ 99432394703*c_0101_3^18 - 57036983469366253048927813306016655175776\ 8/281259708773979944238430799432394703*c_0101_3^17 + 199145382285220594602875279520223334036116/281259708773979944238430\ 799432394703*c_0101_3^16 + 1034581332980661598767424204603890682245\ 178/281259708773979944238430799432394703*c_0101_3^15 - 429459554847454370937397167689105158847175/281259708773979944238430\ 799432394703*c_0101_3^14 - 1196919848682422423328813491419502229654\ 101/281259708773979944238430799432394703*c_0101_3^13 + 488353222482892326268835481950566342239064/281259708773979944238430\ 799432394703*c_0101_3^12 + 9225484484361138601841299636700681778473\ 66/281259708773979944238430799432394703*c_0101_3^11 - 313409365063238857534608685896957107384477/281259708773979944238430\ 799432394703*c_0101_3^10 - 4807756577624519241004421809856914870648\ 87/281259708773979944238430799432394703*c_0101_3^9 + 107985201298055281903500214398083722999934/281259708773979944238430\ 799432394703*c_0101_3^8 + 16586322459812267205732701298003458216677\ 9/281259708773979944238430799432394703*c_0101_3^7 - 14886313569074920530881844621568829833335/2812597087739799442384307\ 99432394703*c_0101_3^6 - 35099138097231730997341193463240780660121/\ 281259708773979944238430799432394703*c_0101_3^5 - 1164975981654961924696409377661782360224/28125970877397994423843079\ 9432394703*c_0101_3^4 + 3869791645932290541164468998024627326682/28\ 1259708773979944238430799432394703*c_0101_3^3 + 471827648017176221402737775040433661811/281259708773979944238430799\ 432394703*c_0101_3^2 - 156967213275691992565609894649516616380/2812\ 59708773979944238430799432394703*c_0101_3 - 26696801098428819325033684047375861659/2812597087739799442384307994\ 32394703, c_0101_3^27 - 33*c_0101_3^25 + 198*c_0101_3^24 + 210*c_0101_3^23 - 2982*c_0101_3^22 + 726*c_0101_3^21 + 17216*c_0101_3^20 - 11362*c_0101_3^19 - 50241*c_0101_3^18 + 43851*c_0101_3^17 + 84403*c_0101_3^16 - 85436*c_0101_3^15 - 88018*c_0101_3^14 + 97552*c_0101_3^13 + 60059*c_0101_3^12 - 68948*c_0101_3^11 - 28146*c_0101_3^10 + 30595*c_0101_3^9 + 9460*c_0101_3^8 - 8418*c_0101_3^7 - 2265*c_0101_3^6 + 1370*c_0101_3^5 + 352*c_0101_3^4 - 118*c_0101_3^3 - 30*c_0101_3^2 + 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB