axiom-developer
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]