I have just seen the project "penrose-python" apart from the "penrose" project.
https://github.com/penrose/penrose-python If there is enough development of this package, I will be (maybe) able to write a SageMath wrapper for "penrose". Currently it is "Not ready for use". Best. Furkan Semih. On Mon, Jun 20, 2022 at 7:53 PM Furkan Semih Dündar < [email protected]> wrote: > As far as I am aware, no. I may be interested in doing so if we can form a > small group. And in that way we can contribute to Sage developement though > it would be something moderate. However at the moment I do not know how to > write a wrapper for Penrose. Maybe we can learn how to contribute once we > are on the road. > > All the best. > Furkan Semih. > > 20 Haz 2022 Pzt, saat 19:47 tarihinde Tanmay Kulkarni <[email protected]> > şunu yazdı: > >> This looks very interesting - has there been any progress so far >> incorporating Penrose into Sage? >> >> Thank you! >> >> Sincerely, >> Tanmay Kulkarni >> >> On Sunday, June 19, 2022 at 1:31:09 PM UTC-7 [email protected] wrote: >> >>> I may be late to the discussion but as regards the Venn Diagrams there >>> is an early stage software you might find useful: >>> >>> https://penrose.cs.cmu.edu/ >>> https://github.com/penrose >>> >>> It might be incorporated in to Sage (maybe?). >>> >>> Just wanted to add a quick note. >>> Best regards, >>> Furkan Semih. >>> >>> On Sat, Jun 11, 2022 at 6:20 AM Tanmay Kulkarni <[email protected]> >>> wrote: >>> >>>> Hello all, >>>> >>>> My name is Tanmay Kulkarni and I am a rising sophomore. I have also >>>> been taking several extracurricular math classes with Squares & Cubes >>>> <https://www.squaresandcubes.com/> on things like number theory, group >>>> theory, discrete math, and linear algebra. In these classes we have >>>> utilized Sage to explore mathematical patterns. For instance, in my >>>> discrete math class, I used Sage's graph functionality to take a stab at >>>> graph isomorphism, which eventually lead to a magazine article >>>> <https://chalkdustmagazine.com/features/a-walk-on-the-random-side/> on >>>> using random walks on graphs to solve graph isomorphism. >>>> >>>> During these various explorations, I realized that Sage was a very >>>> powerful tool to explain and provide intuition for complex mathematical >>>> concepts, however, (a) it is mainly used by those working in higher math, >>>> and (b) there is a high barrier of entry to implement concepts (even ones >>>> in lower math) in Sage. >>>> >>>> Thus, I wanted to contribute to Sage and *implement specific concepts >>>> which I felt high school students like myself would find interesting*, >>>> and use them for educational purposes (e.g. at my school). Two basic ideas >>>> I thought of were: >>>> >>>> 1. *Random walks.* I think mathematics is often far more engaging >>>> with a visual component (for instance, teaching graphing skills and >>>> different types of equations through a Desmos art project), and I think >>>> when talking about probabilities and randomness, an excellent visual >>>> representation of stochastic processes is random walks, which are >>>> currently >>>> not implemented in Sage. The other advantage of this is that random >>>> walks >>>> are often present in other places such as physics (in Brownian motion). >>>> This could expand into >>>> 2. *Venn diagrams.* Venn diagrams are incredibly important; >>>> however, I could not find any Sage implementations of Venn diagrams >>>> beyond >>>> simply plotting intersecting circles. Having a more solid implementation >>>> could provide a strong, visual intution for a variety of concepts, like >>>> basic set theory, logical operators, probability, and even open the door >>>> for Edwards-Venn diagrams! Such an implementation would utilize Sage's >>>> 2D >>>> graphics (specifically the circle and text functions) as well as the >>>> detailed Set implementation. >>>> >>>> >>>> Several people who I contacted referred me to this group, and thus I am >>>> wondering if anybody would be generous enough to (a) provide *thoughts >>>> on the feasibility and usefulness* of such an endeavor, (b) provide >>>> some *direction or guidance* as to where to begin, and (c) offer any >>>> *potential >>>> avenues* where this could be used. >>>> >>>> Until then, I will be beginning to work on any very simple bug fix I >>>> can find to familiarize myself with developing in Sage. >>>> >>>> Thank you so much! >>>> >>>> Sincerely, >>>> Tanmay Kulkarni >>>> >>>> -- >>>> >>> You received this message because you are subscribed to the Google >>>> Groups "sage-devel" group. >>>> To unsubscribe from this group and stop receiving emails from it, send >>>> an email to [email protected]. >>>> >>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/sage-devel/9a6e6925-87ce-4cdd-9d1f-c77d3ef986edn%40googlegroups.com >>>> <https://groups.google.com/d/msgid/sage-devel/9a6e6925-87ce-4cdd-9d1f-c77d3ef986edn%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> >>> >>> -- >>> F. Semih Dündar >>> >>> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/339fae90-39bc-4980-a95b-ed37015435f4n%40googlegroups.com >> <https://groups.google.com/d/msgid/sage-devel/339fae90-39bc-4980-a95b-ed37015435f4n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- > F. Semih Dündar <[email protected]> > > -- F. Semih Dündar <[email protected]> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAODtkKpo%2BmXX4DOUxA1S0nqk6WHzijMzD2Y1HRSHDAO-b_mMLQ%40mail.gmail.com.
