On Monday 08 March 2010, John H Palmieri wrote:
> sage: R = PolynomialRing(ZZ, names=['a' + str(i) for i in range(5)] +
> ['b' + str(i) for i in range(10)])
> sage: R
> Multivariate Polynomial Ring in a0, a1, a2, a3, a4, b0, b1, b2, b3,
> b4, b5, b6, b7, b8, b9 over Integer Ring
>
> Then to define the ideal, note that you can get elements like this:
>
> sage: R('a0')
> a0
> sage: R('b' + str(2))
> b2
Almost.
He's looking for a boolean polynomial ring, i.e.
F_2[x_1, ... , x_n]/ < x_1^2 - x_1, ..., x_n^2 - x_n >
for which we have a special implementation (PolyBoRi which the OP tries to
call through the native PolyBoRi interface).
R = BooleanPolynomialRing(15, ['a' + str(i) for i in range(5)] + ['b' + str(i)
for i in range(10)])
should do the trick, see:
http://www.sagemath.org/doc/reference/sage/rings/polynomial/pbori.html
Cheers,
Martin
--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://www.informatik.uni-bremen.de/~malb
_jab: [email protected]
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
