class FINITE_FIELD < $STR,$HASH,$IS_LT{FINITE_FIELD} |
---|
$IS_LT{_} | $IS_EQ | $HASH | $STR |
attr n, p:INT; |
---|
**** | n mod (p) |
attr n, p:INT; |
---|
**** | n mod (p) |
attr n, p:INT; |
---|
**** | n mod (p) |
attr n, p:INT; |
---|
**** | n mod (p) |
shared default_base:INT; |
---|
**** |
shared default_base:INT; |
---|
**** |
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_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 |
---|
up!:SAME |
---|
**** | Yield successive from self to `p-1'. |