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
compare(o:SAME):INT
copy:SAME
create(i:INT):SAME
create(i:INT, base:INT):SAME
create(i:INTI):SAME
div(o:SAME):SAME
div(i:INT):SAME
hash:INT
inspect:STR
int:INT
inti:INTI
inverse:SAME
is_eq(o:SAME):BOOL
is_eq(arg: $OB): BOOL
.. Included as is_eq
****
Overloaded version of the is_eq routine that works with an argument
of any type. If the type of the 'arg' is not the same as they
type of 'self' then return false. Otherwise, deletegate to
the 'real' is_eq(SAME):BOOL routine
is_lt(o:SAME):BOOL
is_one:BOOL
is_zero:BOOL
minus(o:SAME):SAME
minus(o:INT):SAME
negate:SAME
one:SAME
plus(o:SAME):SAME
plus(o:INT):SAME
pow(i:INT):SAME
set_base(base:INT)
sign:INT
str:STR
times(o:SAME):SAME
times(o:INT):SAME
zero:SAME
Iters
up!:SAME
****
Yield successive from self to `p-1'.
The Sather Home Page