class MUTABLE_BIG_INTEGER
Summary
Overview
creation features
  • from_integer (value: INTEGER_32)
    Create or initialize Current using value as an initializer.
  • from_integer_64 (value: INTEGER_64)
    Create or set Current using value as an initializer.
  • from_string (str: STRING)
    Create or initialize Current using value as an initializer.
  • copy (other: MUTABLE_BIG_INTEGER)
    Update current object using fields of object attached to other, so as to yield equal objects.
exported features
Creation / initialization from INTEGER_32 or INTEGER_64:
Creation / initialization from STRING:
  • from_string (str: STRING)
    Create or initialize Current using value as an initializer.
Conversion tool
  • force_to_real_64: REAL_64
    only a tool unsigned conversion *** require ou changer export ? *** (Dom Oct 4th 2004) ***
Addition:
  • add (other: MUTABLE_BIG_INTEGER)
    Add other into Current.
  • add_to (other: MUTABLE_BIG_INTEGER, res: MUTABLE_BIG_INTEGER)
    Add other and Current, and put the result in res.
  • add_integer (other: INTEGER_32)
    Add other into Current.
  • add_integer_64 (other: INTEGER_64)
    Add other into Current.
  • add_natural (other: MUTABLE_BIG_INTEGER)
    Same behavior as add, but this one works only when Current and other are both positive numbers and are both greater than zero.
Subtract:
To divide:
  • divide (other: MUTABLE_BIG_INTEGER)
    Put the the quotient of the Euclidian division of Current by other in Current.
  • mod (other: MUTABLE_BIG_INTEGER)
    Put the the remainder of the Euclidian division of Current by other in Current.
  • divide_with_remainder_to (other: MUTABLE_BIG_INTEGER, remainder: MUTABLE_BIG_INTEGER)
    Euclidian division.
  • remainder_with_quotient_to (other: MUTABLE_BIG_INTEGER, quotient: MUTABLE_BIG_INTEGER)
    Euclidian division.
  • divide_to (other: MUTABLE_BIG_INTEGER, quotient: MUTABLE_BIG_INTEGER, remainder: MUTABLE_BIG_INTEGER)
    Euclidian division.
  • shift_left (n: INTEGER_32)
    Shift bits of magnitude by n position left.
  • shift_right (n: INTEGER_32)
    Right shift Current n bits.
GCD
  • gcd (other: MUTABLE_BIG_INTEGER)
    Compute GCD of Current and other.
To multiply:
  • multiply (other: MUTABLE_BIG_INTEGER)
    Multiply Current by other.
  • multiply_to (other: MUTABLE_BIG_INTEGER, res: MUTABLE_BIG_INTEGER)
    Multiply the contents of Current and other and place the result in res.
  • multiply_integer (other: INTEGER_32, res: MUTABLE_BIG_INTEGER)
    Multiply the contents of Current and other and place the result in res.
Comparison:
Printing:
Miscellaneous:
  • negate
    Negate the sign of Current.
  • abs
    Absolute value of Current.
  • sign: INTEGER_8
    Sign of Current (0 -1 or 1).
  • set_with_zero
  • hash_code: INTEGER_32
    The hash-code value of Current.
  • copy (other: MUTABLE_BIG_INTEGER)
    Update current object using fields of object attached to other, so as to yield equal objects.
  • swap_with (other: MUTABLE_BIG_INTEGER)
    Swap the value of Current with the value of other.
  • infix "<=" (other: MUTABLE_BIG_INTEGER): BOOLEAN
    Is Current less than or equal other?
  • infix ">" (other: MUTABLE_BIG_INTEGER): BOOLEAN
    Is Current strictly greater than other?
  • infix ">=" (other: MUTABLE_BIG_INTEGER): BOOLEAN
    Is Current greater than or equal than other?
  • in_range (lower: MUTABLE_BIG_INTEGER, upper: MUTABLE_BIG_INTEGER): BOOLEAN
    Return True if Current is in range [lower..upper]
    See also min, max, compare.
  • compare (other: MUTABLE_BIG_INTEGER): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • three_way_comparison (other: MUTABLE_BIG_INTEGER): INTEGER_32
    If current object equal to other, 0 if smaller, -1; if greater, 1.
  • min (other: MUTABLE_BIG_INTEGER): MUTABLE_BIG_INTEGER
    Minimum of Current and other.
  • max (other: MUTABLE_BIG_INTEGER): MUTABLE_BIG_INTEGER
    Maximum of Current and other.
from_integer (value: INTEGER_32)
effective procedure
Create or initialize Current using value as an initializer.
is_integer_32: BOOLEAN
effective function
Does Current fit on an INTEGER_32?
is_integer: BOOLEAN
effective function
to_integer_32: INTEGER_32
effective function
Convert Current as a 32 bit INTEGER.
to_integer: INTEGER_32
effective function
from_integer_64 (value: INTEGER_64)
effective procedure
Create or set Current using value as an initializer.
is_integer_64: BOOLEAN
effective function
Does Current fit on an INTEGER_64?
to_integer_64: INTEGER_64
effective function
Convert Current as a INTEGER_64.
from_string (str: STRING)
effective procedure
Create or initialize Current using value as an initializer.
force_to_real_64: REAL_64
effective function
only a tool unsigned conversion *** require ou changer export ? *** (Dom Oct 4th 2004) ***
add (other: MUTABLE_BIG_INTEGER)
effective procedure
Add other into Current.
add_to (other: MUTABLE_BIG_INTEGER, res: MUTABLE_BIG_INTEGER)
effective procedure
Add other and Current, and put the result in res.
add_integer (other: INTEGER_32)
effective procedure
Add other into Current.
add_integer_64 (other: INTEGER_64)
effective procedure
Add other into Current.
add_natural (other: MUTABLE_BIG_INTEGER)
effective procedure
Same behavior as add, but this one works only when Current and other are both positive numbers and are both greater than zero.
subtract (other: MUTABLE_BIG_INTEGER)
effective procedure
Subtract other from Current.
subtract_to (other: MUTABLE_BIG_INTEGER, res: MUTABLE_BIG_INTEGER)
effective procedure
Subtract other from Current and put it in res.
subtract_integer (other: INTEGER_32)
effective procedure
divide (other: MUTABLE_BIG_INTEGER)
effective procedure
Put the the quotient of the Euclidian division of Current by other in Current.
mod (other: MUTABLE_BIG_INTEGER)
effective procedure
Put the the remainder of the Euclidian division of Current by other in Current.
divide_with_remainder_to (other: MUTABLE_BIG_INTEGER, remainder: MUTABLE_BIG_INTEGER)
effective procedure
Euclidian division.
remainder_with_quotient_to (other: MUTABLE_BIG_INTEGER, quotient: MUTABLE_BIG_INTEGER)
effective procedure
Euclidian division.
divide_to (other: MUTABLE_BIG_INTEGER, quotient: MUTABLE_BIG_INTEGER, remainder: MUTABLE_BIG_INTEGER)
effective procedure
Euclidian division.
shift_left (n: INTEGER_32)
effective procedure
Shift bits of magnitude by n position left.
shift_right (n: INTEGER_32)
effective procedure
Right shift Current n bits.
gcd (other: MUTABLE_BIG_INTEGER)
effective procedure
Compute GCD of Current and other.
multiply (other: MUTABLE_BIG_INTEGER)
effective procedure
Multiply Current by other.
multiply_to (other: MUTABLE_BIG_INTEGER, res: MUTABLE_BIG_INTEGER)
effective procedure
Multiply the contents of Current and other and place the result in res.
multiply_integer (other: INTEGER_32, res: MUTABLE_BIG_INTEGER)
effective procedure
Multiply the contents of Current and other and place the result in res.
is_zero: BOOLEAN
effective function
Is it 0?
is_one: BOOLEAN
effective function
Is it 1?
is_one_negative: BOOLEAN
effective function
Is it -1 ?
is_negative: BOOLEAN
effective function
Is Current negative integer?
is_positive: BOOLEAN
effective function
Is Current positive integer?
is_even: BOOLEAN
effective function
Is Current even?
is_odd: BOOLEAN
effective function
Is Current odd?
is_equal (other: MUTABLE_BIG_INTEGER): BOOLEAN
effective function
Is other attached to an object considered equal to current object?
infix "<" (other: MUTABLE_BIG_INTEGER): BOOLEAN
effective function
Is Current strictly less than other?
abs_compare (other: MUTABLE_BIG_INTEGER): INTEGER_32
effective function
Compare the magnitude of Current and other.
to_string: STRING
effective function
The decimal view of Current into a new allocated STRING.
to_unicode_string: UNICODE_STRING
effective function
The decimal view of Current into a new allocated UNICODE_STRING.
append_in (buffer: STRING)
effective procedure
Append in the buffer the equivalent of to_string.
append_in_unicode (buffer: UNICODE_STRING)
effective procedure
Append in the buffer the equivalent of to_string.
to_string_format (s: INTEGER_32): STRING
effective function
Same as to_string but the result is on s character and the number is right aligned.
to_unicode_string_format (s: INTEGER_32): UNICODE_STRING
effective function
Same as to_unicode_string but the result is on s character and the number is right aligned.
append_in_format (str: STRING, s: INTEGER_32)
effective procedure
Append the equivalent of to_string_format at the end of str.
append_in_unicode_format (str: UNICODE_STRING, s: INTEGER_32)
effective procedure
Append the equivalent of to_unicode_string_format at the end of str.
is_printable: BOOLEAN
effective function
True if decimal view of Current is short enougth to be put in a STRING.
out_in_tagged_out_memory
effective procedure
Append terse printable represention of current object in tagged_out_memory.
fill_tagged_out_memory
effective procedure
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
negate
effective procedure
Negate the sign of Current.
abs
effective procedure
Absolute value of Current.
sign: INTEGER_8
effective function
Sign of Current (0 -1 or 1).
set_with_zero
effective procedure
hash_code: INTEGER_32
effective function
The hash-code value of Current.
copy (other: MUTABLE_BIG_INTEGER)
effective procedure
Update current object using fields of object attached to other, so as to yield equal objects.
swap_with (other: MUTABLE_BIG_INTEGER)
effective procedure
Swap the value of Current with the value of other.
infix "<=" (other: MUTABLE_BIG_INTEGER): BOOLEAN
effective function
Is Current less than or equal other?
infix ">" (other: MUTABLE_BIG_INTEGER): BOOLEAN
effective function
Is Current strictly greater than other?
infix ">=" (other: MUTABLE_BIG_INTEGER): BOOLEAN
effective function
Is Current greater than or equal than other?
in_range (lower: MUTABLE_BIG_INTEGER, upper: MUTABLE_BIG_INTEGER): BOOLEAN
effective function
Return True if Current is in range [lower..upper]
See also min, max, compare.
compare (other: MUTABLE_BIG_INTEGER): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
three_way_comparison (other: MUTABLE_BIG_INTEGER): INTEGER_32
effective function
If current object equal to other, 0 if smaller, -1; if greater, 1.
min (other: MUTABLE_BIG_INTEGER): MUTABLE_BIG_INTEGER
effective function
Minimum of Current and other.
max (other: MUTABLE_BIG_INTEGER): MUTABLE_BIG_INTEGER
effective function
Maximum of Current and other.