op(box(x)) --> box, but is(op(box(x)) = box) --> false.

• Subject: op(box(x)) --> box, but is(op(box(x)) = box) --> false.
• From: Richard Fateman
• Date: Sat, 05 Nov 2011 19:40:55 -0700

On 11/5/2011 5:10 PM, David R Stoutemyer wrote:
> op(box(x)) -->  box, but is(op(box(x)) = box) -->  false.
>
> Also is(op(box(x)) = 'box) -->  false,
> and is(op(box(x)) = "box") -->  false.
>
> How can I programmatically detect that op(expression) is box?
> _______________________________________________
>
try is(op(box(x))=?mbox)

RJF

• Prev by Date: [Ecls-list] writefile does not write
• Next by Date: [Ecls-list] writefile does not write
• Previous by thread: op(box(x)) --> box, but is(op(box(x)) = box) --> false.
• Next by thread: op(box(x)) --> box, but is(op(box(x)) = box) --> false.
• Index(es):
  • Date
  • Thread