Hello,
I have a CNF-file (tmp.txt).
how can i read this file with sage.
how can i solve this by SAT-Solver ?
Thanks in advance
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it,
> expects 2*2*4 = 16 entry lists.
>
> Cheers,
> Martin
>
> On Tuesday 17 Mar 2015 02:01:14 Joe Ouni wrote:
> > thank you for your reply
> >
> > I get the following error :
> > a matrix from Full MatrixSpace of 4 by 1 dense matrices over Finite
> Fie
> On Monday 16 Mar 2015 12:45:07 Joe Ouni wrote:
> > Hello ,
> >
> > The following SR (2,1,1,4) worked fine.
> >
> > sage: sr = SR(2,1,1,4,star=True,aes_mode=True,
> > gf2=True,allow_zero_inversions = True)
> > sage: P = sr.vector([0, 0, 1, 0
Hello ,
The following SR (2,1,1,4) worked fine.
sage: sr = SR(2,1,1,4,star=True,aes_mode=True,
gf2=True,allow_zero_inversions = True)
sage: P = sr.vector([0, 0, 1, 0])
sage: K = sr.vector([1, 0, 0, 1])
sage: C = sr(P,K)
sage: load mpolynomialsyste
Hello ,
The following SR (2,1,1,4) worked fine.
sage: sr = SR(2,1,1,4,star=True,aes_mode=True,
gf2=True,allow_zero_inversions = True)
sage: P = sr.vector([0, 0, 1, 0])
sage: K = sr.vector([1, 0, 0, 1])
sage: C = sr(P,K)
sage: load mpolynomialsyst
e 4.1 as I think I have run into that
particular problem before and it was fixed roughly 2 weeks after I
installed Sage).
Thanks,
Joe
On Sep 23, 2:19 pm, Jason Grout wrote:
> Joe wrote:
> > Hey, I have some code that I wrote with my Enthought python
> > distribution on my laptop w
as to have compatibility across
multiple platforms. Is there a way around this or a specific reason
why Sage does not support the ix_ command?
Thanks,
Joe
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from
