class FINITE_FIELD < $STR,$HASH,$IS_LT{FINITE_FIELD}


Ancestors
$IS_LT{_} $IS_EQ $HASH $STR



Public


Readable Attributes
attr n, p:INT;
**** n mod (p)
attr n, p:INT;
**** n mod (p)

Writable Attributes
attr n, p:INT;
**** n mod (p)
attr n, p:INT;
**** n mod (p)

Readonly Shareds
shared default_base:INT;
****

Writable Shareds
shared default_base:INT;
****

Features
abs:SAME
card:CARD
compare(o:SAME):INT
copy:SAME
create(i:CARD):SAME
create(i:INT):SAME
create(i:INT, base:INT):SAME
create(i:INTI):SAME
div(i:CARD):SAME
div(o:SAME):SAME
div(i:INT):SAME
hash:CARD
inspect:STR
int:INT
inti:INTI
inverse:SAME
is_eq(o:SAME):BOOL
is_eq(other : $OB) : BOOL .. Included as is_eq
**** This is the generic equality predicate. c.f. the class $IS_EQ
is_lt(o:SAME):BOOL
is_one:BOOL
is_zero:BOOL
minus(o:CARD):SAME
minus(o:SAME):SAME
minus(o:INT):SAME
negate:SAME
one:SAME
plus(o:CARD):SAME
plus(o:SAME):SAME
plus(o:INT):SAME
pow(i:CARD):SAME
pow(i:INT):SAME
set_base(base:INT)
sgn:INT
str(lib : LIBCHARS) : STR
str:STR
times(o:CARD):SAME
times(o:SAME):SAME
times(o:INT):SAME
zero:SAME

Iters
for_all!:SAME
**** Yield successive from #(0) to #(p-1).
for_all_pos!:SAME
**** Yield successive from #(1) to #(p-1).
up!:SAME
**** Yield successive from self to `p-1'.

The Sather Home Page