NUMERIC (interface) - Revision history

Conaclos: syntax updated

2013-04-26T21:28:04Z

syntax updated

Juliant: /* Class Interface */ typo in invariant

2006-11-28T19:11:59Z

‎Class Interface: typo in invariant

Juliant at 17:38, 22 November 2006

2006-11-22T17:38:37Z

Juliant at 17:19, 22 November 2006

2006-11-22T17:19:57Z

Juliant at 17:02, 22 November 2006

2006-11-22T17:02:02Z

Juliant at 00:50, 18 November 2006

2006-11-18T00:50:56Z

New page

[[Category:ELKS]]

@@ Line 5: / Line 5: @@
 <code>
-indexing
+note
    description: "Objects to which numerical operations are applicable";
    note: "The model is that of a ring with identity."

@@ Line 4: / Line 4: @@
 ==Class Interface==
-<code>[eiffel,N]
+<code>
 indexing
    description: "Objects to which numerical operations are applicable";
@@ Line 108: / Line 108: @@
    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)
+   self_division: divisible not is_special_case implies divisible (Current) implies equal (Current / Current, one)
 </code>

@@ Line 7: / Line 7: @@
 indexing
    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

@@ Line 40: / Line 40: @@
    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
        -- apply. Mostly this happens because of the binary represantation

← 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