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