Re: OT Why Am I doing this?

On 24 oct, 19:30, Ken Tilton <kennytil...@xxxxxxxxxxxxx> wrote:
My Algebra model sees the world as either unary or binary, so 1+2+3
cannot be (+ 1 2 3). Instead, I follow the associative thing and encode
the infix as (+ (+ 1 2) 3).

Can anyone tell me why I am encoding --42 as (- (- 42)) instead of (- (-
42)?

Extra credit: which do you think is mathematically more honest?

I'll try googling sign+associative

tia,kzo

--http://www.theoryyalgebra.com/

"Career highlights? I had two. I got an intentional walk
from Sandy Koufax and I got out of a rundown against the Mets."."
- Bob Uecker

Hello,

http://en.wikipedia.org/wiki/Polish_notation : just sentential
logical.


Best Regards.

.

Relevant Pages

  • Re: OT Why Am I doing this?
    ... "Career highlights? ... I got an intentional walk ... treated as a partial application of a binary function. ... of x) cannot even be translated to a subtraction with zero as the minuend, nice support for the clue that -- (read, "minus minus") is illegal standalone. ...
    (comp.lang.lisp)
  • Re: OT Why Am I doing this?
    ... John Thingstad wrote: ... Extra credit: which do you think is mathematically more honest? ... I'll try googling sign+associative ...
    (comp.lang.lisp)
  • OT Why Am I doing this?
    ... My Algebra model sees the world as either unary or binary, ... Extra credit: which do you think is mathematically more honest? ... I'll try googling sign+associative ...
    (comp.lang.lisp)
  • Re: need help with lists
    ... Carl Taylor wrote: ... beautiful solution than i have. ... "Career highlights? ... I got an intentional walk ...
    (comp.lang.lisp)
  • Re: why did reddit move from lisp to python?
    ... hth, kenny ... "Career highlights? ... I got an intentional walk ... from Sandy Koufax and I got out of a rundown against the Mets."." ...
    (comp.lang.lisp)