6:57 AM, David Joyner <[EMAIL PROTECTED]> wrote:
> >>> On Wed, May 14, 2008 at 8:54 AM, Pedro Patricio <[EMAIL PROTECTED]> wrote:
> >>>> nope, booleans means 1+1=1.
> >>>> take + as OR and * as AND in the propositional calculus.
> >>
same happened to me, for the various sage versions... i am using
debian... a workarround has been compling the source... takes a while
but woks perfectly.
pedro
On 2 Maio, 20:38, Lars Fischer <[EMAIL PROTECTED]> wrote:
> Hello,
>
> today I tried to install sage 3.0 from
> sage-3.0-linux_ubuntu-at
