ps=: a:,[:(],[,,L:1)/ L:0@
,.L:1 ps B
+-+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| |+-+|+-+|+-+|+-+|+-+|+-+|+-+|+-+|+-+|+-+|+-+|+-+|+-+|+-+|+-+|
| ||3|||4|||4|||a|||a|||a|||a|||b|||b|||b|||b|||b|||b|||b|||b||
|
Your power set is what I call a list of sets, not a set of sets -- because I
define a set to be a box enclosing a sorted list of boxes.
On the other hand, your power set is a set of sets if you define a set to be a
list of boxes. I therefore have a proposal for you indicated by the verbs
subject: Re: [Jprogramming] Powersets (was RE: Sets)
...Why do I include Sort /:~ in my proposal? Let's discuss that another
time...
--
For information about J forums see http://www.jsoftware.com/forums.htm
To: programm...@jsoftware.com programm...@jsoftware.com
Sent: Saturday, November 16, 2013 11:57:38 AM
Subject: Re: [Jprogramming] Powersets (was RE: Sets)
Your power set is what I call a list of sets, not a set of sets -- because I
define a set to be a box enclosing a sorted list of boxes.
On the other
--
from: km k...@math.uh.edu
to: programm...@jsoftware.com programm...@jsoftware.com
date: 16 November 2013 08:57
subject: Re: [Jprogramming] Powersets (was RE: Sets)
...Why do I include Sort /:~ in my proposal? Let's discuss that another
time
primarily an
algorithmic not mathematical issue.
greg
~krsnadas.org
--
from: km k...@math.uh.edu via forums.jsoftware.com
to: programm...@jsoftware.com programm...@jsoftware.com
date: 16 November 2013 12:00
subject: Re: [Jprogramming] Powersets (was RE: Sets)
OK, now: but the discussion
primarily an
algorithmic not mathematical issue.
greg
~krsnadas.org
--
from: km k...@math.uh.edu via forums.jsoftware.com
to: programm...@jsoftware.com programm...@jsoftware.com
date: 16 November 2013 12:00
subject: Re: [Jprogramming] Powersets (was RE: Sets)
OK, now
~krsnadas.org
--
from: km k...@math.uh.edu
to: programm...@jsoftware.com programm...@jsoftware.com
date: 16 November 2013 13:39
subject: Re: [Jprogramming] Powersets (was RE: Sets)
Greg
Ordering provides uniqueness. The names set 1;0;2 and set 1;1;2;0 etc etc all
refer to the same j object