scollovati's profile - activity

I fixed it following this reference: https://stackoverflow.com/a/49769015

In particular: curl https://bootstrap.pypa.io/get-pip.py | python

Then everything worked fine. Thus I think that it was a system-wide python problem, rather than specific to the python local install for SageMath.

Thanks! Actually I have a (common) Pip problem with SSL certificates. pip is configured with locations that require TLS/SSL, however the ssl module in Python is not available. I'll try to fix this issue even if it is not so simple. Thanks again!

I installed it via Homebrew. However I'm experiencing problems when trying to download a notebook as a pdf (via LATEX) file. It tells me: nbconvert failed: Pandoc wasn't found. Please check that pandoc is installed: http://pandoc.org/installing.html

However pandoc is installed. In fact if in a terminal I write jupyter nbconvert --to pdf filename.ipynb I correctly generate a pdf file.

Thank you very much!

I found useful especially because I can use it also for derivatives: simplify_real(expression, a(t),diff(a(t),t))

I wrote a similar simple function for assuming that a function is positive: in this way in the expressions a lot of factor simplifies. I suppose that also this assumption cannot be added in Sage.

In your opinion can thees functions be implemented as a method for expressions in a future release?

Hi, I'm perfoming some basic differential calculations in General Relativity.

I created a function a(t), where t is one of the chart coordinates:

a = function('a')(t)

I do not want to define how it depends on t since I'm calculating stuff like Cristoffel symbols, Einstein equations, etc and I want to keep the resulting formulas independent from the functional behaviour of a(t).

This function appears to be a complex one (i.e. I see the bar over it sometimes - complex conjugate). This is boring since the calculations does not simplify by themselves.

Is there a way to "assume" that the codomain of the function are the Real Numbers? It would be great also to specify only a range, like (0,+\infty).

Thanks

Hi, I'm perfoming some basic differential calculations in General Relativity.

I created a function a(t), where t is one of the chart coordinates:

a = function('a')(t)

I do not want to define how it depends on t since I'm calculating stuff like Cristoffel symbols, Einstein equations, etc and I want to keep the resulting formulas independent from the functional behaviour of a(t).

This function appears to be a complex one (i.e. I see the bar over it sometimes - complex conjugate). This is boring since the calculations does not simplify by themselves.

Is there a way to "assume" that the codomain of the function are the Real Numbers? It would be great also to specify only a range, like (0,+\infty).

Thanks