Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 3221103483] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0434 geometric_solution 4.48570291 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0.645728487471 0.066145313082 2 0 2 0 0132 2310 1023 0132 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 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.821714079535 0.090842481616 1 3 1 3 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 -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.683680274040 0.321509305488 4 2 5 2 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.733066072491 1.623281210919 3 5 5 6 0132 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 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.180487230215 0.817183381543 6 4 4 3 1023 3201 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180487230215 0.817183381543 6 5 4 6 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.257704776259 1.166797563748 ==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_0011_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 181101003261482589062623249087487/7166921439518926699816423805929*c\ _0101_4^22 - 1246084940340629419129902011972730/7166921439518926699\ 816423805929*c_0101_4^21 + 3081357957181580468036396268912820/71669\ 21439518926699816423805929*c_0101_4^20 + 19301457695444571429348429684776428/7166921439518926699816423805929\ *c_0101_4^19 - 28629530333277413511251852697431792/7166921439518926\ 699816423805929*c_0101_4^18 - 681240281478292225907606134138494/339\ 66452319994913269272150739*c_0101_4^17 + 130910789929705480247715445012745154/716692143951892669981642380592\ 9*c_0101_4^16 + 666350455636607234523224346685187472/71669214395189\ 26699816423805929*c_0101_4^15 - 30298194924087568476382210419198412\ 8/7166921439518926699816423805929*c_0101_4^14 - 2045702442380523953068205369161745994/71669214395189266998164238059\ 29*c_0101_4^13 + 145807136981348200754105262991893913/7166921439518\ 926699816423805929*c_0101_4^12 + 3829203665902035874982592795827223\ 875/7166921439518926699816423805929*c_0101_4^11 + 693225988604463851788302637979508463/716692143951892669981642380592\ 9*c_0101_4^10 - 4305649068537648881469466705083818104/7166921439518\ 926699816423805929*c_0101_4^9 - 15065929587102109538622373630231745\ 28/7166921439518926699816423805929*c_0101_4^8 + 2994045500681508168519169881441915980/71669214395189266998164238059\ 29*c_0101_4^7 + 1363605461401646531100043751719242164/7166921439518\ 926699816423805929*c_0101_4^6 - 12197471685013453536422237901716114\ 36/7166921439518926699816423805929*c_0101_4^5 - 655470632412822183203231786693843267/716692143951892669981642380592\ 9*c_0101_4^4 + 241280316422286587710681189885727064/716692143951892\ 6699816423805929*c_0101_4^3 + 145653455508072355641986287454538866/\ 7166921439518926699816423805929*c_0101_4^2 - 17966461768985835308162361283935564/7166921439518926699816423805929\ *c_0101_4 - 11160787587005623756888371634371860/7166921439518926699\ 816423805929, c_0011_0 - 1, c_0011_1 - 14402780842026148975969169159007/286676857580757067992656952\ 23716*c_0101_4^22 - 64006060476316482540814055146377/28667685758075\ 706799265695223716*c_0101_4^21 + 96998645670544499684420760504484/7\ 166921439518926699816423805929*c_0101_4^20 + 528191740228712710034954887390891/28667685758075706799265695223716*\ c_0101_4^19 - 806430501985585791125889652486500/7166921439518926699\ 816423805929*c_0101_4^18 - 3536809627180026671270965714077/33966452\ 319994913269272150739*c_0101_4^17 + 14802586243336823641438349261835215/2866768575807570679926569522371\ 6*c_0101_4^16 + 13368187576516129434537125454725535/286676857580757\ 06799265695223716*c_0101_4^15 - 21628679391071537696996916862541109\ /14333842879037853399632847611858*c_0101_4^14 - 41368340544517200959322567571718105/2866768575807570679926569522371\ 6*c_0101_4^13 + 73173452320152582267361737649724249/286676857580757\ 06799265695223716*c_0101_4^12 + 77469070679038280450011545343954043\ /28667685758075706799265695223716*c_0101_4^11 - 67695864502120784468532350126369749/2866768575807570679926569522371\ 6*c_0101_4^10 - 87319432427363576071258297917057787/286676857580757\ 06799265695223716*c_0101_4^9 + 16737749658570284860843781174917299/\ 14333842879037853399632847611858*c_0101_4^8 + 57333922388299120730764889832523715/2866768575807570679926569522371\ 6*c_0101_4^7 - 1196236455332582737561415367707214/71669214395189266\ 99816423805929*c_0101_4^6 - 5272002948008013372911950950742657/7166\ 921439518926699816423805929*c_0101_4^5 - 2661439301354852839824695726174837/28667685758075706799265695223716\ *c_0101_4^4 + 3085990184137163194937956789902937/286676857580757067\ 99265695223716*c_0101_4^3 + 342008926527402756177953737485883/14333\ 842879037853399632847611858*c_0101_4^2 - 21515946319453631127842985848996/7166921439518926699816423805929*c_\ 0101_4 - 18788222993726883883758838819205/2866768575807570679926569\ 5223716, c_0011_5 + 9183797066520054945412163827685/1433384287903785339963284761\ 1858*c_0101_4^22 + 20208262090576703823799370555850/716692143951892\ 6699816423805929*c_0101_4^21 - 124594456636918850070838159149569/71\ 66921439518926699816423805929*c_0101_4^20 - 326184344301541651593192624291477/14333842879037853399632847611858*\ c_0101_4^19 + 2072016044744576279540864855764625/143338428790378533\ 99632847611858*c_0101_4^18 + 8592184321095781901138116024479/679329\ 04639989826538544301478*c_0101_4^17 - 4759708401844987430583292165786027/7166921439518926699816423805929*\ c_0101_4^16 - 8104715603715545248746716810210375/143338428790378533\ 99632847611858*c_0101_4^15 + 27914596878658903549597035685598861/14\ 333842879037853399632847611858*c_0101_4^14 + 12570608872176384354708281111038733/7166921439518926699816423805929\ *c_0101_4^13 - 47595708209424628891150565327417187/1433384287903785\ 3399632847611858*c_0101_4^12 - 23616494733332936202761816890066964/\ 7166921439518926699816423805929*c_0101_4^11 + 44624675193030124968777758942586395/1433384287903785339963284761185\ 8*c_0101_4^10 + 26736357981087810468611280839034917/716692143951892\ 6699816423805929*c_0101_4^9 - 11258530650516761770909511049662617/7\ 166921439518926699816423805929*c_0101_4^8 - 35155978683827349544845276047856093/1433384287903785339963284761185\ 8*c_0101_4^7 + 3432723217943968498408872827763071/14333842879037853\ 399632847611858*c_0101_4^6 + 12857473939844172481543090046306039/14\ 333842879037853399632847611858*c_0101_4^5 + 901958058151509579206009648734155/7166921439518926699816423805929*c\ _0101_4^4 - 1858727122455135499046422026336743/14333842879037853399\ 632847611858*c_0101_4^3 - 522569653150172625895413651270667/1433384\ 2879037853399632847611858*c_0101_4^2 + 43421813083366044756760498786725/14333842879037853399632847611858*c\ _0101_4 + 10227898996873301531159748289636/716692143951892669981642\ 3805929, c_0101_0 - 25524739534282858828004567272055/286676857580757067992656952\ 23716*c_0101_4^22 - 115025162311551460632501473172679/2866768575807\ 5706799265695223716*c_0101_4^21 + 170920661960863456228410280015587\ /7166921439518926699816423805929*c_0101_4^20 + 989992664456168828659651602381731/28667685758075706799265695223716*\ c_0101_4^19 - 2877557806696109441405483023907809/143338428790378533\ 99632847611858*c_0101_4^18 - 13451886558636411878246277693889/67932\ 904639989826538544301478*c_0101_4^17 + 26673469510426268311735565770752197/2866768575807570679926569522371\ 6*c_0101_4^16 + 25296354594104921851593959990763055/286676857580757\ 06799265695223716*c_0101_4^15 - 19665973638125231524419592100679803\ /7166921439518926699816423805929*c_0101_4^14 - 77967342513230868566921110993934451/2866768575807570679926569522371\ 6*c_0101_4^13 + 135560551255339039983691171220948313/28667685758075\ 706799265695223716*c_0101_4^12 + 1455483577600755238719765889498903\ 65/28667685758075706799265695223716*c_0101_4^11 - 130388431329806151665112082638773185/286676857580757067992656952237\ 16*c_0101_4^10 - 163940088184634359396929102951769261/2866768575807\ 5706799265695223716*c_0101_4^9 + 3478886781753343087643646989849350\ 9/14333842879037853399632847611858*c_0101_4^8 + 109213771183027674049553580213189923/286676857580757067992656952237\ 16*c_0101_4^7 - 7489948008708061483290323439490835/1433384287903785\ 3399632847611858*c_0101_4^6 - 20403305145917269982545599329629705/1\ 4333842879037853399632847611858*c_0101_4^5 - 2869818553170199262917593457233895/28667685758075706799265695223716\ *c_0101_4^4 + 6545568051732394779262802789017569/286676857580757067\ 99265695223716*c_0101_4^3 + 275993781742500270006474967992884/71669\ 21439518926699816423805929*c_0101_4^2 - 149482363203034247655139704194535/14333842879037853399632847611858*\ c_0101_4 - 50133998175115937673760577814947/28667685758075706799265\ 695223716, c_0101_1 + 14336572388306764435879207818479/286676857580757067992656952\ 23716*c_0101_4^22 + 61271925202155955699833562423987/28667685758075\ 706799265695223716*c_0101_4^21 - 98949367774351026901021706966665/7\ 166921439518926699816423805929*c_0101_4^20 - 454709420122333958657736120052219/28667685758075706799265695223716*\ c_0101_4^19 + 1632773220812072462942184832388763/143338428790378533\ 99632847611858*c_0101_4^18 + 5655892129524472495389421339895/679329\ 04639989826538544301478*c_0101_4^17 - 14952644655229541837771053681185249/2866768575807570679926569522371\ 6*c_0101_4^16 - 10609823197852802452229186540920675/286676857580757\ 06799265695223716*c_0101_4^15 + 11001725257142527048311955047150937\ /7166921439518926699816423805929*c_0101_4^14 + 33039245404680263001324262858453163/2866768575807570679926569522371\ 6*c_0101_4^13 - 75956825093852402879736609150952697/286676857580757\ 06799265695223716*c_0101_4^12 - 62270405233743600170299738487185501\ /28667685758075706799265695223716*c_0101_4^11 + 73689487573127749741326736522784977/2866768575807570679926569522371\ 6*c_0101_4^10 + 71090204320577304590891960915463105/286676857580757\ 06799265695223716*c_0101_4^9 - 20567918748913499731559046900517757/\ 14333842879037853399632847611858*c_0101_4^8 - 46707903349937674414620314490096007/2866768575807570679926569522371\ 6*c_0101_4^7 + 5013636257332231759884307231541413/14333842879037853\ 399632847611858*c_0101_4^6 + 8655332394471839678933982369821165/143\ 33842879037853399632847611858*c_0101_4^5 + 697658416997958306369104091572631/28667685758075706799265695223716*\ c_0101_4^4 - 2575177077402085107216890136922201/2866768575807570679\ 9265695223716*c_0101_4^3 - 108278806456373348783368155511786/716692\ 1439518926699816423805929*c_0101_4^2 + 38129764855816509937169507224205/14333842879037853399632847611858*c\ _0101_4 + 34874404214095238936573123941271/286676857580757067992656\ 95223716, c_0101_3 + 8875772323959593713003836078195/2866768575807570679926569522\ 3716*c_0101_4^22 + 38949805432368133330021244738717/286676857580757\ 06799265695223716*c_0101_4^21 - 60507805975294145310973504686776/71\ 66921439518926699816423805929*c_0101_4^20 - 314447538662311965066818142253395/28667685758075706799265695223716*\ c_0101_4^19 + 507398817775016848462017870163321/7166921439518926699\ 816423805929*c_0101_4^18 + 2046799595065486799886721681376/33966452\ 319994913269272150739*c_0101_4^17 - 9407441658608504972516736868947719/28667685758075706799265695223716\ *c_0101_4^16 - 7661624608248554780159156833739407/28667685758075706\ 799265695223716*c_0101_4^15 + 13965832229934979700182487841660129/1\ 4333842879037853399632847611858*c_0101_4^14 + 23726275517841844532338907204873309/2866768575807570679926569522371\ 6*c_0101_4^13 - 48959383889903425480323441007927953/286676857580757\ 06799265695223716*c_0101_4^12 - 44585581942575683511235468461532099\ /28667685758075706799265695223716*c_0101_4^11 + 48798781063210143891621269925330641/2866768575807570679926569522371\ 6*c_0101_4^10 + 50855254423016425876355620557318735/286676857580757\ 06799265695223716*c_0101_4^9 - 14059678516594467302648917432926999/\ 14333842879037853399632847611858*c_0101_4^8 - 34139324038985273398734564079258039/2866768575807570679926569522371\ 6*c_0101_4^7 + 1920740794807961005954026932297614/71669214395189266\ 99816423805929*c_0101_4^6 + 3199822845094111136933939952440313/7166\ 921439518926699816423805929*c_0101_4^5 + 156737834691304396314424678168561/28667685758075706799265695223716*\ c_0101_4^4 - 2054513937931911752450684755556805/2866768575807570679\ 9265695223716*c_0101_4^3 - 134953395438577013597151321329785/143338\ 42879037853399632847611858*c_0101_4^2 + 15449355753710290892360032092618/7166921439518926699816423805929*c_\ 0101_4 + 9232805731862516622378817979657/28667685758075706799265695\ 223716, c_0101_4^23 + 4*c_0101_4^22 - 29*c_0101_4^21 - 25*c_0101_4^20 + 243*c_0101_4^19 + 108*c_0101_4^18 - 1141*c_0101_4^17 - 466*c_0101_4^16 + 3509*c_0101_4^15 + 1513*c_0101_4^14 - 6632*c_0101_4^13 - 3060*c_0101_4^12 + 7578*c_0101_4^11 + 3896*c_0101_4^10 - 5517*c_0101_4^9 - 2919*c_0101_4^8 + 2423*c_0101_4^7 + 1304*c_0101_4^6 - 565*c_0101_4^5 - 304*c_0101_4^4 + 59*c_0101_4^3 + 30*c_0101_4^2 - c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB