Question: A. Design a 2Dpoint with x and y coordinates that are Integer numbers. B. Design a type to model a triangle as three vertices each

A. Design a 2Dpoint with x and y coordinates that are Integer numbers.

B. Design a type to model a triangle as three vertices each of which are 2DPoints.

C. Write an axiom to make sure that the three vertices model the triangle are not equal.

Provide your answers using the following RSL format.

type 2DPoint = YOUR ANSWER HERE

Triangle = YOUR ANSWER HERE

Axim YOUR ANSWER HERE

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Q:

A. Design a type to model a 2DPoint with x and y coordinates that are Complex numbers. B. Design a type to model a line as two points at the beginning and start of the line. C. Write an axiom to make...

Q:

Let i and j be positive integers. (i) Prove that there exist natural numbers a and b such that ai = bj+gcd(i, j). You may use standard results provided that you state them clearly. [4 marks] (ii) Let...

Q:

Data gistrun sending inside a pack fills in as conventional allowing subordinate rules to execute on progressive clock cycles. Correspondence between gatherings conventionally causes a surprising...

Q:

Objective In this assignment, you will practice solving a problem using object-oriented programming techniques in Java; specifically, you will use the concept of object composition. Basically, you...

Q:

Would you please help in doing this homework. Objective In this assignment, you will practice solving a problem using object-oriented programming techniques in Java; specifically, you will use the...

Q:

UNDERSTAND PRACTICE 10. Error Analysis Kendall was asked to find 16. Trace ABCD and point P. the scale factor for the dilation. What is Draw the dilation of Kendall's error? ABCD using P as the...

Q:

lup ] (d) Show how a generating (or "mother") wavelet (x) can spawn a family of "daughter" wavelets jk(x) by simple shifting and scaling operations, and explain the advantages of representing...

Q:

Can I get some help in JAVA , i uploaded starter code, the subclasses that should be done, and the detailed question 4 5 public class Main 6 public static void main(String[] args) Shape snew Shape...

Q:

s sf Define the terms opaque type and concrete type. [5 marks] The following is a shortened version of one of the definition modules described in the Modula-2 user manual: Provide a suitable...

Q:

State what is meant by a directed graph and a strongly connected component. Illustrate your description by giving an example of such a graph with 8 vertices and 12 edges that has three strongly...

Q:

Calculate (t) when k(t) = 4t^3/((t^4 + 4)^(3/2)) r(t) = (2t,-6, 1t)

Q:

Bushman and colleagues reference Abraham Lincoln in their experiment on aggression in married couples where he noted that aggressive behavior and damage caused by intimate partners primarily result...

Q:

What is the Phillips curve? Why is it important to policymakers?

Q:

5. Develop a scenario comparing two PH programs and involving the use of a CBA.

Q:

A Many social movements benefit from social networks, but is it fair to credit electronic communication with bringing about social change? How did groups like the American civil rights movement...

Q:

Additional Factors Affecting Group Communication?

Q:

Have you ever been excessively quiet or shy in a group? Do you consider this behavior social loafing or do you feel that the situational or relational context is primarily to blame? Why?