Magma V2.19-8 Tue Aug 20 2013 16:16:58 on localhost [Seed = 2530675269] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1218 geometric_solution 5.11570027 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 -1 0 1 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.630810245307 0.815716004638 3 4 4 0 0132 0132 3201 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 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.771269681275 0.570896393544 4 3 0 4 2310 3201 0132 1023 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 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.771269681275 0.570896393544 1 5 2 5 0132 0132 2310 1023 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.893934862387 0.501295580950 1 1 2 2 2310 0132 3201 1023 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 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 1.162373199800 0.620014154556 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724690020628 0.166013325000 5 6 5 6 0132 1302 1023 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640535778106 0.062946889859 ==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' : d['1'], 's_3_2' : 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' : negation(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' : 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_1'], 'c_1100_5' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 56448216634237888882714596670609891748/7071318048744035166891728672\ 551071126335*c_0101_6^19 + 650052430817276112371060534393290798790/\ 12728372487739263300405111610591928027403*c_0101_6^18 + 492002322397434441536322841437069332669/169711633169856844005401488\ 14122570703204*c_0101_6^17 + 36497565786931408578474077148916168831\ 61/21213954146232105500675186017653213379005*c_0101_6^16 + 15895043207027325128900143454457128066711/1697116331698568440054014\ 8814122570703204*c_0101_6^15 - 592193247044650208661759568564759101\ 877513/254567449754785266008102232211838560548060*c_0101_6^14 - 61252511587765818153447610535576257296587/1157124771612660300036828\ 3282356298206730*c_0101_6^13 - 100048108177630125902627444602689207\ 461549/50913489950957053201620446442367712109612*c_0101_6^12 + 1167298302691304853608165556974732255974931/12728372487739263300405\ 1116105919280274030*c_0101_6^11 + 244587357883103774797771914574966\ 532184167/50913489950957053201620446442367712109612*c_0101_6^10 - 3518301606735378267085961673516779191411/41059266089481494517435843\ 90513525170130*c_0101_6^9 + 574699330917892286052290100816789917015\ 9033/254567449754785266008102232211838560548060*c_0101_6^8 + 1774731671096806161295283383684678021580089/84855816584928422002700\ 744070612853516020*c_0101_6^7 + 16901610480692431364969394871413981\ 617309/1928541286021100500061380547059383034455*c_0101_6^6 + 1672341565707154626091304041546142170095343/84855816584928422002700\ 744070612853516020*c_0101_6^5 + 14088242674372444809574529523218334\ 79227797/127283724877392633004051116105919280274030*c_0101_6^4 + 58993972264416557673165157786777880504489/7071318048744035166891728\ 672551071126335*c_0101_6^3 + 78466812585840800314186598388904385821\ 0748/63641862438696316502025558052959640137015*c_0101_6^2 + 313962717202917433500373323435179263876279/848558165849284220027007\ 44070612853516020*c_0101_6 + 34737147475862034144182046946846487948\ 3191/127283724877392633004051116105919280274030, c_0011_0 - 1, c_0011_1 - 9433120520494531328094367942487/3019585449653542672258503778\ 604042*c_0101_6^19 + 18578723677863137478204341824074/1509792724826\ 771336129251889302021*c_0101_6^18 + 143541146070973029130857824320179/301958544965354267225850377860404\ 2*c_0101_6^17 + 232840657150045404213093640698791/15097927248267713\ 36129251889302021*c_0101_6^16 + 1044356174939281580010148585795587/\ 1509792724826771336129251889302021*c_0101_6^15 + 806266161116230640482265244572019/150979272482677133612925188930202\ 1*c_0101_6^14 - 5362573515505526814038188890683175/3019585449653542\ 672258503778604042*c_0101_6^13 - 1526213186408806798238918703332081\ 3/3019585449653542672258503778604042*c_0101_6^12 - 17263609733829160883961213805906757/3019585449653542672258503778604\ 042*c_0101_6^11 - 13475895056442533245615752705919507/3019585449653\ 542672258503778604042*c_0101_6^10 - 10919787921954624722420978006083448/1509792724826771336129251889302\ 021*c_0101_6^9 - 8962798936644988689809520492782031/150979272482677\ 1336129251889302021*c_0101_6^8 - 6785919552867812382251560746451211\ /1509792724826771336129251889302021*c_0101_6^7 - 13787969632361658996049707129267755/3019585449653542672258503778604\ 042*c_0101_6^6 - 4753733561176462943013326274434090/150979272482677\ 1336129251889302021*c_0101_6^5 - 8656866859805976605115806371098383\ /3019585449653542672258503778604042*c_0101_6^4 - 5856571804471671117559726666568085/30195854496535426722585037786040\ 42*c_0101_6^3 - 126463988320287235226044770934647/15097927248267713\ 36129251889302021*c_0101_6^2 - 1773560193281040333868299503140532/1\ 509792724826771336129251889302021*c_0101_6 - 308067804782086694488430685148959/301958544965354267225850377860404\ 2, c_0101_0 - 39753090821396758898589148349135/301958544965354267225850377\ 8604042*c_0101_6^19 + 173697198336148545454019011596105/30195854496\ 53542672258503778604042*c_0101_6^18 + 264964631887596218984214179688103/150979272482677133612925188930202\ 1*c_0101_6^17 + 1772909970779899815681005721955361/3019585449653542\ 672258503778604042*c_0101_6^16 + 3919141017736617250166176475131844\ /1509792724826771336129251889302021*c_0101_6^15 + 3154378689289106841032472535854821/30195854496535426722585037786040\ 42*c_0101_6^14 - 12658546138901420208061084804901340/15097927248267\ 71336129251889302021*c_0101_6^13 - 29614661672503216772982582424218875/1509792724826771336129251889302\ 021*c_0101_6^12 - 21974482251284116381636441374036545/1509792724826\ 771336129251889302021*c_0101_6^11 - 8795820085311206977117278976453470/15097927248267713361292518893020\ 21*c_0101_6^10 - 47025877523975938390220598276968975/30195854496535\ 42672258503778604042*c_0101_6^9 - 255189881980585871919368911832037\ 85/1509792724826771336129251889302021*c_0101_6^8 - 34431014686858533702955978674916317/3019585449653542672258503778604\ 042*c_0101_6^7 - 16535673603910354272722088145321279/15097927248267\ 71336129251889302021*c_0101_6^6 - 126029323368951366426616862576027\ 29/3019585449653542672258503778604042*c_0101_6^5 - 11011410537933776585805466166973723/3019585449653542672258503778604\ 042*c_0101_6^4 - 15161058178672271738278547842735909/30195854496535\ 42672258503778604042*c_0101_6^3 + 120777755517873620573711326475470\ 5/3019585449653542672258503778604042*c_0101_6^2 - 1587507956044816200595574655269785/30195854496535426722585037786040\ 42*c_0101_6 + 778241762349899674687195676721051/3019585449653542672\ 258503778604042, c_0101_1 + 844243245270942467773897921953306/10115611256339367952065987\ 6583235407*c_0101_6^19 - 3746280784370721895722061390460429/1011561\ 12563393679520659876583235407*c_0101_6^18 - 22909189816743374650651633438681167/2023122251267873590413197531664\ 70814*c_0101_6^17 - 70361197026719304826078415876542375/20231222512\ 6787359041319753166470814*c_0101_6^16 - 312355417942705184365315409686746901/202312225126787359041319753166\ 470814*c_0101_6^15 - 34967411347041322584179860372377268/1011561125\ 63393679520659876583235407*c_0101_6^14 + 1278088014890842311365689182601714801/20231222512678735904131975316\ 6470814*c_0101_6^13 + 2585038101016077294201785195439137951/2023122\ 25126787359041319753166470814*c_0101_6^12 + 1003307022656104379416024377726161191/20231222512678735904131975316\ 6470814*c_0101_6^11 - 923941567614215297516165482574794923/20231222\ 5126787359041319753166470814*c_0101_6^10 + 841832920507418254388753851659222623/202312225126787359041319753166\ 470814*c_0101_6^9 + 1878143337772013439436795303090340941/202312225\ 126787359041319753166470814*c_0101_6^8 - 221193636458084347944537915738769640/101156112563393679520659876583\ 235407*c_0101_6^7 - 821875860094105381200351260153775983/2023122251\ 26787359041319753166470814*c_0101_6^6 - 50747687277802364454222687430786239/2023122251267873590413197531664\ 70814*c_0101_6^5 - 324777484860904461227541441797457039/20231222512\ 6787359041319753166470814*c_0101_6^4 - 134541826836794929649009263748396574/101156112563393679520659876583\ 235407*c_0101_6^3 - 55361588543549649496834010828194816/10115611256\ 3393679520659876583235407*c_0101_6^2 - 335847760767195887373485919329723673/202312225126787359041319753166\ 470814*c_0101_6 + 86348915887940454990704653690234813/2023122251267\ 87359041319753166470814, c_0101_4 - 3004626530540845413055147568939285/2023122251267873590413197\ 53166470814*c_0101_6^19 + 13276366272786699016805922942650519/20231\ 2225126787359041319753166470814*c_0101_6^18 + 19781287333935084189562700151103856/1011561125633936795206598765832\ 35407*c_0101_6^17 + 65728699366603393631210585230650875/10115611256\ 3393679520659876583235407*c_0101_6^16 + 290758968211358541876079140264257451/101156112563393679520659876583\ 235407*c_0101_6^15 + 105079390423988598255357293850761251/101156112\ 563393679520659876583235407*c_0101_6^14 - 1946126676634124805874505208056396025/20231222512678735904131975316\ 6470814*c_0101_6^13 - 2175432406678678725886280756947195071/1011561\ 12563393679520659876583235407*c_0101_6^12 - 2724786468543227002997566055860797639/20231222512678735904131975316\ 6470814*c_0101_6^11 - 492717250932843030655982901550441689/10115611\ 2563393679520659876583235407*c_0101_6^10 - 2076868367944533213923401193059200574/10115611256339367952065987658\ 3235407*c_0101_6^9 - 2613739673333631460653131401022010723/10115611\ 2563393679520659876583235407*c_0101_6^8 - 1268676239566183226335228420690183075/10115611256339367952065987658\ 3235407*c_0101_6^7 - 2561485382039711552074058237428105881/20231222\ 5126787359041319753166470814*c_0101_6^6 - 2194937789243423304630156600567305239/20231222512678735904131975316\ 6470814*c_0101_6^5 - 651553406628354308980596507299855153/101156112\ 563393679520659876583235407*c_0101_6^4 - 1211078916703069393389447961678669059/20231222512678735904131975316\ 6470814*c_0101_6^3 - 323489410525469895854043516985663813/202312225\ 126787359041319753166470814*c_0101_6^2 - 42204137973287477968652872183610181/2023122251267873590413197531664\ 70814*c_0101_6 - 88931323374292473713234158638198518/10115611256339\ 3679520659876583235407, c_0101_5 + 266449861049439401327585248127199/20231222512678735904131975\ 3166470814*c_0101_6^19 - 1782515116203658014227720859194875/2023122\ 25126787359041319753166470814*c_0101_6^18 - 252279237587395994490409932815925/202312225126787359041319753166470\ 814*c_0101_6^17 - 6024472560737273278009153246030813/20231222512678\ 7359041319753166470814*c_0101_6^16 - 34536075412392908707047990538080257/2023122251267873590413197531664\ 70814*c_0101_6^15 + 37225026181181012735049255963344006/10115611256\ 3393679520659876583235407*c_0101_6^14 + 47203425061756051697390594377683478/1011561125633936795206598765832\ 35407*c_0101_6^13 - 70478251897203813424917897881696727/20231222512\ 6787359041319753166470814*c_0101_6^12 - 89873050110129316950236554362423967/1011561125633936795206598765832\ 35407*c_0101_6^11 + 380457879886063702734186913803994637/2023122251\ 26787359041319753166470814*c_0101_6^10 + 687913467945080496644409283716739783/202312225126787359041319753166\ 470814*c_0101_6^9 - 307845490161177999970779485637719739/2023122251\ 26787359041319753166470814*c_0101_6^8 + 287922389158321618973849453252206385/101156112563393679520659876583\ 235407*c_0101_6^7 + 463491872965405786347879630174816417/1011561125\ 63393679520659876583235407*c_0101_6^6 - 52116440610290596528516098855535494/1011561125633936795206598765832\ 35407*c_0101_6^5 + 217246343977596643754453931989897899/20231222512\ 6787359041319753166470814*c_0101_6^4 + 256295408234198356155739671247704033/202312225126787359041319753166\ 470814*c_0101_6^3 - 36906827552520501333640278995294539/20231222512\ 6787359041319753166470814*c_0101_6^2 + 113897683433079041928942135327581929/101156112563393679520659876583\ 235407*c_0101_6 - 103316925543284464892809161181269883/202312225126\ 787359041319753166470814, c_0101_6^20 - 5*c_0101_6^19 - 10*c_0101_6^18 - 39*c_0101_6^17 - 175*c_0101_6^16 + 21*c_0101_6^15 + 583*c_0101_6^14 + 1085*c_0101_6^13 + 486*c_0101_6^12 + 445*c_0101_6^11 + 1349*c_0101_6^10 + 889*c_0101_6^9 + 691*c_0101_6^8 + 759*c_0101_6^7 + 262*c_0101_6^6 + 457*c_0101_6^5 + 292*c_0101_6^4 - 19*c_0101_6^3 + 141*c_0101_6^2 - 49*c_0101_6 + 55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB