using macaulay2 from within r the m2r package
play

Using Macaulay2 from within R : the m2r package Christopher ONeill - PowerPoint PPT Presentation

Jul 08, 2023 •183 likes •1.35k views

Using Macaulay2 from within R : the m2r package Christopher ONeill University of California Davis coneill@math.ucdavis.edu Joint with David Kahle and Jeff Sommars Mathematics Research Communities on Algebraic Statistics August 3, 2017

  1. Under the hood: sockets wait for input from client m2("1+1") send "1+1" to server wait for response receive "1+1" from client evaluate "1+1" to "2" send "2" to client Christopher O’Neill (UC Davis) The m2r package August 3, 2017 6 / 20

  2. Under the hood: sockets wait for input from client m2("1+1") send "1+1" to server wait for response receive "1+1" from client evaluate "1+1" to "2" send "2" to client wait for input from client Christopher O’Neill (UC Davis) The m2r package August 3, 2017 6 / 20

  3. Under the hood: sockets wait for input from client m2("1+1") send "1+1" to server wait for response receive "1+1" from client evaluate "1+1" to "2" send "2" to client wait for input from client receive "2" from server Christopher O’Neill (UC Davis) The m2r package August 3, 2017 6 / 20

  4. Under the hood: sockets wait for input from client m2("1+1") send "1+1" to server wait for response receive "1+1" from client evaluate "1+1" to "2" send "2" to client wait for input from client receive "2" from server return "2" from m2() Christopher O’Neill (UC Davis) The m2r package August 3, 2017 6 / 20

  5. Under the hood: sockets Christopher O’Neill (UC Davis) The m2r package August 3, 2017 7 / 20

  6. Under the hood: sockets > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 7 / 20

  7. Under the hood: sockets > m2("a = 5") [1] "5" > m2("a") [1] "5" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 7 / 20

  8. Under the hood: sockets > m2("a = 5") [1] "5" > m2("a") [1] "5" > m2("1+") Error: Macaulay2 Error! > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 7 / 20

  9. Under the hood: sockets > m2("a = 5") [1] "5" > m2("a") [1] "5" > m2("1+") Error: Macaulay2 Error! > m2("2+1") [1] "3" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 7 / 20

  10. Under the hood: sockets > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 8 / 20

  11. Under the hood: sockets > start_m2() Starting M2... done. > m2("1+1") [1] "2" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 8 / 20

  12. Under the hood: sockets > start_m2() Starting M2... done. > m2("1+1") [1] "2" > So. . . now what? Christopher O’Neill (UC Davis) The m2r package August 3, 2017 8 / 20

  13. Under the hood: sockets > start_m2() Starting M2... done. > m2("1+1") [1] "2" > So. . . now what? New features since creation: Lots of convenience functions High-level parser Cloud computing Christopher O’Neill (UC Davis) The m2r package August 3, 2017 8 / 20

  14. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 9 / 20

  15. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > m2("R = QQ[x,y,z]") [1] "QQ(monoid[x..z, Degrees => {3:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {3:1}, Position => Up}, DegreeRank => 1])" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 9 / 20

  16. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > m2("R = QQ[x,y,z]") [1] "QQ(monoid[x..z, Degrees => {3:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {3:1}, Position => Up}, DegreeRank => 1])" > m2("I = ideal(xˆ2, x*y, xˆ3*yˆ2)") [1] "ideal map((R)ˆ1,(R)ˆ{{-2},{-2},{-5}},{{xˆ2, x*y, xˆ3*yˆ2}})" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 9 / 20

  17. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > m2("R = QQ[x,y,z]") [1] "QQ(monoid[x..z, Degrees => {3:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {3:1}, Position => Up}, DegreeRank => 1])" > m2("I = ideal(xˆ2, x*y, xˆ3*yˆ2)") [1] "ideal map((R)ˆ1,(R)ˆ{{-2},{-2},{-5}},{{xˆ2, x*y, xˆ3*yˆ2}})" > m2("gens gb I") [1] "map((R)ˆ1,(R)ˆ{{-2},{-2}},{{x*y, xˆ2}})" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 9 / 20

  18. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > m2("R = QQ[x,y,z]") [1] "QQ(monoid[x..z, Degrees => {3:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {3:1}, Position => Up}, DegreeRank => 1])" > m2("I = ideal(xˆ2, x*y, xˆ3*yˆ2)") [1] "ideal map((R)ˆ1,(R)ˆ{{-2},{-2},{-5}},{{xˆ2, x*y, xˆ3*yˆ2}})" > m2("gens gb I") [1] "map((R)ˆ1,(R)ˆ{{-2},{-2}},{{x*y, xˆ2}})" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 9 / 20

  19. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 10 / 20

  20. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > (R <- ring("x", "y", "z", coefring = "QQ")) M2 Ring: QQ[x,y,z], grevlex order > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 10 / 20

  21. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > (R <- ring("x", "y", "z", coefring = "QQ")) M2 Ring: QQ[x,y,z], grevlex order > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 10 / 20

  22. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > (R <- ring("x", "y", "z", coefring = "QQ")) M2 Ring: QQ[x,y,z], grevlex order > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > (mygens <- gb(I)) x y xˆ2 > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 10 / 20

  23. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > (R <- ring("x", "y", "z", coefring = "QQ")) M2 Ring: QQ[x,y,z], grevlex order > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > (mygens <- gb(I)) x y xˆ2 > mygens[[2]] xˆ2 Christopher O’Neill (UC Davis) The m2r package August 3, 2017 10 / 20

  24. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > (R <- ring("x", "y", "z", coefring = "QQ")) M2 Ring: QQ[x,y,z], grevlex order > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > (mygens <- gb(I)) x y xˆ2 > mygens[[2]] − mpoly ← xˆ2 Christopher O’Neill (UC Davis) The m2r package August 3, 2017 10 / 20

  25. Convenience functions > m2("a = 5") [1] "5" > m2("a") [1] "5" > (R <- ring("x", "y", "z", coefring = "QQ")) M2 Ring: QQ[x,y,z], grevlex order > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > (mygens <- gb(I)) − mpolylist ← x y xˆ2 > mygens[[2]] − mpoly ← xˆ2 Christopher O’Neill (UC Davis) The m2r package August 3, 2017 10 / 20

  26. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 11 / 20

  27. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > radical(I) M2 Ideal of ring QQ[x,y,z] (grevlex) with generator : < x > > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 11 / 20

  28. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > radical(I) M2 Ideal of ring QQ[x,y,z] (grevlex) with generator : < x > > saturate(I,ideal("xˆ5")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generator : < 1 > > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 11 / 20

  29. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > radical(I) M2 Ideal of ring QQ[x,y,z] (grevlex) with generator : < x > > saturate(I,ideal("xˆ5")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generator : < 1 > > I+I M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2, xˆ2, x y, xˆ3 yˆ2 > > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 11 / 20

  30. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > radical(I) M2 Ideal of ring QQ[x,y,z] (grevlex) with generator : < x > > saturate(I,ideal("xˆ5")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generator : < 1 > > I+I M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2, xˆ2, x y, xˆ3 yˆ2 > > gb(I+I) x y xˆ2 Christopher O’Neill (UC Davis) The m2r package August 3, 2017 11 / 20

  31. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 12 / 20

  32. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > primary_decomposition(I) M2 List of ideals of QQ[x,y,z] (grevlex) : < x > < xˆ2, y > > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 12 / 20

  33. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > primary_decomposition(I) M2 List of ideals of QQ[x,y,z] (grevlex) : < x > < xˆ2, y > > dimension(I) [1] 2 > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 12 / 20

  34. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > primary_decomposition(I) M2 List of ideals of QQ[x,y,z] (grevlex) : < x > < xˆ2, y > > dimension(I) [1] 2 > ring("x", "y", "z", coefring = "QQ", code = TRUE) m2rintring00000002 = QQ[x,y,z,MonomialOrder=>{GRevLex=>3}] > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 12 / 20

  35. Convenience functions > (I <- ideal("xˆ2", "x*y", "xˆ3*yˆ2")) M2 Ideal of ring QQ[x,y,z] (grevlex) with generators : < xˆ2, x y, xˆ3 yˆ2 > > primary_decomposition(I) M2 List of ideals of QQ[x,y,z] (grevlex) : < x > < xˆ2, y > > dimension(I) [1] 2 > ring("x", "y", "z", coefring = "QQ", code = TRUE) m2rintring00000002 = QQ[x,y,z,MonomialOrder=>{GRevLex=>3}] > dimension(I, code = TRUE) dim(m2rintideal00000001) Christopher O’Neill (UC Davis) The m2r package August 3, 2017 12 / 20

  36. The parser > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 13 / 20

  37. The parser > m2_matrix(matrix(c(1,2,3,4), nrow = 2, ncol = 2)) [,1] [,2] [1,] 1 3 [2,] 2 4 M2 Matrix over ZZ[] > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 13 / 20

  38. The parser > m2_matrix(matrix(c(1,2,3,4), nrow = 2, ncol = 2)) [,1] [,2] [1,] 1 3 [2,] 2 4 M2 Matrix over ZZ[] > m2_matrix(matrix(c(1,2,3,4), nrow = 2, ncol = 2), code = TRUE) m2rintmatrix00000002 = matrix {{(1),(3)},{(2),(4)}} > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 13 / 20

  39. The parser > m2_matrix(matrix(c(1,2,3,4), nrow = 2, ncol = 2)) [,1] [,2] [1,] 1 3 [2,] 2 4 M2 Matrix over ZZ[] > m2_matrix(matrix(c(1,2,3,4), nrow = 2, ncol = 2), code = TRUE) m2rintmatrix00000002 = matrix {{(1),(3)},{(2),(4)}} > m2("m2rintmatrix00000002 = matrix {{(1),(3)},{(2),(4)}}") [1] "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 13 / 20

  40. The parser > m2_matrix(matrix(c(1,2,3,4), nrow = 2, ncol = 2)) [,1] [,2] [1,] 1 3 [2,] 2 4 M2 Matrix over ZZ[] > m2_matrix(matrix(c(1,2,3,4), nrow = 2, ncol = 2), code = TRUE) m2rintmatrix00000002 = matrix {{(1),(3)},{(2),(4)}} > m2("m2rintmatrix00000002 = matrix {{(1),(3)},{(2),(4)}}") [1] "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_parse("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [,1] [,2] [1,] 1 3 [2,] 2 4 M2 Matrix over ZZ[] Christopher O’Neill (UC Davis) The m2r package August 3, 2017 13 / 20

  41. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  42. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_tokenize("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [1] "map" "(" "(" "ZZ" ")" "ˆ" "2" "," "(" "ZZ" [11] ")" "ˆ" "2" "," "{" "{" "1" "," "3" "}" [21] "," "{" "2" "," "4" "}" "}" ")" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  43. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_tokenize("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [1] "map" "(" "(" "ZZ" ")" "ˆ" "2" "," "(" "ZZ" [11] ")" "ˆ" "2" "," "{" "{" "1" "," "3" "}" [21] "," "{" "2" "," "4" "}" "}" ")" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  44. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_tokenize("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [1] "map" "(" "(" "ZZ" ")" "ˆ" "2" "," "(" "ZZ" [11] ")" "ˆ" "2" "," "{" "{" "1" "," "3" "}" [21] "," "{" "2" "," "4" "}" "}" ")" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  45. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_tokenize("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [1] "map" "(" "(" "ZZ" ")" "ˆ" "2" "," "(" "ZZ" [11] ")" "ˆ" "2" "," "{" "{" "1" "," "3" "}" [21] "," "{" "2" "," "4" "}" "}" ")" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  46. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_tokenize("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [1] "map" "(" "(" "ZZ" ")" "ˆ" "2" "," "(" "ZZ" [11] ")" "ˆ" "2" "," "{" "{" "1" "," "3" "}" [21] "," "{" "2" "," "4" "}" "}" ")" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  47. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_tokenize("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [1] "map" "(" "(" "ZZ" ")" "ˆ" "2" "," "(" "ZZ" [11] ")" "ˆ" "2" "," "{" "{" "1" "," "3" "}" [21] "," "{" "2" "," "4" "}" "}" ")" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  48. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_tokenize("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [1] "map" "(" "(" "ZZ" ")" "ˆ" "2" "," "(" "ZZ" [11] ")" "ˆ" "2" "," "{" "{" "1" "," "3" "}" [21] "," "{" "2" "," "4" "}" "}" ")" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  49. The parser Parsing "map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})" > m2_tokenize("map((ZZ)ˆ2,(ZZ)ˆ2,{{1, 3}, {2, 4}})") [1] "map" "(" "(" "ZZ" ")" "ˆ" "2" "," "(" "ZZ" [11] ")" "ˆ" "2" "," "{" "{" "1" "," "3" "}" [21] "," "{" "2" "," "4" "}" "}" ")" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 14 / 20

  50. The parser > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 15 / 20

  51. The parser > m2_parse(m2("x")) M2 Symbol: x > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 15 / 20

  52. The parser > m2_parse(m2("x")) M2 Symbol: x > m2_parse(m2("ZZ")) M2 Ring: ZZ[], grevlex order > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 15 / 20

  53. The parser > m2_parse(m2("x")) M2 Symbol: x > m2_parse(m2("ZZ")) M2 Ring: ZZ[], grevlex order > m2("m2rintring00000002 = QQ[x,y,z,MonomialOrder=>{GRevLex=>3}]") [1] "QQ(monoid[x..z, Degrees => {3:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {3:1}, Position => Up}, DegreeRank => 1])" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 15 / 20

  54. The parser > m2_parse(m2("x")) M2 Symbol: x > m2_parse(m2("ZZ")) M2 Ring: ZZ[], grevlex order > m2("m2rintring00000002 = QQ[x,y,z,MonomialOrder=>{GRevLex=>3}]") [1] "QQ(monoid[x..z, Degrees => {3:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {3:1}, Position => Up}, DegreeRank => 1])" > m2_parse(m2("m2rintring00000002")) M2 Ring: QQ[x,y,z], grevlex order > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 15 / 20

  55. The parser > m2_parse(m2("x")) M2 Symbol: x > m2_parse(m2("ZZ")) M2 Ring: ZZ[], grevlex order > m2("m2rintring00000002 = QQ[x,y,z,MonomialOrder=>{GRevLex=>3}]") [1] "QQ(monoid[x..z, Degrees => {3:1}, Heft => {1}, MonomialOrder => VerticalList{MonomialSize => 32, GRevLex => {3:1}, Position => Up}, DegreeRank => 1])" > m2_parse(m2("m2rintring00000002")) M2 Ring: QQ[x,y,z], grevlex order > m2("ideal({xˆ2+2*x,2*x+3})") [1] "ideal map((m2rintring00000002)ˆ1,(m2rintring00000002)ˆ{{-2}, {-1}},{{xˆ2+2*x, 2*x+3}})" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 15 / 20

  56. Parser “extensibility” > m2("ideal({xˆ2+2*x,2*x+3})") [1] "ideal map((m2rintring00000002)ˆ1,(m2rintring00000002)ˆ{{-2}, {-1}},{{xˆ2+2*x, 2*x+3}})" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 16 / 20

  57. Parser “extensibility” > m2("ideal({xˆ2+2*x,2*x+3})") [1] "ideal map((m2rintring00000002)ˆ1,(m2rintring00000002)ˆ{{-2}, {-1}},{{xˆ2+2*x, 2*x+3}})" m2_parse_function.m2_map <- function(x) { R1 <- x[[1]] R2 <- x[[2]] . . . m2_structure( mat, m2_name = "", m2_class = "m2_matrix", m2_meta = list( ring = R1 ), base_class = "matrix" ) } Christopher O’Neill (UC Davis) The m2r package August 3, 2017 16 / 20

  58. Parser “extensibility” > m2("ideal({xˆ2+2*x,2*x+3})") [1] "ideal map((m2rintring00000002)ˆ1,(m2rintring00000002)ˆ{{-2}, {-1}},{{xˆ2+2*x, 2*x+3}})" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 16 / 20

  59. Parser “extensibility” > m2("ideal({xˆ2+2*x,2*x+3})") [1] "ideal map((m2rintring00000002)ˆ1,(m2rintring00000002)ˆ{{-2}, {-1}},{{xˆ2+2*x, 2*x+3}})" m2_parse_function.m2_ideal <- function(x) { m2_structure( m2_name = "", m2_class = "m2_ideal", m2_meta = list( ring = m2_meta(x[[1]], "ring"), gens = structure(x[[1]][1,], class = "mpolyList") ) ) } Christopher O’Neill (UC Davis) The m2r package August 3, 2017 16 / 20

  60. m2r is now in the cloud! > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 17 / 20

  61. m2r is now in the cloud! > library("m2r") Loading required package: mpoly Loading required package: stringr please cite mpoly if you use it; see citation("mpoly") M2 not found; defaulting to cloud. Use set_m2r_path("/path/to/m2") to run M2 locally. > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 17 / 20

  62. m2r is now in the cloud! > library("m2r") Loading required package: mpoly Loading required package: stringr please cite mpoly if you use it; see citation("mpoly") M2 not found; defaulting to cloud. Use set_m2r_path("/path/to/m2") to run M2 locally. > start_m2() Connecting to M2 in the cloud... done. > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 17 / 20

  63. m2r is now in the cloud! > library("m2r") Loading required package: mpoly Loading required package: stringr please cite mpoly if you use it; see citation("mpoly") M2 not found; defaulting to cloud. Use set_m2r_path("/path/to/m2") to run M2 locally. > start_m2() Connecting to M2 in the cloud... done. > m2("a = 5") [1] "5" > Christopher O’Neill (UC Davis) The m2r package August 3, 2017 17 / 20

  64. m2r is now in the cloud! > library("m2r") Loading required package: mpoly Loading required package: stringr please cite mpoly if you use it; see citation("mpoly") M2 not found; defaulting to cloud. Use set_m2r_path("/path/to/m2") to run M2 locally. > start_m2() Connecting to M2 in the cloud... done. > m2("a = 5") [1] "5" > m2("a") [1] "5" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 17 / 20

  65. m2r is now in the cloud! > library("m2r") Loading required package: mpoly Loading required package: stringr please cite mpoly if you use it; see citation("mpoly") M2 not found; defaulting to cloud. Use set_m2r_path("/path/to/m2") to run M2 locally. > start_m2() Connecting to M2 in the cloud... done. > m2("a = 5") [1] "5" > m2("a") [1] "5" Christopher O’Neill (UC Davis) The m2r package August 3, 2017 17 / 20

Recommend

Package Managers CC-BY-SA 2016 Nate Levesque What is a Package Manager? A package manager or

Package Managers CC-BY-SA 2016 Nate Levesque What is a Package Manager? A package manager or

Package Managers CC-BY-SA 2016 Nate Levesque What is a Package Manager? A package manager or package management system is a collection of software tools that automates the process of installing, upgrading, configuring, and removing computer

924 views • 40 slides
Parsing package docs: Part III: Using the ReadP package

Parsing package docs: Part III: Using the ReadP package

On to ReadP ReadP A small, but fairly complete parsing package (shipped with GHC) Parsing package docs: Part III: Using the ReadP package http://hackage.haskell.org/package/base-4.12.0.0/docs/ Text-ParserCombinators-ReadP.html

537 views • 7 slides
Opyum: offline package management with Yum -- Debarshi Ray What is it? An offline package

Opyum: offline package management with Yum -- Debarshi Ray What is it? An offline package

Opyum: offline package management with Yum -- Debarshi Ray What is it? An offline package manager for Fedora. Meant for users who can not use conventional package management tools as they do not have a network connection. Common

450 views • 17 slides
with GNU Guix for developers &amp; power users Package managers are really useful. Package

with GNU Guix for developers &amp; power users Package managers are really useful. Package

functional package management with GNU Guix for developers &amp; power users Package managers are really useful. Package managers are really useful. But they can be so frustrating! Old software Version conflicts Suspenseful upgrades The

705 views • 19 slides
Thank you to our Sponsors Zeek Package Contest Winners First Prize EternalSafety Package - Lexi

Thank you to our Sponsors Zeek Package Contest Winners First Prize EternalSafety Package - Lexi

Thank you to our Sponsors Zeek Package Contest Winners First Prize EternalSafety Package - Lexi Brent Second Prize Intel-Limiter Package - Jan GrasHoefer Third Prize zeek-sniffpass Package - Andrew Klaus Fourth Prize Known-hosts-with-dns -

177 views • 7 slides
Three Theorems About Package Bidding Based largely on Ascending Auctions with Package

Three Theorems About Package Bidding Based largely on Ascending Auctions with Package

Three Theorems About Package Bidding Based largely on Ascending Auctions with Package Bidding Larry Ausubel and Paul Milgrom June 2002 1 Outline Introduction: Complements and the need for package bidding. Understanding the

463 views • 15 slides
Packages Packages 1. Every Java object resides in a package . 2. An objects package is

Packages Packages 1. Every Java object resides in a package . 2. An objects package is

Packages Packages 1. Every Java object resides in a package . 2. An objects package is explicitly declared on the first line of code in a .java file: package edu.pcwe.uw.javaintro.misc; public class HelloWorld { public static void main(

1.02k views • 56 slides
Package Management &amp; Cross-Distro Packages 1 / 24 Package Managers ( I tried my best on

Package Management &amp; Cross-Distro Packages 1 / 24 Package Managers ( I tried my best on

Package Management &amp; Cross-Distro Packages 1 / 24 Package Managers ( I tried my best on accuracy, but dont quote me) dpkg/apt (.deb) pacman (PKGBUILD) Debian Ubuntu Arch Manjaro (and more) yum/dnf/YaST/rpm (.rpm) (Okay I got lazy

357 views • 24 slides
to functional package management with GNU Guix Package managers are really useful. But they can

to functional package management with GNU Guix Package managers are really useful. But they can

a gentle intro to functional package management with GNU Guix Package managers are really useful. But they can be so frustrating! Package managers are really useful. But they can be so frustrating! Version conflicts Old software

280 views • 12 slides
Yo Your First R Package in in 30 30 Min inutes Jay Lee Yo Your First R Package in in 90

Yo Your First R Package in in 30 30 Min inutes Jay Lee Yo Your First R Package in in 90

Yo Your First R Package in in 30 30 Min inutes Jay Lee Yo Your First R Package in in 90 90 Min inutes? Jay Lee Re Reminders! install.packages(devtools) install.packages(roxygen2) RStudio (latest preferred, but ok if

246 views • 20 slides
How to make package managers cry (or) How to piss off package managers (pick one) Kenneth Hoste

How to make package managers cry (or) How to piss off package managers (pick one) Kenneth Hoste

How to make package managers cry (or) How to piss off package managers (pick one) Kenneth Hoste kenneth.hoste@ugent.be GitHub: @boegel Twitter: @kehoste FOSDEM 2018 Package Management devroom Feb 3rd 2018, Brussels

796 views • 31 slides
Package software for any distribution with upt Cyril Roelandt Package software for any

Package software for any distribution with upt Cyril Roelandt Package software for any

Package software for any distribution with upt Cyril Roelandt Package software for any distribution with upt 1/28 Introduction Cyril Roelandt OpenStack (Red Hat) GNU Guix (Do not miss Ludovics talk at 4:30PM!) Package software for any

808 views • 63 slides
Extending a Lego package. An extension of the coin package for comparing interventions assigned by

Extending a Lego package. An extension of the coin package for comparing interventions assigned by

Extending a Lego package. An extension of the coin package for comparing interventions assigned by dynamic allocation Johannes H using Coordination Center for Clinical Trials, Heidelberg Medical School 2008-08-13 Outline 1 Sequential

669 views • 33 slides
17 Package Management, for real this time CS 2043: Unix Tools and Scripting, Spring 2019 [1]

17 Package Management, for real this time CS 2043: Unix Tools and Scripting, Spring 2019 [1]

17 Package Management, for real this time CS 2043: Unix Tools and Scripting, Spring 2019 [1] Matthew Milano March 4, 2019 Cornell University 1 Table of Contents 1. Package Management 2. System Specific Package Managers 2 Package

233 views • 19 slides
Managing data.frames with package 'ff' and fast filtering with package 'bit' Oehlschlgel, Adler

Managing data.frames with package 'ff' and fast filtering with package 'bit' Oehlschlgel, Adler

DISCLOSED Managing data.frames with package 'ff' and fast filtering with package 'bit' Oehlschlgel, Adler Munich, Gttingen July 2009 This report contains public intellectual property. It may be used, circulated, quoted, or reproduced for

500 views • 32 slides
The traitr package John Verzani CUNY/The College of Staten Island useR!2010 The traitr package

The traitr package John Verzani CUNY/The College of Staten Island useR!2010 The traitr package

The traitr package The traitr package John Verzani CUNY/The College of Staten Island useR!2010 The traitr package What is traitr? why the funny name? The traitr package facilitates the making of dialogs for GUIs Need not know GUI

277 views • 26 slides
Border Region Stimulus Package January 2020 Border Region Stimulus Package Four New Funds

Border Region Stimulus Package January 2020 Border Region Stimulus Package Four New Funds

Border Region Stimulus Package January 2020 Border Region Stimulus Package Four New Funds Budget allocation: 3m for the LEOs (in partnership with Enterprise Ireland) for capability 28m Stimulus Package development programmes

501 views • 22 slides
NWC Regulatory Package NWC CAC Meeting (October 25, 2018) Regulatory Package Tonights

NWC Regulatory Package NWC CAC Meeting (October 25, 2018) Regulatory Package Tonights

NWC Regulatory Package NWC CAC Meeting (October 25, 2018) Regulatory Package Tonights Topics 1. Project objectives 2. Zoning vs. Design Standards and Guidelines (DSG) 3. Process and schedule We Need to Finish What We Started! Project

527 views • 14 slides
GETTING STARTED? BASIC PREMIUM SHRED10 PACKAGE PACKAGE* PACKAGE* $61.50 /month $132.75

GETTING STARTED? BASIC PREMIUM SHRED10 PACKAGE PACKAGE* PACKAGE* $61.50 /month $132.75

WHERE DO YOU SEE YOURSELF GETTING STARTED? BASIC PREMIUM SHRED10 PACKAGE PACKAGE* PACKAGE* $61.50 /month $132.75 /month $194.25 /month ($2.05 /day) ($4.40 /day) ($6.50 /day) One shake per day Juice Plus+ capsules Juice Plus+

462 views • 15 slides
Tmux &amp; Other Tools Jake Zimmerman October 22, 2016 Package Managers Package managers make

Tmux &amp; Other Tools Jake Zimmerman October 22, 2016 Package Managers Package managers make

Tmux &amp; Other Tools Jake Zimmerman October 22, 2016 Package Managers Package managers make installing software easy Package managers let us install software from the command line. are usually specific to an operating system.

424 views • 17 slides
The Software Package A NTS InFields A NTS InFields is a Software Package for Simulation and

The Software Package A NTS InFields A NTS InFields is a Software Package for Simulation and

National Research Center Institute of Biomathematics for Environment &amp; Health &amp; Biometry Mathematical Modelling in Ecology and the Biosciences Stochastic Simulation and Bayesian Inference for Gibbs Fields: The Software-Package A NTS

585 views • 27 slides
The Bead The Bead beadarray: An R Package for beadarray : An R Package for Illumina BeadArrays

The Bead The Bead beadarray: An R Package for beadarray : An R Package for Illumina BeadArrays

The Bead The Bead beadarray: An R Package for beadarray : An R Package for Illumina BeadArrays Illumina BeadArrays Decoding Hybridisation Mark Dunning - md392@cam.ac.uk Address Probe PhD Student - Computational Biology Group, 23 b 50

527 views • 6 slides
PyEMMA Package Overview and Software Development Martin K. Scherer Free University Berlin

PyEMMA Package Overview and Software Development Martin K. Scherer Free University Berlin

PyEMMA Package Overview and Software Development Martin K. Scherer Free University Berlin February 17, 2019 Outline Software overview and design patterns Python Anaconda stack Package overview Coordinates package MSM package PyEMMA

722 views • 22 slides
mvna , an R-package for the Multivariate Nelson-Aalen Estimator in Multistate Models A. Allignol

mvna , an R-package for the Multivariate Nelson-Aalen Estimator in Multistate Models A. Allignol

Introduction Package Description Illustration What the package adds Note on the Variance Estimators Summary mvna , an R-package for the Multivariate Nelson-Aalen Estimator in Multistate Models A. Allignol 1 , 2 , J. Beyersmann 1 , 2 M.

617 views • 44 slides

More recommend