One problem I have encountered is "invisible" leading unit axes. I can find
them by applying ShapeOf to an object at each boxing level, but I thought that
they should show up in an Atomic Representation covering all levels. I don't
find them there:
atom=: 'a' [ singlet=: ,'a'
($ atom); $ singlet
┌┬─┐
││1│
└┴─┘ 5!:1 'atom' ; 'singlet'
┌─────┬─────┐
│┌─┬─┐│┌─┬─┐│
││0│a│││0│a││
│└─┴─┘│└─┴─┘│
└─────┴─────┘
I don't see how the shape difference is captured in the Atomic Representation.
There must be yet another level of description.
Furthermore, I expected that I could retrieve the original forms, but must not
understand the documentation properly:
(5!:1 'atom') 5!:0 ''
|domain error
| ( 5!:1'atom')5!:0''
Thanks for any enlightenment.
--Art
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
