NUMERIC (interface) - Revision history

Conaclos: syntax updated

2013-04-26T21:28:04Z

syntax updated

← Older revision		Revision as of 21:28, 26 April 2013
Line 5:		Line 5:

	<code>		<code>
	~~indexing~~		note
	description: "Objects to which numerical operations are applicable";		description: "Objects to which numerical operations are applicable";
	note: "The model is that of a ring with identity."		note: "The model is that of a ring with identity."

Juliant: /* Class Interface */ typo in invariant

2006-11-28T19:11:59Z

Class Interface: typo in invariant

← Older revision		Revision as of 19:11, 28 November 2006
Line 4:		Line 4:
	==Class Interface==		==Class Interface==

	<code>~~[eiffel,N]~~		<code>
	indexing		indexing
	description: "Objects to which numerical operations are applicable";		description: "Objects to which numerical operations are applicable";
Line 108:		Line 108:
	self_subtraction: not is_special_case implies equal (Current - Current, zero);		self_subtraction: not is_special_case implies equal (Current - Current, zero);
	neutral_multiplication: not is_special_case implies equal (Current * one, Current);		neutral_multiplication: not is_special_case implies equal (Current * one, Current);
	self_division: divisible not is_special_case implies (Current) implies equal (Current / Current, one)		self_division: divisible not is_special_case implies divisible (Current) implies equal (Current / Current, one)

	</code>		</code>

Juliant at 17:38, 22 November 2006

2006-11-22T17:38:37Z

← Older revision		Revision as of 17:38, 22 November 2006
Line 7:		Line 7:
	indexing		indexing
	description: "Objects to which numerical operations are applicable";		description: "Objects to which numerical operations are applicable";
	note: "The model is that of a ~~commutative~~ ring."		note: "The model is that of a ring with identity."

	deferred class interface NUMERIC		deferred class interface NUMERIC

Juliant at 17:19, 22 November 2006

2006-11-22T17:19:57Z

← Older revision		Revision as of 17:19, 22 November 2006
Line 40:		Line 40:

	is_special_case: BOOLEAN		is_special_case: BOOLEAN
	-- Is current object an special case regarding numeric operations?		-- Is current object a special case regarding numeric operations?
	-- Special cases are cases where normal mathematical rules don't		-- Special cases are cases where normal mathematical rules don't
	-- apply. Mostly this happens because of the binary represantation		-- apply. Mostly this happens because of the binary represantation

Juliant at 17:02, 22 November 2006

2006-11-22T17:02:02Z

← Older revision		Revision as of 17:02, 22 November 2006
Line 1:		Line 1:
	[[Category:ELKS]]		[[Category:ELKS]]
			__TOC__

			==Class Interface==

			<code>[eiffel,N]
			indexing
			description: "Objects to which numerical operations are applicable";
			note: "The model is that of a commutative ring."

			deferred class interface NUMERIC

			feature -- Access

			one: like Current
			-- Neutral element for "*" and "/"
			deferred
			ensure
			Result_exists: Result /= Void

			zero: like Current
			-- Neutral element for "+" and "-"
			deferred
			ensure
			Result_exists: Result /= Void

			feature -- Status report

			divisible (other: like Current): BOOLEAN
			-- May current object be divided by other?
			require
			other_exists: other /= Void
			deferred

			exponentiable (other: NUMERIC): BOOLEAN
			-- May current object be elevated to the power other?
			require
			other_exists: other /= Void
			deferred

			is_special_case: BOOLEAN
			-- Is current object an special case regarding numeric operations?
			-- Special cases are cases where normal mathematical rules don't
			-- apply. Mostly this happens because of the binary represantation
			-- of the numeric.
			deferred

			feature -- Basic operations

			infix "+" (other: like Current): like Current
			-- Sum with other (commutative).
			require
			other_exists: other /= Void
			deferred
			ensure
			result_exists: Result /= Void;
			commutative: equal (Result, other + Current)

			infix "-" (other: like Current): like Current
			-- Result of subtracting other
			require
			other_exists: other /= Void
			deferred
			ensure
			result_exists: Result /= Void

			infix "*" (other: like Current): like Current
			-- Product by other
			require
			other_exists: other /= Void
			deferred
			ensure
			result_exists: Result /= Void

			infix "/" (other: like Current): like Current
			-- Division by other
			require
			other_exists: other /= Void;
			good_divisor: divisible (other)
			deferred
			ensure
			result_exists: Result /= Void

			infix "^" (other: NUMERIC): NUMERIC
			-- Current object to the power other
			require
			other_exists: other /= Void;
			good_exponent: exponentiable (other)
			deferred
			ensure
			result_exists: Result /= Void

			prefix "+": like Current
			-- Unary plus
			deferred
			ensure
			result_exists: Result /= Void

			prefix "-": like Current
			-- Unary minus
			deferred
			ensure
			result_exists: Result /= Void

			invariant

			neutral_addition: not is_special_case implies equal (Current + zero, Current);
			self_subtraction: not is_special_case implies equal (Current - Current, zero);
			neutral_multiplication: not is_special_case implies equal (Current * one, Current);
			self_division: divisible not is_special_case implies (Current) implies equal (Current / Current, one)

			</code>

			==Changes to ELKS 95==

			new features:
			* is_special_case

			changed invariants:
			* all

Juliant at 00:50, 18 November 2006

2006-11-18T00:50:56Z

New page

[[Category:ELKS]]