Reply to thread

Message

<blockquote data-quote="FrogReaver" data-source="post: 7844686" data-attributes="member: 6795602">The traditional hp abstraction has important properties that your modified hp abstraction does not possess.Unless you can show a mapping of the important properties in the traditional hp abstraction onto your modified hp abstraction then structurally they are different abstractions.Perhaps a similar mathematical example will help...Consider the set of all positive integers.&nbsp; Now consider the set of all positive even integers.&nbsp; The properties of set of all positive integers are different than the set of all positive even integers.&nbsp; Consider division by 2.&nbsp; Fact: There exists some integer A in the set of all positive integers such that A divided by 2 is not an integer.&nbsp; This is not the case with the set of all even integers.&nbsp; Thus there is an important difference in the properties of the sets of all positive integers and all even integers.The point of this exercise is to show you that a subset of a set can exhibit certain properties that are different than the original set.&nbsp; This is also the case with abstractions of hp.&nbsp; Just because you are picking some of the properties of the original hp abstraction doesn't mean that the properties of the new hp abstraction based on that subset of properties is the same.Perhaps a similar computer science example will help....In code you have a class.&nbsp; That class gets called in your actual program and it instantiates an object based on that class.&nbsp; There can be any number of objects created all with different parameters defined by the class.&nbsp; However, changing the code for the class to allow for some subset of objects to be instantiated that included in the possible objects instantiated by the original class doesn't make the 2 classes equivalent.</blockquote>

[QUOTE="FrogReaver, post: 7844686, member: 6795602"] The traditional hp abstraction has important properties that your modified hp abstraction does not possess. Unless you can show a mapping of the important properties in the traditional hp abstraction onto your modified hp abstraction then structurally they are different abstractions. Perhaps a similar mathematical example will help... Consider the set of all positive integers. Now consider the set of all positive even integers. The properties of set of all positive integers are different than the set of all positive even integers. Consider division by 2. Fact: There exists some integer A in the set of all positive integers such that A divided by 2 is not an integer. This is not the case with the set of all even integers. Thus there is an important difference in the properties of the sets of all positive integers and all even integers. The point of this exercise is to show you that a subset of a set can exhibit certain properties that are different than the original set. This is also the case with abstractions of hp. Just because you are picking some of the properties of the original hp abstraction doesn't mean that the properties of the new hp abstraction based on that subset of properties is the same. Perhaps a similar computer science example will help.... In code you have a class. That class gets called in your actual program and it instantiates an object based on that class. There can be any number of objects created all with different parameters defined by the class. However, changing the code for the class to allow for some subset of objects to be instantiated that included in the possible objects instantiated by the original class doesn't make the 2 classes equivalent. [/QUOTE]

Verification