Commit 382bfbc0 authored by josd's avatar josd

retest

parent 6e1609ef
......@@ -14,10 +14,10 @@ PREFIX ccd: <http://josd.github.io/eye/reasoning/ccd#>
?A list:member (?F ?G ?J ?K).
?SCOPE e:optional {
?J math:equalTo 0.
("-pi*log(_I)" ?I) e:calculate ?H.
("log(1/_I)-log(_K)" ?I ?K) e:calculate ?H.
}, {
?K math:equalTo 0.
("pi*log(_I)" ?I) e:calculate ?H.
("log(_J)-log(1/_I)" ?J ?I) e:calculate ?H.
}, {
?J math:notEqualTo 0.
?K math:notEqualTo 0.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment