Mathics3
|
OK, I downloaded and unzipped Mathics3-omnibus-master under macOS. Now please give me a clue as to what do do next to get it installed and what to do to run it. (I'm not psychic!) |
Replies: 8 comments
|
The easiest option, especially for novices, is not to build from GitHub sources but instead to install from PyPI or use the Docker image. To install from pip: To install the Docker image, run: like it says at https://hub.docker.com/r/mathicsorg/mathics. That and the README have more information about how to run the docker image. To install from the git sources, you'll probably need to have more expertise and initiative than shown so far. First, there is a bit of churn in the code base, and what is in git master right now might not be in sync with the changes. That should change in a month as we get ready for release. The basic clue, though, as anyone familiar with installing Python software or Docker software, is to run the corresponding developer commands for building a pip package or running from source. Or building Docker images. I don't want to go down that rabbit hole here. For that kind of stuff, use other means for understanding these more generic tasks. |
|
That Docker pull command failed:
[~] % docker pull mathicsorg/mathics:9.0.0
failed to connect to the docker API at unix:///Users/murray/.docker/run/docker.sock; check if the path is correct and if the daemon is running: dial unix /Users/me/.docker/run/docker.sock: connect: no such file or directory
Is there something else I need to do, or is the fault at the hub.docker.com <http://hub.docker.com/> end?
On Mar 6, 2026, at 4:08 PM, Murray Eisenberg ***@***.***> wrote:
I do not see anywhere on https://hub.docker.com/r/mathicsorg/mathics the instruction to use "docker pull mathicsorg/mathics" -- until, that is, I inadvertently clicked the "Run in Docker Desktop", which revealed the hidden Docker pull command!
> On Mar 6, 2026, at 12:36 PM, R. Bernstein ***@***.***> wrote:
>
>
> The easiest option, especially for novices, is not to build from GitHub sources but instead to install from PyPI or use the Docker image.
>
> To install from pip:
>
> pip install Mathics-omnibus
> To install the Docker image, run:
>
> docker pull mathicsorg/mathics
> like it says at https://hub.docker.com/r/mathicsorg/mathics <https://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhub.docker.com%2Fr%2Fmathicsorg%2Fmathics&data=05%7C02%7Cmurray%40cas.umass.edu%7Cbedda3b1f57d48ebb80108de7ba6e155%7C7bd08b0b33954dc194bbd0b2e56a497f%7C0%7C0%7C639084153831735172%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=mIR4KLIWlZnw0wQM%2FT6BRJy6igwVUUncwSMVBcC7YwQ%3D&reserved=0>. That and the README have more information about how to run the docker image.
>
> To install from the git sources, you'll probably need to have more expertise and initiative than shown so far.
>
> First, there is a bit of churn in the code base, and what is in git master right now might not be in sync with the changes. That should change in a month as we get ready for release.
>
> The basic clue, though, as anyone familiar with installing Python software or Docker software, is to run the corresponding developer commands for building a pip package or running from source. Or building Docker images.
>
> I don't want to go down that rabbit hole here. For that kind of stuff, use other means for understanding these more generic tasks.
>
> —
> Reply to this email directly, view it on GitHub <https://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Forgs%2FMathics3%2Fdiscussions%2F1711%23discussioncomment-16026115&data=05%7C02%7Cmurray%40cas.umass.edu%7Cbedda3b1f57d48ebb80108de7ba6e155%7C7bd08b0b33954dc194bbd0b2e56a497f%7C0%7C0%7C639084153831744458%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=RTzufcJlvlxiCHvV0Psvm6WgyRyKmuFJj4cpzhGXuwI%3D&reserved=0>, or unsubscribe <https://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FABILR2POYFHKLSJSGPWVVIL4PMEBJAVCNFSM6AAAAACWHHKM72VHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTMMBSGYYTCNI&data=05%7C02%7Cmurray%40cas.umass.edu%7Cbedda3b1f57d48ebb80108de7ba6e155%7C7bd08b0b33954dc194bbd0b2e56a497f%7C0%7C0%7C639084153831752826%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=22TNAF6jb8xKsD4eVZccBKaC1zo%2Bh6mws4shlH5OFuU%3D&reserved=0>.
> You are receiving this because you authored the thread.
>
Murray Eisenberg
***@***.***
Professor Emeritus
University of Massachusetts Amherst
Murray Eisenberg
***@***.***
Professor Emeritus
University of Massachusetts Amherst
|
|
Tried the pull again a few minutes later, and that time it seems to have worked.
Now that I've pulled the Docker image, how do I use it?
(I'm not computer-naive. But, sorry, as I said, I'm just a poor end-user who requires documentation about how to proceed! When things are properly, clearly, and fully documented, I'm certainly able to proceed.)
On Mar 6, 2026, at 4:11 PM, Murray Eisenberg ***@***.***> wrote:
That Docker pull command failed:
[~] % docker pull mathicsorg/mathics:9.0.0
failed to connect to the docker API at unix:///Users/murray/.docker/run/docker.sock; check if the path is correct and if the daemon is running: dial unix /Users/me/.docker/run/docker.sock: connect: no such file or directory
Is there something else I need to do, or is the fault at the hub.docker.com <http://hub.docker.com/> end?
> On Mar 6, 2026, at 4:08 PM, Murray Eisenberg ***@***.***> wrote:
>
> I do not see anywhere on https://hub.docker.com/r/mathicsorg/mathics the instruction to use "docker pull mathicsorg/mathics" -- until, that is, I inadvertently clicked the "Run in Docker Desktop", which revealed the hidden Docker pull command!
>
>
>> On Mar 6, 2026, at 12:36 PM, R. Bernstein ***@***.***> wrote:
>>
>>
>> The easiest option, especially for novices, is not to build from GitHub sources but instead to install from PyPI or use the Docker image.
>>
>> To install from pip:
>>
>> pip install Mathics-omnibus
>> To install the Docker image, run:
>>
>> docker pull mathicsorg/mathics
>> like it says at https://hub.docker.com/r/mathicsorg/mathics <https://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhub.docker.com%2Fr%2Fmathicsorg%2Fmathics&data=05%7C02%7Cmurray%40cas.umass.edu%7Cbedda3b1f57d48ebb80108de7ba6e155%7C7bd08b0b33954dc194bbd0b2e56a497f%7C0%7C0%7C639084153831735172%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=mIR4KLIWlZnw0wQM%2FT6BRJy6igwVUUncwSMVBcC7YwQ%3D&reserved=0>. That and the README have more information about how to run the docker image.
>>
>> To install from the git sources, you'll probably need to have more expertise and initiative than shown so far.
>>
>> First, there is a bit of churn in the code base, and what is in git master right now might not be in sync with the changes. That should change in a month as we get ready for release.
>>
>> The basic clue, though, as anyone familiar with installing Python software or Docker software, is to run the corresponding developer commands for building a pip package or running from source. Or building Docker images.
>>
>> I don't want to go down that rabbit hole here. For that kind of stuff, use other means for understanding these more generic tasks.
>>
>> —
>> Reply to this email directly, view it on GitHub <https://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Forgs%2FMathics3%2Fdiscussions%2F1711%23discussioncomment-16026115&data=05%7C02%7Cmurray%40cas.umass.edu%7Cbedda3b1f57d48ebb80108de7ba6e155%7C7bd08b0b33954dc194bbd0b2e56a497f%7C0%7C0%7C639084153831744458%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=RTzufcJlvlxiCHvV0Psvm6WgyRyKmuFJj4cpzhGXuwI%3D&reserved=0>, or unsubscribe <https://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FABILR2POYFHKLSJSGPWVVIL4PMEBJAVCNFSM6AAAAACWHHKM72VHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTMMBSGYYTCNI&data=05%7C02%7Cmurray%40cas.umass.edu%7Cbedda3b1f57d48ebb80108de7ba6e155%7C7bd08b0b33954dc194bbd0b2e56a497f%7C0%7C0%7C639084153831752826%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=22TNAF6jb8xKsD4eVZccBKaC1zo%2Bh6mws4shlH5OFuU%3D&reserved=0>.
>> You are receiving this because you authored the thread.
>>
>
> Murray Eisenberg
> ***@***.***
> Professor Emeritus
> University of Massachusetts Amherst
>
Murray Eisenberg
***@***.***
Professor Emeritus
University of Massachusetts Amherst
Murray Eisenberg
***@***.***
Professor Emeritus
University of Massachusetts Amherst
|
I see at the bottom of https://hub.docker.com/r/mathicsorg/mathics : To shorten typing complex Docker commands, you can use one of the following scripts from the GitHub repository repository: dmathicsscript: enhanced command-line interface After running dmathicsserver, point your web browser to http://localhost:8000/.
You are then uniquely equipped to help others (or maybe yourself sometime in the future) by improving documentation for the things that are not clear. Anyone can contribute documentation for Mathics Omnibus by adding a wiki page at https://github.com/Mathics3/Mathics3-omnibus/wiki |
This is the interface provided by dockerhub. I don't believe there is any way to change that. But you are welcome to ask them and offer suggestions as to how they might improve their interface. And you can add the stuff you figured out or clarifications to existing instructions to a Mathics3-omnibus wiki page (https://github.com/Mathics3/Mathics3-omnibus/wiki) to help others. |
|
If only someone or some company like Google would invent a way to get automated help on the Internet for explaining what Docker is and how to run it in your particular environment! For you and others who find this baffling, I recommend using the pre-installed version running on the Internet: https://mathics3.github.io/Mathics3-live/ (There is a link to this from https://mathics.org). It's an older version. Think of this as analogous to someone trying to take a calculus class before understanding prerequisites like algebra, geometry, trigonometry, or functions. A student may assert being good at Mathematics, but just needs guidance in (some of) these topics. |
The easiest option, especially for novices, is not to build from GitHub sources but instead to install from PyPI or use the Docker image.
To install from pip:
To install the Docker image, run:
like it says at https://hub.docker.com/r/mathicsorg/mathics. That and the README have more information about how to run the docker image.
To install from the git sources, you'll probably need to have more expertise and initiative than shown so far.
First, there is a bit of churn in the code base, and what is in git master right now might not be in sync with the changes. That should change in a month as we get ready for release.
The basic c…