Hello,

I'm just looking at axiom again after some years, and I've run into a
little conundrum.  I have two objects, an element u of the finite field
FF(7,4), and the defining polynomial f of that field.  Thus:

(67) -> u
(67) ->
            3      2
   (67)  5%A  + 5%A  + %A
                                                       Type:
FiniteField(7,4)
68) -> f
(68) ->
          4
   (68)  ?  + ? + 1
                                Type: SparseUnivariatePolynomial PrimeField
7

What I want to do is to coerce both objects to polynomials over PF 7, so
that I can factorize the result.  I want something like

(69) -> factor(5*b^3+5*b^2+b+b^4+b+1::POLY PF 7)
(69) ->
   (69)  (b + 1)(b + 2)(b + 3)(b + 6)
                                       Type: Factored Polynomial PrimeField
7

But how can I obtain the polynomial in expression (69) without typing it
in; that is, from u and f directly?

Thanks,
Alasdair

-- 
Blog: http://amca01.wordpress.com
Web:  http://sites.google.com/site/amca01/
Facebook: http://www.facebook.com/alasdair.mcandrew
_______________________________________________
Axiom-developer mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to