I'll give this a try thanks. In my case in this example then X3 = X[3] = Y[575
- 3] for instance. I was using the polynomial equation with addressing scheme
X[i*objects + j] + 1 = 0 to represent the relation i~j is true for some
arbitrary relation ~ so I guess that would become X[i*objects + j]
You can reverse a python list L by doing L[::-1].
So, in this case, you just create the ring with 'degneglex' and reverse the
gens list X to get Y say. Then, input the polynomials as if your variables
Y[0] to Y[n] instead of the variables X[0] upto X[n].
--Kannappan.
On Wed, Jun 18, 2014 at 3:3
I have some code like this:
objects = 12
R = BooleanPolynomialRing(objects^2,'X',order='degrevlex')
X = R.gens()
Then
R.quotient_ring(listofpolynomials).gens()
take on a particularly simple form that other term orders I've tried like 'lex'
and 'degneglex' do not
(This is intended as a reply to Andrew's answer.)
Based on your answer I realized I must not have set everything up quite
right. I installed a fortran library, updated my PATH, and rebooted, and
now everything seems to work. Thanks for the help, and sorry for the stupid
question...
--
You rec
>
> That seems like a bug in the _sympy_ conversion, in that it is
> discarding that the variables are assumed real.
>
>
Yeah, I believe some sympy conversions are still broken. I'm not very
familiar with sympy or I would have done some exploration.
See http://trac.sagemath.org/ticket/12345
Yun Peng Lin wrote:
I'm trying to build Sage 6.2 (latest version from
http://www.sagemath.org/) from the source distribution.
After running "make", it built for an hour before failing when trying to
build
package: mpir-2.6.0.p4.
A section of the mpir-2.6.0.p4 log file containing the error is be
Hi Peter,
I think that something must be wrong with your istribution as this works
for me:
┌┐
│ Sage Version 6.2, Release Date: 2014-05-06 │
│ Type "notebook()" for the browser-based notebook interface.
I'm trying to build Sage 6.2 (latest version from http://www.sagemath.org/)
from the source distribution.
After running "make", it built for an hour before failing when trying to
build
package: mpir-2.6.0.p4.
A section of the mpir-2.6.0.p4 log file containing the error is below.
I'm trying to
