Re: A Simple Non-Diagonalisable List

H> AnEcAd1d2[ new & cew & d1eD & d2eD & (d1=/=d2)
> -> L[n,n]=d1
> & L[c,c]=d2
> & L[n,c]=d1
> & L[c,n]=d2
> ] ]
> to me that says, for all digits, L[n,n] = that digit.


G>Well, yeah, I was trying to paraphrase you,
>so of course I didn't get it right.


Surely you can check your own syntax?
An, Ad, L[n,n] = d ?

Herc

.

Relevant Pages

  • Re: [OT] Re: Next Official Ruby Version
    ... > But even after the third look i don't like the syntax of Ocaml. ... Yeah, I'd love it if it looked more Haskellish, but syntax apart it ... Prev by Date: ...
    (comp.lang.ruby)
  • Re: problems with new boost lib
    ... > That particular syntax didn't seem to work. ... > namespaces. ... Yeah - I forgot to include the namespace inside the. ... Prev by Date: ...
    (microsoft.public.vc.stl)
  • Re: newbe about API
    ... sure...because the Intel encodings and prefixes for 16-bit and 32-bit ... know - from only looking at those instruction encodings - which way ... Hence, even with your great "size suffix" syntax, Intel's encodings ... But, yeah, I looked at your code, Herbert, and you employed something ...
    (alt.lang.asm)
  • Re: "Syntax error in ALTER TABLE statement.", again...
    ... > Yeah, yeah, once again about this error... ... No matter the language used to send DDL commands to the db, ... syntax has to fit the db's DDL syntax. ... In Access (JET) dbs some ...
    (microsoft.public.access.queries)
  • Re: Adding functionality to ARM BASIC
    ... jgh@xxxxxxxxxxxxxxxxxx (Jonathan Graham Harston) wrote: ... Yeah, we've done this one. ... There really should be a syntax for it, ... Steve has suggested one. ...
    (comp.sys.acorn.programmer)