Re: Generating rules in functions or macros

Gerald Knizia <[email protected]> Wed, 30 Jul 2008 15:12:08 +0200 (CEST)

Newsgroups	gmane.comp.mathematics.axiom.user
Message-ID	<Pine.LNX.4.64.0807301509240.16998@linux2>

On Wed, 30 Jul 2008, Themos Tsikas wrote:
> On Wednesday 30 July 2008, Gerald Knizia wrote:
>> How does the function F need to be defined such that the
>> result of F(A,B) is equal to the one of
>>    rule 'A == B
>> and the result of F(C,D) is equal to
>>    rule 'C == D
> 
> (1) -> F(x,y) == _rule(constant x, y)
>                                                   Type: Void
> [other helpful explanations]

Great! This is exactly what I was looking for. Thank you!
-- 
Gerald Knizia

_______________________________________________
Axiom-mail mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-mail