[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [Fwd: Re: Bugs in combfunc.spad and partial patch]
From: |
William Sit |
Subject: |
[Axiom-developer] [Fwd: Re: Bugs in combfunc.spad and partial patch] |
Date: |
Fri, 11 Jun 2004 19:42:56 -0400 |
M. Rubey wrote:
> Consider
>
> 2*x^3::POLY PF 3
>
> should the 3 in x^3 be an element of PF 3 (i.e., be equal to zero) or
> should it be an integer?
Actually, I think PolynomialCategory(PF 3, DIRPROD(2, PF 3), OVAR [x, y])
does not make mathematical sense, even if PF 3 were made into an OrderedSet.
In any domain belong to this supposed category, one would have
x * x^2 = x^3 = x^0 = 1
but x * x * x = x for any x in PF 3, so this contradiction means the laws of
exponents cannot hold in such a domain.
William
--
William Sit
Department of Mathematics..............Email: address@hidden
City College of New York..........................Tel: 212-650-5179
Convent Ave at West 138th Street..................Fax: 212-862-0004
New York, NY 10031............Axiom, A Scientific Computation Sytem
USA..........................http://www.nongnu.org/axiom/index.html
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [Fwd: Re: Bugs in combfunc.spad and partial patch],
William Sit <=