Set of real numbers: Difference between revisions
Content added Content deleted
MaiconSoft (talk | contribs) (Remove "{{omit from|Delphi}}" tag and added Delphi example) |
m (→{{header|Phix}}: minor simplification (use %t)) |
||
Line 2,175: | Line 2,175: | ||
{"[0,2) n (1,2]", {0,0,0}, {Inter,{{ClOp,{0,2}},{OpCl,{1,2}}}}}, |
{"[0,2) n (1,2]", {0,0,0}, {Inter,{{ClOp,{0,2}},{OpCl,{1,2}}}}}, |
||
{"[0,3) - (0,1)", {1,1,1}, {Diffr,{{ClOp,{0,3}},{OpOp,{0,1}}}}}, |
{"[0,3) - (0,1)", {1,1,1}, {Diffr,{{ClOp,{0,3}},{OpOp,{0,1}}}}}, |
||
{"[0,3) - [0,1]", {0,0,1}, {Diffr,{{ClOp,{0,3}},{ClCl,{0,1}}}}}} |
{"[0,3) - [0,1]", {0,0,1}, {Diffr,{{ClOp,{0,3}},{ClCl,{0,1}}}}}} |
||
tf = {"True","False"} |
|||
for i=1 to length(s) do |
for i=1 to length(s) do |
||
Line 2,183: | Line 2,182: | ||
bool r = cf(method,x) |
bool r = cf(method,x) |
||
string error = iff(r!=expect[x+1]?"error":"") |
string error = iff(r!=expect[x+1]?"error":"") |
||
printf(1,"%d in %s : % |
printf(1,"%d in %s : %t %s\n", {x, desc, r, error}) |
||
end for |
end for |
||
printf(1,"\n") |
printf(1,"\n") |
||
Line 2,189: | Line 2,188: | ||
{{out}} |
{{out}} |
||
<pre> |
<pre> |
||
0 in (0,1] u [0,2) : |
0 in (0,1] u [0,2) : true |
||
1 in (0,1] u [0,2) : |
1 in (0,1] u [0,2) : true |
||
2 in (0,1] u [0,2) : |
2 in (0,1] u [0,2) : false |
||
0 in [0,2) n (1,2] : |
0 in [0,2) n (1,2] : false |
||
1 in [0,2) n (1,2] : |
1 in [0,2) n (1,2] : false |
||
2 in [0,2) n (1,2] : |
2 in [0,2) n (1,2] : false |
||
0 in [0,3) - (0,1) : |
0 in [0,3) - (0,1) : true |
||
1 in [0,3) - (0,1) : |
1 in [0,3) - (0,1) : true |
||
2 in [0,3) - (0,1) : |
2 in [0,3) - (0,1) : true |
||
0 in [0,3) - [0,1] : |
0 in [0,3) - [0,1] : false |
||
1 in [0,3) - [0,1] : |
1 in [0,3) - [0,1] : false |
||
2 in [0,3) - [0,1] : |
2 in [0,3) - [0,1] : true |
||
</pre> |
</pre> |
||
Extra credit - also translated from Go, but with an extended loop and crude summation, inspired by Java/Kotlin. |
Extra credit - also translated from Go, but with an extended loop and crude summation, inspired by Java/Kotlin. |