Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 2210537286] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2338 geometric_solution 5.72242289 oriented_manifold CS_known -0.0000000000000004 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.561572087812 0.599003482077 0 2 3 0 3201 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676950051611 0.436468779535 4 1 3 5 0132 0132 1302 0132 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 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.577323169499 0.492654544216 2 5 4 1 2031 1023 1023 0132 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 -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.577323169499 0.492654544216 2 4 3 4 0132 1302 1023 2031 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 -1 1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743187869153 1.163901755740 3 6 2 6 1023 0132 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 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 1.129045063902 0.600025697104 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.496075208596 0.338707717644 ==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' : 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_0110_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(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_4'], '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_6']), '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' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), '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_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 233484662701843038645713342545593/1322275585000598708596830210320*c\ _0110_6^20 + 581909907073501100120548822921185/52891023400023948343\ 8732084128*c_0110_6^19 - 15140748214163545648322791192809147/264455\ 1170001197417193660420640*c_0110_6^18 + 5268975398314258869797132905032899/528910234000239483438732084128*c\ _0110_6^17 + 230333572807930180225788439166949/91191419655213704041\ 160704160*c_0110_6^16 + 44180854691446015380702964702881657/2644551\ 170001197417193660420640*c_0110_6^15 - 25453915064616593918934132882992411/1322275585000598708596830210320\ *c_0110_6^14 - 104537724765841538364601065073861413/264455117000119\ 7417193660420640*c_0110_6^13 + 5859566370235490111541582349126833/6\ 61137792500299354298415105160*c_0110_6^12 + 18059224145906173274249553664875165/528910234000239483438732084128*\ c_0110_6^11 - 85773174154850155191315292201679463/13222755850005987\ 08596830210320*c_0110_6^10 - 2020233785798824438735640915357583/455\ 95709827606852020580352080*c_0110_6^9 + 311881239330325754904030829266371231/264455117000119741719366042064\ 0*c_0110_6^8 + 14440661962878140057298296679288755/2644551170001197\ 41719366042064*c_0110_6^7 + 13075764636994990378332640468716699/264\ 4551170001197417193660420640*c_0110_6^6 - 180262840870063576304509639939091/2279785491380342601029017604*c_01\ 10_6^5 - 5971843114462182335832637192100879/13222755850005987085968\ 3021032*c_0110_6^4 + 18059483580206895960172955211393893/5289102340\ 00239483438732084128*c_0110_6^3 + 199855232041895519862234775815949\ 27/1322275585000598708596830210320*c_0110_6^2 - 282487855761441656507599501456636/82642224062537419287301888145*c_0\ 110_6 - 2508127301416780725688930529155143/264455117000119741719366\ 0420640, c_0011_0 - 1, c_0011_1 + 1547869743216487248556165331/802741370204345986277823100*c_0\ 110_6^20 - 4979154788716323869858457611/401370685102172993138911550\ *c_0110_6^19 + 26128058160651422968613514359/4013706851021729931389\ 11550*c_0110_6^18 - 24575184763980063392783237488/20068534255108649\ 6569455775*c_0110_6^17 - 1720339932124204921301485/8027413702043459\ 862778231*c_0110_6^16 - 151518289629463742209242967313/802741370204\ 345986277823100*c_0110_6^15 + 203110888565249526754468997619/802741\ 370204345986277823100*c_0110_6^14 + 300540297694883779937359023943/802741370204345986277823100*c_0110_6\ ^13 - 125252800052153589266509688233/802741370204345986277823100*c_\ 0110_6^12 - 271026060644539909233470819583/802741370204345986277823\ 100*c_0110_6^11 + 60895711285800492539720861751/8027413702043459862\ 7782310*c_0110_6^10 + 10303337832542178725301388669/321096548081738\ 39451112924*c_0110_6^9 - 1059783963112625498136373578367/8027413702\ 04345986277823100*c_0110_6^8 - 55701242997361022663714358247/160548\ 274040869197255564620*c_0110_6^7 - 31887396888019973532384347809/802741370204345986277823100*c_0110_6^\ 6 + 361929936830396783565866426889/401370685102172993138911550*c_01\ 10_6^5 + 259674858007746530599128884351/802741370204345986277823100\ *c_0110_6^4 - 315554649954980509907942505753/8027413702043459862778\ 23100*c_0110_6^3 - 8000041755781628881090441037/8027413702043459862\ 7782310*c_0110_6^2 + 27743886195205454997783269213/8027413702043459\ 86277823100*c_0110_6 + 4992677130569099308910415801/802741370204345\ 986277823100, c_0011_3 - 303681091833370050870278033/802741370204345986277823100*c_01\ 10_6^20 + 525127661777547858654498804/200685342551086496569455775*c\ _0110_6^19 - 2773389852035524996761014896/2006853425510864965694557\ 75*c_0110_6^18 + 5917534573205729469079277589/200685342551086496569\ 455775*c_0110_6^17 - 632766166530811055477450361/802741370204345986\ 27782310*c_0110_6^16 + 25856174034373665071296479369/80274137020434\ 5986277823100*c_0110_6^15 - 57898360592989136817162875187/802741370\ 204345986277823100*c_0110_6^14 - 52637095496033223786307801599/8027\ 41370204345986277823100*c_0110_6^13 + 55079125430774696255933488129/802741370204345986277823100*c_0110_6^\ 12 + 63900955118985720205144772999/802741370204345986277823100*c_01\ 10_6^11 - 6711208163342090941489090636/40137068510217299313891155*c\ _0110_6^10 - 448976535920962007104848907/16054827404086919725556462\ 0*c_0110_6^9 + 264472615734006182250877074341/802741370204345986277\ 823100*c_0110_6^8 + 257341213162893083019365031/1605482740408691972\ 55564620*c_0110_6^7 - 51784199527708391526960629213/802741370204345\ 986277823100*c_0110_6^6 - 96710467830543596851854084567/40137068510\ 2172993138911550*c_0110_6^5 - 23302058757373763991488814153/8027413\ 70204345986277823100*c_0110_6^4 + 99868417068802318717404721409/802\ 741370204345986277823100*c_0110_6^3 + 1560671231645586441863715777/80274137020434598627782310*c_0110_6^2 - 10506861520732546767004907869/802741370204345986277823100*c_0110_6 - 1462415357538390880755175123/802741370204345986277823100, c_0101_0 - 380454056084379449077999623/80274137020434598627782310*c_011\ 0_6^20 + 925266231431916782186057803/32109654808173839451112924*c_0\ 110_6^19 - 23970008377352903005796349197/16054827404086919725556462\ 0*c_0110_6^18 + 7846900257142499695531995535/3210965480817383945111\ 2924*c_0110_6^17 + 17263279952366011761088132651/160548274040869197\ 255564620*c_0110_6^16 + 72608012203706699078510242587/1605482740408\ 69197255564620*c_0110_6^15 - 17299526134102130095554224803/40137068\ 510217299313891155*c_0110_6^14 - 180438718131093930618833852483/160\ 548274040869197255564620*c_0110_6^13 + 9090334517029041186784130011/80274137020434598627782310*c_0110_6^12 + 29343580221600880025514931971/32109654808173839451112924*c_0110_6\ ^11 - 67017990493637668337565239424/40137068510217299313891155*c_01\ 10_6^10 - 116805127571723630704197023517/80274137020434598627782310\ *c_0110_6^9 + 480149896764480180311252655271/1605482740408691972555\ 64620*c_0110_6^8 + 14437577382489758522062255332/802741370204345986\ 2778231*c_0110_6^7 + 45706429545688289705195590799/1605482740408691\ 97255564620*c_0110_6^6 - 15540472884748110674663154111/802741370204\ 3459862778231*c_0110_6^5 - 11302270910853808736293842513/8027413702\ 043459862778231*c_0110_6^4 + 26202351360771085985843355635/32109654\ 808173839451112924*c_0110_6^3 + 36016432489617556282240229947/80274\ 137020434598627782310*c_0110_6^2 - 7414763373802424030286224031/80274137020434598627782310*c_0110_6 - 4254437840906283181804217863/160548274040869197255564620, c_0101_4 - 319013936562087937419278931/200685342551086496569455775*c_01\ 10_6^20 + 4014891549865980012525724119/401370685102172993138911550*\ c_0110_6^19 - 21008366298726712351775188861/40137068510217299313891\ 1550*c_0110_6^18 + 18864709219255042406629873727/200685342551086496\ 569455775*c_0110_6^17 + 180684614308052277371193191/160548274040869\ 19725556462*c_0110_6^16 + 63777248781717221582659576451/40137068510\ 2172993138911550*c_0110_6^15 - 72595551246263140957134735013/401370\ 685102172993138911550*c_0110_6^14 - 129397466046737512926024635511/401370685102172993138911550*c_0110_6\ ^13 + 35086885543479829281375832741/401370685102172993138911550*c_0\ 110_6^12 + 108023318724938890950140522041/4013706851021729931389115\ 50*c_0110_6^11 - 48688688012563848132364010539/80274137020434598627\ 782310*c_0110_6^10 - 2766534209332207453848624500/80274137020434598\ 62778231*c_0110_6^9 + 204326849335047076627465589917/20068534255108\ 6496569455775*c_0110_6^8 + 30024271150409577503955740449/8027413702\ 0434598627782310*c_0110_6^7 + 19047065221820458978533422234/2006853\ 42551086496569455775*c_0110_6^6 - 134469918629733622131378599053/20\ 0685342551086496569455775*c_0110_6^5 - 62004939649381815663556175101/200685342551086496569455775*c_0110_6^\ 4 + 114463867214416287147706307081/401370685102172993138911550*c_01\ 10_6^3 + 3483403933860424129051692339/40137068510217299313891155*c_\ 0110_6^2 - 11324123037663646313052706601/40137068510217299313891155\ 0*c_0110_6 - 1109497554925720070193753251/2006853425510864965694557\ 75, c_0101_6 + 38659259120221637996078883/401370685102172993138911550*c_011\ 0_6^20 - 160464833842976477310646161/401370685102172993138911550*c_\ 0110_6^19 + 415627834904044178109140772/200685342551086496569455775\ *c_0110_6^18 - 8735641206293469377335601/40137068510217299313891155\ 0*c_0110_6^17 - 566185566898495323230248951/80274137020434598627782\ 310*c_0110_6^16 - 7725474389108386550849016579/40137068510217299313\ 8911550*c_0110_6^15 - 6175374809232163032869562693/4013706851021729\ 93138911550*c_0110_6^14 + 7265074897900328563575697049/401370685102\ 172993138911550*c_0110_6^13 + 17335198718862841730071092861/4013706\ 85102172993138911550*c_0110_6^12 + 5385477787596609010482120571/401370685102172993138911550*c_0110_6^1\ 1 + 789388060143796895238689696/40137068510217299313891155*c_0110_6\ ^10 + 3285661789652340971857912637/40137068510217299313891155*c_011\ 0_6^9 + 19045345200152239283848173549/401370685102172993138911550*c\ _0110_6^8 - 2969231640633308369683525268/40137068510217299313891155\ *c_0110_6^7 - 24129410036129968135925469006/20068534255108649656945\ 5775*c_0110_6^6 - 10764747895973390396631890593/2006853425510864965\ 69455775*c_0110_6^5 + 11890669213611375096403045513/401370685102172\ 993138911550*c_0110_6^4 + 10313020034206121016607234868/20068534255\ 1086496569455775*c_0110_6^3 + 635568982946164722129541489/802741370\ 20434598627782310*c_0110_6^2 - 954892079657804420940890398/20068534\ 2551086496569455775*c_0110_6 - 103095591070289995601417011/20068534\ 2551086496569455775, c_0110_6^21 - 6*c_0110_6^20 + 31*c_0110_6^19 - 49*c_0110_6^18 - 27*c_0110_6^17 - 98*c_0110_6^16 + 86*c_0110_6^15 + 247*c_0110_6^14 - 201*c_0110_6^12 + 327*c_0110_6^11 + 335*c_0110_6^10 - 607*c_0110_6^9 - 452*c_0110_6^8 - 99*c_0110_6^7 + 429*c_0110_6^6 + 349*c_0110_6^5 - 137*c_0110_6^4 - 123*c_0110_6^3 + 3*c_0110_6^2 + 9*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB