Magma V2.19-8 Tue Aug 20 2013 16:16:02 on localhost [Seed = 997894141] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0277 geometric_solution 4.32269261 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 1023 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 2.304031828884 0.205580375854 0 2 2 0 0132 0132 3201 1023 0 0 0 0 0 1 0 -1 0 0 -1 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 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.913266226264 0.743902116567 1 1 3 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 1 0 -1 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.102459592591 0.212623958635 4 2 5 2 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 -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 1.668076797361 1.957506893938 3 6 5 5 0132 0132 2310 1230 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 -1 0 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.163251977708 1.169711096882 4 4 6 3 3012 3201 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -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 0.163251977708 1.169711096882 5 4 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387346985410 0.246677313207 ==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_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], '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_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : 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_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : 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_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 371829078815746062005629004315/18127734535233377383466991053*c_0101\ _5^19 - 1585926164230710324434417488038/181277345352333773834669910\ 53*c_0101_5^18 + 4826042494944369187962595705481/181277345352333773\ 83466991053*c_0101_5^17 + 22280227670326290081247265412587/18127734\ 535233377383466991053*c_0101_5^16 + 25093616277627043010489187638951/18127734535233377383466991053*c_01\ 01_5^15 - 91036785084501623424439655512927/181277345352333773834669\ 91053*c_0101_5^14 - 239737729970867509038860285544068/1812773453523\ 3377383466991053*c_0101_5^13 - 10500609810253958748184371097672/181\ 27734535233377383466991053*c_0101_5^12 + 228913729596141438606366317741804/18127734535233377383466991053*c_0\ 101_5^11 + 283977693692099388401921866644855/1812773453523337738346\ 6991053*c_0101_5^10 + 358998729395777947122701562630090/18127734535\ 233377383466991053*c_0101_5^9 + 3014008306849076319143902933334/181\ 27734535233377383466991053*c_0101_5^8 - 96338395199730435659036929198411/18127734535233377383466991053*c_01\ 01_5^7 - 56658864622725568156413794619114/1812773453523337738346699\ 1053*c_0101_5^6 - 101055370328969796690180745641534/181277345352333\ 77383466991053*c_0101_5^5 - 16682359615001428440909102030289/181277\ 34535233377383466991053*c_0101_5^4 + 8230088529422914838695182100704/18127734535233377383466991053*c_010\ 1_5^3 + 4296506043045804821521955491290/181277345352333773834669910\ 53*c_0101_5^2 + 3143773632065133932529377689360/1812773453523337738\ 3466991053*c_0101_5 + 1280933105487852311475028798911/1812773453523\ 3377383466991053, c_0011_0 - 1, c_0011_3 - 677341468373196789978215455/18127734535233377383466991053*c_\ 0101_5^19 - 1889402579389775065603534187/18127734535233377383466991\ 053*c_0101_5^18 + 12744122219706078287962071669/1812773453523337738\ 3466991053*c_0101_5^17 + 26033676194062626171117795054/181277345352\ 33377383466991053*c_0101_5^16 - 11307049590411323464070212218/18127\ 734535233377383466991053*c_0101_5^15 - 211610391138888482134340042580/18127734535233377383466991053*c_0101\ _5^14 - 154490190184152709060586874821/1812773453523337738346699105\ 3*c_0101_5^13 + 569752553693815295642039873373/18127734535233377383\ 466991053*c_0101_5^12 + 182148768964083859359268127564/181277345352\ 33377383466991053*c_0101_5^11 - 294706224586415762447528460375/1812\ 7734535233377383466991053*c_0101_5^10 + 49812291243916509939971775946/18127734535233377383466991053*c_0101_\ 5^9 - 503729919835384291433803406056/18127734535233377383466991053*\ c_0101_5^8 + 362067711444947358736467778741/18127734535233377383466\ 991053*c_0101_5^7 + 367250862024418682901281290866/1812773453523337\ 7383466991053*c_0101_5^6 - 139779008210138016614463690000/181277345\ 35233377383466991053*c_0101_5^5 + 74501056126102189861002762834/181\ 27734535233377383466991053*c_0101_5^4 - 37249232969702995038243484555/18127734535233377383466991053*c_0101_\ 5^3 - 47118231239832789345868062140/18127734535233377383466991053*c\ _0101_5^2 - 2430461926180009765196066646/18127734535233377383466991\ 053*c_0101_5 + 5306848981110186922230048176/18127734535233377383466\ 991053, c_0011_5 + 3514885553933651634630082484/18127734535233377383466991053*c\ _0101_5^19 + 14860571816503785489341748983/181277345352333773834669\ 91053*c_0101_5^18 - 46407758768279773924000461627/18127734535233377\ 383466991053*c_0101_5^17 - 209707264215516911643611094275/181277345\ 35233377383466991053*c_0101_5^16 - 225506206364574998247597602190/18127734535233377383466991053*c_0101\ _5^15 + 881364219238514372596504498200/1812773453523337738346699105\ 3*c_0101_5^14 + 2237337628372456570808132463720/1812773453523337738\ 3466991053*c_0101_5^13 - 61684375420407993825520504645/181277345352\ 33377383466991053*c_0101_5^12 - 2281315629515630450568584143210/181\ 27734535233377383466991053*c_0101_5^11 - 2462627978453249225936643808100/18127734535233377383466991053*c_010\ 1_5^10 - 3050548865358302892648349668185/18127734535233377383466991\ 053*c_0101_5^9 + 172557474763779636628437860486/1812773453523337738\ 3466991053*c_0101_5^8 + 866603416856988267889109714610/181277345352\ 33377383466991053*c_0101_5^7 + 225408533793895652106521227559/18127\ 734535233377383466991053*c_0101_5^6 + 793618119605325202390771700632/18127734535233377383466991053*c_0101\ _5^5 + 137559595600920770253573399478/18127734535233377383466991053\ *c_0101_5^4 - 42869856950896701751560692594/18127734535233377383466\ 991053*c_0101_5^3 - 7394091867682893713731191676/181277345352333773\ 83466991053*c_0101_5^2 - 22903024848395728674609642829/181277345352\ 33377383466991053*c_0101_5 - 4271544767425628485384543384/181277345\ 35233377383466991053, c_0101_0 + 2729881454062626509640987055/18127734535233377383466991053*c\ _0101_5^19 + 12736152345442777787641728469/181277345352333773834669\ 91053*c_0101_5^18 - 31547907896962589971287947964/18127734535233377\ 383466991053*c_0101_5^17 - 180394368473978981875353458210/181277345\ 35233377383466991053*c_0101_5^16 - 236805438133380263272995914284/18127734535233377383466991053*c_0101\ _5^15 + 632098399042340097128612179273/1812773453523337738346699105\ 3*c_0101_5^14 + 2040329029831392375573872285709/1812773453523337738\ 3466991053*c_0101_5^13 + 550016376467405516044230803981/18127734535\ 233377383466991053*c_0101_5^12 - 1979961509796307692749437891541/18\ 127734535233377383466991053*c_0101_5^11 - 2360104881758919017233667320884/18127734535233377383466991053*c_010\ 1_5^10 - 3020756485366513241991866930362/18127734535233377383466991\ 053*c_0101_5^9 - 906507476493145884968622934482/1812773453523337738\ 3466991053*c_0101_5^8 + 988143449782594266758266327878/181277345352\ 33377383466991053*c_0101_5^7 + 118647012082548426013258753301/18127\ 734535233377383466991053*c_0101_5^6 + 766195682149551193212728741385/18127734535233377383466991053*c_0101\ _5^5 + 471058329077538132389822775604/18127734535233377383466991053\ *c_0101_5^4 - 163946371699194623345168826104/1812773453523337738346\ 6991053*c_0101_5^3 + 50913982831291799583242754477/1812773453523337\ 7383466991053*c_0101_5^2 - 17493053893633428172540691803/1812773453\ 5233377383466991053*c_0101_5 - 18228707274186806231378380161/181277\ 34535233377383466991053, c_0101_1 - 5371936554662546241419601341/18127734535233377383466991053*c\ _0101_5^19 - 22483478609960806887202732844/181277345352333773834669\ 91053*c_0101_5^18 + 71784312715640714996200749436/18127734535233377\ 383466991053*c_0101_5^17 + 317390588623094221674680315861/181277345\ 35233377383466991053*c_0101_5^16 + 334089544685300969544863373343/18127734535233377383466991053*c_0101\ _5^15 - 1359382576493260914896566820040/181277345352333773834669910\ 53*c_0101_5^14 - 3377592894508712322540079568311/181277345352333773\ 83466991053*c_0101_5^13 + 180104575339977199660975932237/1812773453\ 5233377383466991053*c_0101_5^12 + 3489543564779573278843005608510/1\ 8127734535233377383466991053*c_0101_5^11 + 3871583759028918998617796941403/18127734535233377383466991053*c_010\ 1_5^10 + 4683286547536737110286969907230/18127734535233377383466991\ 053*c_0101_5^9 - 551928417845811095731669309563/1812773453523337738\ 3466991053*c_0101_5^8 - 1627705369817510514005102963355/18127734535\ 233377383466991053*c_0101_5^7 - 767150389789758534911029630155/1812\ 7734535233377383466991053*c_0101_5^6 - 1322933026478736011030124166598/18127734535233377383466991053*c_010\ 1_5^5 - 127316885981598923265737326299/1812773453523337738346699105\ 3*c_0101_5^4 + 213157030844420754791634687400/181277345352333773834\ 66991053*c_0101_5^3 + 68142958792504602006523487048/181277345352333\ 77383466991053*c_0101_5^2 + 33567390108429081372472783854/181277345\ 35233377383466991053*c_0101_5 + 15235131449776671304414051238/18127\ 734535233377383466991053, c_0101_2 - 836678308728425792627470248/18127734535233377383466991053*c_\ 0101_5^19 - 3247757763308976739793649723/18127734535233377383466991\ 053*c_0101_5^18 + 12235497990237527372735775129/1812773453523337738\ 3466991053*c_0101_5^17 + 46183961968933545271177376301/181277345352\ 33377383466991053*c_0101_5^16 + 37962235403715970853660413446/18127\ 734535233377383466991053*c_0101_5^15 - 229198659162178659604173617117/18127734535233377383466991053*c_0101\ _5^14 - 473263440842895037189220537418/1812773453523337738346699105\ 3*c_0101_5^13 + 171185923708268988335509420338/18127734535233377383\ 466991053*c_0101_5^12 + 575402614150055748356092023447/181277345352\ 33377383466991053*c_0101_5^11 + 575947862263312041866697669736/1812\ 7734535233377383466991053*c_0101_5^10 + 571499569375580761285748800814/18127734535233377383466991053*c_0101\ _5^9 - 474531033364073175009782680864/18127734535233377383466991053\ *c_0101_5^8 - 394592208562886525427102290733/1812773453523337738346\ 6991053*c_0101_5^7 - 193853997992375415274299596510/181277345352333\ 77383466991053*c_0101_5^6 - 141285256935385834093447966841/18127734\ 535233377383466991053*c_0101_5^5 + 154758507506505208292620145590/18127734535233377383466991053*c_0101\ _5^4 + 41202634101933651105664782433/18127734535233377383466991053*\ c_0101_5^3 + 30476477218244430449633441132/181277345352333773834669\ 91053*c_0101_5^2 + 8314519635371546994524471125/1812773453523337738\ 3466991053*c_0101_5 - 4105297392154608116252719041/1812773453523337\ 7383466991053, c_0101_5^20 + 4*c_0101_5^19 - 14*c_0101_5^18 - 56*c_0101_5^17 - 53*c_0101_5^16 + 256*c_0101_5^15 + 572*c_0101_5^14 - 116*c_0101_5^13 - 550*c_0101_5^12 - 594*c_0101_5^11 - 833*c_0101_5^10 + 162*c_0101_5^9 + 152*c_0101_5^8 + 77*c_0101_5^7 + 263*c_0101_5^6 - 14*c_0101_5^5 - 5*c_0101_5^4 - 11*c_0101_5^2 - c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB