Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 4054871314] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0584 geometric_solution 4.60077167 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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.861916383068 0.567638394577 0 2 3 0 3201 0132 0132 0132 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 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.448006016088 0.756723279498 4 1 3 3 0132 0132 1302 2031 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 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.402562473967 0.401170922475 2 2 4 1 2031 1302 0132 0132 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 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.402562473967 0.401170922475 2 5 5 3 0132 0132 1023 0132 0 0 0 0 0 0 0 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 0 0 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.691897052731 0.706847442469 6 4 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.430342124539 0.333867764768 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.594901992406 0.130070620116 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], '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_3, c_0101_0, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1095148890264208297957885857374233/15746212008348693012932402245491\ 2*c_0101_6^20 - 206100919098750816207743347753535/78731060041743465\ 064662011227456*c_0101_6^19 - 29544545670382339181579299993845775/1\ 57462120083486930129324022454912*c_0101_6^18 + 93234717106064944525405206228267205/1574621200834869301293240224549\ 12*c_0101_6^17 + 87778342151529895603609281281752623/15746212008348\ 6930129324022454912*c_0101_6^16 - 247978733501705982010547650379559\ 55/4920691252608966566541375701716*c_0101_6^15 + 16542054349154643803805168751371803/5623647145838818933190143659104\ *c_0101_6^14 + 2406806986724309819118232109140594711/15746212008348\ 6930129324022454912*c_0101_6^13 - 118512022947468713813040834727630\ 4681/78731060041743465064662011227456*c_0101_6^12 - 3776697727852672550159321161007636305/15746212008348693012932402245\ 4912*c_0101_6^11 + 1742522630165570908337357299190269357/7873106004\ 1743465064662011227456*c_0101_6^10 + 4367505695282939337488865479255252527/15746212008348693012932402245\ 4912*c_0101_6^9 - 1364644400311042878304841557845241549/15746212008\ 3486930129324022454912*c_0101_6^8 - 3499464758948782222719338630012035375/15746212008348693012932402245\ 4912*c_0101_6^7 - 1145707893045628407300707444084784337/15746212008\ 3486930129324022454912*c_0101_6^6 + 1091325971686291522334370791755928/175738973307463091662191989347*c\ _0101_6^5 + 1013468542206736178653055581761750725/15746212008348693\ 0129324022454912*c_0101_6^4 + 37261934388130480017629583854911121/2\ 2494588583355275732760574636416*c_0101_6^3 - 116884852967043282475812623349145329/157462120083486930129324022454\ 912*c_0101_6^2 - 32904908433030439196849943234460533/39365530020871\ 732532331005613728*c_0101_6 - 9569850177204371351906203757686627/39\ 365530020871732532331005613728, c_0011_0 - 1, c_0011_1 + 307340631586767895817566873381/28118235729194094665950718295\ 52*c_0101_6^20 - 99487631220797895198060317681/14059117864597047332\ 97535914776*c_0101_6^19 - 8182319210257154526959473084979/281182357\ 2919409466595071829552*c_0101_6^18 + 28321385330183334274681609983621/2811823572919409466595071829552*c_\ 0101_6^17 + 15515131546916974930483851552879/2811823572919409466595\ 071829552*c_0101_6^16 - 55286036667404788815382863246275/7029558932\ 29852366648767957388*c_0101_6^15 + 47533768517571670894732545737387/702955893229852366648767957388*c_0\ 101_6^14 + 583628000021555720779402142866395/2811823572919409466595\ 071829552*c_0101_6^13 - 385051561682675985385863421625031/140591178\ 6459704733297535914776*c_0101_6^12 - 768756410616076108557972969631469/2811823572919409466595071829552*c\ _0101_6^11 + 501843282148663117758777273311983/14059117864597047332\ 97535914776*c_0101_6^10 + 902962347915011887184531482487763/2811823\ 572919409466595071829552*c_0101_6^9 - 412018640285680740267409257224813/2811823572919409466595071829552*c\ _0101_6^8 - 831079074741876896849332565553023/281182357291940946659\ 5071829552*c_0101_6^7 - 184623464018793668115127009029281/281182357\ 2919409466595071829552*c_0101_6^6 + 61920601695739474184157380791069/702955893229852366648767957388*c_0\ 101_6^5 + 202354954947951412091314019240649/28118235729194094665950\ 71829552*c_0101_6^4 + 45624342185209284651662208638943/281182357291\ 9409466595071829552*c_0101_6^3 - 23968227916316190199861619425353/2\ 811823572919409466595071829552*c_0101_6^2 - 1405849142519057486316857598423/175738973307463091662191989347*c_01\ 01_6 - 1240961011054409748410433996277/7029558932298523666487679573\ 88, c_0011_3 + 1096791873346608774129241824937/2811823572919409466595071829\ 552*c_0101_6^20 - 244960015390706567058941567845/140591178645970473\ 3297535914776*c_0101_6^19 - 29361898150920214202039886367615/281182\ 3572919409466595071829552*c_0101_6^18 + 95357091843898792419676902087401/2811823572919409466595071829552*c_\ 0101_6^17 + 76104061634046349580633592172987/2811823572919409466595\ 071829552*c_0101_6^16 - 195870007848606211847969956003483/702955893\ 229852366648767957388*c_0101_6^15 + 132818500842458595637481464450255/702955893229852366648767957388*c_\ 0101_6^14 + 2240576072646153959865222187323047/28118235729194094665\ 95071829552*c_0101_6^13 - 1218990783109360554698496695158787/140591\ 1786459704733297535914776*c_0101_6^12 - 3253409720434550265928202099750833/2811823572919409466595071829552*\ c_0101_6^11 + 1664626378539644639191043001532467/140591178645970473\ 3297535914776*c_0101_6^10 + 3661310831918304929869452809948335/2811\ 823572919409466595071829552*c_0101_6^9 - 1178085595797529669500131150674769/2811823572919409466595071829552*\ c_0101_6^8 - 2895242342353577530833824802631899/2811823572919409466\ 595071829552*c_0101_6^7 - 975842843269609681928272553913685/2811823\ 572919409466595071829552*c_0101_6^6 + 165187764411161737438810016360825/702955893229852366648767957388*c_\ 0101_6^5 + 743268434289576346578884285545085/2811823572919409466595\ 071829552*c_0101_6^4 + 230385997485915947795501131684763/2811823572\ 919409466595071829552*c_0101_6^3 - 47149136700090391832021445085613/2811823572919409466595071829552*c_\ 0101_6^2 - 4916059438221002176466539828552/175738973307463091662191\ 989347*c_0101_6 - 5123757227713730540672104662433/70295589322985236\ 6648767957388, c_0101_0 - 58817414661229924137135302089/175738973307463091662191989347\ *c_0101_6^20 + 71271653180939166977603158461/7029558932298523666487\ 67957388*c_0101_6^19 + 1584268618459382582667537480907/175738973307\ 463091662191989347*c_0101_6^18 - 19574388847767218667364228948099/7\ 02955893229852366648767957388*c_0101_6^17 - 19883032175996948124308832739845/702955893229852366648767957388*c_0\ 101_6^16 + 168150344246064053703992847626121/7029558932298523666487\ 67957388*c_0101_6^15 - 44820081039595604772492648815141/35147794661\ 4926183324383978694*c_0101_6^14 - 128523425337550486377676005453333\ /175738973307463091662191989347*c_0101_6^13 + 475975156944548800501477604366627/702955893229852366648767957388*c_\ 0101_6^12 + 202069068582767909903105117155182/175738973307463091662\ 191989347*c_0101_6^11 - 689871147823821681561346744446541/702955893\ 229852366648767957388*c_0101_6^10 - 227759968600862435081945793772619/175738973307463091662191989347*c_\ 0101_6^9 + 230481440236716518771056534764111/7029558932298523666487\ 67957388*c_0101_6^8 + 677031528378547559992405746749357/70295589322\ 9852366648767957388*c_0101_6^7 + 256659631417288635959931582695475/\ 702955893229852366648767957388*c_0101_6^6 - 146211771357976483007309966502547/702955893229852366648767957388*c_\ 0101_6^5 - 88281763877988098768404016704419/35147794661492618332438\ 3978694*c_0101_6^4 - 56599710093294446194746584185527/7029558932298\ 52366648767957388*c_0101_6^3 + 8621216002625969518307607743893/7029\ 55893229852366648767957388*c_0101_6^2 + 18115616392549144340844164026517/702955893229852366648767957388*c_0\ 101_6 + 2522046002941754457668819982997/351477946614926183324383978\ 694, c_0101_4 + 22707572391617867715714937573/175738973307463091662191989347\ *c_0101_6^20 - 18053642122833001165955803470/1757389733074630916621\ 91989347*c_0101_6^19 - 602338725872300551987544662774/1757389733074\ 63091662191989347*c_0101_6^18 + 2184850668381190226741337628315/175\ 738973307463091662191989347*c_0101_6^17 + 833229245171158114796455040649/175738973307463091662191989347*c_010\ 1_6^16 - 16585896634656374770920436881615/1757389733074630916621919\ 89347*c_0101_6^15 + 16782303293523542491816945911831/17573897330746\ 3091662191989347*c_0101_6^14 + 41025997935934026607639607615636/175\ 738973307463091662191989347*c_0101_6^13 - 65436329851870128563775659803162/175738973307463091662191989347*c_0\ 101_6^12 - 45367903953597253392848747884819/17573897330746309166219\ 1989347*c_0101_6^11 + 86602784945140903061702901587831/175738973307\ 463091662191989347*c_0101_6^10 + 45896125628047147189231929519651/1\ 75738973307463091662191989347*c_0101_6^9 - 41721549910512072283515952000573/175738973307463091662191989347*c_0\ 101_6^8 - 46030914033899698377420641540254/175738973307463091662191\ 989347*c_0101_6^7 - 4428879107032508888535825755020/175738973307463\ 091662191989347*c_0101_6^6 + 16314638982341992163025638553659/17573\ 8973307463091662191989347*c_0101_6^5 + 10286723820970317167363657924135/175738973307463091662191989347*c_0\ 101_6^4 + 1021677851340583015468887460215/1757389733074630916621919\ 89347*c_0101_6^3 - 1529157876804733411233064856527/1757389733074630\ 91662191989347*c_0101_6^2 - 915737675802278600875230342692/17573897\ 3307463091662191989347*c_0101_6 - 40575020958833769654125951912/175\ 738973307463091662191989347, c_0101_5 - 539834600162217130970889105855/28118235729194094665950718295\ 52*c_0101_6^20 + 86108750256900646507018817243/14059117864597047332\ 97535914776*c_0101_6^19 + 14534850717550490968012399005353/28118235\ 72919409466595071829552*c_0101_6^18 - 45153827815256417159805033527519/2811823572919409466595071829552*c_\ 0101_6^17 - 44796684988384349318487106685421/2811823572919409466595\ 071829552*c_0101_6^16 + 96615283109878646273245926050521/7029558932\ 29852366648767957388*c_0101_6^15 - 53286689196372574867129050699661/702955893229852366648767957388*c_0\ 101_6^14 - 1172881177615082446725499602512561/281182357291940946659\ 5071829552*c_0101_6^13 + 557420814912057059342192407217781/14059117\ 86459704733297535914776*c_0101_6^12 + 1814998666346501610240936708165639/2811823572919409466595071829552*\ c_0101_6^11 - 802103069466653546636061031593901/1405911786459704733\ 297535914776*c_0101_6^10 - 2013082344089377112659673514529657/28118\ 23572919409466595071829552*c_0101_6^9 + 512753307595836212640129985468951/2811823572919409466595071829552*c\ _0101_6^8 + 1497007879357313311919903571203853/28118235729194094665\ 95071829552*c_0101_6^7 + 626794385832741622502908879879747/28118235\ 72919409466595071829552*c_0101_6^6 - 81410372561052915275985448316899/702955893229852366648767957388*c_0\ 101_6^5 - 424268681405276372750615869211755/28118235729194094665950\ 71829552*c_0101_6^4 - 136729256445549847815657395710525/28118235729\ 19409466595071829552*c_0101_6^3 + 22885671328978220149528783847275/\ 2811823572919409466595071829552*c_0101_6^2 + 2871341538334237784022801832758/175738973307463091662191989347*c_01\ 01_6 + 3060982860468357198790299967431/7029558932298523666487679573\ 88, c_0101_6^21 - 27*c_0101_6^19 + 75*c_0101_6^18 + 109*c_0101_6^17 - 686*c_0101_6^16 + 164*c_0101_6^15 + 2279*c_0101_6^14 - 1328*c_0101_6^13 - 4005*c_0101_6^12 + 1772*c_0101_6^11 + 4739*c_0101_6^10 + 365*c_0101_6^9 - 3165*c_0101_6^8 - 2091*c_0101_6^7 + 242*c_0101_6^6 + 989*c_0101_6^5 + 517*c_0101_6^4 + 41*c_0101_6^3 - 98*c_0101_6^2 - 52*c_0101_6 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB