There is theorem that "Every principal ideal domain is a unique
factorization domain."
But in Fricas, "PrincipalIdealDomain has UniqueFactorizationDomain", or
"PID has UFD",
returns false.
In catdef.spad, we can find PID and UFD are both constructed from GcdDomain:
(comments removed)
Princ
My understanding is that installing Jupyter by "pip install jupyter" or
"conda install jupyter" will do everything for you, I mean there should
be no need to install 0MQ libraries yourself. If you, however, have
older installations of 0MQ or IPython it might make things more
complicated. But most
Am 13.10.2015 um 02:29 schrieb Waldek Hebisch:
...
>> then it might be easier to drop an anchor there. I'll try to locate the
>> "emission", however, if you already know the location, please let me know.
>
> Actual sending is done via routines named 'sendI', etc. This is
> done in view2D.spad
I have no understanding of the internals, and I'm no programmer (except for
simple functions), but in the immediate instance would it not be convenient
to have a list of instructions for the user (such as me) to install
fricas/jupyter with all the correct libraries on their system? As I
discov
