header
TriSquare

Tag:
Edit edit   Starstar   Delete   Add Picture

Program Information

Name: TriSquare
Domain: Geometry
Functionality: Check whether 3 positive real numbers could construct a triangle.
Input: A,B,C:The three sides of a triangle(Type: Integer)
Output: T: The square of the triangle(Type:Double

Reference





MR Information

MR1------

Description:
Property:
Source input: $A_s,B_s,C_s$
Source output: $T_s$
Follow-up input: $A_f,B_f,C_f$
Follow-up output: $T_f$
Input relation: $A_f = B_s$ $B_f = A_s$ $C_f = C_s$ $A_s+B_s>C_s\&A_s+C_s>B_s\&B_s+C_s>A_s$
Output relation: $T_f=T_s$
Pattern:

MR2------

Description:
Property:
Source input: $A_s,B_s,C_s$
Source output: $T_s$
Follow-up input: $A_f,B_f,C_f$
Follow-up output: $T_f$
Input relation: $A_f = A_s$ $B_f = C_s$ $C_f = B_s$ $A_s+B_s>C_s\&A_s+C_s>B_s\&B_s+C_s>A_s$
Output relation: $T_f=T_s$
Pattern:

MR3------

Description:
Property:
Source input: $A_s,B_s,C_s$
Source output: $T_s$
Follow-up input: $A_f,B_f,C_f$
Follow-up output: $T_f$
Input relation: $A_f = C_s$ $B_f = B_s$ $C_f = A_s$ $A_s+B_s>C_s\&A_s+C_s>B_s\&B_s+C_s>A_s$
Output relation: $T_f=T_s$
Pattern:
Insert title here