Here's a better summary not that there is a major diagonal of real numbers:
ishermitian=: -:[:+|:
hft=: (+ +@|: * >/~@i.@#) NB. Ai
]B =: 3 3 $ 0 _1j2 0 0 _3 4j_5 0 0 6
0 _1j2 0
0 _3 4j_5
0 0 6
hft B
0 _1j2 0
_1j_2 _3 4j_5
0 4j5 6
ishermitian hft B
1
hft =: + +@|:@(- ] * =@i.@#) NB. Kip
ishermitian hft B
1
hft=: (% 1 + =@i.@#)@:+ +@|: NB. Raul
ishermitian hft B
1
hft=: 0&=`(,: +@|:)} NB. Henry
ishermitian hft B
1
hft=:hft=: 13 :'y+(y=0)*+|:y' NB. Linda
ishermitian hft B
1
Linda
-----Original Message-----
From: [email protected]
[mailto:[email protected]] On Behalf Of Linda Alvord
Sent: Friday, January 18, 2013 9:38 PM
To: [email protected]
Subject: Re: [Jprogramming] Hermitian from triangular
Thanks, He even includes induction. Linda
-----Original Message-----
From: [email protected]
[mailto:[email protected]] On Behalf Of Roger Hui
Sent: Friday, January 18, 2013 10:35 AM
To: Programming forum
Subject: Re: [Jprogramming] Hermitian from triangular
See section 1.4 and section 4 of *Notation as a Tool of
Thought<http://www.jsoftware.com/papers/tot.htm>
*.
On Fri, Jan 18, 2013 at 3:13 AM, Raul Miller <[email protected]> wrote:
> On Fri, Jan 18, 2013 at 5:33 AM, Linda Alvord
> <[email protected]>
> wrote:
> > What a simple way to write a proof in J.
>
> I like grouping equalities together, vertically on a page, with
> explanatory text separating the groups. (If I need anything more than
> short NB. quips to distinguish equalities, my explanation probably was
> not good enough.)
>
> --
> Raul
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
