The problem is that op is returning the noun form of integrate.
try is(op(d1)=nounify(integrate));
Alexander Vidybida wrote:
> It seems that OP() in one case returns value as quoted string, but the quote marks are not shown, and in other case its output is earmarked some other way, also not shown in the display. This results in strange display, see examples below. It is especially inconvenient if the output is used for programming. Here are two examples. In the EXAMPLE1, the (D3),(D5) are inconsistent with what is shown in the (D2),(D4). In the EXAMPLE2, (D3),(D5) are inconsistent with what is shown in the (D2),(D4), also (D4),(D5) are inconsistent with (D8),(D9) (same display, different answer). Also (C7),(D7) from the EXAMPLE1 are inconsistent with (C7),(D7) from the EXAMPLE2.
>
> -----EXAMPLE1-----BEGIN-----
>
> (C1) integrate(f(x),x,a,b);
> b
> /
> [
> (D1) I f(x) dx
> ]
> /
> a
> (C2) op(d1);
> (D2) INTEGRATE
> (C3) is(op(d1)=INTEGRATE);
> (D3) FALSE
> (C4) op(d1)=INTEGRATE;
> (D4) INTEGRATE = INTEGRATE
> (C5) is(d4);
> (D5) FALSE
> (C6) is(op(d1)="INTEGRATE");
> (D6) FALSE
> (C7) is(string(op(d1))="INTEGRATE");
> (D7) TRUE
> -----EXAMPLE1-----END-----
>
> -----EXAMPLE2-----BEGIN-----
> (C1) a>b;
> (D1) a > b
> (C2) op(d1);
> (D2) >
> (C3) is(op(d1)=>);
> (D3) FALSE
> (C4) op(d1)=>;
> (D4) > = >
> (C5) is(d4);
> (D5) FALSE
> (C6) is(op(d1)=">");
> (D6) TRUE
> (C7) is(string(op(d1))=">");
> (D7) FALSE
> (C8) op(d1)=">";
> (D8) > = >
> (C9) is(d8);
> (D9) TRUE
> (C10) bug_report();
> -----EXAMPLE2-----END-----
> -------------------------------------------------------------
>
> Maxima version: 5.9.0
> Maxima build date: 15:27 11/24/2003
> host type: i586-pc-linux-gnu
> lisp-implementation-type: CLISP
> lisp-implementation-version: 2.27 (released 2001-07-17) (built 3223390905) (mem
> ory 3278669292)
>
> -------------------------------------------------------------
>
> P.S. TEXT BELOW IS NOT ABOUT Maxima. It is about mail problems.
>
> Could anybody suggest why do I get mail failures as below.
> (Finaly it results in the "Undelivered mail")
>
> >From MAILER-DAEMON Fri Dec 12 10:51:08 2003
> Return-Path: <>
> X-Original-To: alex@lan108.bitp.kiev.ua
> Delivered-To: alex@lan108.bitp.kiev.ua
> Received: by lan108.bitp.kiev.ua (Postfix)
> id C3CA034AAF; Fri, 12 Dec 2003 10:51:07 +0200 (EET)
> Date: Fri, 12 Dec 2003 10:51:07 +0200 (EET)
> From: Mail Delivery System
> Subject: Delayed Mail (still being retried)
> To: alex@lan108.bitp.kiev.ua
> MIME-Version: 1.0
> Content-Type: multipart/report; report-type=delivery-status;
> boundary="7E4B734AB4.1071219067/lan108.bitp.kiev.ua"
> Message-Id: <20031212085107.C3CA034AAF@lan108.bitp.kiev.ua>
> Status: RO
> Content-Length: 2177
> Lines: 59
>
> [-- äÏÄÁÔÏË ÎÏÍÅÒ 1: Notification --]
> [-- ôÉÐ: text/plain, ËÏÄÕ×ÁÎÎÑ: 7bit, ÒÏÚͦÒ: 0,6K --]
> Content-Description: Notification
> Content-Type: text/plain
>
> This is the Postfix program at host lan108.bitp.kiev.ua.
>
> ####################################################################
> # THIS IS A WARNING ONLY. YOU DO NOT NEED TO RESEND YOUR MESSAGE. #
> ####################################################################
>
> Your message could not be delivered for 4.0 hours.
> It will be retried until it is 5.0 days old.
>
> For further assistance, please send mail to <postmaster>
>
> The Postfix program
>
> <stavros.macrakis@verizon.net>: host relay.verizon.net[206.46.170.12] said: 450
> Requested mail action not taken-Try later:sc011pub.verizon.net (in reply to
> MAIL FROM command)
>
> [-- äÏÄÁÔÏË ÎÏÍÅÒ 2: Delivery error report --]
> [-- ôÉÐ: message/delivery-status, ËÏÄÕ×ÁÎÎÑ: 7bit, ÒÏÚͦÒ: 0,4K --]
> Content-Description: Delivery error report
> Content-Type: message/delivery-status
>
> Reporting-MTA: dns; lan108.bitp.kiev.ua
> ArrivFinal-Recipient: rfc822; stavros.macrakis@verizon.net
> Action: delayed
> Status: 4.0.0
> Diagnostic-Code: X-Postfix; host relay.verizon.net[206.46.170.12] said: 450
> Requested mail action not taken-Try later:sc011pub.verizon.net (in reply to
> MAIL FROM command)
> Will-Retry-Until: Tue, 16 Dec 2003 19:49:42 +0200 (EET)
> Arrival-Date: Thu, 11 Dec 2003 19:49:42 +0200 (EET)
> Content-Description: Undelivered Message Headers
> Content-Type: text/rfc822-headers
>
> Received: by lan108.bitp.kiev.ua (Postfix, from userid 501)
> id 7E4B734AB4; Thu, 11 Dec 2003 19:49:42 +0200 (EET)
> Date: Thu, 11 Dec 2003 19:49:42 +0200
> From: Alexander Vidybida <vidybida at bitp>
> To: Stavros Macrakis <stavros.macrakis@verizon.net>
> Subject: Re: [Maxima] broken logic
> Message-ID: <20031211174942.GA3066@lan108.bitp.kiev.ua>
> Reply-To: vidybida@bitp.kiev.ua
> References: <20031209182533.GA27100@lan108.bitp.kiev.ua>
> <001b01c3be8a$27ea80f0$8783fea9@gazi>
> Mime-Version: 1.0
> Content-Type: text/plain; charset=us-ascii
> Content-Disposition: inline
> In-Reply-To: <001b01c3be8a$27ea80f0$8783fea9@gazi>
> User-Agent: Mutt/1.4i
> Organization: Bogolyubov Institute for Theoretical Physics
>
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima