28 lines
591 B
Plaintext
28 lines
591 B
Plaintext
IMPLEMENTATION Solve
|
|
|
|
IMPORT Real COMPLETELY
|
|
IMPORT BOOL ONLY true false
|
|
|
|
DEF triangleArea == \\a,b,c. LET
|
|
s == (a+b+c)/2
|
|
IN
|
|
sqrt(s * (s-a) * (s-b) * (s-c))
|
|
|
|
DEF qsolve == \\o,p,q.
|
|
IF o |= 0
|
|
THEN (0-(p/(2*o))+sqrt(((p/(2*o)) pow 2)-(q/o)),0-(p/(2*o))-sqrt(((p/(2*o)) pow 2)-(q/o)))
|
|
FI
|
|
|
|
DEF qunique? == \\o,p,q.
|
|
LET (a, b) == qsolve(o,p,q)
|
|
IN
|
|
IF a=b
|
|
THEN true ELSE false
|
|
FI
|
|
|
|
DEF qunique2? == \\o,p,q.
|
|
IF a=b
|
|
WHERE (a,b) == qsolve(o,p,q)
|
|
THEN true ELSE false
|
|
FI
|