MathGroup Archive 2002

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: finite fields

  • To: mathgroup at smc.vnet.net
  • Subject: [mg32790] Re: [mg32764] finite fields
  • From: Andrzej Kozlowski <andrzej at tuins.ac.jp>
  • Date: Sat, 9 Feb 2002 23:39:36 -0500 (EST)
  • Sender: owner-wri-mathgroup at wolfram.com

Are you really sure this is all you did? I can't reproduce your output 
and in my case everything works fine (Mathematica 4.1 for MacOS X).

In[1]:=
<<Algebra`FiniteFields`

In[2]:=
PowerList[GF[5,3]]

Out[2]=
{{1,0,0},{0,1,0},{0,0,1},{3,2,0},{0,3,2},{1,4,3},{4,2,4},{2,2,2},{1,1,2},
{1,0,
     
1},{3,3,0},{0,3,3},{4,1,3},{4,0,1},{3,1,0},{0,3,1},{3,2,3},{4,4,2},{1,3,
     
4},{2,4,3},{4,3,4},{2,2,3},{4,3,2},{1,3,3},{4,2,3},{4,0,2},{1,3,0},{0,1,
     
3},{4,1,1},{3,1,1},{3,0,1},{3,0,0},{0,3,0},{0,0,3},{4,1,0},{0,4,1},{3,2,
     
4},{2,1,2},{1,1,1},{3,3,1},{3,0,3},{4,4,0},{0,4,4},{2,3,4},{2,0,3},{4,3,
     
0},{0,4,3},{4,1,4},{2,2,1},{3,4,2},{1,2,4},{2,4,2},{1,1,4},{2,4,1},{3,4,
     
4},{2,1,4},{2,0,1},{3,4,0},{0,3,4},{2,3,3},{4,3,3},{4,0,3},{4,0,0},{0,4,
     
0},{0,0,4},{2,3,0},{0,2,3},{4,1,2},{1,3,1},{3,3,3},{4,4,3},{4,0,4},{2,2,
     
0},{0,2,2},{1,4,2},{1,0,4},{2,4,0},{0,2,4},{2,3,2},{1,1,3},{4,2,1},{3,1,
     
2},{1,2,1},{3,3,2},{1,2,3},{4,2,2},{1,3,2},{1,0,3},{4,2,0},{0,4,2},{1,4,
     
4},{2,4,4},{2,0,4},{2,0,0},{0,2,0},{0,0,2},{1,4,0},{0,1,4},{2,3,1},{3,4,
     
3},{4,4,4},{2,2,4},{2,0,2},{1,1,0},{0,1,1},{3,2,1},{3,0,2},{1,2,0},{0,1,
     
2},{1,4,1},{3,3,4},{2,1,3},{4,3,1},{3,1,3},{4,4,1},{3,1,4},{2,1,1},{3,4,
     1},{3,0,4},{2,1,0},{0,2,1},{3,2,2},{1,2,2},{1,0,2}}

There are indeed all 124 distinct non-zero elements here. Setting 
PowerListQ[GF[5,3]]=True makes no difference. Try it again with  fresh 
kernel.

with regards

Andrzej Kozlowski
Toyama International University
JAPAN
http://platon.c.u-tokyo.ac.jp/andrzej/

On Saturday, February 9, 2002, at 07:11  PM, Luis wrote:

> With the finite fields package PowerList is suppossed to produce the
> powers of a primitive root, and hence it is suppossed that it will
> appear exactly once all the not null elements of the field. It seems
> that sometimes it doesn't; may be there is something wrong in the
> program? For instance, for the field with 125 elements, with the input
> <<Algebra`FiniteFields`
> PowerListQ[GF[5,3]]=True
> PowerList[GF[5,3]]
>
>  I obtain the following output (observe that all elements in the list
> appear twice, and half the non null elements of the field doesn't appear
> at all):
> {{1,0,0},{0,1,0},{0,0,1},{4,0,4},{1,4,1},{4,1,3},{2,4,3},{2,2,1},{4,2,1},
> {4,4,
>
>
> 1},{4,4,3},{2,4,1},{4,2,3},{2,4,4},{1,2,0},{0,1,2},{3,0,4},{1,3,1},{4,1,
>
>
> 2},{3,4,4},{1,3,0},{0,1,3},{2,0,3},{2,2,2},{3,2,0},{0,3,2},{3,0,1},{4,3,
>
>
> 4},{1,4,4},{1,1,0},{0,1,1},{4,0,0},{0,4,0},{0,0,4},{1,0,1},{4,1,4},{1,4,
>
>
> 2},{3,1,2},{3,3,4},{1,3,4},{1,1,4},{1,1,2},{3,1,4},{1,3,2},{3,1,1},{4,3,
>
>
> 0},{0,4,3},{2,0,1},{4,2,4},{1,4,3},{2,1,1},{4,2,0},{0,4,2},{3,0,2},{3,3,
>
>
> 3},{2,3,0},{0,2,3},{2,0,4},{1,2,1},{4,1,1},{4,4,0},{0,4,4},{1,0,0},{0,1,
>
>
> 0},{0,0,1},{4,0,4},{1,4,1},{4,1,3},{2,4,3},{2,2,1},{4,2,1},{4,4,1},{4,4,
>
>
> 3},{2,4,1},{4,2,3},{2,4,4},{1,2,0},{0,1,2},{3,0,4},{1,3,1},{4,1,2},{3,4,
>
>
> 4},{1,3,0},{0,1,3},{2,0,3},{2,2,2},{3,2,0},{0,3,2},{3,0,1},{4,3,4},{1,4,
>
>
> 4},{1,1,0},{0,1,1},{4,0,0},{0,4,0},{0,0,4},{1,0,1},{4,1,4},{1,4,2},{3,1,
>
>
> 2},{3,3,4},{1,3,4},{1,1,4},{1,1,2},{3,1,4},{1,3,2},{3,1,1},{4,3,0},{0,4,
>
>
> 3},{2,0,1},{4,2,4},{1,4,3},{2,1,1},{4,2,0},{0,4,2},{3,0,2},{3,3,3},{2,3,
>
>     0},{0,2,3},{2,0,4},{1,2,1},{4,1,1},{4,4,0},{0,4,4}}
>  With kindest regards,
>  Luis.
>
>
>
>



  • Prev by Date: Re: FullSimplify doesn't simplify
  • Next by Date: Re: Re: Diophantic equations
  • Previous by thread: finite fields
  • Next by thread: Has the Mathematica/Adobe Acrobat 5.0 Math1 Font Screwup Been Fixed Yet?