class
	BIG_INTEGER

General
	cluster: mathmodels
	description: 
		"An arbitrary precision library for integer numbers.
		
		Creation
		make_from_string,
		make_from_integer64,
		make_from_integer32,
		
		Queries
		absolute: BIG_INTEGER
		as_integer32: INTEGER
		as_integer64: INTEGER
		divide (other: BIG_INTEGER): BIG_INTEGER
		gcd (other: BIG_INTEGER): BIG_INTEGER
		is_equal (other: BIG_INTEGER): BOOLEAN
		is_greater alias %">%" (other: [like Current] BIG_INTEGER): BOOLEAN
		is_greater_equal alias %">=%" (other: [like Current] BIG_INTEGER): BOOLEAN
		is_less alias %"<%" (other: BIG_INTEGER): BOOLEAN
		is_less_equal alias %"<=%" (other: [like Current] BIG_INTEGER): BOOLEAN
		max (other: [like Current] BIG_INTEGER): [like Current] BIG_INTEGER
		min (other: [like Current] BIG_INTEGER): [like Current] BIG_INTEGER
		minus alias %"-%" (other: BIG_INTEGER): BIG_INTEGER
		opposite alias %"-%": BIG_INTEGER
		out: STRING
		plus alias %"+%" (other: BIG_INTEGER): BIG_INTEGER
		power alias %"^%" (other: INTEGER): BIG_INTEGER
		product alias %"*%" (other: BIG_INTEGER): BIG_INTEGER
		quotient alias %"//%" (other: BIG_INTEGER): BIG_INTEGER
		remainder alias %"\\%" (other: BIG_INTEGER): BIG_INTEGER
		square: BIG_INTEGER"
	create: make_from_string, make_from_integer64, make_from_integer32, default_create

Ancestors
	COMPARABLE*

Queries
	absolute: BIG_INTEGER
	as_integer32: INTEGER_32
	as_integer64: INTEGER_64
	divide (other: BIG_INTEGER): BIG_INTEGER
	divisible (other: BIG_INTEGER): BOOLEAN
	exp (other: INTEGER_32): BIG_INTEGER
	gcd (other: BIG_INTEGER): BIG_INTEGER
	identity alias "+": BIG_INTEGER
	is_equal (other: BIG_INTEGER): BOOLEAN
	is_greater alias ">" (other: [like Current] BIG_INTEGER): BOOLEAN
	is_greater_equal alias ">=" (other: [like Current] BIG_INTEGER): BOOLEAN
	is_integer: BOOLEAN
	is_less alias "<" (other: BIG_INTEGER): BOOLEAN
	is_less_equal alias "<=" (other: [like Current] BIG_INTEGER): BOOLEAN
	is_natural: BOOLEAN
	is_natural1: BOOLEAN
	is_string_int (s: STRING_8): BOOLEAN
	max (other: [like Current] BIG_INTEGER): [like Current] BIG_INTEGER
	min (other: [like Current] BIG_INTEGER): [like Current] BIG_INTEGER
	minus alias "-" (other: BIG_INTEGER): BIG_INTEGER
	one: BIG_INTEGER
	opposite alias "-": BIG_INTEGER
	out: STRING_8
	plus alias "+" (other: BIG_INTEGER): BIG_INTEGER
	power alias "^" (other: INTEGER_32): BIG_INTEGER
	product alias "*" (other: BIG_INTEGER): BIG_INTEGER
	quotient alias "//" (other: BIG_INTEGER): BIG_INTEGER
	remainder alias "\\" (other: BIG_INTEGER): BIG_INTEGER
	square: BIG_INTEGER
	subtract (other: BIG_INTEGER): BIG_INTEGER
	three_way_comparison (other: [like Current] BIG_INTEGER): INTEGER_32
	zero: BIG_INTEGER

Commands
	negate

Constraints

Generated by ISE EiffelStudio