Re: [Axiom-developer] A quick question about finite fields and

2012-04-17 Thread Waldek Hebisch
Alasdair McAndrew wrote: > > 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 >

Re: [Axiom-developer] A quick question about finite fields and polynomials

2012-04-17 Thread Ralf Hemmecke
I'm using FriCAS here, but AXIOM should most probably be the same. Ralf (1) -> p := 7 (1) 7 Type: PositiveInteger (2) -> P := PrimeField p (2) PrimeField(7) Type: Type (3) -> F := FiniteField(p,4) (3) FiniteField(7,4) Typ

[Axiom-developer] A quick question about finite fields and polynomials

2012-04-17 Thread Alasdair McAndrew
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