Re: [Jprogramming] 3 :'y`:6 y' 3 :'y`:6 y'`''

2012-11-05 Thread Linda Alvord
3 :'y`:6 y' 3 :'y`:6 y'`'' This morning this crashes J . I missed the line break. JVERSION Engine: j701/2011-01-10/11:25 Library: 7.01.075 Platform: Win 32 Installer: j701a_win.exe InstallPath: c:/users/owne r/j701 -Original Message- From programming-boun...@forums.jsoftware.com [mai

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Linda Alvord
-Original Message- From: programming-boun...@forums.jsoftware.com [mailto:programming-boun...@forums.jsoftware.com] On Behalf Of Michal D. Sent: Sunday, November 04, 2012 11:26 PM To: programm...@jsoftware.com Subject: Re: [Jprogramming] Arc consistency in J > >> variables. In other wor

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Linda Alvord
-Original Message- From: programming-boun...@forums.jsoftware.com [mailto:programming-boun...@forums.jsoftware.com] On Behalf Of Michal D. Sent: Sunday, November 04, 2012 11:26 PM To: programm...@jsoftware.com Subject: Re: [Jprogramming] Arc consistency in J > >> variables. In other wor

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Linda Alvord
I just began to ponder this thread. Do you think E is the same as D? D=. (n%2) > (?]) n$d E=. ?(n,d)$2 Linda -Original Message- From: programming-boun...@forums.jsoftware.com [mailto:programming-boun...@forums.jsoftware.com] On Behalf Of Michal D. Sent: Sunday, November 04, 2012 11:26 PM

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Linda Alvord
Next, isn't c1 the same as c11? I make silly little scripts like this and I run them in a new Jconsole and then do T '' lots of times until I'm pretty sure they agree. T=: 3 : 0 n=:1+?6 d=:1+?6 ]D=:(n%2) > (?]) n$d ]E=:?(n,d)$2 ]c1=:0= ? A=:(2$d)$(>. d%2) ]c11=:?(d,d)$2 F=:($D)-:$E G=:($c1)-:$c11

Re: [Jprogramming] i. :. (i. :. +) ^:_1 ^:_1

2012-11-05 Thread Henry Rich
Yes, that is the concise explanation. And, as Marshall says, it's probably better that way. It certainly makes my current project easier if that is so. Henry Rich On 11/5/2012 12:13 AM, km wrote: It appears the obverse of u :. v is v :. u and not simply v . This explains the behavior Henr

[Jprogramming] zip manipulation

2012-11-05 Thread kamakura
Hi I would like to use Windows 64bit J602 for handling zip file. The 32bit version does work well, but the 64bit version fails as follows: load'~addons/arc/zip/zfiles.ijs' fexist jpath '~addons/arc/zip/test/test.zip' 1 zdir jpath '~addons/arc/zip/test/test.zip' |domain error: unzOpen

Re: [Jprogramming] zip manipulation

2012-11-05 Thread Raul Miller
This looks promising: http://www.jsoftware.com/jwiki/Addons/arc/zip But I run into problems when I try to follow its steps: load 'arc/zip/zfiles' fexist jpath '~addons/arc/zip/test.zip' 0 fexist jpath '~addons/arc/zip/test/test.zip' 1 zdir jpath '~addons/arc/zip/test/test.zip' |dom

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Raul Miller
On Sun, Nov 4, 2012 at 11:26 PM, Michal D. wrote: > Sorry I missed the or. Unfortunately not, I mean you can have a constraint > like that if you want but you don't have to have to in general. I think > we're dwelling on an implementation detail. They (wikipedia) must just > have the < constrai

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Michal D.
> > Ok... so this implies some kind of ordering constraint on the use of > non-commutative relationships. > > I am going to guess that this constraint has something to do with the > ordering of your D -- for example that lower-valued row indexes into D > must always appear on the left side of the c

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Raul Miller
When n=7, d=3, D will contain only 1s while E will typically contain a mix of 1s and 0s. I do not know enough about the purpose of this code to comment on which is better. -- Raul On Mon, Nov 5, 2012 at 5:11 AM, Linda Alvord wrote: > I just began to ponder this thread. Do you think E is the sa

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Michal D.
Actually, this is a bug in the original code. Thanks Linda! It should be: (d%2) > (?]) n$d The idea being that each row (domain) has half of it's possible values set. Which is different from what you suggest because you may get a row of all zeros which is already inconsistent and so there is

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Michal D.
Hi Linda, you are a bug finding machine! c11 is simpler than the original and is more correct than the latest version I put up on pastebin. I introduced a bug by removing the 0= from this although I shouldn't have. Cheers, Mike On Mon, Nov 5, 2012 at 3:06 AM, Linda Alvord wrote: > Next, isn't

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Linda Alvord
Once you have what you want, you can use some tools to study it: Change from a Noun to a verb, view its tacit version and apply it to data: dd=: 13 :'(y%2) > (?]) x$y' dd (2 %~ ]) > [: (? ]) $ 7 dd 3 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 Both the boxed version and the

Re: [Jprogramming] Arc consistency in J

2012-11-05 Thread Linda Alvord
Michal, Once you have what you want, you can use some tools to study it: Change from a Noun to a verb, view its tacit version and apply it to data: dd=: 13 :'(y%2) > (?]) x$y' dd (2 %~ ]) > [: (? ]) $ 7 dd 3 1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 Both the boxed version