[sage-support] Re: A problematic dictionary update (possible Maxima problem)

2024-06-01 Thread Emmanuel Charpentier
The damn thing *can* be done in Sage … by using Sympy : # Use of Sympy import sympy sx, sy = sympy.symbols("sx, sy") SL = [sympy.sin, sympy.cos, sympy.tan, sympy.csc, sympy.sec, sympy.cot, sympy.sinh, sympy.cosh, sympy.tanh, sympy.csch, sympy.sech, sympy.coth] SIL = [sympy.asin, sympy.acos,

[sage-support] Re: [sage-devel] Re: Proposal (redo): Make pytest, pytest_mock, pytest_xdist + dependencies standard packages

2024-06-01 Thread Dima Pasechnik
On Sat, Jun 1, 2024 at 7:18 PM Matthias Koeppe wrote: > > I'll share some additional facts for everyone's convenience. > > The total size of these 5 wheel packages to be added in > https://github.com/sagemath/sage/pull/37301is about 500 kilobytes. (As a > comparison, that's 10% of the size of

Re: [sage-support] Re: Does sagemath support something similar to numpy's einsum for symbolic arrays?

2024-05-29 Thread Anton Todorov
After a long search I found something that meets what I need: https://docs.sympy.org/latest/modules/tensor/array.html It allows for tensors to be used as they are in ML and lets you use symbolic and numerical expressions with all the usual mathematical manipulations built on top. It's not

[sage-support] Re: EC question

2024-05-01 Thread John Cremona
False alarm -- the current version of Safe computes this correctly, presumably because of the bugfix I made. So this is no longer a Sage issue, but the LMFDB will need to be corrected. John On Wed, 1 May 2024 at 08:51, John Cremona wrote: > This looks like the same bug as I reported at >

[sage-support] Re: EC question

2024-05-01 Thread John Cremona
This looks like the same bug as I reported at https://github.com/sagemath/sage/issues/36780 five months ago and supposedly fixed via a PR (https://github.com/sagemath/sage/pull/36786). It's the same bug (over Q(sqrt(5)), j=0, missing a 5-isogeny) so clearly my fix was incorrect. The curve is

[sage-support] Re: EC question

2024-04-30 Thread John Cremona
I can confirm that your curve is isogenous (and not isomorphic) to the ones in the LMFDB. The isogeny class computed by Sage from your curve has 6 curves in it. That means that there is a bug in Sage's isogeny class code -- which I wrote most of. I hope that it is something specific to

[sage-support] Re: Jupyter Notebook crashes, then get connection refused error and cannot relaunch on mac

2024-04-23 Thread Marc Culler
Please ask her to try removing the two directories ~/Library/Jupyter and ~/.sage: rm -rf ~/Library/Jupyter rm -rf ~/.sage If that does not fix it, please open an issue at our github site: https://github.com/3-manifolds/Sage_macOS/issues We will work through it with you and figure out what is

Re: [sage-support] Re: Does sagemath support something similar to numpy's einsum for symbolic arrays?

2024-04-20 Thread Anton Todorov
Looks close but not quite. I'm interested in what's described here: https://stats.stackexchange.com/a/198395 Basically a dumb as bricks extension to matrices to higher dimensions with a contraction along selectable axes, with no notion of co and contravariance, and ability to have any number of

[sage-support] Re: Does sagemath support something similar to numpy's einsum for symbolic arrays?

2024-04-15 Thread Matthias Koeppe
You might be looking for https://doc.sagemath.org/html/en/reference/tensor_free_modules/sage/tensor/modules/tensor_with_indices.html On Tuesday, April 9, 2024 at 6:59:27 AM UTC-7 Anton Todorov wrote: > Einsum: https://numpy.org/doc/stable/reference/generated/numpy.einsum.html > > It is a way

Re: [sage-support] Re: Is there a way to use Sage's Jupyter outside the sage shell ?

2024-04-15 Thread Henri Girard
I use many vscode with sagemath-9.2 (windows installer) and sagemath 10.4beta 2wsl2 i start sage copy the address from the terminal then I paste it in serveur ans it finds the localhost this is interesting in w11 because i can start sage directly in code so I can see what is in ipynb because

Re: [sage-support] Re: Is there a way to use Sage's Jupyter outside the sage shell ?

2024-04-15 Thread Dima Pasechnik
On Mon, Apr 15, 2024 at 1:46 PM Henri Girard wrote: > I don't understand what you mean , but there is maybe a way you can use it > as I do in vs code ? > Le 15/04/2024 à 09:19, Matthias Koeppe a écrit : > > Yes, this is documented in >

Re: [sage-support] Re: Is there a way to use Sage's Jupyter outside the sage shell ?

2024-04-15 Thread Henri Girard
I don't understand what you mean , but there is maybe a way you can use it as I do in vs code ? Le 15/04/2024 à 09:19, Matthias Koeppe a écrit : Yes, this is documented in

[sage-support] Re: Is there a way to use Sage's Jupyter outside the sage shell ?

2024-04-15 Thread Matthias Koeppe
Yes, this is documented in https://doc.sagemath.org/html/en/installation/launching.html#setting-up-sagemath-as-a-jupyter-kernel-in-an-existing-jupyter-notebook-or-jupyterlab-installation On Monday, April 8, 2024 at 11:16:45 AM UTC-7 Emmanuel Charpentier wrote: > Setup : Sage 10.4.beta1

[sage-support] Re: Is there a way to use Sage's Jupyter outside the sage shell ?

2024-04-09 Thread Marc Culler
If I understand your question correctly, the answer is yes. All that you need to do is to copy the sage kernel spec directory into /usr/local/share/jupyter/kernels. If you have installed jupyter in a python venv then the jupyter command in the venv will always check for kernels in that

[sage-support] Re: Is there a way to use Sage's Jupyter outside the sage shell ?

2024-04-09 Thread Nathan Dunfield
On Monday, April 8, 2024 at 5:21:57 PM UTC-5 Nils Bruin wrote: If you run `jupyter --paths` and `sage -sh <<<"jupyter --paths"` you see the difference in paths. The relevant ones for you are probably the sage-specific ones $SAGE-LOCAL/var/lib/sage/venv-python3.10/share/jupyter Whatever is

[sage-support] Re: Is there a way to use Sage's Jupyter outside the sage shell ?

2024-04-08 Thread Nils Bruin
If you run `jupyter --paths` and `sage -sh <<<"jupyter --paths"` you see the difference in paths. The relevant ones for you are probably the sage-specific ones $SAGE-LOCAL/var/lib/sage/venv-python3.10/share/jupyter Whatever is there will get picked up by sage's jupyter but, naturally, not by

Re: [sage-support] Re: Successful plots (without notebook) on Windows?

2024-04-03 Thread Henri Girard
I upgraded to noble 24.04 few months ago it's fine. I just read they had a problem with bug and it will be out later , but on wsl2 it works and I will update in time. What I find good is sage 10.4.beta 1 build fine too ! So on windows I mostly works with sage-9.2 (windows-installer-sagemath- 9.2 )

[sage-support] Re: Successful plots (without notebook) on Windows?

2024-04-03 Thread Emmanuel Charpentier
Le mardi 2 avril 2024 à 21:13:50 UTC+2, kcrisman a écrit : On Monday, April 1, 2024 at 3:31:44 PM UTC-4 Emmanuel Charpentier wrote: I just had to install Sage on a Windows machine (long story…) which has to be connected to a corporate VPN, whose an annoying side effect is to deprive Linux apps

Re: [sage-support] Re: Successful plots (without notebook) on Windows?

2024-04-02 Thread Henri Girard
windows-sage-installer can't be installed ? it's version sagemath-9.2 but works fine, i use too wls and build sage-dev-10-4 beta on it Le 02/04/2024 à 21:13, kcrisman a écrit : On Monday, April 1, 2024 at 3:31:44 PM UTC-4 Emmanuel Charpentier wrote: I just had to install Sage on a

[sage-support] Re: Successful plots (without notebook) on Windows?

2024-04-02 Thread kcrisman
On Monday, April 1, 2024 at 3:31:44 PM UTC-4 Emmanuel Charpentier wrote: I just had to install Sage on a Windows machine (long story…) which has to be connected to a corporate VPN, whose an annoying side effect is to deprive Linux apps of network connectivity (don’t get me started…).

[sage-support] Re: Successful plots (without notebook) on Windows?

2024-04-02 Thread Marc Culler
Evidently it is possible to install Firefox on Ubuntu 22.04 from the Mozilla PPA instead of using the snap. https://askubuntu.com/questions/1399383/how-to-install-firefox-as-a-traditional-deb-package-without-snap-in-ubuntu-22 - Marc On Tuesday, April 2, 2024 at 7:14:47 AM UTC-5 Marc Culler

[sage-support] Re: Successful plots (without notebook) on Windows?

2024-04-02 Thread Marc Culler
Actually the firefox snap can access files on the local disk, but only if they are in the user's home directory. It cannot access files in /tmp. Does the plot viewer use the ubuntu system's /tmp? - Marc On Monday, April 1, 2024 at 2:31:44 PM UTC-5 Emmanuel Charpentier wrote: > I just had to

[sage-support] Re: Successful plots (without notebook) on Windows?

2024-04-01 Thread Emmanuel Charpentier
I just had to install Sage on a Windows machine (long story…) which has to be connected to a corporate VPN, whose an annoying side effect is to deprive Linux apps of network connectivity (don’t get me started…). Therefore, the Linux browser couldn’t use Mathjax. Using your utilities works

[sage-support] Re: xz/liblzma has been compromised

2024-03-29 Thread Dima Pasechnik
and Homebrew. Please upgrade your Homebrew. It should do a downgrade: `brew upgrade` now "upgrades" xz from 5.6.1 -> 5.4.6 On Fri, Mar 29, 2024 at 7:36 PM Dima Pasechnik wrote: > > aand Conda: https://anaconda.org/anaconda/xz shows version 5.6.1 > > On Fri, Mar 29, 2024 at 7:18 PM Dima

[sage-support] Re: xz/liblzma has been compromised

2024-03-29 Thread Dima Pasechnik
aand Conda: https://anaconda.org/anaconda/xz shows version 5.6.1 On Fri, Mar 29, 2024 at 7:18 PM Dima Pasechnik wrote: > > https://www.openwall.com/lists/oss-security/2024/03/29/4 > > if your have xz 5.6.0 or 5.6.1 installed (e.g. Debian testing/unstable) > you have a backdoored xz. -- You

[sage-support] Re: init.sage not running anymore

2024-03-04 Thread David Ayotte
I am still confused, but I'm not "stillconfused" :-) I forgot to mention, but, like the user in AskSageMath, I'm also running sage under WSL2 Ubuntu 22.04.4 LTS, so it might be related. Moreover, I just upgraded sage to 10.3.rc2 and still have the same problem. I will open a GH issue. Thanks

[sage-support] Re: init.sage not running anymore

2024-03-04 Thread David Ayotte
I opened the following issue: #37539 Best, David A. Le lundi 4 mars 2024 à 17:04:28 UTC-5, kcrisman a écrit : > > Hello, > > Since I upgraded my SageMath to version 10.3.beta8, the init.sage script > located at ~/.sage/init.sage stopped running

[sage-support] Re: init.sage not running anymore

2024-03-04 Thread kcrisman
Hello, Since I upgraded my SageMath to version 10.3.beta8, the init.sage script located at ~/.sage/init.sage stopped running when I start sage. I also get the following message right after the SageMath banner:

[sage-support] Re: init.sage not running anymore

2024-03-04 Thread Emmanuel Charpentier
FWIW, Someone going under the nickname of stillconfused posted alpost exactly the same problem on ask.sagemath.org. Is that you ? ​ Le dimanche 3 mars 2024 à 21:40:50 UTC+1, David Ayotte a écrit : > Hello, > > Since I

[sage-support] Re: Failure to compile Sage 10.3.rc0

2024-02-26 Thread Antonio Rojas
Sage doesn't currently support flint 3.1. Either build with the bundled flint or patch [1] sagelib [1] https://aur.archlinux.org/cgit/aur.git/tree/flint-3.1.patch?h=sagemath-git El lunes, 26 de febrero de 2024 a las 15:50:40 UTC+1, Peter Mueller escribió: > Installation of Sage 10.3.rc0 from

Re: [sage-support] Re: Why cant this limit be evaluated?

2024-02-20 Thread dimpase
On Mon, Feb 19, 2024 at 11:40:13PM -0800, Emmanuel Charpentier wrote: > > Indeed. That’s probably an oversight : > sage: elliptic_kc(x).limit(x=0) 1/2*pi sage: elliptic_ec(x).limit(x=0) > limit(elliptic_ec(x), x, 0) > this looks like a maxima bug: (%i17) elliptic_ec(0);

[sage-support] Re: Why cant this limit be evaluated?

2024-02-19 Thread Emmanuel Charpentier
Indeed. That’s probably an oversight : sage: elliptic_kc(x).limit(x=0) 1/2*pi sage: elliptic_ec(x).limit(x=0) limit(elliptic_ec(x), x, 0) Curioisly : sage: elliptic_ec(0) 1/2*pi FWIW : sage: D(r)._mathematica_().Limit(mathematica.Rule(r, 0)) -1/8 HTH, ​ Le lundi 19 février 2024 à 21:25:51

Re: [sage-support] Re: Sagemanifolds: object has no attribute 'exterior_der'

2024-02-08 Thread Eric Gourgoulhon
Le jeudi 8 février 2024 à 13:45:18 UTC+1, Dominic Steinitz a écrit : Sorry about posting the same thing twice. No problem. Just for reference, in case someone reads this thread: the answer about the connection forms is here:

Re: [sage-support] Re: Sagemanifolds: object has no attribute 'exterior_der'

2024-02-08 Thread Dominic Steinitz
Sorry about posting the same thing twice. On Wednesday 7 February 2024 at 19:26:32 UTC G. M.-S. wrote: > > Just to say that > https://ask.sagemath.org > gives me > 502 Bad Gateway > > Guillermo > > On Wed, 7 Feb 2024 at 19:35, Eric Gourgoulhon wrote: > >> Le mercredi 7 février 2024 à 15:46:05

Re: [sage-support] Re: Sagemanifolds: object has no attribute 'exterior_der'

2024-02-07 Thread G. M.-S.
Just to say that https://ask.sagemath.org gives me 502 Bad Gateway Guillermo On Wed, 7 Feb 2024 at 19:35, Eric Gourgoulhon wrote: > Le mercredi 7 février 2024 à 15:46:05 UTC+1, Dominic Steinitz a écrit : > > The example here https://sagemanifolds.obspm.fr/examples.html of > > >-

[sage-support] Re: Sagemanifolds: object has no attribute 'exterior_der'

2024-02-07 Thread Eric Gourgoulhon
Le mercredi 7 février 2024 à 15:46:05 UTC+1, Dominic Steinitz a écrit : The example here https://sagemanifolds.obspm.fr/examples.html of - Electromagnetism in Minkowski spacetime [ipynb

[sage-support] Re: Developer's guide and configure : the list of packages needs some updating

2024-01-23 Thread Matthias Koeppe
By the way, a further improvement to this section in the installation guide is waiting for review in https://github.com/sagemath/sage/pull/37056 On Tuesday, January 23, 2024 at 10:13:08 AM UTC-8 Matthias Koeppe wrote: > Many of these packages appeared in the 10.2 developer's guide only because

[sage-support] Re: Developer's guide and configure : the list of packages needs some updating

2024-01-23 Thread Matthias Koeppe
Many of these packages appeared in the 10.2 developer's guide only because of a bug in the script that generates this list. This is already fixed in the current beta; see https://deploy-livedoc--sagemath.netlify.app/html/en/installation/source#debian-ubuntu-package-installation Nevertheless,

Re: [sage-support] Re: Question related to Sagemath permission on Github

2024-01-22 Thread Jan Groenewald
https://docs.github.com/en/organizations/managing-organization-settings/setting-permissions-for-deleting-or-transferring-repositories On Mon, 22 Jan 2024 at 18:57, Nils Bruin wrote: > On Sunday 21 January 2024 at 04:25:42 UTC-8 Juan Grados wrote: > > To protect the repo from arbitrary deletion,

[sage-support] Re: Question related to Sagemath permission on Github

2024-01-22 Thread Nils Bruin
On Sunday 21 January 2024 at 04:25:42 UTC-8 Juan Grados wrote: To protect the repo from arbitrary deletion, I need to know if Github allows adding a rule to avoid a repository being deleted by a single person. If you encourage a workflow with forks and pull requests then everybody will have

Re: [sage-support] Re: Sage seems to incorrectly evaluate fractional powers of complexes

2024-01-04 Thread Dima Pasechnik
On 4 January 2024 12:15:07 WET, Emmanuel Charpentier wrote: > > >Indeed : >(%i29) domain:complex; (%o29) complex (%i30) Sol1C:solve(Sys1, Unks); >(%o30) [[x = 8,y = -40/3,l = (2*25^(1/3))/(3*9^(1/3))]] (%i31) >Sol2C:solve(Sys2, Unks); (%o31) [] (%i32) map(lambda([w], map(lambda([v],

Re: [sage-support] Re: Sage seems to incorrectly evaluate fractional powers of complexes

2024-01-04 Thread Oscar Benjamin
On Thu, 4 Jan 2024 at 12:15, Emmanuel Charpentier wrote: > > But this does not explain whiy Sage is uneble o check (numericalmlmy or > otherwise) the solutions given by Sympy or Mathematica, which check in Sympy > (I didn’t yet try to check them in Mathematica, the limitations of the > current

[sage-support] Re: Sage seems to incorrectly evaluate fractional powers of complexes

2024-01-04 Thread Emmanuel Charpentier
Indeed : (%i29) domain:complex; (%o29) complex (%i30) Sol1C:solve(Sys1, Unks); (%o30) [[x = 8,y = -40/3,l = (2*25^(1/3))/(3*9^(1/3))]] (%i31) Sol2C:solve(Sys2, Unks); (%o31) [] (%i32) map(lambda([w], map(lambda([v], subst(w, v)), map(lambda([u], ratsimp(lhs(u)-rhs(u))), Sys1))), Sol1C);

[sage-support] Re: Sage seems to incorrectly evaluate fractional powers of complexes

2024-01-04 Thread Dima Pasechnik
You can get the same errors from pure Maxima if you set domain to "complex", no? On Thursday, January 4, 2024 at 10:29:56 AM UTC Emmanuel Charpentier wrote: > The problem seems Sage-specific : the same systems solve correctly (up to > numerical noise) in “pure” Maxima : > ;;; Loading

[sage-support] Re: Sage seems to incorrectly evaluate fractional powers of complexes

2024-01-04 Thread Emmanuel Charpentier
The problem seems Sage-specific : the same systems solve correctly (up to numerical noise) in “pure” Maxima : ;;; Loading #P"/usr/lib/x86_64-linux-gnu/ecl-21.2.1/sb-bsd-sockets.fas" ;;; Loading #P"/usr/lib/x86_64-linux-gnu/ecl-21.2.1/sockets.fas" Maxima 5.46.0 https://maxima.sourceforge.io

[sage-support] Re: limitations of "solve"?

2024-01-04 Thread Emmanuel Charpentier
These systems and Sage’s “solutions” exhibit some *serious* problems. See there … ​ Le mardi 2 janvier 2024 à 12:30:14 UTC+1, Emmanuel Charpentier a écrit : > FWIW, a working workaround this interesting Maxima quirk (bug ?) is to use >

[sage-support] Re: limitations of "solve"?

2024-01-04 Thread Emmanuel Charpentier
These systems and Sage's "solutions" exhibit some *serious* problems. See [there](https://groups.google.com/g/sage-support/c/gGssS_15jxE)... Le mardi 2 janvier 2024 à 12:30:14 UTC+1, Emmanuel Charpentier a écrit : > FWIW, a working workaround this interesting Maxima quirk (bug ?) is to use >

[sage-support] Re: Connection Forms not Anti-Symmetric

2024-01-03 Thread Dominic Steinitz
It seems I should have specified the frame in the connection form as well as in the display (object? - I have no idea about OOP having been a functional programmer for the last 30 years). In [13]: omega(0,0,e).display(e), omega(0,1,e).display(e) Out [13]: (nabla_g connection 1-form (0,0) = 0,

[sage-support] Re: Connection Forms not Anti-Symmetric

2024-01-02 Thread Dominic Steinitz
Well apparently I should *not* be using `connection_form` but instead `gam_e = nabla.coef(e)` `gam_e[:]` > [[[0, 0], [y, -x]], [[-y, x], [0, 0]]] Which is what I would have expected. I'm still confused by what `connection_form` does if it doesn't calculate the connection forms. On Monday 1

[sage-support] Re: limitations of "solve"?

2024-01-02 Thread Emmanuel Charpentier
FWIW, a working workaround this interesting Maxima quirk (bug ?) is to use sympy, as demonstrated here

Re: [sage-support] Re: limitations of "solve"?

2024-01-01 Thread Oscar Benjamin
I did go on to discuss this on the Maxima mailing list: https://sourceforge.net/p/maxima/mailman/maxima-discuss/thread/CADB8Zm56axVDFXRLbJnxm7xnnbQiixBzg4VX1T91ucj%2B-tuGvA%40mail.gmail.com/#msg58347791 Apparently domain:complex as used by Sage is not a very well tested configuration of Maxima.

Re: [sage-support] Re: limitations of "solve"?

2024-01-01 Thread Nils Bruin
The documented effect is usually of most impact: https://maxima.sourceforge.io/docs/manual/maxima_46.html#index-domain there may be other undocumented effects, but the one above tends to explain a lot already. On Sunday 3 December 2023 at 06:26:20 UTC-8 Oscar Benjamin wrote: > What does "set

[sage-support] Re: Connection Forms not Anti-Symmetric

2024-01-01 Thread Dominic Steinitz
That should be `omega(1,1).display(e)` > nabla_g connection 1-form (1,1) = x e^0 + y e^1) On Sunday 31 December 2023 at 16:43:16 UTC Dominic Steinitz wrote: > I am calculating the connection forms for the case of a Poincaré Disk but > the diagonal elements appear to be non-zero > > `M =

[sage-support] Re: A nice (minor ?) bug ?

2023-12-24 Thread Emmanuel Charpentier
Never ming : this has been reported six months ago… Sorry for the noise… ​ Le vendredi 22 décembre 2023 à 06:51:59 UTC+1, Emmanuel Charpentier a écrit : > Seen in 10.3.beta3 : > sage: show_identifiers() :1: > DeprecationWarning: Importing

Re: [sage-support] Re: sage 10.3.b2 build problem on OSX 12.7.1

2023-12-16 Thread John H Palmieri
Another quick solution (cherry-picked from the PR I mentioned) would be to change the first line of build/pkgs/editables/dependencies from | $(PYTHON_TOOLCHAIN) $(PYTHON) to | flit_core $(PYTHON) On Saturday, December 16, 2023 at 6:45:44 AM UTC-8 Heiko Knospe wrote: > Hi, > > same

[sage-support] Re: Problem with rebuilding Sage

2023-12-16 Thread Ruchit Jagodara
File On Saturday, December 16, 2023 at 1:46:44 AM UTC+5:30 David Ayotte wrote: > Can you post the following log file: > > /home/ruchitjagodara/sage/sage/logs/pkgs/sagelib-10.3.beta0.log > > here? There

Re: [sage-support] Re: sage 10.3.b2 build problem on OSX 12.7.1

2023-12-16 Thread 'Heiko Knospe' via sage-support
Hi, same build problem with flit_core for sage 10.3.b2 on Debian 11: [editables-0.5] Thread model: posix [editables-0.5] Supported LTO compression algorithms: zlib zstd [editables-0.5] gcc version 10.2.1 20210110 (Debian 10.2.1-6) [editables-0.5]

Re: [sage-support] Re: Problem with plot

2023-12-16 Thread Dima Pasechnik
It's probably just a build error. I'd try something like make sage_conf && make On Sat, Dec 16, 2023 at 9:36 AM Emmanuel Charpentier wrote: > > Le mercredi 13 décembre 2023 à 12:35:42 UTC+1, Philippe Delavalade a écrit : > > Hi. > > I'm using sage-10.2 with linux (slint-15.0 based on slackware

Re: [sage-support] Re: sage 10.3.b2 build problem on OSX 12.7.1

2023-12-16 Thread David Joyner
On Fri, Dec 15, 2023 at 3:04 PM John H Palmieri wrote: > In sage-release, Matthias pointed to missing dependencies for editables, > fixed in https://github.com/sagemath/sage/pull/36885. Maybe you can just > do "make flit_core" (to build the missing dependency) and then "make". > That works,

[sage-support] Re: Problem with plot

2023-12-16 Thread Emmanuel Charpentier
Le mercredi 13 décembre 2023 à 12:35:42 UTC+1, Philippe Delavalade a écrit : Hi. I'm using sage-10.2 with linux (slint-15.0 based on slackware 15.0) on the console. When I run p=plot(x^2); p there is no graphics on the screen, just the line Launched png viewer for Graphics object

[sage-support] Re: Problem with rebuilding Sage

2023-12-15 Thread David Ayotte
Can you post the following log file: /home/ruchitjagodara/sage/sage/logs/pkgs/sagelib-10.3.beta0.log here? There might be some error message that would help us find the problem. Best, David A. Le vendredi 15 décembre 2023 à 14:00:02 UTC-5, Ruchit Jagodara a écrit : > I am trying to

[sage-support] Re: sage 10.3.b2 build problem on OSX 12.7.1

2023-12-15 Thread John H Palmieri
In sage-release, Matthias pointed to missing dependencies for editables, fixed in https://github.com/sagemath/sage/pull/36885. Maybe you can just do "make flit_core" (to build the missing dependency) and then "make". On Friday, December 15, 2023 at 10:52:10 AM UTC-8 David Joyner wrote: > Hi:

[sage-support] Re: Problems viewing crystals from sage

2023-12-12 Thread John H Palmieri
Please add comments to that ticket. On Tuesday, December 12, 2023 at 6:15:31 PM UTC-8 Andrew wrote: > Thanks John. > > Yes, I think you are right because this PR is about exactly this issue > and, more importantly, it adds the code that I want to brutalise. I missed > this when used git blame

[sage-support] Re: Problems viewing crystals from sage

2023-12-12 Thread 'Andrew' via sage-support
Thanks John. Yes, I think you are right because this PR is about exactly this issue and, more importantly, it adds the code that I want to brutalise. I missed this when used git blame to look for recent changes to sage.misc.latex. This fits as view() was working without issues for me a month

[sage-support] Re: Problems viewing crystals from sage

2023-12-12 Thread John H Palmieri
Could this be related to https://github.com/sagemath/sage/pull/36529? On Tuesday, December 12, 2023 at 3:50:55 PM UTC-8 Andrew wrote: > Playing around with this a little more, I think that this is a bug/timing > issue in sage.misc.latex.py (or in subprocess.run, or a mac oddity since > it

[sage-support] Re: Problems viewing crystals from sage

2023-12-12 Thread Andrew at Large
Playing around with this a little more, I think that this is a bug/timing issue in sage.misc.latex.py (or in subprocess.run, or a mac oddity since it only started happening recently). What seems to be happening is that the generated PDF file, output_file, is being deleted before the viewer is

[sage-support] Re: Problems viewing crystals from sage

2023-12-12 Thread 'Andrew' via sage-support
Playing around with this a little more, I think that this is a bug/timing issue in sage.misc.latex.py (or in subprocess.run, or a mac oddity since it only started happening recently). What seems to be happening is that the generated PDF file, output_file, is being deleted before the viewer is

[sage-support] Re: [sage-edu] This site can't be reached localhost refused to connect.

2023-12-08 Thread David Joyner
You should email sage-support (cc'd). This list is for teaching with sage. On Fri, Dec 8, 2023, 2:37 PM Taylors SC wrote: > When I would open the Sage app, it would open an Jupyter notebook in a > Chrome window. Now when I open the Sage app, it opens a browser window, but > it has the message

Re: [sage-support] Re: Newer than Sage 10.0 conda release?

2023-12-05 Thread oscar bg
thanks for your support julian.. will test once merged.. On Tue, Dec 5, 2023 at 8:21 PM julian...@gmail.com wrote: > Hi oscar, > > It seems that nobody has worked on 10.1 or 10.2 yet for conda-forge. I > started https://github.com/conda-forge/sage-feedstock/pull/94 and >

[sage-support] Re: Newer than Sage 10.0 conda release?

2023-12-05 Thread julian...@gmail.com
Hi oscar, It seems that nobody has worked on 10.1 or 10.2 yet for conda-forge. I started https://github.com/conda-forge/sage-feedstock/pull/94 and https://github.com/conda-forge/sage-feedstock/pull/93. I'll add more work items there over the next few hours and any help with them is of course

Re: [sage-support] Re: Calling Sage on Windows from external scripts

2023-12-03 Thread Dima Pasechnik
We are actually removing Cygwin support in Sage, so yes, going forward it will be WSL only. On 3 December 2023 14:21:13 GMT, Sean Fitzpatrick wrote: >Thanks David. > >It sounds like that will require some changes in PreTeXt itself. > >I was experimenting because I got a new Windows computer at

Re: [sage-support] Re: limitations of "solve"?

2023-12-03 Thread Oscar Benjamin
What does "set domain to complex" mean in terms of Maxima's settings? Maxima's solve seems to compute complex solutions by default: (%i21) solve(x^2 + 1); (%o21)[x = - %i, x = %i] On Sun, 3 Dec 2023 at 13:37, Dima Pasechnik wrote: > > Yes, Sage modifies the defaults of

Re: [sage-support] Re: limitations of "solve"?

2023-12-03 Thread Oscar Benjamin
Oh, I see: (%i23) domain: complex ; (%o23) complex (%i24) f: 10*x^(1/3)*y^(2/3)$ (%i25) g: 5*x^2 + 6*y$ (%i26) solve([diff(f,x)=l*diff(g,x), diff(f,y)=l*diff(g,y), g=120], [x,y,l]); (%o26)[] On Sun, 3 Dec 2023 at 14:20, Oscar

Re: [sage-support] Re: Calling Sage on Windows from external scripts

2023-12-03 Thread Sean Fitzpatrick
Thanks David. It sounds like that will require some changes in PreTeXt itself. I was experimenting because I got a new Windows computer at work, to know how well PreTeXt is currently supported on Windows. I think the answer might be that everything works locally, as long as your book doesn't

Re: [sage-support] Re: limitations of "solve"?

2023-12-03 Thread Fernando Gouvea
Is there a way to change the default when calling "solve"? Fernando On 12/3/2023 8:37 AM, Dima Pasechnik wrote: Yes, Sage modifies the defaults of Maxima, in particular we set domain to complex. On 3 December 2023 12:28:45 GMT, Oscar Benjamin wrote: On Wed, 29 Nov 2023 at 12:40, Eric

Re: [sage-support] Re: limitations of "solve"?

2023-12-03 Thread Dima Pasechnik
Yes, Sage modifies the defaults of Maxima, in particular we set domain to complex. On 3 December 2023 12:28:45 GMT, Oscar Benjamin wrote: >On Wed, 29 Nov 2023 at 12:40, Eric Gourgoulhon wrote: >> >> Le mardi 28 novembre 2023 à 18:25:04 UTC+1, kcrisman a écrit : >> >> Yes. Maxima's attitude

Re: [sage-support] Re: limitations of "solve"?

2023-12-03 Thread Oscar Benjamin
On Wed, 29 Nov 2023 at 12:40, Eric Gourgoulhon wrote: > > Le mardi 28 novembre 2023 à 18:25:04 UTC+1, kcrisman a écrit : > > Yes. Maxima's attitude is that the square root of negative one is an > expression which might have multiple values, rather than just picking one you > hope might be

[sage-support] Re: Calling Sage on Windows from external scripts

2023-12-02 Thread David Ayotte
If you have Python script running locally on Windows, you could call the sage script by doing something like: import os os.system('wsl sage your-sage-script.sage') See this page: https://learn.microsoft.com/en-us/windows/wsl/filesystems for more about Windows-Linux interoperability.

Re: [sage-support] Re: limitations of "solve"?

2023-11-29 Thread kcrisman
I wouldn't mind seeing those discussions if you have a link to send (perhaps only to me). A relatively recent one (mentioning Eric's workaround) is https://groups.google.com/g/sage-devel/c/h50LZVLVQI4/m/AieyOKHVAQAJ (Note that there were at times separate problems with the

[sage-support] Re: limitations of "solve"?

2023-11-29 Thread Eric Gourgoulhon
Hi, Le mardi 28 novembre 2023 à 18:25:04 UTC+1, kcrisman a écrit : Yes. Maxima's attitude is that the square root of negative one is an expression which might have multiple values, rather than just picking one you hope might be consistent over branch points. To enforce Maxima to work in

Re: [sage-support] Re: limitations of "solve"?

2023-11-28 Thread Oscar Benjamin
On Tue, 28 Nov 2023 at 17:25, kcrisman wrote: > > Answering part of my question: it seems that sympy and maxima have > different attitudes towards fractional powers of negative numbers, which > may be the source of the problem. > > Yes. Maxima's attitude is that the square root of negative one

[sage-support] Re: limitations of "solve"?

2023-11-28 Thread kcrisman
Answering part of my question: it seems that sympy and maxima have different attitudes towards fractional powers of negative numbers, which may be the source of the problem. Yes. Maxima's attitude is that the square root of negative one is an expression which might have multiple values,

Re: [sage-support] Re: limitations of "solve"?

2023-11-28 Thread Dima Pasechnik
one should not be using sagecell.sagemath.org server for teaching, it's not scaling well (compared to cocalc.com, say) under load. unleashing undergraduates to compute on it surely gets things very slow there On 28 November 2023 15:45:33 GMT, Eric Gourgoulhon wrote: >Hi, > >I've also

[sage-support] Re: limitations of "solve"?

2023-11-28 Thread Fernando Q. Gouvea
Answering part of my question: it seems that sympy and maxima have different attitudes towards fractional powers of negative numbers, which may be the source of the problem. If I change to g(x,y)=x^2+6*y then "solve" has no problem finding x=2*sqrt(6), y=16. Fernando On 11/28/2023 10:36

[sage-support] Re: limitations of "solve"?

2023-11-28 Thread Eric Gourgoulhon
Hi, I've also noticed two days ago that https://sagecell.sagemath.org/ is very slow (actually does not terminate) even on elementary operations. Maybe there is a problem with the server at the moment... Eric. Le mardi 28 novembre 2023 à 16:36:30 UTC+1, Fernando Q. Gouvea a écrit : >

[sage-support] Re: Possible error: isogeny classes

2023-11-27 Thread hbetx9
Hi John, Thanks a bunch for the pointed reply. Glad to hear we weren't missing something easy and thanks a bunch for filling the bug report! Best, Lance On Sunday, November 26, 2023 at 10:16:53 AM UTC-6 John Cremona wrote: > https://github.com/sagemath/sage/issues/36780 > > On Saturday, 25

[sage-support] Re: Possible error: isogeny classes

2023-11-26 Thread John Cremona
https://github.com/sagemath/sage/issues/36780 On Saturday, 25 November 2023 at 15:11:53 UTC John Cremona wrote: > Thanks for this report, which certainly indicates a bug. I will look into > it as the code here was written by me. I note that the two curves have CM > (by the order of index 5

[sage-support] Re: Possible error: isogeny classes

2023-11-25 Thread John Cremona
Thanks for this report, which certainly indicates a bug. I will look into it as the code here was written by me. I note that the two curves have CM (by the order of index 5 and the maximal order in Q(sqrt(-3)) respectively), and the code to deal with isogenies is different in this case. The

[sage-support] Re: Odd Ricci scalar in Sagemanifolds

2023-11-20 Thread Rogerio
Thank you again, Eric! Em segunda-feira, 20 de novembro de 2023 às 10:55:45 UTC-3, Eric Gourgoulhon escreveu: > Hi, > > The complicated result that you get is due to a lack of simplification in > Sage. More precisely, the default simplification chain automatically > applied in tensor

[sage-support] Re: Odd Ricci scalar in Sagemanifolds

2023-11-20 Thread Eric Gourgoulhon
Hi, The complicated result that you get is due to a lack of simplification in Sage. More precisely, the default simplification chain automatically applied in tensor calculus on manifolds, namely

Re: [sage-support] Re: Integral result differ from Wolfram|Alpha

2023-11-13 Thread Bùi Gia Nghĩa
Oh that's why! Thank you because that is exactly the problem! On Tue, Nov 14, 2023, 4:54 AM John H Palmieri wrote: > Isn't log(log(x)^2) = 2 * log(log(x))? Is this your concern, or is it the > absolute value? > > On Monday, November 13, 2023 at 1:32:11 PM UTC-8 Bùi Gia Nghĩa wrote: > >> Hi! >>

[sage-support] Re: Integral result differ from Wolfram|Alpha

2023-11-13 Thread John H Palmieri
Isn't log(log(x)^2) = 2 * log(log(x))? Is this your concern, or is it the absolute value? On Monday, November 13, 2023 at 1:32:11 PM UTC-8 Bùi Gia Nghĩa wrote: > Hi! > I have used Sage Cell Server to integrate the function (ln(x)^2 - 1) / (x > * ln(x)). It should resulted in (ln(x)^2) / 2 -

Re: [sage-support] Re: ideal intersection in ZZ

2023-10-30 Thread G. M.-S.
Nils, Thanks for your patience and sorry for my ignorance. Guillermo On Sun, 29 Oct 2023 at 21:31, Nils Bruin wrote: > On Monday, 30 October 2023 at 00:26:55 UTC+13 G. M.-S. wrote: > > If I understand you correctly, SageMath is a bit loose at the moment about > its categories. > > > That's

Re: [sage-support] Re: Canonical divisor help

2023-10-30 Thread Kwankyu
Now with (draft) PR https://github.com/sagemath/sage/pull/36592 the ask.sagemath problem is solved by P2. = ProjectiveSpace(QQ, 2) f = 2*x^5 - 4*x^3*y*z + x^2*y*z^2 + 2*x*y^3*z + 2*x*y^2*z^2+ y^5 C = Curve(f) kC = C.function_field() K = kC.gen().differential().divisor() # canonical divisor

Re: [sage-support] Re: Canonical divisor help

2023-10-29 Thread Kwankyu
This is simpler sage: psi = C.hom(liftedbasis, P2) sage: psi.image() Closed subscheme of Projective Space of dimension 2 over Rational Field defined by: x^2 + x*y + 2*y*z On Monday, October 30, 2023 at 5:45:27 AM UTC+9 Nils Bruin wrote: On Monday, 30 October 2023 at 00:19:47 UTC+13 Kwankyu

Re: [sage-support] Re: Canonical divisor help

2023-10-29 Thread Nils Bruin
On Monday, 30 October 2023 at 00:19:47 UTC+13 Kwankyu wrote: What is your code? P2. = ProjectiveSpace(QQ, 2) f = 2*x^5 - 4*x^3*y*z + x^2*y*z^2 + 2*x*y^3*z + 2*x*y^2*z^2+ y^5 C = Curve(f) kC = C.function_field() D = kC(kC.base_field().gen(0)).differential().divisor() L,m,s =

Re: [sage-support] Re: ideal intersection in ZZ

2023-10-29 Thread Nils Bruin
On Monday, 30 October 2023 at 00:26:55 UTC+13 G. M.-S. wrote: If I understand you correctly, SageMath is a bit loose at the moment about its categories. That's not what I meant also not what is indicated by what I noticed: by the looks of it, sage does know about euclidean domains and has

Re: [sage-support] Re: ideal intersection in ZZ

2023-10-29 Thread G. M.-S.
Nils, Thank you again for your explanations and insights, with which I agree. As confirmed by the intersection methods you mention, I was thinking about consistency. I try to make my students grasp the concepts of integral domains, GCD domains, UFDs, PIDs, Euclidean domains and fields. One tool

Re: [sage-support] Re: Canonical divisor help

2023-10-29 Thread Kwankyu
The most pressing problem in sage at the moment seems to be that presently there only seem to be morphisms between schemes. You need rational maps for this (especially from a singular model, the map to a canonical model might only be a rational map). "SchemeMorphism" in Sage is a map

Re: [sage-support] Re: Canonical divisor help

2023-10-28 Thread Nils Bruin
On Saturday, 28 October 2023 at 18:50:12 UTC-7 Nils Bruin wrote: On Saturday, 28 October 2023 at 15:26:35 UTC-7 Kwankyu wrote: f1, f2, f3 are univariate polynomials (say in y) over rational function field (say in x). Then x and y are not always the variables X and Y of the coordinate ring of

  1   2   3   4   5   6   7   8   9   10   >