Hi,
On 2016-11-22, Rusydi H. Makarim <[email protected]> wrote:
>> Shouldn't it raise an error as soon as the "new" base ring is different
>> from GF(2)?
>>
>
> I don't see any reason why this should not be allowed in the case of
> BooleanPolynomialRing.
Because a BooleanPolynomialRing is defined to be a ring over GF(2).
There is no BooleanPolynomialRing over QQ.
Hence, if you want a polynomial ring over QQ that has the same algebraic
relations as a boolean polynomial ring, you could do
sage: B.<x> = BooleanPolynomialRing()
sage: B.defining_ideal().ring().change_ring(QQ).quo(B.defining_ideal())
Quotient of Multivariate Polynomial Ring in x over Rational
Field by the ideal (x^2 + x)
Cheers,
Simon
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
