Re: r*r^(k-1) -> r^k / Declaring variable ranges

Le samedi 21 juin 2008 à 13:35 +0200, Gregory Vanuxem a écrit :
> Le samedi 21 juin 2008 à 00:58 -0400, Bill Page a écrit :
> > On Fri, Jun 20, 2008 at 3:10 PM, Gerald Knizia wrote:
> > > On Thursday 19 June 2008 00:49, you wrote:
> > >> One easy way is using a rule: [...]
> > >
> > > Thank you for your help :].
> > 
> > You are welcome.
> > 
> > > I'm just starting to learn using Axiom.
> > 
> > Great. axiom-mail is a good place to ask user questions. You might
> > also want to check:
> > 
> > http://axiom-wiki.newsynthesis.org
> > 
> > Actually your question about "declaring variable ranges" has been the
> > subject of several longer and more detailed discussion in the email
> > archives under the subject of "indefinities". E.g.
> > 
> > http://lists.nongnu.org/archive/html/axiom-developer/2006-09/msg00549.html
> > http://lists.nongnu.org/archive/html/axiom-developer/2008-05/msg00062.html
> > http://axiom-wiki.newsynthesis.org/SandBoxSymbolic
> > 
> > There have been some proposals, but so far there is not complete
> > solution to this yet in Axiom.
> 
> The work of S. Watt and others on "symbolic polynomials" could also be
> of interest. See for example:
> 
> http:/http://www.csd.uwo.ca/~watt/pub/reprints/2006-wwca-sympoly.pdf/www.csd.uwo.ca/~watt/pub/reprints/2006-wwca-sympoly.pdf

Sorry, www.csd.uwo.ca/~watt/pub/reprints/2006-wwca-sympoly.pdf instead.

Greg

> Regards,
> 
> Greg
> 
> > 
> > Regards,
> > Bill Page.
> > 
> > 
> > _______________________________________________
> > Axiom-mail mailing list
> > [email protected]
> > http://lists.nongnu.org/mailman/listinfo/axiom-mail
> > 
> 
> 
> 
> 
> _______________________________________________
> Axiom-mail mailing list
> [email protected]
> http://lists.nongnu.org/mailman/listinfo/axiom-mail
>