Enigma about Ladislav sameness
[1/13] from: rotenca:telvia:it at: 27-May-2002 23:53
Hi,
I have an enigma about Ladislav's mut-equal1? (from
http://www.rebolforces.com/~ladislav/evaluation.html)
b ;== "1"
string? b ;== true
identical? a b ;== false
same? a b ;== false
equal-state? a b ;== false
strict-equal? a b ;== false
equal? a b ;== false
and:
mut-equal? a b ;== false
But:
mut-equal1? a b ;== true
What is 'a?
---
Ciao
Romano
[2/13] from: anton:lexicon at: 28-May-2002 14:09
Is this an unsolved problem or do you know the answer
and you are challenging us to also find out ?
Anton.
[3/13] from: lmecir:mbox:vol:cz at: 28-May-2002 8:40
Hi Romano,
nice. Thanks for pointing that out. I will let the others to find the
solution.
Do you think that I should modify MUT-EQUAL1? a bit to correct this?
Ciao
-L
----- Original Message -----
From: "Romano Paolo Tenca"
Hi,
I have an enigma about Ladislav's mut-equal1? (from
http://www.rebolforces.com/~ladislav/evaluation.html)
b ;== "1"
string? b ;== true
identical? a b ;== false
same? a b ;== false
equal-state? a b ;== false
strict-equal? a b ;== false
equal? a b ;== false
and:
mut-equal? a b ;== false
But:
mut-equal1? a b ;== true
What is 'a?
---
Ciao
Romano
[4/13] from: lmecir:mbox:vol:cz at: 28-May-2002 9:32
BTW, I found an error in the EQUAL-STATE? function as well.
Ciao
-L
[5/13] from: rotenca:telvia:it at: 28-May-2002 10:34
Hi, Ladislav
> nice. Thanks for pointing that out. I will let the others to find the
> solution.
Very very fast!
I 'd like to see your solution.
> Do you think that I should modify MUT-EQUAL1? a bit to correct this?
I do not think it is a bug, mut-equal1 "sees" an identity that no other
function sees. Instead it is clear that mut-equal? is not equivalent to
mut-equal1?.
---
Ciao
Romano
[6/13] from: lmecir:mbox:vol:cz at: 28-May-2002 9:20
Hi Anton,
Romano's enigma has got a known solution. It is just a challenge for you to
find out.
Ciao
-L
----- Original Message -----
From: "Anton"
Is this an unsolved problem or do you know the answer
and you are challenging us to also find out ?
Anton.
[7/13] from: g:santilli:tiscalinet:it at: 28-May-2002 12:47
Hi Romano,
On Monday, May 27, 2002, 11:53:27 PM, you wrote:
RPT> What is 'a?
I expected it to be more difficult to find out. :) But then I got
to think about a function with a special property... <hint> ;-)
Regards,
Gabriele.
--
Gabriele Santilli <[g--santilli--tiscalinet--it]> -- REBOL Programmer
Amigan -- AGI L'Aquila -- REB: http://web.tiscali.it/rebol/index.r
[8/13] from: rotenca:telvia:it at: 28-May-2002 10:17
Hi, Anton
> Is this an unsolved problem
No
> or do you know the answer
> and you are challenging us to also find out ?
Yes :-)
---
Ciao
Romano
[9/13] from: anton:lexicon at: 29-May-2002 2:44
How about this?
a: does [mut-equal1?: func [a b][no]]
Is that a special enough property for you? :)
Grr....
Anton.
[10/13] from: anton:lexicon at: 29-May-2002 3:53
For my joke to work, I actually needed this:
a: does [mut-equal1?: func [a b][yes] ""]
and here's a useful
print [
identical? a b
same? a b
equal-state? a b
strict-equal? a b
equal? a b
mut-equal? a b
mut-equal1? a b
]
Anton.
[11/13] from: g:santilli:tiscalinet:it at: 29-May-2002 2:09
Hi Anton,
On Tuesday, May 28, 2002, 6:44:53 PM, you wrote:
A> How about this?
A> a: does [mut-equal1?: func [a b][no]]
A> Is that a special enough property for you? :)
LOL ok I was only lucky to get to think about the right function
in so few time. :)
Anyway it's much simpler than it looks. You just need to create
two values that actually have the same content, even if REBOL
doesn't think so... <hint> ;-)
Regards,
Gabriele.
--
Gabriele Santilli <[g--santilli--tiscalinet--it]> -- REBOL Programmer
Amigan -- AGI L'Aquila -- REB: http://web.tiscali.it/rebol/index.r
[12/13] from: lmecir:mbox:vol:cz at: 29-May-2002 23:31
Hi Gabriele,
just a question: is there really a solution (not a joke), that would work
differently than Romano suggested?
Ciao
-L
[13/13] from: g:santilli:tiscalinet:it at: 31-May-2002 21:48
Hi Ladislav,
On Wednesday, May 29, 2002, 11:31:47 PM, you wrote:
LM> just a question: is there really a solution (not a joke), that would work
LM> differently than Romano suggested?
Not that I know of.
Regards,
Gabriele.
--
Gabriele Santilli <[g--santilli--tiscalinet--it]> -- REBOL Programmer
Amigan -- AGI L'Aquila -- REB: http://web.tiscali.it/rebol/index.r