Thanks, that does work. After (re-)implementing it I remembered why I
didn't use latex_name--it doesn't seem to pickle:
sage: logr = SR.symbol('logr', domain='complex', latex_name=r'L_{x/x_0}')
: latex(logr)
L_{x/x_0}
sage: import pickle
: path_name = '/home/mark/'
:
It might be better to base your work on the latest development branch
(9.7.beta4)
anyhow, try
make build
rather than
sage -b
On Sun, 10 Jul 2022, 21:30 Enjeck Cleopatra, wrote:
> Hi all,
>
> A few days ago, I had no issue building sage by running the command "sage
> -br". Now, it doesn't
>From the log:
ImportError:
dlopen(/Applications/sage-9.6/local/var/lib/sage/venv-python3.9/lib/python3.9/site-packages/primecountpy/primecount.cpython-39-darwin.so,
0x0002): Library not loaded:
/usr/local/opt/primesieve/lib/libprimesieve.9.dylib Referenced from:
It should work now. A certain person accidentally deleted the billing
account, and I've restored that and started the server.
William
On Sun, Jul 10, 2022 at 2:55 PM William Stein wrote:
>
> On it.
>
> On Sun, Jul 10, 2022 at 2:45 PM John H Palmieri
> wrote:
> >
> > I can't access
I can't access trac.sagemath.org. Can someone please give it a kick?
--
John
--
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
On it.
On Sun, Jul 10, 2022 at 2:45 PM John H Palmieri wrote:
>
> I can't access trac.sagemath.org. Can someone please give it a kick?
>
> --
> John
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop
Hi all,
A few days ago, I had no issue building sage by running the command "sage
-br". Now, it doesn't work. I get the error message:
*[sagelib-9.6.rc0] File
"/home/cleo/sage/pkgs/sagemath-standard/setup.py", line 49, in
[sagelib-9.6.rc0] from sage_setup.command.sage_install import
Working now, thank you!
On Sunday, July 10, 2022 at 2:58:23 PM UTC-7 wst...@gmail.com wrote:
> It should work now. A certain person accidentally deleted the billing
> account, and I've restored that and started the server.
>
> William
>
> On Sun, Jul 10, 2022 at 2:55 PM William Stein wrote:
> >