Hello all,
I have another issue with polynomials and finite fields, though I
don't think this one is to do with type coercions. First, setting up
the test case:
gf2 := PrimeField 2
gf16 := FiniteFieldExtensionByPolynomial(gf2, x**4 + x + 1)
a := primitiveElement()$gf16
p : POLY gf16 := a*x**3
q : POLY gf16 := a*x**2 + 1
then if I try "p rem q" I get
(6) -> p rem q
>> Error detected within library code:
coerce: element doesn't belong to smaller field
The same thing happens if I replace the field definition by
gf16 := FiniteFieldExtension(gf2, 4)
However, if I try
gf16 := FiniteField(2, 4)
then I get the more reasonable
(6) -> p rem q
(6) x
Type:
UnivariatePolynomial(x,FiniteField(2,4))
Is this a bug, or am I doing something else wrong.
Thanks,
Paul
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
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/fricas-devel?hl=en.
