hi all... i am sure you can easily help me with this one.
how can i define a matrix over the booleans? i know this is trivially
done over ZZ and so forth.
i want students to compute the reachability matrix
thanks in advance
pedro
--~--~-~--~~~---~--~~
You receiv
On Wed, May 14, 2008 at 6:29 AM, Pedro Patricio <[EMAIL PROTECTED]> wrote:
>
> hi all... i am sure you can easily help me with this one.
>
> how can i define a matrix over the booleans? i know this is trivially
> done over ZZ and so forth.
If by booleans you mean GF(2), then just replace ZZ by
David Joyner wrote:
> On Wed, May 14, 2008 at 6:29 AM, Pedro Patricio <[EMAIL PROTECTED]> wrote:
>
>> hi all... i am sure you can easily help me with this one.
>>
>> how can i define a matrix over the booleans? i know this is trivially
>> done over ZZ and so forth.
>>
>
> If by booleans
nope, booleans means 1+1=1.
take + as OR and * as AND in the propositional calculus.
the key thing is to compute the reachability matrix of a digraph. an
awkward way to do it would be by computing the power series A+A^2+\dots
+A^n, where n is the #vertices and A adjacency matrix, and replace
ever
On May 14, 2:08 am, "Jurgis Pralgauskis"
<[EMAIL PROTECTED]> wrote:
> Hello,
>
> I made a sage flyer with intro + examples
> for my uni students conference (but some professors also got
> interested)http://popmokslas.projektas.lt/failai/python/atmintine/SAGE-matematin...
>
> what do you think
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.
I was afraid you were going to say that:-)
Does this help any?
sage: B = BooleanPolynomialRing(1,'x')
sage: x = B.gen()
sage: x
I agree with Karl that this is great work. Thank you.
Please translate it into English!
On Wed, May 14, 2008 at 2:08 AM, Jurgis Pralgauskis
<[EMAIL PROTECTED]> wrote:
> Hello,
>
> I made a sage flyer with intro + examples
> for my uni students conference (but some professors also got intereste
On Wed, May 14, 2008 at 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.
So 1+1 = 1 and 1*1 = 1 and 1*0 = 0 and 1+0 = 1 an
2008/5/14 kcrisman <[EMAIL PROTECTED]>:
>
>
>
> On May 14, 2:08 am, "Jurgis Pralgauskis"
> <[EMAIL PROTECTED]> wrote:
>> Hello,
>>
>> I made a sage flyer with intro + examples
>> for my uni students conference (but some professors also got
>> interested)http://popmokslas.projektas.lt/failai/pytho
ok, let me remake my question: how can i define a boolean matrix?
sure it is not over a ring, but in fact over a semi-ring.
let me quote a previous post:
"the key thing is to compute the reachability matrix of a digraph. an
awkward way to do it would be by computing the power series A+A^2+
\dots
+
William Stein wrote:
> 2008/5/14 kcrisman <[EMAIL PROTECTED]>:
>
>>
>> On May 14, 2:08 am, "Jurgis Pralgauskis"
>> <[EMAIL PROTECTED]> wrote:
>>
>>> Hello,
>>>
>>> I made a sage flyer with intro + examples
>>> for my uni students conference (but some professors also got
>>> interested)ht
Pedro Patricio wrote:
> ok, let me remake my question: how can i define a boolean matrix?
> sure it is not over a ring, but in fact over a semi-ring.
> let me quote a previous post:
> "the key thing is to compute the reachability matrix of a digraph. an
> awkward way to do it would be by computing
Jason Grout wrote:
> William Stein wrote:
>> On Wed, May 14, 2008 at 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.
>> S
13 matches
Mail list logo
