On Aug 12, 7:06 am, Ralf Hemmecke <[email protected]> wrote: > > Is this a bug, or am I doing something else wrong. > > Yes, I'd say that this is a bug. But maybe from the following transkript > you can see what is happening. > > Why have I used SUP? Well, Polynomial is a domain that can hold > polynomials in any variable. In fact, it's not a univariate polynomial > domain. So if you say p rem q, FriCAS has to figure out what you could > have meant. Well, you polynomials are univariate, so (I guess -- I > haven't actually looked at the source code) internally p and q will be > coerced to a univariate polynomial (i.e. to type SUP(gf16). As you see > below, for some reason, I don't yet understand, this goes wrong. Maybe > you should report this failing coercion as a but on the fricas bugtracker. > > I have no idea why coercion with FiniteField(2,4) works, but not with > FiniteFieldExtensionByPolynomial(PrimeField(2),?^4+?+1). > > Anyway, I'd suggest, that you try to use the most specific type that > works for you operation. If you try to find the most specific type > yourself (i.e. basically do the work of the interpreter), you'll > probably learn a lot how FriCAS works. But, of course, that will cost time.
Thanks Ralf, for your very helpful explanations. I will look into this further myself to see if I can pinpoint where it is going wrong, and post some kind of report. I am quite keen on learning more about FriCAS/Axiom, and helping out if I can, but as ever it is a question of free time -- or rather the lack of it. 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.
