Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 2446331203] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1323 geometric_solution 5.20642174 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 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.889182548507 0.774499454960 0 1 1 0 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.686634657506 0.135284511708 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -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 1 -1 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.820584127071 0.533558939625 4 2 5 6 2103 0132 0132 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 -1 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 0 0 0 0.711020363020 0.779549099213 5 6 3 2 1023 1023 2103 0132 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 -1 1 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.711020363020 0.779549099213 5 4 5 3 2031 1023 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568041312585 0.343540022540 4 6 3 6 1023 2310 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 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 0.148434821003 1.050213608290 ==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' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], '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_0110_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 31799949115865739147785694719111/180288525508649853101970211909*c_0\ 110_6^23 - 11452973832853475594722755749613/18028852550864985310197\ 0211909*c_0110_6^22 - 556033210737914490423179814490243/18028852550\ 8649853101970211909*c_0110_6^21 + 161299888099163631166532975168718\ /180288525508649853101970211909*c_0110_6^20 + 3514989323044898693453744428685330/180288525508649853101970211909*c\ _0110_6^19 - 228985567963324944907322163435827/25755503644092836157\ 424315987*c_0110_6^18 - 14620410374324664882608829039540062/1802885\ 25508649853101970211909*c_0110_6^17 + 665930236415630848694222265532262/25755503644092836157424315987*c_0\ 110_6^16 + 49216972202285718482850209403797005/18028852550864985310\ 1970211909*c_0110_6^15 + 5463105105268920542186930180101687/1802885\ 25508649853101970211909*c_0110_6^14 - 103424614666846899403982178184953471/180288525508649853101970211909\ *c_0110_6^13 - 60877687687486506449559125237741101/1802885255086498\ 53101970211909*c_0110_6^12 + 17665932477079235442179496970501443/25\ 755503644092836157424315987*c_0110_6^11 + 18888490045879747709478799165201661/25755503644092836157424315987*c\ _0110_6^10 - 72724975339957010380033705887980447/180288525508649853\ 101970211909*c_0110_6^9 - 129933736784524033660330219693636774/1802\ 88525508649853101970211909*c_0110_6^8 + 8874678400307726801422716633555083/180288525508649853101970211909*c\ _0110_6^7 + 61822727159716949551551890323132451/1802885255086498531\ 01970211909*c_0110_6^6 + 7132219791070002944795676525235687/1802885\ 25508649853101970211909*c_0110_6^5 - 13236390523550535523201280909910571/180288525508649853101970211909*\ c_0110_6^4 - 1369215567909635794490693825387562/1802885255086498531\ 01970211909*c_0110_6^3 + 1618458903911758956425759068384446/1802885\ 25508649853101970211909*c_0110_6^2 + 5215437775534784650038550646561/25755503644092836157424315987*c_011\ 0_6 - 120641513425467096914129342158494/180288525508649853101970211\ 909, c_0011_0 - 1, c_0011_2 + 1206583335474933447183701464002/1802885255086498531019702119\ 09*c_0110_6^23 - 698207501746621965769207438914/1802885255086498531\ 01970211909*c_0110_6^22 - 20806534906614934960987675208255/18028852\ 5508649853101970211909*c_0110_6^21 + 10533174774000170549747370948664/180288525508649853101970211909*c_0\ 110_6^20 + 128727552265966286558282581559792/1802885255086498531019\ 70211909*c_0110_6^19 - 12405832479504512744205270452880/25755503644\ 092836157424315987*c_0110_6^18 - 521739639194928957343080318207340/\ 180288525508649853101970211909*c_0110_6^17 + 39368098176252181484283543122766/25755503644092836157424315987*c_01\ 10_6^16 + 1752863775098058164600470787380804/1802885255086498531019\ 70211909*c_0110_6^15 - 123482026515292433652925898214664/1802885255\ 08649853101970211909*c_0110_6^14 - 3714654721018598720132819339524601/180288525508649853101970211909*c\ _0110_6^13 - 1581152773681179722539224477006596/1802885255086498531\ 01970211909*c_0110_6^12 + 662636433698310994136445133055654/2575550\ 3644092836157424315987*c_0110_6^11 + 566887129386602531607505634187434/25755503644092836157424315987*c_0\ 110_6^10 - 3075302380050099358718665436178833/180288525508649853101\ 970211909*c_0110_6^9 - 3997954813845069926901513768327462/180288525\ 508649853101970211909*c_0110_6^8 + 761264529542354269549046330420114/180288525508649853101970211909*c_\ 0110_6^7 + 1876233986547406766097484043011401/180288525508649853101\ 970211909*c_0110_6^6 + 50993478094595155808948634440257/18028852550\ 8649853101970211909*c_0110_6^5 - 366363285780147312247767320528992/\ 180288525508649853101970211909*c_0110_6^4 - 13335723822446224711985936941085/180288525508649853101970211909*c_0\ 110_6^3 + 40035142317367954583414937046851/180288525508649853101970\ 211909*c_0110_6^2 - 142187391339225097502307860701/2575550364409283\ 6157424315987*c_0110_6 - 2754201404366135896374938057006/1802885255\ 08649853101970211909, c_0011_4 - 311954527336303954105813628111/18028852550864985310197021190\ 9*c_0110_6^23 + 141379865693270262397614052417/18028852550864985310\ 1970211909*c_0110_6^22 + 5413488793127968283801042807116/1802885255\ 08649853101970211909*c_0110_6^21 - 2062111790456309668414293183015/180288525508649853101970211909*c_01\ 10_6^20 - 33813212764558281632700926275889/180288525508649853101970\ 211909*c_0110_6^19 + 2642240940235143534710321654945/25755503644092\ 836157424315987*c_0110_6^18 + 138811377885059264808318590255096/180\ 288525508649853101970211909*c_0110_6^17 - 7979178600605608597021843011166/25755503644092836157424315987*c_011\ 0_6^16 - 466229273279825375938441190036504/180288525508649853101970\ 211909*c_0110_6^15 - 19627399073453230340931679427359/1802885255086\ 49853101970211909*c_0110_6^14 + 978116589798920005501286282416205/1\ 80288525508649853101970211909*c_0110_6^13 + 519104318819715109799809697418424/180288525508649853101970211909*c_\ 0110_6^12 - 168311180355685250223037536058886/257555036440928361574\ 24315987*c_0110_6^11 - 167374878828884652784295474910382/2575550364\ 4092836157424315987*c_0110_6^10 + 710498108746071700722708269245418\ /180288525508649853101970211909*c_0110_6^9 + 1143144771123765480982977817670389/180288525508649853101970211909*c\ _0110_6^8 - 107590922190274176063724364201264/180288525508649853101\ 970211909*c_0110_6^7 - 524162454992148437834082176328188/1802885255\ 08649853101970211909*c_0110_6^6 - 52730118052869983600729791945931/\ 180288525508649853101970211909*c_0110_6^5 + 101022134752703322652520708282844/180288525508649853101970211909*c_\ 0110_6^4 + 8730367386708155350375252711740/180288525508649853101970\ 211909*c_0110_6^3 - 11766572839496984140448063822538/18028852550864\ 9853101970211909*c_0110_6^2 - 3868159170496504133472688061/25755503\ 644092836157424315987*c_0110_6 + 885326659692584067025442068146/180\ 288525508649853101970211909, c_0101_0 + 3829842768735471137070211489512/1802885255086498531019702119\ 09*c_0110_6^23 - 2214362129644186762772074416616/180288525508649853\ 101970211909*c_0110_6^22 - 66037501269808358796001757932415/1802885\ 25508649853101970211909*c_0110_6^21 + 33415561241289201653465385400780/180288525508649853101970211909*c_0\ 110_6^20 + 408504860847856580183130254690980/1802885255086498531019\ 70211909*c_0110_6^19 - 39382551339357508199702465115606/25755503644\ 092836157424315987*c_0110_6^18 - 1655507443673947388874826220670324\ /180288525508649853101970211909*c_0110_6^17 + 125014924355523692223125802654209/25755503644092836157424315987*c_0\ 110_6^16 + 5561018915003017325928681349701562/180288525508649853101\ 970211909*c_0110_6^15 - 394221400131326957149689114825648/180288525\ 508649853101970211909*c_0110_6^14 - 11781184635421416164010507065863070/180288525508649853101970211909*\ c_0110_6^13 - 5004824979446979818117376223348630/180288525508649853\ 101970211909*c_0110_6^12 + 2101305776284696015193577236417237/25755\ 503644092836157424315987*c_0110_6^11 + 1794372195447677655851487764118209/25755503644092836157424315987*c_\ 0110_6^10 - 9764211582204669650555264689924138/18028852550864985310\ 1970211909*c_0110_6^9 - 12649195328452105993487732989527657/1802885\ 25508649853101970211909*c_0110_6^8 + 2440727870581070082632999670541283/180288525508649853101970211909*c\ _0110_6^7 + 5935757814368796148584064812530337/18028852550864985310\ 1970211909*c_0110_6^6 + 143032175904466842163152821644360/180288525\ 508649853101970211909*c_0110_6^5 - 1161624677014129014728155530033468/180288525508649853101970211909*c\ _0110_6^4 - 37893522513777182416307290023902/1802885255086498531019\ 70211909*c_0110_6^3 + 127798301669603966928876028165882/18028852550\ 8649853101970211909*c_0110_6^2 - 549707972522444940343805711072/257\ 55503644092836157424315987*c_0110_6 - 8996953474620782338994208125429/180288525508649853101970211909, c_0101_1 + 2432280807493800992513922832586/1802885255086498531019702119\ 09*c_0110_6^23 - 1406808012566868785885739709455/180288525508649853\ 101970211909*c_0110_6^22 - 41941754061117073378652320580166/1802885\ 25508649853101970211909*c_0110_6^21 + 21232524672788038474103111320723/180288525508649853101970211909*c_0\ 110_6^20 + 259471443757207741464636641327199/1802885255086498531019\ 70211909*c_0110_6^19 - 25023485855505370690279813337644/25755503644\ 092836157424315987*c_0110_6^18 - 1051564871393535167984178822907181\ /180288525508649853101970211909*c_0110_6^17 + 79457702488062289065927540400297/25755503644092836157424315987*c_01\ 10_6^16 + 3532357658084363454726966881111090/1802885255086498531019\ 70211909*c_0110_6^15 - 251698196995191989016711767595294/1802885255\ 08649853101970211909*c_0110_6^14 - 7484423305128913701749066598365289/180288525508649853101970211909*c\ _0110_6^13 - 3176497179282374422332160800126890/1802885255086498531\ 01970211909*c_0110_6^12 + 1335195709683584409226380660485843/257555\ 03644092836157424315987*c_0110_6^11 + 1139571391393835713723928088943498/25755503644092836157424315987*c_\ 0110_6^10 - 6206757211160419827160379074197176/18028852550864985310\ 1970211909*c_0110_6^9 - 8035359280786886007986738142822539/18028852\ 5508649853101970211909*c_0110_6^8 + 1553362432358231065371899856750598/180288525508649853101970211909*c\ _0110_6^7 + 3770886676054846333660350015517867/18028852550864985310\ 1970211909*c_0110_6^6 + 90286392396421363030966804568159/1802885255\ 08649853101970211909*c_0110_6^5 - 737881432451612488438746500101164\ /180288525508649853101970211909*c_0110_6^4 - 24063454600974367150178581910032/180288525508649853101970211909*c_0\ 110_6^3 + 81164623749470600168102361079151/180288525508649853101970\ 211909*c_0110_6^2 - 356186538912693454524167791363/2575550364409283\ 6157424315987*c_0110_6 - 5713773844414546641280229336040/1802885255\ 08649853101970211909, c_0101_3 - 129179291678417830762313136896/25755503644092836157424315987\ *c_0110_6^23 + 70645743799350010620111974282/2575550364409283615742\ 4315987*c_0110_6^22 + 2230911995407715720485216260242/2575550364409\ 2836157424315987*c_0110_6^21 - 1059191372258260359066026041226/2575\ 5503644092836157424315987*c_0110_6^20 - 13833815576836704153241031873521/25755503644092836157424315987*c_01\ 10_6^19 + 8896514164896348808978580503119/2575550364409283615742431\ 5987*c_0110_6^18 + 56254047171199729308399255209874/257555036440928\ 36157424315987*c_0110_6^17 - 27963309493929044354781425235858/25755\ 503644092836157424315987*c_0110_6^16 - 188972426618869986068799849377555/25755503644092836157424315987*c_0\ 110_6^15 + 8133193385795171744654097208542/257555036440928361574243\ 15987*c_0110_6^14 + 399467994794805296225876648702432/2575550364409\ 2836157424315987*c_0110_6^13 + 179710181978516913760079778071394/25\ 755503644092836157424315987*c_0110_6^12 - 495095122535745905749657973432406/25755503644092836157424315987*c_0\ 110_6^11 - 438344967516040454408185651992081/2575550364409283615742\ 4315987*c_0110_6^10 + 323046852007664817479153293954009/25755503644\ 092836157424315987*c_0110_6^9 + 439069713203196850133066016383578/2\ 5755503644092836157424315987*c_0110_6^8 - 75356020123540222070223025016226/25755503644092836157424315987*c_01\ 10_6^7 - 206654103923662293520167640460090/257555036440928361574243\ 15987*c_0110_6^6 - 8392118095462092557079809555286/2575550364409283\ 6157424315987*c_0110_6^5 + 41306088462192021147709379036191/2575550\ 3644092836157424315987*c_0110_6^4 + 2108803548651445755653432920235/25755503644092836157424315987*c_011\ 0_6^3 - 4652990716943756917786246523894/257555036440928361574243159\ 87*c_0110_6^2 + 58003832583959184449968336310/257555036440928361574\ 24315987*c_0110_6 + 340582746873809693758704379517/2575550364409283\ 6157424315987, c_0110_6^24 - c_0110_6^23 - 17*c_0110_6^22 + 16*c_0110_6^21 + 103*c_0110_6^20 - 117*c_0110_6^19 - 402*c_0110_6^18 + 411*c_0110_6^17 + 1356*c_0110_6^16 - 716*c_0110_6^15 - 3034*c_0110_6^14 - 8*c_0110_6^13 + 4395*c_0110_6^12 + 1659*c_0110_6^11 - 3938*c_0110_6^10 - 2229*c_0110_6^9 + 2035*c_0110_6^8 + 1284*c_0110_6^7 - 618*c_0110_6^6 - 321*c_0110_6^5 + 118*c_0110_6^4 + 38*c_0110_6^3 - 15*c_0110_6^2 - 2*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB