Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 1343343720] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0208 geometric_solution 4.02243937 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 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 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.238848907736 0.202258031630 0 0 3 3 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.907038420101 0.294683953526 4 0 0 5 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.773193974498 0.828839219368 3 1 1 3 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.374181494477 0.045264515555 2 6 5 5 0132 0132 1302 2031 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.251717975053 0.435651148508 4 4 2 6 2031 1302 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 -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 -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.251717975053 0.435651148508 5 4 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.486073997987 0.886703920682 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_0'], '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' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 44399744962951135433721804871495/52333920216921163824649503527*c_01\ 01_6^22 + 1099182785196276155425354019801987/5233392021692116382464\ 9503527*c_0101_6^21 - 10742957249513429784236075223269011/523339202\ 16921163824649503527*c_0101_6^20 + 58026169749431578245002331186815476/52333920216921163824649503527*c\ _0101_6^19 - 193278514548969527060690312757603726/52333920216921163\ 824649503527*c_0101_6^18 + 398840083906015788098263359867884147/523\ 33920216921163824649503527*c_0101_6^17 - 417731815203681487554017184138734853/52333920216921163824649503527*\ c_0101_6^16 - 205204488335595964270264472459939871/5233392021692116\ 3824649503527*c_0101_6^15 + 1579093792087798535865980289905856847/5\ 2333920216921163824649503527*c_0101_6^14 - 2919238626579756849230561808771596442/52333920216921163824649503527\ *c_0101_6^13 + 3035649381020738241266707221735714576/52333920216921\ 163824649503527*c_0101_6^12 - 1674240906545403021448252941224606656\ /52333920216921163824649503527*c_0101_6^11 - 48793491748625215797345636729899477/52333920216921163824649503527*c\ _0101_6^10 + 881610976907493840204004374013168252/52333920216921163\ 824649503527*c_0101_6^9 - 693072428193673550517238884449098702/5233\ 3920216921163824649503527*c_0101_6^8 + 205003170726764219506967687947618647/52333920216921163824649503527*\ c_0101_6^7 + 43746268348191962418486193201368086/523339202169211638\ 24649503527*c_0101_6^6 - 54575907573668526037852914798841637/523339\ 20216921163824649503527*c_0101_6^5 + 13111152228032101675706913606124904/52333920216921163824649503527*c\ _0101_6^4 + 1977524368636768235368016600821452/52333920216921163824\ 649503527*c_0101_6^3 - 1321270187173361088181782199175123/523339202\ 16921163824649503527*c_0101_6^2 + 54176343788832872808814734346831/\ 52333920216921163824649503527*c_0101_6 + 40436060794666956986428012201801/52333920216921163824649503527, c_0011_0 - 1, c_0011_3 - 4714572328728772746413764692505/5233392021692116382464950352\ 7*c_0101_6^22 + 114102770169831411898419930167908/52333920216921163\ 824649503527*c_0101_6^21 - 1076912603029630899106509503619161/52333\ 920216921163824649503527*c_0101_6^20 + 5551112570391487988166972003826831/52333920216921163824649503527*c_\ 0101_6^19 - 17325644560389752332215572459980771/5233392021692116382\ 4649503527*c_0101_6^18 + 32165192679732222683747317124606273/523339\ 20216921163824649503527*c_0101_6^17 - 24871854402907880842762997619011006/52333920216921163824649503527*c\ _0101_6^16 - 38189426873791575284500492550560434/523339202169211638\ 24649503527*c_0101_6^15 + 147423962476051740667543143977496306/5233\ 3920216921163824649503527*c_0101_6^14 - 222695246087774456264328956552342734/52333920216921163824649503527*\ c_0101_6^13 + 185051197510420942202518676400243001/5233392021692116\ 3824649503527*c_0101_6^12 - 59016197328263766191487030670185697/523\ 33920216921163824649503527*c_0101_6^11 - 46903148699985643695227133145667179/52333920216921163824649503527*c\ _0101_6^10 + 66376524604145220484130746713166771/523339202169211638\ 24649503527*c_0101_6^9 - 31105700114700933850532576173532177/523339\ 20216921163824649503527*c_0101_6^8 + 978268541775113847423713733987466/52333920216921163824649503527*c_0\ 101_6^7 + 5517764393704603559033993934735461/5233392021692116382464\ 9503527*c_0101_6^6 - 2118732015122274645973828006841116/52333920216\ 921163824649503527*c_0101_6^5 - 9618055893416189780586111784383/523\ 33920216921163824649503527*c_0101_6^4 + 165406146988580944864735275136345/52333920216921163824649503527*c_0\ 101_6^3 - 22296398576819529407346993761040/523339202169211638246495\ 03527*c_0101_6^2 - 3105558743909486459296857835344/5233392021692116\ 3824649503527*c_0101_6 + 654650148194225278127020953587/52333920216\ 921163824649503527, c_0011_5 - 79383333816448186864329540115/52333920216921163824649503527*\ c_0101_6^22 + 1907296293717218140245398814009/523339202169211638246\ 49503527*c_0101_6^21 - 17802635783052599873679405876798/52333920216\ 921163824649503527*c_0101_6^20 + 90447041734606988213218309143130/5\ 2333920216921163824649503527*c_0101_6^19 - 276670919755874281358295121123700/52333920216921163824649503527*c_0\ 101_6^18 + 496231368390089818939497187758312/5233392021692116382464\ 9503527*c_0101_6^17 - 337565997223593233991994329894493/52333920216\ 921163824649503527*c_0101_6^16 - 702733729203676670759256183219465/\ 52333920216921163824649503527*c_0101_6^15 + 2385251315527538835873416993759679/52333920216921163824649503527*c_\ 0101_6^14 - 3386138637852899542988261003495334/52333920216921163824\ 649503527*c_0101_6^13 + 2558204889179374960124987082633725/52333920\ 216921163824649503527*c_0101_6^12 - 496403245292375064994736509853459/52333920216921163824649503527*c_0\ 101_6^11 - 1005108469451012816707414566343676/523339202169211638246\ 49503527*c_0101_6^10 + 1054645130384886575879040052415727/523339202\ 16921163824649503527*c_0101_6^9 - 360954232781170345601134295094743\ /52333920216921163824649503527*c_0101_6^8 - 90527782560524090672697605701059/52333920216921163824649503527*c_01\ 01_6^7 + 116064062147130770220476616668930/523339202169211638246495\ 03527*c_0101_6^6 - 23111889072052225023531473954632/523339202169211\ 63824649503527*c_0101_6^5 - 9931651373873106042812524322334/5233392\ 0216921163824649503527*c_0101_6^4 + 4120831912208750750242150820861/52333920216921163824649503527*c_010\ 1_6^3 + 497645452635027506834148874805/5233392021692116382464950352\ 7*c_0101_6^2 - 296198701719012956899452171307/523339202169211638246\ 49503527*c_0101_6 - 19070677674046473102224710197/52333920216921163\ 824649503527, c_0101_0 - 593607104398207226442931994800/52333920216921163824649503527\ *c_0101_6^22 + 14412541201097406248837647249060/5233392021692116382\ 4649503527*c_0101_6^21 - 136712416974016471203146510183418/52333920\ 216921163824649503527*c_0101_6^20 + 709565379831956297905206439319156/52333920216921163824649503527*c_0\ 101_6^19 - 2236315581572300043135080638862084/523339202169211638246\ 49503527*c_0101_6^18 + 4219419682338515270906363435811519/523339202\ 16921163824649503527*c_0101_6^17 - 3434080082179201261649155758062995/52333920216921163824649503527*c_\ 0101_6^16 - 4623686143909753946385605488735902/52333920216921163824\ 649503527*c_0101_6^15 + 19066770227146722847486731035292716/5233392\ 0216921163824649503527*c_0101_6^14 - 29600693768106725124772134388143495/52333920216921163824649503527*c\ _0101_6^13 + 25346794919514941161133694530533241/523339202169211638\ 24649503527*c_0101_6^12 - 8682306034487061324749476594139251/523339\ 20216921163824649503527*c_0101_6^11 - 6117335889723227421829873867771746/52333920216921163824649503527*c_\ 0101_6^10 + 9357398595787746099993293279733714/52333920216921163824\ 649503527*c_0101_6^9 - 4606171864998040064952520089097559/523339202\ 16921163824649503527*c_0101_6^8 + 178789327894506364595276033772091\ /52333920216921163824649503527*c_0101_6^7 + 883369131051809276011808741531212/52333920216921163824649503527*c_0\ 101_6^6 - 365845636154701644513221852765162/52333920216921163824649\ 503527*c_0101_6^5 - 848368103144175654812993373922/5233392021692116\ 3824649503527*c_0101_6^4 + 34777857351527453484909417721147/5233392\ 0216921163824649503527*c_0101_6^3 - 5961973812029352563936115644790/52333920216921163824649503527*c_010\ 1_6^2 - 736035830636453307436489590417/5233392021692116382464950352\ 7*c_0101_6 + 276830772223728185762247102598/52333920216921163824649\ 503527, c_0101_1 - 351296833889025763919277166725/52333920216921163824649503527\ *c_0101_6^22 + 7682348412078295555894523313765/52333920216921163824\ 649503527*c_0101_6^21 - 60561632866869953590155402514228/5233392021\ 6921163824649503527*c_0101_6^20 + 230058783710246668826548267596101\ /52333920216921163824649503527*c_0101_6^19 - 358585745583466705936808233225778/52333920216921163824649503527*c_0\ 101_6^18 - 458147455376968155065998260238205/5233392021692116382464\ 9503527*c_0101_6^17 + 3289259575964906261918581959006306/5233392021\ 6921163824649503527*c_0101_6^16 - 643810403874967348574382499577415\ 6/52333920216921163824649503527*c_0101_6^15 + 3989568253415255580659092220983115/52333920216921163824649503527*c_\ 0101_6^14 + 7755039592368459230768879074284058/52333920216921163824\ 649503527*c_0101_6^13 - 21335719615726220888215074326714756/5233392\ 0216921163824649503527*c_0101_6^12 + 23049954580351084894392295543804504/52333920216921163824649503527*c\ _0101_6^11 - 10270768498018786248350084738290527/523339202169211638\ 24649503527*c_0101_6^10 - 4110642521406238991064318932662722/523339\ 20216921163824649503527*c_0101_6^9 + 8283020340979075333925886038176838/52333920216921163824649503527*c_\ 0101_6^8 - 4148710617651283603936171582811148/523339202169211638246\ 49503527*c_0101_6^7 + 4565997912836562124275367824350/5233392021692\ 1163824649503527*c_0101_6^6 + 865281612975163115552921755475846/523\ 33920216921163824649503527*c_0101_6^5 - 288968593755269875670785433330903/52333920216921163824649503527*c_0\ 101_6^4 - 32596144843848657393849251819089/523339202169211638246495\ 03527*c_0101_6^3 + 31123908864144309612425539660960/523339202169211\ 63824649503527*c_0101_6^2 - 1067028109757753771090516821781/5233392\ 0216921163824649503527*c_0101_6 - 1069661616855135871228525083588/5\ 2333920216921163824649503527, c_0101_2 + 95353388370232365511123550985/52333920216921163824649503527*\ c_0101_6^22 - 2266310020091268004709309814116/523339202169211638246\ 49503527*c_0101_6^21 + 20786810138398084851402006320421/52333920216\ 921163824649503527*c_0101_6^20 - 103010107282031807228914133221197/\ 52333920216921163824649503527*c_0101_6^19 + 303343381556778634874619731714723/52333920216921163824649503527*c_0\ 101_6^18 - 505913409276296788864598086520392/5233392021692116382464\ 9503527*c_0101_6^17 + 239667941696015485129149929323524/52333920216\ 921163824649503527*c_0101_6^16 + 966516946913645916903365272191553/\ 52333920216921163824649503527*c_0101_6^15 - 2650539808934610880697323509559833/52333920216921163824649503527*c_\ 0101_6^14 + 3283374128339056968451162539327192/52333920216921163824\ 649503527*c_0101_6^13 - 1923042673213268336305587191798481/52333920\ 216921163824649503527*c_0101_6^12 - 303993576074059700022719663217734/52333920216921163824649503527*c_0\ 101_6^11 + 1408343980987603362270019926763802/523339202169211638246\ 49503527*c_0101_6^10 - 929878770068438530136713429084732/5233392021\ 6921163824649503527*c_0101_6^9 + 59425717977560289806723067872619/5\ 2333920216921163824649503527*c_0101_6^8 + 242563465780689840582523294191767/52333920216921163824649503527*c_0\ 101_6^7 - 107750053216537090171132706217150/52333920216921163824649\ 503527*c_0101_6^6 - 15447166738861578133139045669558/52333920216921\ 163824649503527*c_0101_6^5 + 20480135553033811735424463947446/52333\ 920216921163824649503527*c_0101_6^4 - 862352189637197733046661649168/52333920216921163824649503527*c_0101\ _6^3 - 2137481434107917547610780960373/5233392021692116382464950352\ 7*c_0101_6^2 + 69596764781148430750567804041/5233392021692116382464\ 9503527*c_0101_6 + 129440715457812954461454406598/52333920216921163\ 824649503527, c_0101_6^23 - 123/5*c_0101_6^22 + 238*c_0101_6^21 - 1267*c_0101_6^20 + 20649/5*c_0101_6^19 - 41036/5*c_0101_6^18 + 38588/5*c_0101_6^17 + 6596*c_0101_6^16 - 175834/5*c_0101_6^15 + 297243/5*c_0101_6^14 - 55679*c_0101_6^13 + 118203/5*c_0101_6^12 + 47819/5*c_0101_6^11 - 101464/5*c_0101_6^10 + 58418/5*c_0101_6^9 - 6208/5*c_0101_6^8 - 10397/5*c_0101_6^7 + 5276/5*c_0101_6^6 - 138/5*c_0101_6^5 - 566/5*c_0101_6^4 + 104/5*c_0101_6^3 + 27/5*c_0101_6^2 - 6/5*c_0101_6 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB