class
	DECIMAL

General
	cluster: mathmodels
	description: 
		"An arbitrary precision library for decimal numbers. 
		Following the 'General Decimal Arithmetic Specification' of gobo MA_DECIMAL.
		
		Creation
		make_from_string
		make_from_decimal
		make_from_int
		make_from_big_int
		make_from_rational
		
		Queries
		as_big_int: BIG_INTEGER
		as_rational: RATIONAL
		as_real32: REAL_32
		as_real64: REAL_64
		exp alias %"^%" (power: DECIMAL): DECIMAL
		identity alias %"+%": DECIMAL
		is_equal (other: DECIMAL): BOOLEAN
		is_greater alias %">%" (other: DECIMAL): BOOLEAN
		is_greater_equal alias %">=%" (other: DECIMAL): BOOLEAN
		is_integer: BOOLEAN
		is_less alias %"<%" (other: DECIMAL): BOOLEAN
		is_less_equal alias %"<=%" (other: DECIMAL): BOOLEAN
		is_natural: BOOLEAN
		is_natural1: BOOLEAN
		is_negative: BOOLEAN
		is_real32: BOOLEAN
		is_real64: BOOLEAN
		max (other: DECIMAL): DECIMAL
		min (other: DECIMAL): DECIMAL
		minus alias %"-%" (other: DECIMAL): DECIMAL
		one: DECIMAL
		opposite alias %"-%": DECIMAL
		out: STRING
		plus alias %"+%" (other: DECIMAL): DECIMAL
		precise_out: STRING
		precise_out_to (digits: INTEGER): STRING
		product alias %"*%" (other: DECIMAL): DECIMAL
		quotient alias %"/%" (other: DECIMAL): DECIMAL
		sqrt: DECIMAL
		round_to (digits: INTEGER): DECIMAL
		zero: DECIMAL
		
		Commands
		round (digits: INTEGER)
		set_precision (precision: INTEGER)"
	create: make_from_string, make_from_decimal, make_from_int, default_create, make_from_string_ctx, make_with_precision, make_from_big_int, make_from_rational

Ancestors
	COMPARABLE*
	DEBUG_OUTPUT*

Queries
	absolute: DECIMAL
	add (other: DECIMAL): DECIMAL
	as_big_int: BIG_INTEGER
	as_rational: RATIONAL
	as_real32: REAL_32
	as_real64: REAL_64
	ceiling: DECIMAL
	debug_output: STRING_8
	divide (other: DECIMAL): DECIMAL
	divisible (other: DECIMAL): BOOLEAN
	exp alias "^" (p: DECIMAL): DECIMAL
	exponent (p: DECIMAL): DECIMAL
	exponentiable (other: DECIMAL): BOOLEAN
	floor: DECIMAL
	get_precision: INTEGER_32
	identity alias "+": DECIMAL
	is_equal (other: DECIMAL): BOOLEAN
	is_greater alias ">" (other: [like Current] DECIMAL): BOOLEAN
	is_greater_equal alias ">=" (other: [like Current] DECIMAL): BOOLEAN
	is_integer: BOOLEAN
	is_less alias "<" (other: DECIMAL): BOOLEAN
	is_less_equal alias "<=" (other: [like Current] DECIMAL): BOOLEAN
	is_natural: BOOLEAN
	is_natural1: BOOLEAN
	is_negative: BOOLEAN
	is_real32: BOOLEAN
	is_real64: BOOLEAN
	max (other: [like Current] DECIMAL): [like Current] DECIMAL
	min (other: [like Current] DECIMAL): [like Current] DECIMAL
	minus alias "-" (other: DECIMAL): DECIMAL
	multiply (other: DECIMAL): DECIMAL
	one: DECIMAL
	opposite alias "-": DECIMAL
	out: STRING_8
	plus alias "+" (other: DECIMAL): DECIMAL
	power (p: DECIMAL): DECIMAL
	precise_out: STRING_8
	precise_out_to (digits: INTEGER_32): STRING_8
	product alias "*" (other: DECIMAL): DECIMAL
	quotient alias "/" (other: DECIMAL): DECIMAL
	round_to (digits: INTEGER_32): DECIMAL
	sqrt: DECIMAL
	subtract (other: DECIMAL): DECIMAL
	three_way_comparison (other: [like Current] DECIMAL): INTEGER_32
	zero: DECIMAL

Commands
	negate
	reset_precision
	round (digits: INTEGER_32)
	set_precision (precision: INTEGER_32)

Constraints
	consistent rounding


Generated by ISE EiffelStudio