Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
    Albert D. Rich
    @AlbertRich
    @halirutan Well, let's not worry about this for now, and just leave README.md as is.
    Patrick Scheibe
    @halirutan
    @AlbertRich OK, I'm off to bed now. rulebasedintegration.org is registered now and works here, but it might take some days before all DNS are updated and it works from everywhere.
    @AlbertRich If you have some time and like to do some work, you can edit the index.md and include all information that should go into the one-page Rubi website. I can help and fix links and formatting later.
    Albert D. Rich
    @AlbertRich
    @halirutan I updated README.txt so it should be readable on virtually any operating system. However, the update did not seem to get included in the zip file I downloaded. ???
    Albert D. Rich
    @AlbertRich
    Unfortunately, the dir command of the various operating systems order files slightly differently, so "dog.10.pdf" orders before "dog.9.pdf" in nonWindow systems. I edited README.md so the pdf files are ordered the way they should be.
    Patrick Scheibe
    @halirutan
    @AlbertRich Oh my godness. Please don't tell me you did this by hand?!
    Albert D. Rich
    @AlbertRich
    @halirutan The change to README.md was trivial, just swapping a few lines around.
    For README.txt I opened README.md in Atom, copied the preview image into the clipboard, pasted the image into WordPad instead of NotePad which preserved the newlines, manually added the indentation, and saved it as a txt file. Not all that hard.
    Patrick Scheibe
    @halirutan
    @AlbertRich I'm including your changes in the automatic built.
    Albert D. Rich
    @AlbertRich
    @halirutan Ok!
    Next up is the test files in 4 different syntaxes?
    Albert D. Rich
    @AlbertRich
    BTW, is there a good reason why the Integration Rules zip file needs the top-level directory "IntegrationRules-master"? Why not just have the PdfFiles directory and the other 5 files at the top of the zip file?
    Patrick Scheibe
    @halirutan
    @AlbertRich It is automatically created by GitHub. It is a good thing in almost 100% of the cases, because when you unzip it (with different zipping tools), it might otherwise be possible that you get many files in the directory your unzipping.
    So on Linux and Mac for instance, I can simply unzip it wherever I like and I can be assured that the directory (e.g. my downloads folder) is not filled with millions of files.
    Albert D. Rich
    @AlbertRich
    @halirutan Thanks for the explanation.
    Patrick Scheibe
    @halirutan
    @AlbertRich Btw, look how Rubi could solve an integral much better than Mathematica https://mathematica.stackexchange.com/a/175452/187
    @AlbertRich And I have another question: The integral sign that you used for the icon, where did you get this. It's not LaTeX. It is more round and not as slender as the LaTeX version.
    Albert D. Rich
    @AlbertRich
    @halirutan In Mathematica I put a space on each of a Traditional Form integral sign. Made the font size huge. Copy and pasted it into Windows Paint program, cropped it to be the right proportions for an icon, and saved it as a jpg file.
    Albert D. Rich
    @AlbertRich
    @halirutan Just saw your Stack Exchange post. That's a good teaser for Rubi's new home! :smile:
    Patrick Scheibe
    @halirutan
    @AlbertRich Yep. I tried Rubi for fun and I must say, I was surprised that really could compute a much better antiderivative where you could simplify out all the complex parts.
    Albert D. Rich
    @AlbertRich
    @halirutan The test suite has 1000s more good examples, some even much more dramatic...
    Albert D. Rich
    @AlbertRich
    For even more fun, try integrating ArcTan[x]^2 / (x^2 + 2 x + 2) using Rubi and Mathematica.
    Patrick Scheibe
    @halirutan
    RubiLogo@4x.png
    Patrick Scheibe
    @halirutan
    As you can see, I have taken the liberty to add another "dx" to the logo. The single integral sign was a bit lost. I have created a real vector graphics from this with Adobe Illustrator so that we can make further changes and we can export it in any resolution we want.
    RubiLogo@20x.png
    Albert D. Rich
    @AlbertRich
    @halirutan Nice. I like it.
    Albert D. Rich
    @AlbertRich
    @halirutan I would like to change "An extensive set of symbolic integration rules" to "An extensive system of symbolic integration rules" to suggest that Rubi is not just an ad hoc collection of rules, but is based on an integrated system of rules able to integrate large, well-defined classes of expressions.
    Patrick Scheibe
    @halirutan
    @AlbertRich Please go ahead an change it then!
    @AlbertRich Did it for you (I wasn't sure where exactly this phrase was used)
    Albert D. Rich
    @AlbertRich
    @halirutan I was going to, but didn't know how. Did not see a pencil or Edit button...
    Patrick Scheibe
    @halirutan
    @AlbertRich It is in the settings of the organization here https://github.com/organizations/RuleBasedIntegration/settings/profile
    Albert D. Rich
    @AlbertRich
    Now I know.
    Patrick Scheibe
    @halirutan
    @AlbertRich Hey Albert. The website should now be reachable under rulebasedintegration.org.
    I figured that a 1-page layout might be too sparse. Therefore, I have made a menu-bar. The buttons for the package, rules, and (later) tests link currently directly to the repositories, because the repositories themselves have a large README that is instantly displayed.
    But if you think we should make a small page for them on the website that explains some stuff and link from there to the repository, that would also work.
    Patrick Scheibe
    @halirutan
    You "Vision" page sounds at the moment a bit too personal for my taste. There is a lot of good information, but maybe we can pull your personal information (eg, what you worked on) to the "About" section and make statements like "I am convinced.." a bit more object ("We believe"?).
    I'm not entirely sure about this, but it feels to me that for your personal Rubi site this is perfectly fine, but for an organisation page with (hopefully) many collaborators, we should reword some things. What is your opinion about this?
    @AlbertRich In any case, in the website repo you find now the files index.md (the home site), vision.md, and about.md and if you have some time, you can edit them and add content.
    Patrick Scheibe
    @halirutan
    @AlbertRich Ha, forget what I said about the Vision page. I just realised we already have this on the Wiki and there, you put a disclaimer "Comments by Albert...". I think this is perfect.
    Albert D. Rich
    @AlbertRich
    @halirutan Hi Patrick. Sorry I can't respond to this until tomorrow. Albert
    Albert D. Rich
    @AlbertRich
    @halirutan I am relieved you are ok with the revised vision statement on Rubi's WIki that had already been edited to delete what I thought inappropriate for GitHub. However, if you feel additional changes need to be made, please let me know.
    Patrick Scheibe
    @halirutan
    @AlbertRich I think it is fine that way. I started copying the Vision from your original site and made changes on the way, but then I though it is really for you to decide and I shouldn't simply edit your thoughts. That's why I brought it up. And then I remembered you had created a similar page for the Wiki.
    Albert D. Rich
    @AlbertRich
    @halirutan I just visited rulebasedintegration.org for the first time. Wow! It looks great.
    Albert D. Rich
    @AlbertRich
    @halirutan In _config.yml, I just changed the description to "An extensive system of symbolic integration rules". Ok?
    Albert D. Rich
    @AlbertRich
    @halirutan I would like to encourage the development of definite integration rules in addition to indefinite integration rules. To that end, should we add two subsections under IntegrationRules named DefiniteIntegrationRules and IndefiniteIntegrationRules?
    Albert D. Rich
    @AlbertRich

    @halirutan You wrote:

    But if you think we should make a small page for them on the website that explains some stuff and link from there to the repository, that would also work.

    Yes, as on Rubi's old website, clicking on the "Integration Rules" menu option should lead to another website page with the text at the beginning of the current README.md file and a menu-bar with the options: "Algebraic", "Exponential", "Log", "Trig", "Inverse Trig", "Hyperbolic", "Inverse Hyperbolic", "Special Functions", and "Miscellaneous".

    Albert D. Rich
    @AlbertRich
    @halirutan At the risk of asking for way too much :smile:, even better would be drop-down menus that appear when you hover over "Algebraic", "Exponential", etc that lead directly to the pdf files in the repository.
    Albert D. Rich
    @AlbertRich
    @halirutan I just heavily revised about.md.
    Patrick Scheibe
    @halirutan
    @AlbertRich Nice!
    Patrick Scheibe
    @halirutan

    @halirutan At the risk of asking for way too much :smile:, even better would be drop-down menus that appear when you hover over "Algebraic", "Exponential", etc that lead directly to the pdf files in the repository.

    Such nested drop-down-menus are realy old-school and not used anymore nowadays. But more importantly, all we do at the moment is a compromise between two things: (1) Having a clear design and all information in one place (that is used by almost all today's developers) and (2) simplicity so that you can easily grasp how to change and edit things without learning too much useless web-dev stuff. Such a nested drop-down is certainly possible, but it would mean that I have to re-create the web-site on each change. I would very much not go this way :)