Dear all!
Is there any formal library for formal lambda calculus in Sage?
I mean - not the standard way of defining functions in python, but
something related to formal logic rather? Where I may define formal terms
and make alpha/betha reductions etc. steop by step, in complete controlled
manner
Apologies. Wrong thread. Was meant for
Bug with sagemath-upstream-binary 7.0~aimsppa1~qa2 on Ubuntu 14.04
by Marc Tardif
On 4 February 2016 at 22:48, Jan Groenewald wrote:
> Hi
>
> Yes. Thank you. I place a small role in Sage, thanks to all the upstream
> developers.
>
> The PPA is not a real p
Hi
Yes. Thank you. I place a small role in Sage, thanks to all the upstream
developers.
The PPA is not a real package built from source, but a binary package
copying files over form an upstream binary built on Sage's buildfarm.
Something about Sage's build process which I don't understand makes
On Thursday, 4 February 2016 19:40:46 UTC, Harald Schilly wrote:
>
> The website www.lmfdb.org is -- technically speaking -- a web front-end
> to SageMath. It uses a standard stack of apache, gunicorn and flask for the
> request handling, mongodb for additional data sources, and runs SageMath
Another example is
http://sagecell.sagemath.org/
Make sure you read all of this to understand what's going on:
http://sagecell.sagemath.org/static/about.html?v=00b4fd5af6b74dc07adbdb2a0cef
On Thu, Feb 4, 2016 at 11:40 AM, Harald Schilly
wrote:
> The website www.lmfdb.org is -- technical
Hi
Yes, I know about the icon error, it will be fixed in the next version.
Actually I will copy the icon in to the package so I don't get bitten by
the path filename changes.
Unless that can be done upstream.
Regards,
Jan
On 4 February 2016 at 22:09, Jacopo wrote:
> Ok, apparently I should h
Ok, apparently I should have just been googling a bit more before posting
here; anyway, should someone have the same issue, here's how I solved it.
As Dima pointed out, the package
sagemath-upstream-binary
in the PPA is currently broken; for some weird reason however installing
sagemath-upstream
The website www.lmfdb.org is -- technically speaking -- a web front-end to
SageMath. It uses a standard stack of apache, gunicorn and flask for the
request handling, mongodb for additional data sources, and runs SageMath
via a library (this means, when you open certain pages, GAP, Pari and other
I have written some code in Sage and would like to have this code run
independently on a local web server without the need for users to create an
account to access it, and I am not having a lot of luck. I have tried using
Sage server (either 6.10 or 7.0) in VirtualBox to accomplish this, but
ne
the PPA is apparently broken.
There are other posts around to indicate this.
You might try to build Sage from source instead, or download a full binary
build; this all should work.
On Thursday, 4 February 2016 16:20:27 UTC, Jacopo wrote:
>
> Yesterday I updated to the latest version of Sage. Appa
On Wednesday, 3 February 2016 19:06:14 UTC, Amol Ghadage wrote:
>
> Hello Kwankyu
>
> I just want know how to do sage CRM development?
> Means I want to know how to configure Eclipse and how to start development
> and Which programming language used to develop SAGE CRM?
>
wrong group. Sage(ma
On Wednesday, 3 February 2016 19:06:15 UTC, mahmoud darwich wrote:
>
> no, I downloaded it and placed it under /math/software/pkg/sage/64/ ,
> untar it there then run make
>
make? But you downloaded a binary distribution, no?
> .
>
> On Tuesday, February 2, 2016 at 12:10:51 PM UTC-5, Volker
I attached the file "Sage_crash_report.txt"
Sage seems broken after updating yesterday; I purged and reinstalled twice,
but to no avail.
I'm using elementary OS, and I installed through the PPA.
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
Yesterday I updated to the latest version of Sage. Apparently, something
goes wrong, and afterwards, when I type "sage" in the terminal, the program
opens just to give an error message, telling me to post the crash report
file here. I purged and reinstalled twice, but nothing worked.
I'm using
Yesterday I updated to the latest version of Sage. Apparently, something
goes wrong, and afterwards, when I type "sage" in the terminal, the program
opens just to give an error message, telling me to post the crash report
file here. I purged and reinstalled twice, but nothing worked.
I'm using
Have sorted out most of the problem here.
(a) Installation time for 7.0 only 7 minutes not 30, sorry (went for a cup
of tea);
(b) Solution to installing database_gap is to the save the compiled version
in my own tar file and reinstall in the next version from there. Works OK
on test. As I
i was checking if is there any support for that. thank you .
On Thursday, February 4, 2016 at 6:42:21 AM UTC-5, Jeroen Demeyer wrote:
>
> On 2016-02-04 12:32, Jan Groenewald wrote:
> > Is there any plan to support this in future?
> I don't think so. This used to be semi-supported in the past (b
On Thursday, February 4, 2016 at 1:03:11 PM UTC+1, Jan Groenewald wrote:
>
> I'm under the impression almost all software works relocatable
>
Your impression is incorrect. Try to install any non-trivial (including
shared libraries) deb/rpm into a prefix, good luck. The Fedora packaging
guideline
Hi
On 4 February 2016 at 13:42, Jeroen Demeyer wrote:
> On 2016-02-04 12:32, Jan Groenewald wrote:
>
>> Is there any plan to support this in future?
>>
> I don't think so. This used to be semi-supported in the past (before Sage
> 7.0), but it is too difficult to do correctly.
>
I'm under the im
On 2016-02-04 12:32, Jan Groenewald wrote:
Is there any plan to support this in future?
I don't think so. This used to be semi-supported in the past (before
Sage 7.0), but it is too difficult to do correctly.
Does it matter for the PPA? Isn't that installed in a fixed location anyway?
--
You
Hi
On 4 February 2016 at 12:59, Jeroen Demeyer wrote:
> I think the message below is quite clear: once you compile Sage, you are
> not allowed to move it to a different directory. You have to recompile it
> in the directory where you want it to be installed.
>
> On 2016-02-04 11:23, mahmoud darw
I think the message below is quite clear: once you compile Sage, you are
not allowed to move it to a different directory. You have to recompile
it in the directory where you want it to be installed.
On 2016-02-04 11:23, mahmoud darwich wrote:
ERROR: The Sage installation tree has moved
Hi
On 4 February 2016 at 12:20, HG wrote:
> Following the ppa sage link, I tried to install sage-7, it works fine.
> Time for patching, but no problem.
> I use two version of sagemath the ppa and developer one (which I compile)
> and after I compile sagemanifolds (which I can't do at the moment
ERROR: The Sage installation tree has moved
from /math/home/afadli/sage-7.0
to /math/software/pkg/sage/64/sage-7.0
This is not supported, and Sage will not work. To install Sage from a
binary package:
1. Open the .tar.bz2 archive (or .dmg on OSX)
2. Move the SageMath folder/app to where you
Following the ppa sage link, I tried to install sage-7, it works fine. Time
for patching, but no problem.
I use two version of sagemath the ppa and developer one (which I compile)
and after I compile sagemanifolds (which I can't do at the moment with the
ppa because it's installed system-wide).
25 matches
Mail list logo
