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
Thank You, for explanation! It would be very convenient, especially when You
use sage for some document/illustration preparation to have loop working as I
have tried to do. But then I have to manage other way, probably by use
sagemathcloud.
Thank You!
Kazek
--
You received this message becau
On cloud.sagemath.com server I have run this code:
for k in [0..(len(G)-1)]:
G[k][0],G[k][1]
graphics_array([G[k][2].plot(color_by_label={'p':'black',
'r':'blue'}),G[k][3].plot(color_by_label={'p':'black',
'r':'blue'}),G[k][4].plot(color_by_label={'p':'black', 'r':'blue'})])
> This is interesting because Sage 5.4 is not supposed to require OpenSSL
> at all, if I recall correctly. Exactly which binary did you download?
>
> -Keshav
>
Hi!
This one: http://sage.mirror.garr.it/mirrors/sage/linux/32bit/index.html
*sage-5.4.1-linux-32bit-ubuntu_12.04.1_lts-i686-Linux.t
I download Sage 5.4.1 precompiled binary release.
During first run sage starts with updating paths process, and then suddenly
throws at me Error: *"ERROR:root:code for hash md5 was not found."*
Whilst there are some information in trac about this, it is related to
process of build from the sour
Hello everybody!
Please consider to add for sage worksheet the following feature:
Some parts of the worksheet may be hidden under "+" mark. It will be
section for example containing important computations of auxiliary
definitions tr objects which are not relevant to lecture, but required to
