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

> 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